Mengupas Logika Matematika: Hukum, Simbol, dan Aplikasinya

Hukum Disjungsi:

Sebuah pernyataan akan bernilai benar jika salah satu komponennya bernilai benar. Contohnya: .

Hukum Konjungsi:

Sebuah pernyataan hanya bernilai benar jika kedua komponennya bernilai benar. Contohnya: .

Hukum Implikasi:

Implikasi menyatakan bahwa jika premis pertama benar, maka premis kedua harus benar. Contohnya: .

Hukum Distribusi:

Mengatur bagaimana operator logika berinteraksi dalam sebuah pernyataan majemuk, seperti .

Simbol-Simbol dalam Logika Matematika

Dalam logika matematika, digunakan simbol-simbol tertentu untuk merepresentasikan hubungan logis. Beberapa simbol yang umum digunakan antara lain:

: Negasi (tidak)