Professional Documents
Culture Documents
LK 1 Modul 6
LK 1 Modul 6
Disjungsi
Disjungsi merupakan pernyataan
majemuk dengan kata penghubung
“atau”.
Implikasi
Implikasi merupakan pernyataan yang
dibuat dari 2 pernyataan tunggal p dan
q yang dinyatakan dalam bentuk
kalimat “jika p maka q”.
Biimplikasi
Biimplikasi merupakan pernyataan
yang dibuat dari 2 pernyataan tunggal
p dan q yang dinyatakan dalam bentuk
kalimat “p jika dan hanya jika q”.
a. Kuantor
Kuantor Universal
Kuantor universal adalah “semua”,
“setiap”, “untuk semua” atau “untuk
setiap”.
Kuantor Eksistensial
Kuantor Eksistensial adalh “terdapat”,
“ada”, “sekurang-kurangnya satu”, atau
“ “beberapa”
Negasi Pernyataan Kuantor
Dua buah pernyataan (proposisi)
dikatakan ekivalen (berekuivalen
logis) jika kedua pernyataan itu
memiliki nilai kebenaran yang sama.
b. Tautologi
Tautologi adalah pernyataan majemuk
yang selalu bernilai benar untuk setiap
substitusi pernyataan tunggal.
c. Kontradiksi
Kontradiksi adalah pernyataan yang
selalu bernilai salah untuk setiap substitusi
nilai kebenaran pernyataan tunggalnya
a. Aljabar Proposisi
Hukum aljabar proposisi adalah hukum-
hukum yang mirip dengan hukum-hukum
aljanar pada sisitem bilangan riil. Hukum-
hukum tersebut dapat digunakan untuk
memberikan bukti formal ekivalensi dua
buah proposisi, khususnya pada proposisi
majemuk.
1 𝑃 ⟹ ( 𝐴 ⟹) P
⸫𝐴⟹𝐶
2 ( 𝑃 ^ 𝐴) ⟹ 𝐶 P
⸫C