logical assertion

statement that asserts that a certain premise is true

دسته بندی ها: