تناقض: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
ابرابزار، ویکیسازی، نیازمند بخشبندی |
جز ویکیسازی رباتیک(۶.۸) >قضیههای متقابل |
||
خط ۴:
با آن که معمولاً برای تحقق همستیزی باید یکی از دو قضیه دارای موضوعی کلی، و قضیهٔ دیگر دارای موضوعی جزئی باشد، میان دو قضیه که دارای موضوع جزئی مشترکی باشند، نیز رابطهٔ همستیزی برقرار میشود. از این رو دو گزارهٔ «سازمان ملل متحد، سودمند است» و «سازمان ملل متحد، سودمند نیست» همستیز یکدیگر به شمار میآیند.<ref name="d"/>
برای تحقق هرگونه همستیزی باید قضیههای دوگانه در هشت مورد، مشترک باشند: دارای موضوع و محمول مشترک و شامل مکان و زمان مشترک باشند، هر دو مطلق یا هر دو و به شرطهایی مشترک مقید باشند و از حیث اضافه یا نسبت و جزء یا کل بودن و در مرحله قوه یا فعل قرارداشتن یکسان باشند. چنانکه ملاحظه میکنیم، در همه گونههای [[قضیههای متقابل]] میان دو قضیه تغایری وجود دارد. این تغایر در مورد قضیههای متداخل نسبتاً ملایم است و در مورد قضیههای همستیز بسیار شدید است.<ref name="d"/>
در منطق، یک '''همستیزی''' عبارت است از ناسازگاری منطقی بین دو [[گزاره (منطق)|گزاره]]. هرگاه قضیهای صادق و درست باشد، [[نقیض]] آن ''کاذب'' و نادرست خواهد بود و برعکس. دو قضیهای را که نسبت به هم چنان اختلاف و تقابلی داشته باشند، دو قضیهٔ '''همستیز''' مینامند. در [[منطق صوری]] همستیزی خود یکی [[فرمول گزارهای]] است که همواره نادرست میباشد و با علامت <math>\bot</math> نشان داده میشود.
خط ۴۰:
[[رده:منطق ریاضی]]
[[رده:منطق گزارهای]]
[[رده:ویکیسازی رباتیک]]
|