研究由原子命題經(jīng)命題連接詞構成的復合命題以及這些命題之間的邏輯關系的科學。又稱命題演算,數(shù)理邏輯的分支學科。這里所說的命題包括具有真假值的命題,也包括形式命題。設a,b是原子命題,則使用命題連接詞、∧、∨、→和 (本文共 609 字 ) [閱讀本文] >>
海量資源,盡在掌握
 研究由原子命題經(jīng)命題連接詞構成的復合命題以及這些命題之間的邏輯關系的科學。又稱命題演算,數(shù)理邏輯的分支學科。這里所說的命題包括具有真假值的命題,也包括形式命題。設a,b是原子命題,則使用命題連接詞、∧、∨、→和 (本文共 609 字 ) [閱讀本文] >>