قضیه ۵: قیاس ذوالوجهین موجب « Constructive Dilemmas » :
الف :
ب :
برهان : ب :
( s |
q ) |
( r |
p ) |
( s |
r ) |
( q |
|
p ) | ||||||
T F T F T F T
F T F T F T F T
F |
T
F T F F F F F T F T F F F F F |
T T T T F F F F T T T T
F F F F |
T F T T F F T T T T T T
T T T T |
T T F F T T
F F T T F F T T
F F |
T T
F F T T F F F F F F F F F F |
T T T T T T T T F F F F F F F F |
T T T T T T T T T T T T T T T T |
T F T F T F T
F T F T F T F T
F |
T F T T T F T T T F T T
T F T T |
T T F F T T
F F T T F F T T
F F |
T F T T F F F F T F T T
T F T T |
T T T T F F F F T T T T
F F F F |
T T T T F F F F T T T T
T T T T |
T T T T T T T T F F F F F F F F |
جدول ۲۴
نکته ۶ : اگر در طرف دوم قیاس ذوالوجهین موجب ، از قانون عکس نقیض استفاده کنیم، به قیاس ذوالوجهین منفی نظیر می رسیم:
الف :
ب :
صفحه های قبل : « ۱۳ » ، « ۱۲ » ، « ۱۱ » ، « ۱۰ » ، « ۹ » ، « ۸ » ، « ۷ » ، « ۶ » ، « ۵ » ، « ۴ » ، « ۳ » ، « ۲ » ، « ۱ »