Logika Matematika

 1. Negasi

Merupakan metode membalikan nilai sebelumnya, yang semula benar menjadi salah dan salah menjadi benar. dengan menambahkan negasi (menggunakan simbol -), anda dapat membuat penyangkalan atau penyingkaran 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 memeroleh negasi

B adalah pernyataan yang memiliki nilai benar

S adalah pernyataan yang memiliki nilai salah

2. Konjungsi

Merupakan teknik penggabungan beberapa pernyataan yang kemudian dikenal dengan istilah pernyataan majemuk. karakteristik konjungsi adalah menggunakan kata "dan" yang dinotasikan dengan simbol "^"

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

3. Disjungsi

Merupakan teknik perbandingan antara dua pernyataan yang dihubungkan dengan kata"atau" dan dipresentasikan dalam bentuk notasi simbol "V". Disjungsi akan menghasilkan nilai benar atau "true" selama ada atau salah satu pernyataan bernilai benar

p	q	pvq
B	B	B
B	S	B
S	B	B
S	S	S

4. Implikasi

Merupakan salah satu penerapan pernyataan majemuk yang menggunakan kata penghubung "jika...,"maka..." dengan notasi simbol berupa "->". sebagai contoh , p->q dapat dibaca sebagai "jika p, maka q".

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

5. Bimplikasi

Merupakan salah satu jenis perbyataabn majemuk yang dibentuk dengan menggunakan kata penghubung "..Jika dan hanya jika ...", yang diwakilidengan notasi "<->

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

Baca juga: Berpikir komputasional

a. proposisi

b. metode penalaran