logical assertion

statement that asserts that a certain premise is true

카테고리: