logical assertion

statement that asserts that a certain premise is true

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

カテゴリ：

proposition