„Igazság (filozófia)” változatai közötti eltérés

a
Bár a mindennapi beszédben egy kijelentést hogy ''“Ha sem Jancsi, sem Zsuzsi nincs itt, akkor Jancsi nincs itt”'' magától értetődő szószaporításnak tartjuk, mégis az ilyen kijelentések ténylegesen logikai igazságok, azaz bizonyítottan szükségesen igazak logikai formájuknál fogva, s nem lehet hamis állításhoz használni.
A filozófiai logikában a tautológiát a helyettesítés szabályának hívják. Megintcsak, egy kijelentés hogy ''“Jancsi magas és Jancsi magas”'' mindegyikőnk számára egyértelműen egyenértékű azzal, hogy ''“Jancsi magas”'' és értelmetlen szószaporításnak találjuk, de a számítógépek által is kiterjedten alkalmazott logikai számításokban alapvető fontosságú.
 
{{Bővebben|Tautológia}}
----