ekayuliant math: Pembuktian Modus Ponens

Sabtu, 16 Maret 2013

$p\rightarrow q$
$p/\therefore q$

Bukti:
$[(p\rightarrow q)\wedge p]\rightarrow q$
$\equiv [(\sim p\vee q)\wedge p]\rightarrow q$             (implikasi)
$\equiv [(\sim p\wedge p)\vee (q\wedge p)]\rightarrow q$ (distributif)
$\equiv [F\vee (q\wedge p)]\rightarrow q$                 (komplemen)
$\equiv (q\wedge p)\rightarrow q$                            (identitas)
$\equiv (\sim q\vee \sim p)\vee q$                     (implikasi)
$\equiv (\sim q\vee q)\vee \sim p$                     (asosiatif)
$\equiv T\vee \sim p$                                    (komplemen)
$\equiv T$                                                (identitas)

Terbukti

ekayuliant math

Sabtu, 16 Maret 2013

Pembuktian Modus Ponens

Tidak ada komentar:

Posting Komentar

About Me

Followers

onFacebook