Pembuktian Ekuivalen Tanpa Tabel Kebenaran 3

PEMBUKTIAN p Þ (q Ú r) ≋  (p Þ q) Ú (p Þ r)

Buktikan: p Þ (q Ú r) ≋  (p Þ q) Ú (p Þ r) tanpa menggunakan table kebenaran!

Bukti,

p Þ (q Ú r) ≋  Ú (q Ú r) → material implikasi

                   ≋ ( Ú ) Ú (q Ú r) → idompoten

                   ≋  Ú ( Ú q) Ú r → assosiatif

                   ≋ ( Ú q) Ú ( Ú r) → komutatif

                   ≋ (p Þ q) Ú (p Þ r) → material implikasi