Logika Matematika

 C. Logika Matematika

   Dalam ilmu matematika juga dikenal teknik logika. hal ini menunjukan bahwa ilmu matematika tidak sebatas pada perhitungan antara 2 atau lebih bilangan saja. Dalam logika matematika, terdapat 5 istilah yang sering digunakan yaitu: 
a. Negasi
      Negasi merupakan metode membalikan nilai sebelumnya yang semula benar menjadi salah dan salah menjadi benar. Berikut adalah tabel kebenaran negasi.

Penjelasan
p adalah simbol pernyataan
~p adalah simbol pernyataan yang memperoleh negasi.
B adalah pernyataan yang dimiliki nilai benar
S adalah pernyataan yang memiliki nilai salah



b. Konjungsi 
      Konjungsi merupakan teknik penggabungan beberapa pernyataan yang kemudian dikenal dengan istilah pernyataan majemuk. Berikut adalah tabel kebenaran konjungsi.
                                                                                         

Penjelasan
p adalah pernyataan kesatu.
q adalah pernyataan kedua.
B adalah pernyataan yang memiliki nilai benar.
S adalah pernyataan yang memiliki nilai salah.
p ⇧ q adalah output yang dihasilkan dari proses konjungsi




c. Disjungsi
      Disjungsi merupakan teknik perbandingan antara dua pernyataan (Pernyataan Majemuk) yang dihubungkan dengan kata "atau" dan direpresentasikan dalam bentuk notasi simbol "v". Berikut adalah tabel kebenaran disjungsi.                                                                     

Penjelasan
p adalah pernyataan kesatu.
q adalah pernyataan kedua.
B adalah pernyataan yang memiliki nilai benar.
S adalah pernyataan yang memiliki nilai salah.
pvq adalah output yang dihasilkan dari proses disjungsi



d. Implikasi
      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" berikut adalah tabel kebenaran implikasi. Berikut adalah tabel kebenaran implikasi.                                                                                      

Penjelasan
p adalah pernyataan kesatu.
q adalah pernyataan kedua.
B adalah pernyataan yang memiliki nilai benar.
S adalah pernyataan yang memiliki nilai salah.
P ➔ q adalah output yang dihasilkan dari proses implikasi




 e. Biimplikasi
       BIimplikasi merupakan salah satu jenis pernyataan majemuk yang dibentuk dengan menggunakan kata penghubung "....jika dan hanya ...",yang diwakili dengan simbol notasi "↔". berikut adalah tabel kebenaran biimplikasi.                                                                                        

Penjelasan
p adalah pernyataan kesatu.
q adalah pernyataan kedua.
B adalah pernyataan yang memiliki nilai benar.
S adalah pernyataan yang memiliki nilai salah.
p ↔ q adalah output yang dihasilkan dari proses biimplikasi.