-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ı
Q
Mantığı
A
cevap
0
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.
+0
Ç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? –
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ıraA^(B v C) = (A^B) v (A^C)ikincisi dağıtım kullanımını gerektirebilir.) ve programlama veya kodlama yerine [math.se]. – Pang