LOGIKA MATEMATIKA

ballidah@unud.ac.id
1
 PENGERTIAN

Logika matematika adalah ilmu yang mempelajari tentang

cara berpikir yang logis/masuk akal

Logika matematika adalah ilmu yang digunakan untuk

menentukan nilai kebenaran dari suatu pernyataan
atau penarikan kesimpulan

berdasarkan aturan-aturan dasar yang berlaku.

 TUJUAN PEMBELAJARAN

 MENDESKRIPSIKAN PERNYATAAN DAN BUKAN

PERNYATAAN
 MENDESKRIPSIKAN INGKARAN, KONJUNGSI,
DISJUNGSI, IMPLIKASI, BIIMPLIKASI, DAN
INGKARANNYA
 MENDESKRIPSIKAN INVERS, KONVERS DAN
KONTRAPOSISI .
 MENDESKRIPSIKAN SUATU PERNYATAAN
BERKUANTOR DAN NEGASINYA.
 MENERAPKAN MODUS PONENS, MODUS TOLLENS DAN
PRINSIP SILOGISME DALAM MENARIK KESIMPULAN .
3
Kontradiksi

Biimplikasi
p↔q

p↔q
 NOTE DI AWAL KULIAH:

• PENTING UNTUK BERNALAR MATEMATIS

• LOGIKA: SISTEM YG DIDASARKAN ATAS PROPOSISI.
• KITA KATAKAN BAHWA NILAI KEBENARAN DARI
SUATU PROPOSISI ADALAH BENAR (T) ATAU SALAH
(F).
• BERKORESPONDENSI DENGAN 1 DAN 0 DALAM
DUNIA DIGITAL
 LOGIKA

• PENTING UNTUK BERNALAR MATEMATIS

• LOGIKA: SISTEM YG DIDASARKAN ATAS PROPOSISI.
• PROPOSISI: PERNYATAAN YANG BERNILAI BENAR
ATAU SALAH, TAPI TIDAK KEDUA-DUANYA.
• KITA KATAKAN BAHWA NILAI KEBENARAN DARI
SUATU PROPOSISI ADALAH BENAR (T) ATAU SALAH
(F).
• BERKORESPONDENSI DENGAN 1 DAN 0 DALAM
DUNIA DIGITAL. 6
 CONTOH PROPOSISI

“GAJAH LEBIH BESAR DARIPADA KUCING.”

Ini suatu pernyataan ? yes

Ini suatu proposisi ? yes

Apa nilai kebenaran dari

proposisi ini ? true
7
 CONTOH PROPOSISI (2)

“1089 < 101”

Ini pernyataan ? yes

Ini proposisi ? yes

Apa nilai kebenaran dari

proposisi ini ? false
8
 CONTOH PROPOSISI (3)

“Y > 15”

Ini pernyataan ? yes

Ini proposisi ? no

Nilai kebenarannya bergantung pada nilai y,

tapi nilai ini tidak spesifik.
Kita katakan tipe pernyataan ini adalah fungsi
proposisi atau kalimat terbuka.
9
 CONTOH PROPOSISI (4)

“BULAN INI FEBRUARI DAN 24 < 5.”

Ini pernyataan ? yes

Ini proposisi ? yes

Nilai kebenaran dari

proposisi tersebut ? false
10
 CONTOH PROPOSISI (5)

“JANGAN TIDUR DI KELAS.”

Ini pernyataan ? no
Ini permintaan.

Ini proposisi ? no

Hanya pernyataan yang dapat menjadi

proposisi.
11
 CONTOH PROPOSISI (6)

“JIKA GAJAH BERWARNA MERAH,

MEREKA DAPAT BERLINDUNG DI BAWAH POHON CABE.”

Ini pernyataan ? yes

Ini proposisi ? yes

Apa nilai kebenaran

proposisi tersebut ? probably false
12
 CONTOH PROPOSISI (7)

“X < Y JIKA DAN HANYA JIKA Y > X.”

Ini pernyataan ? yes

