Tag: logic

Lean による定理証明は，証明したいステートメントを論理式に落としてプログラミングするわけだが，それには数理論理に関する知識が必要になる．そこで「はじめての数理論理学」山田俊行著，森北出版．2018．を使って数理論理を勉強することにした． ナルホドと思った演習問題に関して，ここに備忘録を残す． 演習問題 1.1 論理同値性の判定 (5) $A \Rightarrow (B \Rightarrow C)$ と $(A \Rightarrow B) \Rightarrow C$ は論理同値か？ 演習問題は真理値表を使って判定することになっているが，式変形で判定する． まず $A \Rightarrow (B \Rightarrow C)$ について $$ \begin{aligned} & \ A \Rightarrow (B \Rightarrow C) \\ \Leftrightarrow & \ \lnot A \lor (\lnot B \lor C) \\ \Leftrightarrow & \ \lnot A \lor \lnot…