(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
