9/6/2022

SERI MATA KULIAH

LOGIKA DAN HIMPUNAN TAUTOLOGI TAUTOLOGI ADALAH
PERNYATAAN MAJEMUK
YANG SELALU BERNILAI
TAUTOLOGI, KONTINGENSI, DAN BENAR UNTUK SEMUA
NILAI YANG MUNGKIN
KONTRADIKSI DARI PERNYATAAN-
PERNYATAAN
PENYUSUNNYA.

Periksa, apakah pernyataan majemuk berikut berupa

TAUTOLOGI!
¬ 𝑝 ∧ 𝑞 ↔ ¬𝑝 ∨ (¬𝑞)
Penyelesaian:

KONTINGENSI
Misalkan, ¬𝑝 = 𝑎, ¬𝑞 = 𝑏, 𝑝 ∧ 𝑞 = 𝑐, ¬ 𝑝 ∧ 𝑞 = ¬𝑐 = 𝑑,
¬𝑝 ∨ ¬𝑞 = 𝑎 ∨ 𝑏 = 𝑒, dan KONTINGENSI ADALAH
¬ 𝑝 ∧ 𝑞 ↔ ¬𝑝 ∨ ¬𝑞 = 𝑑 ⟷ 𝑒 = 𝑓 PERNYATAAN MAJEMUK
p q a b c d e f YANG BISA BERNILAI
B B S S B S S B BENAR ATAU SALAH,
B S S B S B B B TERGANTUNG NILAI YANG
S B B S S B B B MUNGKIN DARI
S S B B S B B B PERNYATAAN-
Pernyataan majemuk ¬ 𝑝 ∧ 𝑞 ↔ ¬𝑝 ∨ ¬𝑞 adalah TAUTOLOGI. ∎ PERNYATAAN
PENYUSUNNYA.

1
 9/6/2022

Periksa, apakah pernyataan majemuk berikut berupa

KONTINGENSI!
(𝑝 ⟶ 𝑞) ∧ (𝑝 ∨ 𝑞)
Penyelesaian:

KONTRADIKSI
Misalkan 𝑝 ∨ 𝑞 = 𝑎, 𝑝 ⟶ 𝑞 = 𝑏, dan
𝑝 ⟶ 𝑞 ∧ 𝑝∨𝑞 = 𝑏∧𝑎 = 𝑐 KONTRADIKSI ADALAH
PERNYATAAN MAJEMUK
p q a b c YANG SELALU BERNILAI
B B B B B Pernyataan majemuk
(𝑝 ⟶ 𝑞) ∧ (𝑝 ∨ 𝑞) SALAH UNTUK SEMUA
B S B S S
adalah KONTINGENSI. ∎ NILAI YANG MUNGKIN
S B B B B
S S S B S DARI PERNYATAAN-
PERNYATAAN
PENYUSUNNYA.

Periksa, apakah pernyataan majemuk berikut berupa

KONTRADIKSI!
(𝑝 ∧ 𝑞) ∧ ¬𝑝
Penyelesaian:
Misalkan, ¬𝑝 = 𝑎, 𝑝 ∧ 𝑞 = 𝑏, dan
𝑝 ∧ 𝑞 ∧ ¬𝑝 = 𝑏 ∧ 𝑎 = 𝑐 Konvers,
p q a b c Kontraposisi, dan
B B S B S
B S S S S Invers
S B B S S
S S B S S Jika 𝑝 ⟶ 𝑞 adalah sebuah implikasi, maka
terdapat beberapa pernyataan yang
Pernyataan majemuk (𝑝 ∧ 𝑞) ∧ ¬𝑝 adalah KONTRADIKSI. ∎ berhubungan dengan 𝑝 ⟶ 𝑞, yaitu:

2
 9/6/2022

KONTRAPOSISI
Tugas 2 Misalkan diberikan
implikasi sebagai
berikut:
Misalkan diberikan
INVERS (¬q)⟶( ¬p) KONVERS “Jika 7 adalah bilangan
implikasi sebagai ganjil, maka 7 adalah
berikut: bilangan ganjil”
(¬p)⟶ (¬q) q⟶p “Jika Angga meniup Tentukan konvers,
terompet, maka adiknya
Tugas 1 akan terbangun”
invers, dan
kontraposisinya!
Tentukan konvers,
Apa hubungan antara implikasi, konvers, invers, dan
invers, dan kontraposisi? kontraposisinya!

Periksa, apakah pernyataan 𝑝 dan 𝑝 ∨ 𝑞 adalah

IMPLIKASI LOGIS!
Penyelesaian:
Jika 𝑝 ⟶ 𝑞 adalah Misalkan, 𝑝 ∨ 𝑞 = 𝑎, dan
tautologi, maka 𝑝 ⟶ 𝑞 𝑝 ⟶ 𝑝∨𝑞 =𝑝⟶𝑎 =𝑏
selalu bernilai benar untuk
Implikasi semua nilai 𝑝 dan 𝑞 yang
p
B
q
B
a
B
b
B
mungkin dan dilambangkan
logis dengan 𝑝 ⟹ 𝑞
B
S
S
B
B
B
B
B
(dibaca “𝑝 implikasi logis 𝑞”). S S S B
Pernyataan 𝑝 dan 𝑝 ∨ 𝑞 adalah IMPLIKASI LOGIS. ∎

3
 9/6/2022

Periksa, apakah pernyataan ¬(𝑝 ∨ 𝑞) dan (¬𝑝 ∧ ¬𝑞)

adalah EKUIVALEN!
Jika 𝑝 ⟷ 𝑞 adalah tautologi, Penyelesaian:
maka 𝑝 ⟷ 𝑞 selalu bernilai Misalkan,¬𝑝 = 𝑎 , ¬𝑞 = 𝑏, ¬𝑝 ∧ ¬𝑞 = 𝑎 ∧ 𝑏 = 𝑐 ,
benar untuk semua nilai 𝑝 𝑝 ∨ 𝑞 = 𝑑 , ¬ 𝑝 ∨ 𝑞 = ¬𝑑 = 𝑒, ¬ 𝑝 ∨ 𝑞 ⟷ ¬𝑝 ∧ ¬𝑞 = 𝑒 ⟷ 𝑐 = 𝑓

Ekuivalensi dan 𝑞 yang mungkin dan

dilambangkan dengan
p
B
q
B
a
S
b
S
c
S
d
B
e
S
f
B
logis 𝑝 ⟺ 𝑞 atau 𝑝 ≡ 𝑞 B
S
S
B
S
B
B
S
S
S
B
B
S
S
B
B
(dibaca “𝑝 ekuivalensi logis 𝑞”
S S B B B S B B
atau “𝑝 ekuivalen dengan 𝑞“).
Pernyataan ¬(𝑝 ∨ 𝑞) dan (¬𝑝 ∧ ¬𝑞) adalah EKUIVALEN. ∎

TEOREMA 2
TEOREMA 1 (Hukum Switcheroo)

Pernyataan majemuk Pernyataan majemuk

p⟶q dan (¬q)⟶( ¬p) p⟶q dan (¬p)∨q adalah
adalah ekuivalen. ekuivalen.

Tugas 3: Buktikan kebenaran Teorema 1 dengan Tugas 4: Buktikan kebenaran Teorema 2 dengan
menggunakan tabel kebenaran! menggunakan tabel kebenaran!