命題

1.

ホントかウソかが定まっている文章。複合文の複文が変数である複合文のことです。ホントかウソかを調べることを命題計算といい、ブール代数などでとりあつかいます¹⁾²⁾。

(1) 数学A
仁科辰夫, シラバス, (2006).
(2) 命題計算
Seymour Lipschutz、成嶋弘, 離散数学　コンピュータサイエンスの基礎数学, オーム社, (1995).