LOGIKA MATEMATIKA

 1.Negasi

Merupakan metode membalikkan nilai seblumnya,yang semula benar.Dengan menambahkan negasi (menggunakan simbol~),anda dapat membuat penyangkalan atau pingingkaran dari pernyataan yang sebelumnya dibuat.Berikut adalah tabel kebenaran negasi:

P	~p
B	S
S	B

Penjelasan:

p  adalah simbol pernyataan.

~p adalah simbol pernyataan yang memperoleh negasi.

B  adalah pernyataan yang memiliki nilai benar.

S  adalah pernyataan yang memiliki nilai salah.

2.Konjungsi

Konjungsi merupakan teknik penggabungan beberapa pernyataan yang kemudian di kenal dengan istilah pernyataan majemuk.Karakteristik konjungsi adalah penggunaan kata "dan" yang di notasikan dengan simbol "^".Berikut tabel kebenaran konjungsi:

P	q	p^q
B	B	B
B	S	S
S	B	S
S	S	S

 Penjelasan:

p^q adalah output yang di hasilkan dari proses konjungsi.

3.Disjungsi

Disjungsi merupakan teknik perbandingan antara dua pernyataan (pernyataan majemuk) yang di hubungkan dengan kata "atau" dan di representasikan dalam bentuk notasi simbol  "V" .

Berikut adalah tabel kebenaran disjungsi: 

P	q	p v q
B	B	B
B	S	B
S	B	B
S	S	S

Penjelasan:

p V q =adalah output yang di hasilkan dari proses disjungsi

4.Implikasi

merupakan salahsatu penerapan pernyataan majemuk yang menggunakan kata penghubung "jika...,maka,..." dengan notasi simbol berupa "->". 

sebagai contoh,p -> q dapat dibaca sebagai "jika p maka q".Berikut adalah tabel kebenaran implikasi.

P	q	p->q
B	B	B
B	S	S
S	B	B
S	S	B

penjelasan:

p -> adalah output yang di hasilkan dari proses impikasi.

5.biimplikasi

merupakan salah satu jenis pernyataan majemuk yang dubentuk menggunakn kata penghubung ..."jika dan hanya jika..." yang diwakili dengan simbol notasi "<->".berikut adalah tabel kebenaran biimblikasi.

p	q	p <-> q
B	B	B
B	S	S
S	B	S
S	S	B

Penjelasan:

p <-> q adalah outpit yang dihasilkan dari proses biimbikasi.