PEMBUKTIAN (
) ≋ (p Ù 
) Ú (
Ù q) Ú ( Ùq)
) ≋ (p Ù ) Ú ( Ù q) Ú ( Ùq)
Buktikan: () ≋ (p Ù ) Ú ( Ù q) Ú ( Ùq) tanpa menggunakan table kebenaran!
) ≋ (p Ù ) Ú ( Ù q) Ú ( Ùq) tanpa menggunakan table kebenaran!
Bukti,
() ≋ 
→ material implikasi
) ≋ → material implikasi
≋ 
Ú ( 
→ de Morgan
Ú ( → de Morgan
≋ 
) Ú ) →
material implikasi
) Ú ) →
material implikasi
≋ (
Ù ) Ú (
Ù ) →
de Morgan
Ù ) Ú ( Ù ) →
de Morgan
≋ (p Ù ) Ú (q Ù ) →
double negasi
) Ú (q Ù ) →
double negasi
≋ (p Ù ) Ú ( Ù q) → komutatif
) Ú ( Ù q) → komutatif
≋ (p Ù ) Ú [( Ú ) Ùq] →
idompoten
) Ú [( Ú ) Ùq] →
idompoten
≋ (p Ù ) Ú [( Ù q) Ú ( Ù q)] → distributif
) Ú [( Ù q) Ú ( Ù q)] → distributif
≋ (p Ù ) Ú ( Ù q) Ú ( Ù q) → assosiatif
) Ú ( Ù q) Ú ( Ù q) → assosiatif
Tidak ada komentar:
Posting Komentar