-
mantık-önermeler
1) [(p' ve 1) veya (p veya 0)]ise[(p' ise p) ancak ve ancak (p ise 0)]≡? (cvp:1)
2) (p veya q') ve (p ancak ve ancak q)≡0 olduğunu gösteriniz.
:)(bu 2 soru yanlış olabilir.):)
3) x>0 ve y>0 olmak üzere; x<y ise x²<y² teoremini doğrudan ispat yöntemiyle ispatlayınız.
4)[(p ve q)ise(p ancak ve ancak q)] ve [(p v q)ise r] ise [(r' ve q)ise r']]≡? (cvp:1)
-
1-p' ve 1 = p'
p veya 0 = p
p'ise p =p'
p ise 0 =p'
(p' veya p ) ise (p') ancak ve ancak p'
1 ise p' ancak ve ancak p' = 1 ise p' = p' yapar
p' ancak ve ancak p' de =1 eşittir
-
c2-(p veya q') ve (p ancak ve ancak q)≡0 arada ve olduğundan ikisinin 0 olmazı gerekir .
p veya q ' değilininde sıfır olması için p=0 q'=0 olması lazım
p ancak ve ancak q nun o olması içinde p ye 0 demiştik q da bu halde 1 olması lazım oda 0 yapar .
yanı ancak ve ancaklı olan kısmıda p veya q' yoluyla bulmuş oluruz.
Değerlerinin hapsini yerine koyarak sonucu göstermiş oluruz .
-
-
ben son soruda "[(p ve q) ise(p ancak ve ancak q)]ve[(p ve q)ise r]ise[(r' ve q)ise r']]
demiştim.sadeleştirerek mi "(p ve q)ise[(p ancak ve ancak q)]ise r]ise[(r' ve q)ise r']" bulduk?
-
isede ki kuralları uyguladık . veyaya çevirmeyi falan hepsini yaparak bulduk . oraya oklarla çıkardım :)