論理式
普通,次のように定義される
1.
命題変項
$ p
は論理式である
命題変項は最も単純な論理式である
2.
$ A,B
が論理式であるなら
$ \lnot A,A\land B,A\lor B,A\to B
も論理式である
各々の関係(
$ \land,\lor,\to
など)については,考えている論理の言語において適宜変えること
3. 1,2以外に論理式の定義は無い
論理式の構成に関する帰納法