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

 

برای تحقق هرگونه هم‌ستیزی باید قضیه‌های دوگانه در هشت مورد، مشترک باشند: دارای موضوع و محمول مشترک و شامل مکان و زمان مشترک باشند، هر دو مطلق یا هر دو و به شرط‌هایی مشترک مقید باشند و از حیث اضافه یا نسبت و جزء یا کل بودن و در مرحله قوه یا فعل قرارداشتن یکسان باشند.چنانکه ملاحظه می‌کنیم، در همه گونه‌های قضیه‌های متقابل میان دو قضیه تغایری وجود دارد. این تغایر در مورد قضیه‌های متداخل نسبتاً ملایم است و در مورد قضیه‌های هم‌ستیز بسیار شدید است.<ref name="d" />

 

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

*[[تضاد]]

*[[رویارویی]]

 

==پانویس==

[[رده:منطق ریاضی]]

[[رده:منطق گزاره‌ای]]