命題変数

proposition variable

大文字のアルファベットで表記する

1(真)か0(偽)の値をとる

コレ自体も論理式