「トートロジー」の版間の差分

削除された内容 追加された内容
→‎関連項目: 内容修正
タグ: モバイル編集 モバイルウェブ編集 改良版モバイル編集
間違った記述の削除
タグ: 手動差し戻し
25行目:
*馬から落馬した。
これらのような表現も、言い換えによる広義トートロジーとされる<ref>平凡社1977年『哲学事典』</ref>。
 
== 命題論理 ==
[[命題論理]]において、[[命題]]を記号化したものが[[論理式 (数学)|論理式]]であるが、論理式を構成している、最も単純な文に相当する要素式の[[真理値|真偽値]]の取り方に関係なく常に真となる論理式が存在し、それらはトートロジーもしくは[[恒真式]]と呼ばれる<ref>清水義夫(1984) 『記号論理学』p7~15</ref>。
 
== 脚注 ==