Ini proposisi ? yes
… sebab nilai kebenarannya
tidak bergantung pada nilai
x dan y.
Apa nilai kebenaran dari
proposisi tsb ? true
13
 MENGGABUNGKAN PROPOSISI

SEPERTI DALAM CONTOH SEBELUMNYA, SATU

ATAU LEBIH PROPOSISI DAPAT DIGABUNG
MEMBENTUK SEBUAH PROPOSISI MAJEMUK
(COMPOUND PROPOSITION).

SELANJUTNYA, NOTASI PROPOSISI

DIFORMALKAN DENGAN MENGGUNAKAN
ALFABET SEPERTI P, Q, R, S, DAN DENGAN
MEMPERKENALKAN BEBERAPA OPERATOR
LOGIKA.
14
 OPERATOR LOGIKA

• NEGASI (NOT)
• KONJUNGSI - CONJUNCTION (AND)
• DISJUNGSI - DISJUNCTION (OR)
• EKSKLUSIF OR (XOR)
• IMPLIKASI (JIKA – MAKA)
• BIKONDISIONAL (JIKA DAN HANYA JIKA)
TABEL KEBENARAN DAPAT DIGUNAKAN UNTUK
MENUNJUKKAN BAGAIMANA OPERATOR-OPERATOR
TSB MENGGABUNGKAN PROPOSISI-PROPOSISI.
15
 NEGASI (NOT)

OPERATOR UNER, SIMBOL: 

P P
true false

false true

16
 CONJUNCTION (AND)

OPERATOR BINER, SIMBOL: 

P Q PQ
true true true
true false false
false true false
false false false
17
 DISJUNCTION (OR)

OPERATOR BINER, SIMBOL: 

P Q PQ
true true true
true false true
false true true
false false false
18
 EXCLUSIVE OR (XOR)

OPERATOR BINER, SIMBOL: 

P Q PQ
true true false
true false true
false true true
false false false
19
 IMPLIKASI (JIKA - MAKA)

IMPLIKASI P  Q ADALAH PROPOSISI YANG

BERNILAI SALAH JIKA P BENAR DAN Q SALAH,
DAN BERNILAI BENAR JIKA LAINNYA.

P Q PQ
true true true
true false false
false true true
false false true 20
 IMPLIKASI P  Q

• JIKA P, MAKA Q • Q JIKA P

• JIKA P, Q • Q KETIKA P
• P MENGAKIBATKAN • Q DIAKIBATKAN P
Q • Q SETIAP KALI P
• P HANYA JIKA Q • Q PERLU UNTUK P
• P CUKUP UNTUK Q • SYARAT CUKUP
• SYARAT PERLU UNTUK Q ADALAH P
UNTUK P ADALAH Q
21
 CONTOH IMPLIKASI

IMPLIKASI
“JIKA HARI INI HARI JUMAT MAKA 2+3 > 7.”
BERNILAI BENAR UNTUK SEMUA HARI
KECUALI HARI JUMAT, WALAUPUN 2+3 > 7
BERNILAI SALAH.

KAPAN PERNYATAAN BERIKUT BERNILAI

BENAR?
“JIKA HARI TIDAK HUJAN MAKA SAYA
AKAN PERGI KE LEMBANG.” 22
 BIKONDISIONAL
(JIKA DAN HANYA JIKA)

OPERATOR BINER, SIMBOL: 

P Q PQ
true true true
true false false
false true false
false false true
23
 PERNYATAAN DAN OPERASI
PERNYATAAN-PERNYATAAN DAPAT DIGABUNGKAN DENGAN
OPERASI UNTUK MEMBENTUK PERNYATAAN BARU.

P Q PQ  (PQ) (P)(Q)

true true true false false
true false false true true
false true false true true
false false false true true
24
 PERNYATAAN YANG EKIVALEN
P Q (PQ) (P)(Q) (PQ)(P)(Q)

true true false false true

true false true true true
false true true true true
false false true true true

PERNYATAAN (PQ) DAN (P)(Q) EKIVALEN SECARA LOGIKA,

KARENA (PQ)(P)(Q) SELALU BENAR.

25
 TAUTOLOGI DAN KONTRADIKSI

TAUTOLOGI ADALAH PERNYATAAN YANG SELALU BENAR.

CONTOH:
• R(R)
• (PQ)(P)(Q)

JIKA ST SUATU TAUTOLOGI, KITA TULIS ST.

JIKA ST SUATU TAUTOLOGI, KITA TULIS ST.
26
 TAUTOLOGI DAN KONTRADIKSI (2)

KONTRADIKSI ADALAH PERNYATAAN YANG SELALU

BERNILAI SALAH.

CONTOH:
• R(R)
• ((PQ)(P)(Q))

NEGASI DARI SUATU TAUTOLOGI ADALAH SUATU

KONTRADIKSI, NEGASI DARI KONTRADIKSI ADALAH
SUATU TAUTOLOGI.
27
 KONVERSI, KONTRAPOSITIF, &
INVERS

• Q  P DISEBUT KONVERSI DARI P  Q

• Q  P DISEBUT KONTRAPOSITIF DARI P  Q

• P  Q DISEBUT INVERS DARI P  Q

28
 EKSPRESI LOGIKA

CONTOH 4. UBAH KE DALAM EKSPRESI LOGIKA:

“ANDA MEMPUNYAI AKSES INTERNET HANYA JIKA
ANDA MAHASISWA MATEMATIKA ITB ATAU ANDA
BUKAN MAHASISWA TPB”

SOLUSI. MISAL A : “ANDA PUNYA AKSES INTERNET”

M: “ANDA MHS MATEMATIKA ITB”
F : “ANDA MHS TPB”

A  (M   F) 29
 EKSPRESI LOGIKA (2)

SOAL 1. UBAH KEDALAM EKSPRESI LOGIKA.

“ANDA TIDAK BOLEH NAIK ROLLER COASTER JIKA TINGGI ANDA
KURANG DARI 100 CM, KECUALI USIA ANDA SUDAH MELEBIHI 16
TH.”
“SAYA AKAN INGAT TENTANG KULIAH BESOK HANYA JIKA KAMU
MENGIRIM SMS.”
“PANTAI AKAN EROSI KETIKA ADA BADAI”

30
 BEBERAPA PUZZLE LOGIKA
Puzzle
Suatu pulau mempunyai dua macam
penghuni, yaitu penjujur (orang yg selalu
berkata benar) dan pembohong (orang yg
selalu berkata salah/bohong).
Anda bertemu dua orang A dan B di pulau itu.
Jika A berkata bhw “B penjujur” dan B berkata
bhw “kami berdua mempunyai tipe yg
berlainan”, maka apa yang dapat anda
simpulkan tentang A dan B.
31
PUZZLE

32
 PREDIKAT & KUANTIFIER

PERNYATAAN “X > 3” PUNYA 2 BAGIAN, YAKNI “X”

SEBAGAI SUBJEK DAN “ ADALAH LEBIH BESAR 3”
SEBAGAI PREDIKAT P.
KITA DPT SIMBOLKAN PERNYATAAN “X > 3” DENGAN
P(X). SEHINGGA KITA DAPAT MENGEVALUASI NILAI
KEBENARAN DARI P(4) DAN P(1).

SUBYEK DARI SUATU PERNYATAAN DAPAT

BERJUMLAH LEBIH DARI SATU.
33
MISALKAN Q(X,Y): X - 2Y > X + Y
 KUANTIFIKASI UNIVERSAL
“P(X) BENAR UNTUK SEMUA NILAI X DALAM DOMAIN
PEMBICARAAN”
X P(X).

SOAL 2. TENTUKAN NILAI KEBENARAN X (X2  X) JIKA:

X BILANGAN REAL
X BILANGAN BULAT

UNTUK MENUNJUKKAN X P(X) SALAH, CUKUP

DENGAN MENCARI SATU NILAI X DALAM DOMAIN SHG
P(X) SALAH.

NILAI X TERSEBUT DIKATAKAN CONTOH PENYANGKAL

