توتولوژی یک عبارت منطقی هست که همیشه درسته و مهم نیست که گزاره های تشکیل دهنده ی اون چی باشه.
برای مثال
p = خورشید می تابد"
�p = خورشید نمی تابد
خورشید می تابد یا خورشید نمی تابد ( p ∨ �p )
... [مشاهده متن کامل]
آیا این عبارت درسته؟
بله! خورشید یا می تابد یا نمی تابد. هیچ حالت دیگری وجود نداره. این یک توتولوژی هستش، چون صرف نظر از اینکه خورشید واقعاً می تابه یا نه، عبارت بالا همیشه درست خواهد بود.
برای مثال
p = خورشید می تابد"
�p = خورشید نمی تابد
خورشید می تابد یا خورشید نمی تابد ( p ∨ �p )
... [مشاهده متن کامل]
آیا این عبارت درسته؟
بله! خورشید یا می تابد یا نمی تابد. هیچ حالت دیگری وجود نداره. این یک توتولوژی هستش، چون صرف نظر از اینکه خورشید واقعاً می تابه یا نه، عبارت بالا همیشه درست خواهد بود.
مکررگویی