ssdelestimet (p => q) → (a v p) bileşik önermesini indirgeyelim Çözümlü Örnek Cozum a v v A v (p <> q) (a v p') = (p <> q) (a vp
![ssdelestimet
(p => q) → (a v p) bileşik önermesini indirgeyelim
Çözümlü
Örnek
Cozum
a
v
v
A
v
(p <> q) (a v p') = (p <> q) (a vp) (a -> b=a' v b olduğundan)
- (p' q) v (a vp((p > q)' = p'eq olduğundan)
= [(p' q) ^ (q + p')] v (a v p') (> bağlacının tanımı)](https://media.kunduz.com/media/question/seo/raw/20220322065021165309-4466308_cWaNk9qrg.jpg?h=512)
ssdelestimet (p => q) → (a v p) bileşik önermesini indirgeyelim Çözümlü Örnek Cozum a v v A v (p <> q) (a v p') = (p <> q) (a vp) (a -> b=a' v b olduğundan) - (p' q) v (a vp((p > q)' = p'eq olduğundan) = [(p' q) ^ (q + p')] v (a v p') (> bağlacının tanımı) = [(p v q) 4 (q' v p')] v (q v p) (bağlacının tanımı) = {[(p v q) v g] ^ [(q' v p') va]} v p' (Dağılma özelliği). - [(p v qva) ^ (a' v p' )] v p' (Birleşme özelliği) = [(p v a) ^ (p' v 0)] v p' (Sadeleştirme) [(pv q) p'] v p' (Sadeleştirme) =p (Sadeleştirme) V v A A