(COUNTER EXAMPLE) DARI PERNYATAAN X P(X). 34
 KUANTIFIKASI EKSISTENSI

“ADA NILAI X DALAM DOMAIN PEMBICARAAN

SEHINGGA P(X) BERNILAI BENAR”
X P(X).

SOAL 3. TENTUKAN NILAI KEBENARAN DARI X P(X)

BILA P(X) MENYATAKAN “X2 > 12” DAN DOMAIN
PEMBICARAAN MELIPUTI SEMUA BILANGAN BULAT
POSITIF TIDAK LEBIH DARI 4.

35
 NEGASI

“SETIAP MHS DALAM KELAS INI TELAH MENGAMBIL

KALKULUS I” [X P(X)]

APAKAH NEGASI DARI PERNYATAAN INI….?

“ADA SEORANG MHS DALAM KELAS INI YANG BELUM

MENGAMBIL KALKULUS I” [ X  P(X)]

JADI,  X P(X)  X  P(X).

36
 NEGASI (2)

SOAL 4. CARILAH NEGASI DARI PERNYATAAN

BERIKUT:
“ADA POLITIKUS YANG JUJUR”
“SEMUA ORANG INDONESIA MAKAN PECEL LELE”

SOAL 5. TENTUKAN NEGASI DARI:

X(X2 > X)
X (X2 = 2)
37
 KUANTIFIER BERSUSUN
(NESTED QUANTIFIER)
X Y (X+Y = Y+X)
BERARTI X+Y = Y+X BERLAKU UNTUK SEMUA BILANGAN REAL
X DAN Y.

X Y (X+Y = 0)
BERARTI UNTUK SETIAP X ADA NILAI Y SEHINGGA X+Y = 0.

X Y Z (X+(Y+Z) = (X+Y)+Z)
BERARTI UNTUK SETIAP X, Y DAN Z BERLAKU HUKUM
ASOSIATIF X+(Y+Z) = (X+Y)+Z. 38
 SOAL-SOAL

SOAL 6. ARTIKAN KALIMAT INI DALAM BHS INDONESIA:

X (C(X)  Y ( C(Y)  F(X,Y))),
BILA C(X) : “X MEMPUNYAI KOMPUTER”,
F(X,Y): “X DAN Y BERTEMAN”,
DAN DOMAINNYA ADALAH SEMUA MHS DI KAMPUS.

SOAL 7. BAGAIMANA DENGAN BERIKUT INI:

X Y Z((F(X,Y)  F(X,Z)  (Y  Z)  F(Y,Z))

SOAL 8. NYATAKAN NEGASI DARI PERNYATAAN

X Y (XY=1). 39
 PREDIKAT dan FUNGSI PROPOSISIONAL

Diperhatikan kalimat yang memuat variabel “x < 2”.

Subjek : x
Predikat : kurang dari 2

Pernyataan “x kurang dari 2” dinyatakan dengan P(x), dimana

P merujuk sifat “kurang dari 2” dan x variabel.

P disebut juga fungsi proposisional dimana P(x) adalah nilai fungsi

P di x. Nilai P(x) hanya dua macam, yaitu benar (T) atau salah (F).

CONTOH :

1. Bila P(x) : x < 2 maka P(1) benar, P(2) salah, P(3/2) benar, dst
2. Fungsi proposisional dengan beberapa varibel :
Q(x,y) : x^2 + y^2 = 25
Q(3,4), Q(4,3) bernilai benar, Q(1,2), Q(5,3) salah, dst.
 Contoh penggunaan fungsi proposisional
pada program komputer
Misalkan perintah berikut : “ jika x > 0 maka x = x+1” dimasukkan
pada suatu program.

Fungsi proposisi P(x): x >0.

Bila P(x) benar maka perintah x = x + 1 dieksekusi, tetapi bila P(x)

salah maka nilai x yang dimasukkan tidak berubah.

x=1 P(1) benar x=1+1=2

x=0 P(0) salah x=0

 KUANTO
R
Misalkan P(x) suatu fungsi proposisional, x berasal dari suatu domain
yang disebut semesta pembicaraan.

DEFINISI : Kuantifikasi universal adalah proposisi sbb :

 x, P(x) dibaca “untuk setiap x, berlaku P(x)”.

Notasi disebut kuantor universal, dibaca untuk setiap.

CONTOH : Nyatakan kalimat berikut dalam kuantifikasi universal

“semua mhs di kelas ini mengambil kuliah kalkulus”

Penyelesaian : Misal P(x) : x mengambil kuliah kalkulus, x varibel mhs.

Diperoleh
 x, P(x).
Bentuk lainnya : misalkan S(x): x yang ada di kelas ini, maka pernyataan
Di atas dapat juga disajikan sebagai

 x, [ S(x)  P(x)]
 KUANTOR (Lanjutan)
DEFINISI : Kuantifikasi eksistensial adalah proposisi sbb :


x, P(x) dibaca “ada x sehingga berlaku P(x)”.


Notasi disebut kuantor eksistensial dibaca “ada” atau “terdapat”.

Pengertian “terdapat” berarti paling tidak ada satu x dalam semesta

Pembicaraan sehingga P(x) benar.

CONTOH : Diberikan pernyataan P(x): x^2 = 1. Tentukan nilai kebenaran

 x, P(x).

Penyelesaian : Karena x = 1 dan x = -1 membuat persamaan x^2 = 1

benar maka kuantifikasi eksistensial ini bernilai benar.

Bila Q(x,y) : x^2+y^2 < 0 maka kuantifikasi eksist<ensial (x,y), Q(x,y)

benilai salah, sebab tidak ada x dan y yang memenuhi.
 NILAI KEBENARAN
KUANTOR
PERNYATAAN BENAR SALAH
x, P(x) P(x) bernilai benar untuk
setiap nilai x di dalam
Ada x di dalam
semesta sehingga P(x)
semesta pembicaraan bernilai salah.
Ada x di dalam semesta P(x) bernilai salah
 x, P(x) (minmal satu) sehingga untuk setiap x di dalam
P(x) bernilai benar semesta pembicaraan

Tabel ini dapat dikembangkan untuk fungsi propo-

sisional yang terdiri dari beberapa variabel.

LATIHAN : Coba buat tabel yang sama untuk

fungsi proposisional P(x,y).
 CONTOH
Misalkan  : himpunan bilangan bulat positif yang tidak lebih dari 4
sebagai semesta pembicaraan. Pernyataan P(x) didefinisikan sebagai
“x^2 > 10”. Selidikilah kebenaran kuantor  x, P(x).

PENYELESAIAN :  = {1, 2, 3, 4 }
untuk x = 1 diperoleh pernyataan 1 > 10 (salah)
untuk x = 2 diperoleh pernyataan 4 > 10 (salah)
untuk x = 3 diperoleh pernyataan 9 > 10 (salah)
untuk x = 4 diperoleh pernyataan 16 > 10 (benar)

Karena ada x di dalam semesta pembicaraan yang membuat P(x) benar maka
kuantor ini bernilai benar.

Catatan : Bila semesta pembicaraan tidak dinyatakan secara eksplisit

maka ia dianggap sebagai semua bilangan real.

LATIHAN : Misalkan P(x) : x^2 > 0. Selidikilah kebenaran kuantor berikut

i) x,P(x)
ii) x,P(x)
 TERJEMAHAN KUANTOR
KE DALAM BAHASA INDONESIA
LANGKAH-LANGKAH :
1. Tulis makna dari setiap kuantor
 (mudah dimengerti)
2. Sajikan makna ini dalam kalimat sederhana

CONTOH : Misalkan x, y variabel untuk mahasiswa di kampus ini.

C(x) : x mempunyai komputer, F(x,y) : x dan y berteman.
Nyatakan ke dalam bahasa Indonesia kuantor berikut :

∀x ( C(x) ∨ ∃y ( C(y) ∧ F(x,y) ))

PENYELESAIAN : Setiap mahasiswa x di kampus ini memiliki komputer,

atau ada mahasiswa lainnya y, dimana x dan y berteman.

