pとqは別々にとってきた任意の命題変数
p=qの場合とp≠qの場合があり得る