ekayuliant math: Pembuktian Modus Tollens

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

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

ekayuliant math

Sabtu, 16 Maret 2013

Pembuktian Modus Tollens

Tidak ada komentar:

Posting Komentar

About Me

Followers

onFacebook