logical assertion

statement that asserts that a certain premise is true

en-GB/ˈlɒd͡ʒɪkəl əˈsɜːʃən/
en-US/ˈlɑd͡ʒɪkəl əˈsɝʃən/

زمرے:

proposition