Rumus Budi Matematika Dan Tabel Kebenaran

Logika matematika merupakan salah satu bahan pelajaran matematika dan cabang logika yang mempunyai kandungan kajian matematis logika. Secara matematis, logika sanggup dianalisis menurut nilai-nilai kebenaran. Logika matematika termasuk salah satu ilmu matematika yang kaya diaplikasikan dalam kehidupan sehari-hari ibarat kepolisian yang memakai logika matematika untuk menganalisis suatu kasus. Selain itu, logika matematika juga paling kaya diterapkan dalam ilmu komputer, filosofis, dan penarikan kesimpulan dalam pelajaran bahasa Indonesia. Dalam logika matematika akan dibahas bagaimana nilai kebenaran dari suatu pernyataan, ingkaran atau negasi, kesetaraan hingga lalu penarikan kesimpulan yang sah dari sedikit pernyataan atau keadaan.

Pernyatan-pernyataan Dalam Logika Matematika
Dalam logika matematika, pernyataan-pernyataan lalu disaapabilan dalam bentuk simbol. Berikut ini pernyataan-pernyataan yang terdapat dalam logika matematika :

1. Negasi
   Negasi atau ingkaran merupakan suatu pernyataan yang isinya mengingkari suatu nilai pernyataan. Negasi biasa disimbolkan dengan lambang ” ” yang berarti tak atau bukan. Jika suatu pernyataan menyatakan bumi merupakan lingkaran maka negasinya merupakan bumi tak bulat.
2. Konjungsi
   Konjungsi merupakan pernyataan beragam yang dihubungkan dengan kata hubung “dan” atau disimbolkan dengan “∧”. Pernyataan konjungsi hanya akan bernilai benar apabila kedua pernyataan yang terdapat di dalamnya bernilai benar. Jika salah satu pernyataan bernilai salah, maka pernyataan konjungsi juga bernilai salah.
3. Dijungsi
   Disjungsi merupakan pernyataan beragam yang dihubungkan dengan kata hubung “atau” yang disimbolkan dengan “∨”. Disjungsi merupakan kebalikan dari konjungsi. Pernyataan disjungsi hanya akan bernilai salah apabila kedua pernyataan yang terdapat di dalamnya bernilai salah. Jika salah satu pernyataan bernilai benar, maka pernyataan disjungsi juga bernilai benar.
4. Implikasi
   Implikasi merupakan pernyataan beragam yang diawali dengan kata apabila dan dihubungkan dengan kata hubung “maka” yang disimbolkan dengan “→”. Misal p → q dibaca apabila p maka q.
5. Biimplikasi
   Biimplikasi merupakan bentuk kompleks dari implikasi yang berarti “apabila dan hanya apabila” dan disimbolkan dengan “↔”. Misal p ↔ q dibaca p apabila dan hanya apabila q.
6. Konvers
   Konvers merupakan kebalikan dari implikasi ditandai dengan pertukaran letak. Misal implikasi p → q, maka konversnya merupakan q → p.
7. Invers
   Invers merupakan lawan dari implikasi. Pada invers, pernyataan yang terdapat dalam pernyataan beragam merupakan negasi dari pernyataan pada implikasi. Misal implikasi p → q, maka inversnya merupakan p → q.
8. Kontraposisi
   Kontraposisi merupakan kebalikan dari invers sama halnya dengan konvers hanya saja pernyataannya merupakan negasi atau ingkaran. Misal invers p → q, maka kontraposisinya merupakan q → p.