Processing math: 33%
Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
903 kez görüntülendi
[(pq)p] önermesinin değili nedir?

 

Önerme tablosunu yaparak bulabiliyorum fakat işlemle bulamadım.

pq(pq)(pq) buldum. Bunu yerine yazıp devam etmek karışık geldiğinden orada bıraktım.
Orta Öğretim Matematik kategorisinde (95 puan) tarafından 
tarafından düzenlendi | 903 kez görüntülendi
senin adımlar nasıl?

içerde pp var aslında bu işleri kolaylaştırır.
Hocam soruyu güncelledim. Devamı karışık geldiğinden bıraktım.

İpucu: bağlacının hem değişme hem de birleşme özelliği var. Önce bu bilgileri kullan. Sonra da pp0 bilgisini kullanarak önce bileşik önermeyi sadeleştirmiş olursun. En sonunda da değilini alırsın.

Öyle düşünmemiştim. Teşekkürler.

2 Cevaplar

1 beğenilme 0 beğenilmeme
Şöyle çözersem doğru olur sanırım.

[(pq)p][(pp)q](0q)(q)q
(95 puan) tarafından 
Evet doğru. Bu kadar işte.
"Ya da" bağlacı ve "ancak ve ancak" bağlacı arasındaki ilişkiden faydalanarak da çözülebilir fakat "Ya da" bağlacı için \lor  veya \vee sembollerini bulabildim; bunlar V sembülünü veriyorlar. Bizim kullandığımız  V harfinin altı çizili "ya da" sembolü latexde nasıl ifade ediliyor?
Teşekkürler hocalarım.
p
Teşekkürler hocam.
1 beğenilme 0 beğenilmeme
p\Leftrightarrow q\equiv (p\veebar q)'   ve p\veebar q\equiv p'\veebar q' ve (p\veebar q)'\equiv p'\veebar q \equiv p\veebar q' denklikleri mevcut.

Son yazdığım denkliği kullanmadım.Bunu kullanarak çözmek daha kolay olabilir.

\begin{array}{rcl}[(p\Leftrightarrow q)\Leftrightarrow p']' & \equiv & [(p\veebar q)'\Leftrightarrow p']' \\ \\ & \equiv & [(p\veebar q)'\veebar p']\\ \\ & \equiv & [(p\veebar q)\veebar p] \\ \\ & \equiv & [q\veebar (p\veebar p)] \\ \\ & \equiv & q\veebar 0 \\ \\ & \equiv & q\end{array}
(3.4k puan) tarafından 
tarafından düzenlendi
20,329 soru
21,886 cevap
73,617 yorum
2,990,839 kullanıcı