Logika Matematika pasti pernah kita pelajari waktu kelas X SMA, materi ini terbilang gampang-gampang susah dan tidak memerlukan banyak perhitungan.
Logika matematika merupakan teori yang mempelajari cabang logika dan matematika yang berisi kajian matematis logika. Biasanya materi ini banyak diaplikasikan pada ilmu komputer dan logika filosofis.

Dalam logika matematika, terdapat istilah yang namanya logika proposisi. Logika proposisi merupakan kalimat logika deklaratif yang memiliki nilai kebenaran baik itu
Truthful
atau
FALSE tetapi
Tidak Keduanya. Logika proposisi juga biasa disitilahkan dengan kalkulus proposisi (propositional calculus) , Sedangkan formula logika proposisi yaitu, rumus yang digunakan untuk meyatakan suatu kebenaran. Dimana dalam formula logika biasanya ditulis dalam bentuk simbol p, q, r, south.. dll, serta dipisahkan oleh operator logika seperti
AND
(∧),
OR
(∨),
XOR (⊕),
IMPLIKASI(→) ,
BIIMPLIKASI
( ↔) ,
NEGASI (¬).

Daftar Isi:

1 Hukum Ekuivalensi Logika

KONJUNGSI (∧ )

Konjungsi merupakan operator logika yang biasa disebut AND. Jika p dan q adalah proposisi sehingga p ∧ q juga proposisi yang dinamakan konjungsi.

Untuk menentukan nilai kebenaran dari suatu formula logika proposisi dari p ∧ q , ketika p dan q keduanya bernilai benar
True, jika salah satunya bernilai salah, hasilnya akan
Faux.

Berikut tabel kebenaran dari p dan q dimana angka 1 mewakili nilai
TRUE
dan 0 mewakiliki nilai
Fake.

p	q	p ∧ q
1	1	ane
i
	1

DISJUNGSI (∨)

Disjungsi merupakan operator logika yang biasa disebut OR. Jika p dan q adalah proposisi sehingga p ∨ q juga proposisi yang dinamakan disjungsi..

Untuk menentukan nilai kebenaran
TRUE
dari suatu formula logika dari p ∨ q, ketika p dan q salah satu atau keduanya bernilai
Truthful. Dan untuk memperoleh nilai kebenaran
FALSE, keduanya tepat juga harus bernilai
Faux.

Berikut Tabel kebenaran dari p ∨ q

Baca : Tekanan Pada Balok

p	q	p ∨ q
1	1	i
ane		i
	1	one

DISJUNGSI EKSKLUSIF (⊕)

DE merupakan operator logika yang biasa disebut XOR. Jika p dan q adalah proposisi, maka p ⊕ q juga merupakan proposisi yang dinamakan disjungsi ekslkulsif/
exclusive or.

p ⊕ q memiliki nilai kebenaran
TRUE, jika p dan q memiliki nilai kebenaran yang berbeda. Selain itu maka bernilai
FALSE.

Berikut tabel kebenaran sebagai bukti pernyataan di atas.

p	q	p ⊕ q
1	1
1		1
	1	ane

IMPLIKASI (→)

Implikasi merupakan operator logika yang biasa disebut jika maka. Jika p dan q adalah proposisi, maka p → q juga merupakan proposisi yang dinamakan implikasi
jika
p,
maka
q. Dimana p dalam hal ini disebut hipotesis dan q adalah konklusi.

p → q memiliki nilai kebenaran
FALSE. jika p bernilai
True dan q bernilai
FALSE. selain itu hasil p → q bernilai
True.

Berikut tabel kebenaran sebagai pembuktian dari pernyataan di atas.

p	q	p → q
1	1	1
i
	1	1
		1

BIIMPLIKASI (↔)

Biimplaksi merupakan operator logika yang biasa disebut jika dan hanya jika. Jika p dan q adalah proposisi, maka p ↔ q juga merupakan propsisi yang disebut sebaga biimplikasi atau bikondisional.

p ↔ q memiliki nilai kebenaran
True,
jika p dan q memiliki nilai kebenaran yang sama
TRUE/False. Hal ini juga biasa disebut kebalikan dari XOR.

Berikut tabel kebenaran biimplikasi sebagai pembuktian pernyataan di atas.

p	q	p ↔ q
1	1	1
1
	1
		one

NEGASI (¬)

Negasi merupakan operator logika yang memiliki arti kebenaran sebaliknya. Jika p merupakan suatu proposisi, maka ¬p juga merupakan proposisi yang disebut negasi.

¬p memiliki nilai kebenaran yang
TRUE, jika p memiliki nilai kebenaran
Imitation. Dimana ¬p memiliki makna kebenaran yang berlawanan dengan p.

Berikut tabel kebenaran negasi sebagai bukti pernyataan di atas sebagai berikut

p	¬p
ane
	1

Apa itu Ekuivalensi?

Berdasarkan kamus besar Bahasa Republic of indonesia kata ekuivalen itu bermakna nilai yang sebanding. Jadi dalam formula logika proposisi. Terdapat formula-formula yang memiliki operator logika yang berbeda tetapi nilai kebenaran dari formula tersebut bernilai sama, entah itu bernilai
Truthful
atau
Fake.

Ada beberapa hukum ekuivalensi logika yang berlaku, bisa dilihat pada gambar di bawah ini

Baca : Alat Musik Yang Sumber Bunyinya Dari Udara Disebut

Ekuivalensi Logika pada operator negasi, konjungsi, dan disjungsi

Mungkin itu saja informasi tentang dasar logika dan hukum-hukum ekuivalensi logika pada materi logika matematika. Mudah-mudah bisa bermanfaat untuk kalian semua.

Dasar Logika Proposisi dan Hukum-Hukum Ekuivalensi Logika

Oleh
Arian

KlikBelajar.com Edukasi, Belajar dan Informasi