logical assertion

statement that asserts that a certain premise is true

Kategoriler: