Logika dan Penalaran

 Pernyataan / Proposisi adalah kalimat yang hanya memulai

satu salah satu nilai kebenaran ( B atau S )
 Tujuan utama logika adalah memberikan aturan-aturan
untuk menentukan apakah suatu argumen atau penalaran
sahih (valid) atau benar
 Untuk memudahkan menerapkan aturan – aturan yang
ada maka selalu digunakan symbol yang telah didefinisikan
dengan baik.
 Simbol pernyataan dinyatakan dalam huruf kecil.
Misal p : Jakarta ibukota Indonesia.
 Ada dua tipe pernyataan , yaitu primer (pernyataan atomik
) dan turunan (pernyataan majemuk).
 Kalimat deklaratif turunan dihasilkan dari kalimat
deklaratif primer menggunakan penghubung (connectives)
 Ada lima jenis penghubung yaitu:
o Negasi atau Inversi (~ …)
o Konjungsi (..∧. .)
o Disjungsi (… ∨ …)
o Implikasi (… → …)
o Biimplikasi (…⟷ … ¿
 Nilai Kebenaran Pernyataan

Banyaknya kemungkinan kombinasi nilai kebenaran suatu

n
pernyataan dirumuskan 2 ,dengan n adalah banyaknya
pernyataan tunggal.
Untuk pernyataan tunggal / atomik maka ada 2 kemungkinan
nilai kebenaran.
Misal p adalah pernyataan,maka kemungkinan nilai kebenaran
dari p
p
B
S
Jika diberikan 2 pernyataan (p, q adalah pernyataan),
banyaknya kemungkinan nilai kebenaran dari pernyataan p,q
ada sebanyak 4 dengan komposisi sbb
p q
B B
B S
S B
S S
Untuk 3 pernyataaan ada sebanyak 23=8 komposisi
kemungkinan nilai kebenaran.
p Q r
B B B
B B S
B S B
B S S
S B B
S B S
S S B
S S S
 Untuk 4 pernyataaan ada sebanyak 24 =16 komposisi
kemungkinan nilai kebenaran.
p q r s
B B B B
B B B S
B B S B
B B S S
B S B B
B S B S
B S S B
B S S S
S B B B
S B B S
S B S B
S B S S
S S B B
S S B S
S S S B
S S S S
 Tabel Kebenaran Penghubung Pernyataan

Penghubung Negasi
p ~p
B S
S B

Penghubung Konjungsi, Disjungsi ( Eksklusif dan Inklusif ), Implikasi, Dan

Biimplikasi
p q Konjungsi Disjungsi Implikasi Biimplikasi
p ∧q Eksklusif Inklusif p →q p ↔q
p ⊕q p ∨q
B B B S B B B
B S S B B S S
S B S B B B S
S S S S S B B

Buatlah tabel kebenaran untuk pernyataan ( p ∧q) → r

p ∧q ( p ∧q) → r
p q r
B B B B B
B B S B S
B S B S B
B S S S B
S B B S B
S B S S B
S S B S B
S S S S B