LATIHAN : untuk fungsi C dan F sama seperti di atas, terjemahkan

kuantor berikut ke dalam bahasa Indonesia

∃x ∀y ∀z ( (F(x,y) ∧ F(x,z) ∧ (y ≠ z) ) → ¬ F(y,z) ) )

 TERJEMAHAN BAHASA INDONESIA
KE DALAM SIMBOL KUANTOR
CONTOH : Sajikan kalimat berikut dalam bentuk kuantor !
1. Beberapa mhs dalam kelas ini pernah datang ke Jakarta
2. Setiap mhs dalam kelas ini pernah datang ke Surabaya atau
Jakarta.

PENYELESAIAN : Misalkan J(x) : x pernah datang ke Jkt,

S(x) : x pernah datang ke Sby. Maka kalimat di atas dapat
disajikan dalam kuantor berikut :
1. ∃ x, P(x) , 2. ∀x ( J(x) ∨ S(x) ).

LATIHAN : Nyatakan kalimat berikut dalam bentuk kuantor

1. Setiap mhs dalam kelas ini mempunyai tepat satu teman dekat
2. Jika ada seseorang wanita dan ia pernah melahirkan maka pasti
ia merupakan ibu dari seseorang.
3. Selalu terdapat wanita dalam setiap penerbangan di dunia ini
 NEGASI
Diperhatikan KUANTOR
kalimat : “setiap mhs di kelas ini sudah mengambil
Kalkulus”.

Pernyataan ini dapat ditulis dalam simbol : ∀x, P(x)

dimana P(x) : x sudah mengambil Kalkulus.

Negasi dari pernyataan ini dapat diungkapkan sbb :

“Tidaklah benar bahwa setiap mhs di kelas ini sudah mengambil Kalkulus”.
Ini berarti “ada mhs yang belum (tidak) mengambil kalkulus”,
ditulis ∃x, ¬P(x) dibaca “ada x yang tidak bersifat P(x)”.
KUANTOR NEGASINYA
∀x, P(x) ∃x, ¬P(x).
∃x, P(x). ∀x, ¬P(x)

Latihan : Tentukan negasi dari pernyataan berikut :

1. Ada mahasiswa di kelas ini yang belum pernah browsing internet.
2. Tidak satupun mhs di kampus ini yang tertarik olahraga terjun payung
 Logika dan Operasi Bit
pada sistem Komputer

• Bit berupa angka 1 dan 0. String merupakan barisan atau

susunan beberapa bit. Komputer menggunakan sistem
basis dua, yaitu ia menyajikan informasi dengan mengguna-
kan bit 1 dan 0.

• Bit 1 digunakan untuk menyakjikan nilai benar (T), dan

bit 0 digunakan untuk menyajikan nilai salah (F).

• Operasi bit berupa konektivitas pada logika, yaitu :

 : “dan”,  : “atau”,  : ekslusif OR
• Dua string dapat dioperasikan jika mereka mempunyai
panjang yang sama.
 Logika dan Operasi Bit
pada sistem Komputer (Lanjutan)

CONTOH : Diberikan dua string x dan y sbb :

x = 01 1011 0110 dan y = 11 0001 1101.
Tentukan hasil darix y,x y dan x y.

PENYELESAIAN :
x = 01 1011 0110 x = 01 1011 0110
y = 11 0001 1101 y = 11 0001 1101
x y = 01 0001 0100 x  y = 11 1011 1111
x = 01 1011 0110
y = 11 0001 1101

x y = 10 1010 1011
 TUGAS
1. Tentukan hasil pasangan bit OR, AND dan XOR untuk pasangan
bit string berikut
a. 101 1110 , 010 0001
b. 1111 0000, 1010 1010
c. 00 0111 0001, 10 0100 1000
d. 11 1111 1111, 00 0000 0000

2. Hitunglah hasil operasi bit berikut :

a. 1 1000 Λ (0 101 V 1 1011)
b. (0 1111 Λ1 010) V 0 1000
c. (0 1010  1 1011)  0 1111
d. (1 1011 V 0 1010) Λ (1 0001 V 1 1011)
 RANGKUMAN
