1

23
Logika Proposisi

45
0
0
1
1
00
1
0
1
01
0
1
1
01
0
0
0
10
1
0
01
0
1
1
 Logika proposisi
0
0
1
1
00
1
0
1
01
0
1
1
01
0
0
0
10
1
0
01
0
1
1

• Proposisi adalah istilah yang digunakan untuk

1
23
kalimat pernyataan yang memiliki arti penuh dan

45
utuh. Hal ini berarti suatu kalimat harus dapat
dipercaya, disangsikan, disangkal, atau dibuktikan
benar tidaknya. Singkatnya, proposisi adalah
pernyataan mengenai hal-hal yang dapat
dinilai benar atau salah.
 Logika proposisi
0
0
1
1
00
1
0
1
01
0
1
1
01
0
0
0
10
1
0
01
0
1
1
• Dalam ilmu logika, proposisi mempunyai tiga unsur

23
yakni:

1
45
1. Subyek, perkara yang disebutkan adalah terdiri
dari orang, benda, tempat, atau perkara.
2. Predikat adalah perkara yang dinyatakan dalam
subjek.
3. Kopula adalah kata yang
menghubungkan subjek dan predikat.
 Logika proposisi
0
0
1
1
0•0
1
0
1
01
0
1
1
01
0
0
0
10
1
0
01
0
1
1
Pernyataan yang benar dikatakan mempunyai nilai kebenaran
B (benar), sedangkan pernyataan yang salah dikatakan

1
23
mempunyai nilai kebenaran S (salah). 

45
• Catatan: Nilai kebenaran suatu pernyataan kadang-kadang
ditulis dengan lambang angka 1 atau 0. Angka 1 ekuivalen
dengan nilai kebenaran B, sedangkan angka 0 ekuivalen
dengan nilai kebenaran S. Lambang nilai kebenaran 1 dan 0
biasanya digunakan untuk menganalisis suatu jaringan listrik
 Logika proposisi
0
0
1
1
00
1
0
1
01
0
1
1
01
0
0
0
10
1
0
01
0
1
1
• Kebenaran suatu pernyatan dibedakan menjadi

23
dua, yaitu:

1
45
a) Kebenaran faktual, yaitu kesesuaian antara isi
peryataan dan fakta sesungguhnya.
b) Kebenaran logis, yaitu kesesuaian dengan
aturan-aturan logika.
 Logika proposisi
0
0
1
1
00
1
0
1
01
0
1
1
01
0
0
0
10
1
0
01
0
1
1
Contoh kalimat:

23
Semua manusia adalah fana

1
45
• Kata semua dalam kalimat tersebut dinamakan dengan
pembilang.
•Kata manusia berkedudukan sebagai subyek
•Kata adalah merupakan kopula.
•Adapun predikat di sini diwakili oleh kata fana.
 Logika proposisi
0
0
1
1
00
1
0
1
01
0
1
1
01
0
0
0
10
1
0
01
0
1
1
Contoh :
1. Jakarta adalah ibu kota Republik Indonesia. (T)

1
23
2. 7 merupakan sebuah bilangan prima. (T)

45
3. Manusia adalah salah satu jenis makluk di Bumi. (T)

4. Mata uang Indoesia adalah Dollar. (F)

 The Statement/Proposition Game

“Gajah lebih besar daripada tikus.”

0
0
1
1
00
1
0
1
01
0
1
1
01
0
0
0
10
1
0
01
0
1
1

23
Apakah ini suatu pernyataan? yes

1
45
Apakah ini suatu proposisi? yes

Apa nilai kebenaran daripada

proposisi tersebut? true
 The Statement/Proposition Game

• “520 < 111”

0
0
1
1
00
1
0
1
01
0
1
1
01
0
0
0
10
1
0
01
0
1
1

23
Apakah ini suatu pernyataan ? yes

1
45
Apakah ini suatu proposisi? yes

Apa nilai kebenaran daripada

proposisi tersebut? false
 The Statement/Proposition Game

• “y > 5”
0
0
1
1
00
1
0
1
01
0
1
1
01
0
0
0
10
1
0
01
0
1
1

23
Apakah ini suatu statement? yes

1
45
Apakah ini suatu proposisi? no
Nilai kebenarannya tergantung pada
nilai daripada y , tetapi nilai ini tidak
diberikan (not specified).
Kita sebut tipe pernyataan ini suatu
fungsi proposisional atau kalimat
terbuka.
 The Statement/Proposition Game

