Kalademi.me ułatwia znalezienie odpowiedzi na Twoje pytania dzięki aktywnej społeczności. Soru-cevap platformumuzda hızlı ve güvenilir çözümler bulmak için uzmanlardan faydalanın. Farklı disiplinlerdeki uzmanlardan kesin yanıtlar almak için kullanıcı dostu platformumuzu keşfedin.
Sagot :
(pVq) => (pΛq) önermesindeki iseyi açarız
p=>q = p'vq formülüne göre :
(pvq)' v (pΛq) dur 1. önermenin değilni alırız
(p'Λq') v (pΛq) olur sonra 2. önermedeki pyi 1. önermeyle birleştiririz
[(p'Λq') v p] Λq Not : bu kuralı okulda görmemiş olabilirsin ama böyle bir kural KESİNLİKLE VAR. biz fen lisesinde öğrendik.
sonra pyi dağıtırız. [(pvp') Λ (pvq')] Λq olyr
pvp' = 1dir 1 Λ (pvq')] Λq = (pvq')Λq olur.Şimdi de q yu dağıtırız.
(qΛp) v q