「Aが真」かつ「Bが真」 | 「Aの否定」またはB | AならばB |
真 |
「Aが真」かつ「Bが偽」 | 「Aの否定」またはB | AならばB |
偽 |
「Aが偽」かつ「Bが真」 | 「Aの否定」またはB | AならばB |
真 |
「Aが偽」かつ「Bが偽」 | 「Aの否定」またはB | AならばB |
真 |
「Aが真」かつ「Bが真」 | Aかつ「Bの否定」 | 背理法 |
矛盾 |
「Aが真」かつ「Bが偽」 | Aかつ「Bの否定」 | 背理法 |
トートロジー |
「Aが偽」かつ「Bが真」 | Aかつ「Bの否定」 | 背理法 |
矛盾 |
「Aが偽」かつ「Bが偽」 | Aかつ「Bの否定」 | 背理法 |
矛盾 |