トートロジー
命題論理における直感的な説明
yesかnoで判定出来る問題（命題）すべてについて，常に正しいと判定される論理式の形式が存在する，そういうのをトートロジーと言う
例えば「PならばP」はPが何であれ常に真である
一方「PかつQ」「PまたはQ」「P」は場合によっては成り立たない