LOGIKA (Operasi Pernyataan)
LOGIKA (Operasi Pernyataan)
1. Operasi moner (Negasi) adalah pengingkaran atau kebalikan dari nilai kebenaran sebuah
pernyataan.
P ̴
nilai kebenaran negasi suatu pernyataan dengan simbol “ ~ ”.
P
Jika p bernilai B (benar), maka ~p bernilai S (salah) atau sebaliknya. B S
S B
2. Operasi Biner adalah operasi yang berkenaan dengan pernyataan
majemk.
Ada 4 macam operasi biner, yaitu :
a. Konjungsi : penggabungan dua pernyataan atau lebih dalam bentuk
“..DAN..” yang disimbolkan “v”. Ex : p v q berarti p dan q
b. Disjungsi : penggabungan dua pernyataan atau lebih dalam bentuk
“..ATAU..” yang disimbolkan “^”. Ex : p ^ q berarti p atau q
c. Implikasi : penggabungan dua pernyataan atau lebih dalam bentuk
“..JIKA, MAKA..” yang disimbolkan “”. Ex : p q berarti p maka q
d. Biimplikasi : penggabungan dua pernyataan atau lebih dalam bentuk “..JIKA DAN
HANYA JIKA..” yang disimbolkan “↔”. Ex : p ↔ q berarti p jika dan hanya jika q
Komentar :
Operasi-operasi pernyataan yang ditulis dalam buku ini cukup lengkap dan menurut referensi
yang saya baca operasi tersebut dibedakan menurut pernyataan tunggal dan pernyataan
majemuk.
Referensi :