【命題と論理】【命題と論理記号】

命題：日本語が正しいかどうか決められるもの（regex 日本語 -> 文章）

真偽値、真理値：T or F

論理和：範囲を足したもの（ig. 1 + 1 > 0）

論理積：範囲を掛けたもの(ig 1 * 0 = 0)

A -> B
逆：B -> A
裏：not A -> not B
対偶：not B -> not B

双条件文：A <-> B

複合命題