Mantık
p=>q : 2.8<4.5 ise 2<4 bileşik terimi bul.
(p' v q') v q' bileşik önermesi totoloji mi çelişki mi?
p' => q' önermenin değilini bul
pvr =o (p<=>r) => (r' => p') =
p=>q:1=>1=1
p=1 q=1 p'=0 q'=0
(0v0)v0=0v0=0 cevap 0 olduğu için çelişkidir.
0=>0=0
pvr=1vr=1
(1<=>r)=>(r'=>0)=1
1=>1=1 0=>1=1 0=>0=1
1<=>r=1 ise r=1, r'=0 dir.0=>0=0 (1<=>r)=>(r'=>0)=1 i sağlamaz.
1<=>r=0 ise r=0 r'=1 dir.0=>(1=>0)=0=>0=1
(1<=>r)=>(r'=>0)=1 i sağlar.o halde r=0 dir.