Kamis, 07 Februari 2024

LOGIKA MATEMATIKA
Inokasay Simanjuntak, S.Pd.
A. Pernyataan dan Kalimat Terbuka
B. Ingkaran atau Negasi atau Penyangkalan (~)

Dari sebuah pernyataan,

kita dapat membuat
pernyataan baru berupa
ingkaran atau negasi, yakni
penyangkalan atas
pernyataan tadi. Untuk lebih
memahami hal ini,
perhatikan tabel kebenaran
ingkaran berikut:
 Contoh negasi dalam
Matematika :
p: Besi memuai jika dipanaskan (pernyataan bernilai benar)
~p: Besi tidak memuai jika dipanaskan (pernyataan bernilai salah)

p: Semua unggas adalah burung.

~p: Ada unggas yang bukan burung.
 C. PERNYATAAN MAJEMUK

a. Simbol dan Artinya

b. Tabel Kebenaran
 1. KONJUGASI ( ) ∧
Konjungsi adalah
pernyataan majemuk
dengan kata hubung
“dan”. Sehingga, notasi
“p∧ q” dibaca “p dan q”.
Berikut adalah tabel nilai
kebenaran konjungsi.
Dari tabel disamping,
kita dapat melihat
bahwa konjungsi hanya
akan benar jika kedua
pernyataan (p dan q)
benar.
2. DISJUNGSI ( ) ∨
Disjungsi adalah
pernyataan majemuk
dengan kata hubung
“atau”. Sehingga notasi
“p ∨ q” dibaca “p atau
q”.
Disjungsi hanya salah jika
kedua pernyataan (p dan
q) salah.
3. IMPLIKASI ( ) ⇒
Implikasi adalah
pernyataan majemuk
dengan kata hubung
“jika… maka…” Sehingga
⇒
notasi dari “p q”
dibaca “Jika p, maka q”.

Implikasi hanya bernilai

salah jika anteseden (p)
benar, dan konsekuen
(q) salah.
 4. BIIMPLIKASI ( ) ⇔
Biimplikasi adalah
pernyataan majemuk
dengan kata hubung “… jika
dan hanya jika”. Sehingga,
⇔
notasi dari “p q” akan
dibaca “p jika dan hanya
jika q”.

Biimplikasi akan bernilai

benar jika sebab dan
akibatnya (pernyataan p
dan q) bernilai sama. Baik
itu sama-sama benar, atau
sama-sama salah.
 D. TAUTOLOGI DAN KONTRADIKSI

TAUTOLOGI
Pernyataan majemuk yang selalu benar untuk semua
kemungkinan nilai kebenaran dari pernyataan-
pernyataan komponennya.

KONTRADIKSI
Pernyataan majemuk yang selalu salah untuk semua
kemungkinan nilai kebenaran dari pernyataan-
pernyataan komponennya.
 E. KONVERS, INVERS, DAN KONTRAPOSISI

Dari Implikasi p ⇒q
 F. BENTUK EKUIVALEN PERNYATAAN MAJEMUK

Pernyataan majemuk yang

memiliki nilai sama untuk semau
kemungkinannya dikatakan
ekuivalen. Notasi ekuivalen dalam
logika matematika adalah
“\equiv“.
Bentuk-bentuk pernyataan yang
saling ekuivalen adalah:
 F. BENTUK EKUIVALEN PERNYATAAN MAJEMUK

Ingkaran Pernyataan Majemuk

G. PENARIKAN KESIMPULAN