Logika Matematika

Halo Teman Teman Kali ini Saya Egha Ramdhani Akan Membahas Apa itu Logika Matematika Logika matematika adalah cabang Logika dan Matematika yang mengandung kajian logika matematis 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 . Ada 13 Hukum logika yaitu : Hukum komutatif p ∧ q ≡ q ∧ p p ∨ q ≡ q ∨ p Hukum asosiatif (p ∧ q) ∧ r ≡ p ∧ (q ∧ r) (p ∨ q) ∨ r ≡ p ∨ (q ∨ r) Hukum distributif p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) Hukum identitas p ∧ B ≡ p p ∨ S ≡ p Hukum ikatan p ∧ S ≡ S p ∨ B ≡ B Hukum negasi p ∧ ~p ≡ S...