論理式
論理式(ろんりしき、formula)
1. 命題変項 p, q, r, ...はすべて論理式である。
2. AとBが論理式ならば、
$ \lnot A, (A \land B), (A\lor B), (A \rightarrow B)
も論理式である。
論理式内に自由変数を含まないものが閉論理式(closed formula)、または文 (sentence)という 文の集合を理論(theory)という
メモ
$ A \land B
$ A \lor B
$ A \lnot B
$ A \leftrightarrow B
$ \forall A
$ \exist A
恒真(valid)
充足不能(unsatisfiable)
確認用
Q. 論理式
関連
参考
大西 琢朗. #03 古典命題論理(2) 形式言語 2021年度前期哲学演習I #論理学. 2021/04/19 https://www.youtube.com/watch?v=XVMB3ZPb8hY
メモ