Processing math: 100%
Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
691 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 | 691 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.
pq
Teşekkürler hocam.
1 beğenilme 0 beğenilmeme
pq(pq)   ve pqpq ve (pq)pqpq denklikleri mevcut.

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

[(pq)p][(pq)p][(pq)p][(pq)p][q(pp)]q0q
(3.2k puan) tarafından 
tarafından düzenlendi
20,295 soru
21,836 cevap
73,540 yorum
2,697,162 kullanıcı