By : Christhio Gunawan

RINGKASAN LOGIKA MATEMATIKA

Info.christio.co.cc
By : Christhio Gunawan

Ringkasan Logika Matematika

Pernyataan adalah kalimat yang hanya benar saja atau salah saja, tetapi tidak dapat sekaligus benar
atau salah.

Kalimat terbuka adalah kalimat yang memuat peubah/variabel, sehingga belum dapat ditentukan
nilai kebenarannya (benar atau salah).

Tabel Kebenaran Negasi (Ingkaran):

p ~p
B S
S B

Tabel Kebenaran Disjungsi dan Konjungsi:

p q p∨q p∧q
B B B B
B S B S
S B B S
S S S S

Tabel Kebenaran Implikasi dan Biimplikasi:

p q ‫ݍ⇒݌‬ ‫ݍ⇔݌‬
B B B B
B S S S
S B B S
S S B B

Tautologi adalah sebuah pernyataan majemuk yang selalu benar untuk semua kemungkinan nilai
kebenaran dari pernyataan-pernyataan komponennya.

Implikasi logis adalah sebuah tautologi yang memuat pernyataan implikasi.

Ingkaran dari Disjungsi, Konjungsi, Implikasi, dan Biimplikasi:
a. ~ሺp ∨ qሻ ≡ ሺ∼p ∧ ∼qሻ
b. ∼ሺp ∧ qሻ ≡ ሺ∼p ∨ ∼qሻ
c. ∼ሺp ⇒ qሻ≡ ሺp ∧ ∼qሻ
d. ∼ሺp ⇔ qሻ≡ሺp ∧ ∼qሻ ∨ ሺq ∧ ∼pሻ

Sifat Komutatif, Asosiatif, dan Distributif pada Disjungsi dan Konjungsi:
1. Sifat Komutatif
a. p ∨ q ≡ q ∨ p
b. p ∧ q ≡ q ∧ p

Info.christio.co.cc
By : Christhio Gunawan

2. Sifat Asosiatif
a. (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
b. (p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
3. Sifat Distributif
a. Distributif disjungsi terhadap konjungsi
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
b. Distributif konjungsi terjadap disjungsi
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)

Hubungan Konvers, Invers, dan Kontraposisi Dengan Implikasi.

Suatu pernyataan implikasi : ‫ݍ ⇒ ݌‬
i. Konversnya :‫݌⇒ ݍ‬
ii. Inversnya : ∼p ⇒ ∼q
iii. Kontraposisinya : ∼q ⇒ ∼p

Tabel hubungan nilai kebenaran konvers, invers, kontraposisi dengan implikasi

Implikasi Konvers Invers Kontraposisi

p q ∼p ∼q ‫ݍ⇒݌‬ q ⇒p ∼p ⇒ ∼q ∼q ⇒ ∼p
B B S S B B B B
B S S B S B B S
S B B S B S S B
S S B B B B B B

Ingkaran dari pernyataan berkuantor.

PERNYATAAN BERKUANTOR INGKARAN

∀‫ݔ‬, ‫݌‬ሺ‫ݔ‬ሻ ∃‫ݔ‬, ~‫݌‬ሺ‫ݔ‬ሻ
Semua X adalah Y Beberapa X bukan Y
atau
Tidak semua X adalah Y
∃‫ݔ‬, ‫݌‬ሺ‫ݔ‬ሻ ∀‫ݔ‬, ~‫݌‬ሺ‫ݔ‬ሻ
Beberapa X adalah Y Semua X bukan Y
atau
Tidak ada (tiada) X yang merupakan Y
atau
Jika x adalah X, maka x bukan Y

Info.christio.co.cc
By : Christhio Gunawan

Penarikan Kesimpulan.

Prinsip-prinsip logika yang dipakai dalam proses penarikan kesimpulan adalah sebagai berikut.
1. Argumentasi dikatakan berlaku atau sah:
Jika konjungsi dari premis-premisnya berimplikasi konklusi.
2. Argumentasi dikatakan tidak berlaku atau tidak sah:
Jika konjungsi dari premis-premisnya tidak berimplikasi konklusi.

Modus Ponens
‫ ݍ ⇒ ݌‬............... premis 1
‫݌‬ .............. premis 2

∴‫ݍ‬ .............. kesimpulan/konklusi

Modus Tollens
‫ ݍ ⇒ ݌‬.............. premis 1
~‫ݍ‬ .............. premis 2
∴ ~‫ ݌‬.............. kesimpulan/konklusi

Silogisme
‫ ݍ ⇒ ݌‬........... premis 1
‫ ݎ ⇒ ݍ‬........... premis 2
∴ ‫ ݎ ⇒ ݌‬........... kesimpulan/konklusi

Info.christio.co.cc