Wahhh matematika mungkin dalam benak anda itu suatu yang menyulit kan. waow. Tapi Berbeda Dengan logika metematika . . penasaran ini penjelasanya.
Logika matematika adalah cabang logika dan matematika yang mengandung kajian matematis logika 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.
Hukum logika
- 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 ≡ B
- p ∨ ~p ≡ S
- Hukum negasi ganda
- ~(~p) ≡ p
- Hukum idempotent
- p ∧ p ≡ p
- p ∨ p ≡ p
- Hukum De Morgan
- ~(p ∧ q) ≡ ~p ∨ ~q
- ~(p ∨ q) ≡ ~p ∧ ~q
- Hukum penyerapan
- p ∧ (p ∨ q) ≡ p
- p ∨ (p ∧ q) ≡ p
- Negasi B dan S
- ~B ≡ S
- ~S ≡ B
Artikel Terkait Pengetahuan
- Cara Ambil Resiko Berbisnis
- Bagian Bagian Kamera
- Simbol Bahan-Bahan Berbahaya
- Cara Cara Merangkai Bunga Yang Cantik
- Pengertian Karyawan Dan Cara Cara Meningkatkan Kinerja
- CARA MEMBUAT WAJAH SEPARUH TENGKORAK
- XL Resmi Bekerjasama Dengan Axis
- Pengertian Situs WEB
- Situs Pembeli Artikel Dengan Tinggi
- Pengertian Badai Dan Penyebab Badai
- Bagian Kamera Video
- Macam -Macam Shot Pada Kamera
- Keunggulan Air Raksa Sebagai Pengisi Termometer
- 4 Cara Ekonomi Kemajuan Jepang
- Pengertian FPB (Faktor Persekutuan Besar/Terbesar)