• “Hari ini Jan. 28 and 99 < 5.”

0
0
1
1
00
1
0
1
01
0
1
1
01
0
0
0
10
1
0
01
0
1
1

yes

23
Apakah suatu statement?

1
45
Apakah ini suatu proposition? yes

What is the truth value

of the proposition? false
 Logika Proposisi
0
0
1
1
•0
0
1
0
10
1
0
11
0
1
0
00
1
0
1
00
1
0
1
1
Proposisi primitif adalah proposisi yang tidak memuat
penghubung;

1
23
• Proposisi atomik adalah proposisi yang tak dapat dipecah –

45
pecah menjadi beberapa proposisi lagi.
• Proposisi majemuk (Compound) adalah Proposisi baru yang
diperoleh dari kombinasi beberapa proposisi primitif
dengan menggunakan perangkai – perangkai atau
penghubung (Conectives). Proposisi majemuk terdiri dari
banyak proposisi atomik.
 Logika Proposisi
Contoh
0
0
1
1
0010 10:1
0
1
1
01
0
0
0
10
1
0
01
0
1
1
Surabaya adalah ibukota Jawa Timur Proposisi Primitif

23
Tejo lahir di kota Bandung Proposisi Primitif

1
Belajarlah! Proposisi Atomik

45
Ayah dan Ibu Pergi ke Solo Proposisi Majemuk

• Proposisi primitif tidak memiliki penghubung;

• Proposisi atomik kadang hanya memiliki satu kata tetapi memiliki
arti yang bermakna;
• Proposisi majemuk adalah gabungan dari dua atau lebih
proposisi.
 Logika Proposisi
Jenis
0
0
1
10010 –1
jenis
0101 1logika
01 0001proposisi:
010010 11

• Negasi / Ingkaran

1
23
• Konjungsi (Conjunction)

45
• Disjungsi (Disjunction)
• Implikasi (Implication)
• Ekuivalensi (Eqivalenci)
 Negasi
•0
0
0
1
1Ingkaran/Negasi
010101011010001 dari
01
00 suatu
101
1 pernyataan adalah pernyataan
lain yang diperoleh dengan menambahkan kata ”tidak”

23
atau menyisipkan kata ”bukan” pada pernyataan semula.

1
45
• Ingkaran dari suatu pernyataan p (proposisi) disajikan
dengan lambang atau –p atau ~p atau ̚ p dan dibaca: ”tidak
p”.
• Bila peryataan p bernilai benar, maka ingkarannya bernilai
salah dan sebaliknya.
 Tabel Kebenaran Negasi
0
0
1
1
00
1
0
1
01
0
1
1
01
0
0
0
10
1
0
01
0
1
1
P ͂ P
T F

1
23
F T

45
• Bila p bernilai benar (True/T) maka negasinya bernilai salah
(False/F);
• Bila p bernilai salah (False/F) maka negasinya bernilai benar
(True/T).
 Contoh Negasi
0
0
1
1
00
1
0
1
01
0
1
1
01
P0
0
0
1
01
0
0
1
01
1 ͂ P

Pak Soleh bekerja sebagai montir Pak Soleh tidak bekerja sebagai

23
montir

1
Manusia mempunyai ekor Manusia tidak mempunyai ekor

45
Harimau bukan binatang buas Harimau binatang buas

Semua bilangan prima adalah Tidak semua bilangan prima

bilangan ganjil adalah ganjil
 Latihan
Manakah
0
0
1
1
00
101010 dari
1101 kalimat
0
0 0101 –0
0kalimat
10 11 atau pernyataan – pernyataan
berikut yang berupa proposisi, dan tentukan nilai kebenarannya!

23
1.Bandung adalah ibukota provinsi Jawa Tengah.

1
45
2.2 + 3 = 5
3.X + 5 = 11

4.Jawablah Pertanyaan ini!

5.Jam berapakah ini?
6.X + 1 = 5 jika X = 2
 Latihan
Apa
0
0
1
1
00
10 bentuk
1010 11negasi
01000 1dari
010 proposisi
01011 berikut?
1.Hari ini adalah hari minggu

1
23
2.Tidak ada musim hujan diindonesia

45
3.2 + 3 = 5

4.Kemarin jalanan macet

5.Satu dekade sama dengan 10 tahun.