BEBERAPA SIFAT PENTING
TENTANG LOGIKA

52
NEGASI ARTINYA SUATU KALIMAT INGKAR
ATAU KALIMAT BENAR MENJADI KALIMAT
SALAH DAN SEBALIKNYA KALIMAT SALAH
MENJADI BENAR
NOTASI : ~ p ATAU ¬a

TABEL NEGASI :

p ~p ~(p v q ) = ~p ˄ ~ q

B S RUMUS ~ (p q ) = ~p v ~q

S B ~ ( p → q )= p ˄ ~ q
 HUKUM- HUKUM EKUIVALENSI
LOGIKA
HUKUM KOMUTATIF : p ˄q ↔ q ˄p
p v q ↔ q v p

HUKUM ASOSIATIF : (p˄q) r↔p˄(q˄r )

(pvq)vr↔pv(q vr)

HUKUM DISTRIBUTIF : p ^(qvr)↔(p^q)v(p^q)

p v(q^r)↔(pvq)^(pvq )

HUKUM DE MORGAN : ~ ( p ^ q ) ↔ ~ p v ~q
~ ( p v q ) ↔ ~ p ^ ~q

HUKUM ABSORBSI : pv(p^q)↔ p

p^(p vq)↔p
HUKUM KHUSUS
Hukum Negasi ganda : ~(~p)↔p
~T ↔ F
~F ↔ T

Hukum Identitas : p ^T ↔ p
p v F ↔ p

Hukum Ikatan : p v T ↔ T
p^ F↔ F

Hukum Negasi : p v ~p ↔ T
p^~ p ↔F

Hukum Idempoten : p ^ p ↔ p
p v p ↔ p
 BEBERAPA PENGERTIAN

TAUTOLOGI :
suatu bentuk kalimat yang selalu bernilai benar

KONTRADIKSI:
suatu bentuk kalimat yang selalu bernilai salah

KONVERS
P q q p
I KO
NT
N RA
V PO
SIS
E I
R
~q ~p
S

~P ~q

RUMUS : p q = ~q ~p = ~p v q
 INFERENSI LOGIKA
METODE – METODE INFERENSI
Yaitu teknik untuk menurunkan kesimpulan berdasarkan hipotesa
yang ada tanpa harus menggunakan tabel kebenaran.

1. MODUS PONEN : p q 3.SILOGISME:

p p q

q q r

2. MODUS TOLLENS: p q p r

~q

~p
 SOAL-SOAL LATIHAN :

1. Buktikan ( p → q ) ↔ ( ~ q →~p ) merupakan tautologi

2. Pada suatu hari Anda pergi ke Kampus dan baru sadar

bahwa tidak pakai kaca mata setelah di ingat- ingat
ada beberapa fakta untuk kebenaran dimana kaca mata
tertinggal
a. Jika kaca mataku ada dimeja dapur maka aku pasti
melihatnya ketika sarapan pagi
b. Aku membaca koran di ruang tamu atau aku membaca
didapur
c. Jika aku membaca koran di ruang tamu maka pasti kaca
mata kuletakan di meja tamu.
d. Aku melihat kacamataku pada waktu sarapan pagi
e. Jika aku membaca buku di ranjang maka kaca mata
kuletakkan dimeja samping ranjang
f. Jika aku membaca koran di dapur maka kacamataku
ada dimeja dapur
Berdasarkan fakta diatas tentukan letak kacamatanya.
 Gunakan sifat Equivalensi
Logika
Sederhanakan kalimat di bawah ini :

a) ( p ˄ q ) v ( p )

b) (~p ˄ (~q ˄ r )) v (q ˄r ) v ( p ˄ r )

c) ~ ( p ˄ q ) ⇒ ( ~p v ( ~p v q ) )

d) ( p v q ) ˄ ( ~p ˄ ( ~p ˄ q ))

e) ( ~ ( p v ~q ) v (~p ˄ ~q )) ⇔ ~p