Dalam ilmu matematika juga dikenal teknik logika. Logika matematika terdapat lima istilah yang sering digunakan, yaitu :
1.negasi
merupakan metode membalikan nilai sebelumnya, yang semula benar menjadi salah dan salah menjadi benar. dengan menambahkan negasi ( menggunakan simbol ~)
berikut adalah tabel kebenaran negasi.
p=adalah pernyataan kesatuan
~p=adalah simbol pernyataan yang memperoleh negasi
b=adalah pernyatan yang memiliki nilai besar.
s=adalah pernyataan yang memiliki niai salah.
2.konjungsi
konjungsi merupakan teknik penggabungan beberapa pernyataan yang kemudian di kenal dengan istila pernyataan majemuk.
p=adalah pernyatan kesatuan.
q=adalah pernyataan ke dua.
b=adalah pernyataanyang memiliki nilaia benar.
s=adalah pernyataan yang memiliki nilai salah.
p^p=adalah output yang dihasilkan dari proses konjungsi.
3.disjungsi
Disjungsi merupakan teknik perbandingan antara dua pernyataan(pernyataan majemuk) yang dihubungkan dengan kata "atau" dan dipresentasikan dengan simbol "v". Disjungsi akan menghasilkan nilai benar atau true.
p=adalah pernyataan persatua
q=adalah pernyataan kedua
b=adalah pernyataanyang memiliki nilaia benar
s= adalah pernyataanyang memiliki nilaia benar
p v p=adalah output yang dihasilkan dari proses
4.implikasi
Merupakan salah satu penerapan pernyataan majemuk yang menggunakan penghubung "jika"..., maka..." dengan notasi simbol berupa"->". Sebagai contoh, p -> q.
p=adalah pernyataan kesatu
q=adalah pernyataan kedua.
b=adalah pernyataanyang memiliki nilaia benar
s= adalah pernyataanyang memiliki nilaia benar
p-p=adalah output yang dihasilkan dari proses implikasi.
5.Bimplikasi
Bimplikasi merupakan salah satu jenis pernyataan majemuk yang dibentuk dengan menggunakan kata penghubung"...jika dan hanya jika...", yang diwakili dengan simbol notasi "<->".
p=adalah pernyataan kesatu
q=adalah pernyataan kedua.
b=adalah pernyataanyang memiliki nilaia benar
s= adalah pernyataanyang memiliki nilaia benar
p-q=adalah output yang dihasilkan dari proses biimplikasi.
Tidak ada komentar:
Posting Komentar