論理式の構成に関する帰納法
論理式
の定義に由来する
性質
$ \phi
について
1. 命題変項
$ p
で
$ \phi
成り立つこと
命題変項は最も単純な論理式である
2. 論理式
$ A,B
が
$ \phi
を満たすと仮定し
$ A \lor B,A\land B,A\to B,\lnot A
でも
$ \phi
が満たされること
1,2を満たすなら,任意の論理式で性質
$ \phi
が成り立つことが証明出来る