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ı) = [(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