تناقض: تفاوت میان نسخه‌ها

در منطق، یک '''تناقض''' ناسازگاری منطقی بین دو [[گزاره (منطق)|گزاره]] است. هرگاه قضیه‌ای صادق و درست باشد، [[نقیض]] آن '''کاذب''' و نادرست خواهد بود و برعکس. دو قضیه‌ای را که نسبت به هم چنان اختلاف و تقابلی داشته باشند، دو قضیه‌ی '''متناقض''' می‌نامند. در [[منطق صوری]] '''متناقض''' خود یکی [[فرمول گزاره‌ای]] است که همواره نادرست می‌باشد و با علامت <math>\bot</math> نشان داده می‌شود.

 

==جستارهای مرتبط==

* [[همان‌گو]]

 

[[رده:منطق]]