Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
500 kez görüntülendi
[(pq)(qr)](pr)

[(pq)(qr)](pr)

[(pq)(qr)](pr)

dağıtttıktan sonra gerisini çözemedim.
Lisans Matematik kategorisinde (22 puan) tarafından 
tarafından yeniden kategorilendirildi | 500 kez görüntülendi
@Bilgeonb söz konusu bileşik önermenin bir totoloji olduğunu göstermek istiyorsun sanırım. Doğru mu?
@murad.ozkoc Hocam önermeyi indirgeyerek en sade biçimde yazınız diye sorulmuş. Doğruluk tablosundan çözdüm evet totoloji ama işlem basamaklarını devam ettiremedim.
Sorunuza bir yanıt yanıt yazdım ama biraz düzenleyince paylaşırım inşallah

2 Cevaplar

0 beğenilme 0 beğenilmeme

cirkin ama gecerli 
 

(
   "p = true", "q = true", "r = true", 
   "p ⟹ q  = true", "q ⟹ r : true", 
   "(p ⟹ q )∧ (q ⟹ r ) : true", "(p ⟹ r) : true", 
   "[(p ⟹ q ) ∧ (q ⟹ r )] ⟹  (p ⟹ r) : true"
)
(
   "p = false", "q = true", "r = true",
   "p ⟹ q  = true", "q ⟹ r : true", "(p ⟹ q )∧ (q ⟹ r ) : true", "(p ⟹ r) : true",
   "[(p ⟹ q ) ∧ (q ⟹ r )] ⟹  (p ⟹ r) : true"
)
(
   "p = true", "q = false", "r = true",
   "p ⟹ q  = false", "q ⟹ r : true", "(p ⟹ q )∧ (q ⟹ r ) : false", "(p ⟹ r) : true", 
   "[(p ⟹ q ) ∧ (q ⟹ r )] ⟹  (p ⟹ r) : true"
)
 (
   "p = false", "q = false", "r = true", 
   "p ⟹ q  = true", "q ⟹ r : true", "(p ⟹ q )∧ (q ⟹ r ) : true", "(p ⟹ r) : true",
   "[(p ⟹ q ) ∧ (q ⟹ r )] ⟹  (p ⟹ r) : true"
)
(
   "p = true", "q = true", "r = false", 
   "p ⟹ q  = true", "q ⟹ r : false", "(p ⟹ q )∧ (q ⟹ r ) : false", "(p ⟹ r) : false",
   "[(p ⟹ q ) ∧ (q ⟹ r )] ⟹  (p ⟹ r) : true"
)
 (
   "p = false", "q = true", "r = false",
   "p ⟹ q  = true", "q ⟹ r : false", "(p ⟹ q )∧ (q ⟹ r ) : false", "(p ⟹ r) : true",
   "[(p ⟹ q ) ∧ (q ⟹ r )] ⟹  (p ⟹ r) : true"
)
 ( 
   "p = true", "q = false", "r = false", 
   "p ⟹ q  = false", "q ⟹ r : true", "(p ⟹ q )∧ (q ⟹ r ) : false", "(p ⟹ r) : false",
   "[(p ⟹ q ) ∧ (q ⟹ r )] ⟹  (p ⟹ r) : true"
)
 (
   "p = false", "q = false", "r = false", 
   "p ⟹ q  = true", "q ⟹ r : true", "(p ⟹ q )∧ (q ⟹ r ) : true", "(p ⟹ r) : true", 
   "[(p ⟹ q ) ∧ (q ⟹ r )] ⟹  (p ⟹ r) : true"
)

 

(1.6k puan) tarafından 
0 beğenilme 0 beğenilmeme
[(pq)(qr)](pr)

[(pq)(qr)](pr)

[(pq)(qr)](pr)

[(pq)(pr)][(qr)(pr)]

[((pq)p))r)][((qr)r))p]

[((pp)qp))r][((qr)(rr))p]

(qpr)(qrp)

(qq)(pr)

1(pr)

1
(3.4k puan) tarafından 
tarafından düzenlendi
20,314 soru
21,870 cevap
73,591 yorum
2,874,099 kullanıcı