数学 Wiki
Advertisement

トートロジーとは、原子式の取り方に関係なく常に真となる式のことを指す。

代表的なトートロジー

同一律

解説

Aが偽の場合、必ずは真を取る。

Aが真の場合、において、C, Dの原子式が真でなければ、式が真とならないが、が真の場合は、それに続く原子式も真になる。従って、真になる。

従って、Aの原子式の取り方に関係なく、常に真になることがわかる。

排中律

解説

選言においては、のBかCが真になれば、真になる。

Aが真の場合は、Bにあたる部分が真なので、式は真。

Aが偽の場合は、は真になる。Cにあたる部分が真なので、式も真。

従って、Aの原子式の取り方に関係なく、常に真になることがわかる。

矛盾律

解説

まず、連言においては、のB, Cが真にならなければならない。しかし、Aであり、かつの両方が真になりうることは、否定の定義上ありえない。

従って、は常に矛盾する。矛盾は常に偽を取るため、その式を否定すると常に真になる。


Advertisement