4. symbolic logic

Deductive Logic (Symbolic/ Modern)

4 August 1834 – 4 April 1923

A B

A B

AB

A ^ B = Ø

A ^ B ≠ Ø

A subset BA subset BA subset B

The Rule of Replacement

Rule of Replacement

01. De Morgan's Theorems02. Commutation03. Association04. Distribution05. Double Negation06. Transposition07. Material Implication08. Material Equivalence09. Exportation10. Tautology

De Morgan's Theorm

~(p ^ q) = ~p or ~q

~(p v q) = ~p and ~q

Commutation

(p or q) = (q or p)

(p and q) = (q and p)

Association

[p or (q or r)] = [(p or q) or r]

[p and (q and r)] = [(p and q) and r]

Distribution

[p and (q or r) = [(p and q) or (p and r)]

[p or (q and r)] = [(p or q) and (p or r)]

Double Negation

p = ~~p

Transposition

(if p > q) = (if ~q > ~p)

Jika nilai ujian saya lebih dari 60 maka saya lulus =

Jika saya tidak lulus maka nilai ujian saya tidak lebih dari 60

Material Implication

(jika p maka q) = (~p or q)

Material Equivalence

(If only if p > q) = [(if p > q) and (if q > p)]

(If only if p > q) = [(p and q) or (~p and ~q)]

Exportation

[if (p and q) > r] = [if p > (if q > r)]

Tautology

p = (p or p)

p = (p and p)

Truth Table

Material Nonimplication(Material Implication)

Latihan

Tunjukkan apakah argumen berikut valid atau tidak valid:

(a → b) ^ [(a ^ b) → c]

a → (c → d)

--------------------

a → d

Latihan

Tunjukkan apakah preposisi berikut setara?

a → (b → c) = (a → b) → c

Latihan

Tunjukkan, valid atau tidak argumen berikut:

JIKA konsumsi bensin meningkat, MAKA impor bensin meningkat DAN subsidi pemerintah terhadap bensin meningkat.

JIKA impor bensin meningkat ATAU subsidi pemerintah terhadap bensin meningkat, maka keuangan negara akan defisit.

KARENA ITU, jika konsumsi bensin terus meningkat, maka keuangan negara akan defisit.