قضیه ۶ :
الف : قیاس دفع
p~
q~
( q
p )
F
F
T
T
T
T
T
T
F
T
F
T
F
F
F
T
T
F
T
F
T
F
T
T
T
T
F
F
جدول ۲۵
ب: برهان خلف
![]()
( q
p~ )
( q~
p )
( q
p )
T
F
T
F
F
F
T
F
F
F
T
T
T
F
T
T
F
T
F
T
F
T
F
F
T
T
F
F
T
T
T
T
T
F
T
F
T
F
T
T
T
T
F
F
جدول ۲۶
قضیه ۷ : اگر c و t و p به ترتیب یک تناقض و یک راستگو و یک گزاره دلخواه باشند، آنگاه :
الف: ب:
ج: د:
برهان این قضیه ساده است و به عنوان تمرین به دانشجو واگذار می شود.
صفحه های قبل : « ۱۴ » ، « ۱۳ » ، « ۱۲ » ، « ۱۱ » ، « ۱۰ » ، « ۹ » ، « ۸ » ، « ۷ » ، « ۶ » ، « ۵ » ، « ۴ » ، « ۳ » ، « ۲ » ، « ۱ »