LOGIKA

A. OPERASI LOGIKA DARI TABEL KEBENARAN

1. OPERASI LOGIKA

a. Negasi (∞ )
~ p dibaca : lawan p = negasi p = ingkaran p = tidak p
b. Dan (¿ ) disebut konjungsi
p ¿ q dibaca : p DAN q
c. Atau ( ¿ ) disebut disjungsi
p ¿ q dibaca : p ATAU q
d. Implikasi (→ )
p → q dibaca: JIKA p MAKA q
e. Biimplikasi (⇔ )
p ⇔ q dibaca: p JIKA DAN HANYA JIKA qP
p⇔ q=( p⇒ q )∧( q ⇒ p )

2. TABEL KEBENARAN

p q ~p p¿q p¿ q p →q p⇔ q
B B S B B B B
B S S B S S S
S B B B S B S
S S B B S B B

B. KONVERS, INVERS, DAN KONTRAPOSISI

Dari implikasi “p → q ” dapat dibuat :

a. Konvers : q →p
b. Invers : ~p → ~q
c. Kontraposisi : ~q → ~p

C. EKUIVALENSI DAN NEGASI

Dari pernyataan yang mempunyai nilai kebenaran yang sama disebut dua pernyataan yang
ekuivalen atau senilai.

Bentuk-bentuk pernyataan yang ekuivalen:

 p→q≡∞ q →∞ p≡∞ p∨q
 ∞ ( p∧q )≡∞ p∨∞ q
 ∞ ( p∨q )≡∞ p∧∞ q
 ∞ ( p→q )≡ p∧∞ q
D. KUANTOR

Jenis jenis kuantor :

 Kuantor universal
(∀)
∀ = semua / setiap / seluruh
(∃ )
 Kuantor eksistensial
∃ = terdapat / ada / beberapa / sebagian

Ingkaran pernyataan berkuantor:

1. ∞ ( ∀+ p )=∃+∞ p
2. ∞ ( ∃+ p )=∀+∞ p

E. PENARIKAN KESIMPULAN
Prinsip-prinsip di bawah ini merupakan dasar-dasar penarikan kesimpulan yang sah dari beberapa
pernyataan:

1. Modus Ponen
Premis 1: p →q
Premis 2: p
Kesimpulan : q

2. Modus Tolens
Premis 1: p→ q
Premis 2: ̴q
Kesimpulan : p

3. Silogisme
Premis 1: p →q
Premis 2: q →r
Kesimpulan : p →r