rumus ekuivalen logika matematika

Pernyataan majemuk yang ekuivalen dinyatakan sama jika memiliki nilai kebenaran yang sama dalam logika. Dalam notasi ekuivalen dalam matematika, digunakan tanda "≡". Beberapa bentuk pernyataan yang saling ekuivalen antara lain bentuk implikasi yang ekuivalen dengan bentuk ekuivalen pernyataan majemuk. Hukum ekuivalen logika seperti hukum komutatif, asosiatif, distributif, identitas, ikatan, dan negasi, juga mengacu pada pernyataan majemuk yang ekuivalen. Proposisi majemuk p dan q dikatakan ekuivalen jika; dan hanya jika kolom yang memberikan nilai kebenaran adalah sama. Logika matematika melibatkan proses penalaran yang ditinjau dari segi ketepatannya. Modus ponens dan operasi logika seperti negasi/ingkaran, disjungsi, dan lainnya, juga digunakan dalam logika matematika. Logika matematika sering diaplikasikan dalam kehidupan sehari-hari, seperti pada analisis kasus kepolisian.