Alpexos 14:44 17 Haz 2013 #1
Arkadaşla soru çözerken kafamıza bir sorun takıldı.
I.
(p => q)' ≡ (p' => q') ≡(p v q')
II.
(p => q)' ≡ (p' v q)' olduğuna göre;
(p' v q)' ≡ (p ve q') olur.
Buna göre de;
(p v q') ≡ (p ve q') olmaz mı?
kcancelik 15:39 17 Haz 2013 #2
(p' v q)' ≡ (p ve q') olur demişsiniz.
De Morgan kuralı ile (p ve q') ≡ (p ve q') gelir.
(p' v q)' alırken v'yi ve yapmalısınız.
İyi günler.
Alpexos 15:57 17 Haz 2013 #3
arkadaşım ben onu demek istememiştim birinci önerme ile ikinci önerme farklı şekillerde tersi alınıyor ama sonuçları farklı çıkıyor nerede yanlış yaptığımızı anlayamadım