Mantığı

-2

çözemiyorum Mantıksal soru için uzun süre düşünüyorum. Kolay ama çok zor görünüyor. Eşdeğerliği kullanarak nasıl kanıtlayacağımı bilmiyorum.Mantığı

(A -> (B> C)) -> ((-> A (C> D)) -> (B> D)) -> (A) tanımı

kaynak

2016-04-12 Yunxin Zhou

Ben mantıkla alakalı olduğu için konu dışı olarak bu soruyu kapatmak için oy vereceğim: (eski burada daha faydalı olacaktır, ancak A v (B^C) = (A v B)^(A v C) yanı sıra A^(B v C) = (A^B) v (A^C) ikincisi dağıtım kullanımını gerektirebilir.) ve programlama veya kodlama yerine [math.se]. – Pang

kullanımlar A->B (diğer bir deyişle, ~A v B) ve DeMorgan Yasası'nın eşdeğer bir ifadeyle eş değer bir ifadeyle ortaya çıkması (tüm andlar ve ors). Oradan, ifadeyi True olarak basitleştirmek için A v ~A'un doğru olduğunu tekrar tekrar uygulayın.

kaynak

2016-04-12 17:47:16

Çok teşekkür ederim. Ama ben (A^B^~ C) V (A^V^~ D) V ~ A V ~ B V ile geldiğimde. Teknolojiyle nasıl yapacağımı bilmiyorum. Bu soru hakkında daha fazla bilgi verir misiniz? –

cevap

İlgili konular