Logika matematika: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Tidak ada ringkasan suntingan Tag: Dikembalikan VisualEditor |
Mbak dosen (bicara | kontrib) Menambahkan pengertian dari logika matematika Tag: Dikembalikan VisualEditor |
||
Baris 1:
{{Ilmu}}
'''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]].<ref>{{Cite web|title=Logic|url=http://www.math.wichita.edu/history/Topics/logic.html|website=www.math.wichita.edu|access-date=2020-08-21}}</ref> Tema utama dalam logika matematika antara lain adalah kekuatan ekspresif dari [[logika formal]] dan kekuatan deduktif dari sistem [[pembuktian matematika|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.
Logika matematika merupakan terjemahan dari symbolic logic yaitu logika modern. Istilah pernyataan dan bukan pernyataan yang menjadi dasar dalam logika matematika satu sama lain dibedakan dengan kalimat-kalimat biasa.<ref>{{Cite web|last=Karso|date=2014|title=Pernyataan dan Kata Hubung Pernyataan Majemuk|url=http://repository.ut.ac.id/4692/1/PEMA4102-M1.pdf|website=Universitas Terbuka|access-date=2023-12-11}}</ref>
== Jenis-jenis logika matematika ==
| |||