logical assertion

statement that asserts that a certain premise is true

Danh mục: