⮚ 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.
⸫𝐴⟹𝐶
2 ( 𝑃 ^ 𝐴) ⟹ 𝐶 P
⸫C