H.O.P.E.

Shiro Kawaiさんの回答: 少なくとも広く使われている記号論理学の枠組みでは「1+1=2」そのものがトートロジーかどうか、という話はしません。 論理学は、「命題」: 真偽の判断ができるもの、を扱います。命題には内部構造を持たない原子的な命題(「ソクラテスは人間である」)と、それらを「または」や「かつ」等で組み合わせて作る複合的な命題(論理式)があります。 トートロジーとは、論理式のうち、その中に含まれている原子命題が真だろうが偽だろうが、全体として常に真になってしまうものを言います。材料をどう入れ替えようが真しか出てこないもの、要は材料(個々の原子命題)の意味がなくなるもので...