Tabel Kebenaran Logika Matematika Part 1

         Logika matematika adalah cabang logika dan matematika yang mengandung kajian matematis logika dan aplikasi kajian ini pada bidang-bidang lain di luar matematika. Logika matematika berhubungan erat dengan ilmu komputer dan logika filosofis. Tema utama dalam logika matematika antara lain adalah kekuatan ekspresif dari logika formal dan kekuatan deduktif dari sistem pembuktian formal. Logika matematika sering dibagi ke dalam cabang-cabang dari teori himpunan, teori model, teori rekursi, teori pembuktian, serta matematika konstruktif. Bidang-bidang ini memiliki hasil dasar logika yang serupa. 

sumber : wikipedia

• Operasi Negasi

           Operasi negasi atau ingkaran adalah operasi yang dikenakan hanya pada sebuah pernyataan. Operasi negasi dilambangkan “ ~ “

Jika p adalah pernyataan tunggal, maka ~p adalah pernyataan majemuk. Negasi dari suatu pernyataan yang bernilai benar adalah salah dan negasi dari suatu pernyataan yang bernilai salah adalah benar.

Definisi diatas dapat ditulis dalam tabel kebenaran seperti pada gambar dibawah ini :

 

Contoh:

p    :  Berlin adalah ibukota negara Jerman

~ p :  Berlin bukan ibukota negara Jerman

• Operasi Konjungsi

           Suatu pernyataan majemuk yang dibentuk dengan cara menggabungkan dua pernyataan tunggal dengan memakai kata perangkai dan disebut konjungsi. Operasi konjungsi dilambangkan dengan “ ^ “.

Definisi: Sebuah konjungsi bernilai benar jika komponen-komponennya bernilai benar, dan bernilai salah jika salah satu dari komponennya bernilai salah.

untuk lebih tepatnya kita lihat tabel kebenaran seperti pada gambar dibawah ini :

• Operasi Disjungsi

           Suatu pernyataan majemuk yang dibentuk dengan cara menggabungkan dua pernyataan tunggal dengan memakai kata perangkai atau disebut disjungsi. Operasi disjungsi dilambangkan dengan “ v “.

Definisi: Sebuah disjungsi inklusif bernilai benar jika paling sedikit salah satu komponennya bernilai benar, sedangkan disjungsi eksklusif bernilai benar jika paling sedikit komponennya bernilai benar tetapi tidak kedua-duanya.

Untuk lebih tepatnya kita lihat  dalam tabel kebenaran seperti pada gambar dibawah ini: