Lohikang Matematikal
Ang matematikal na lohika ay isang disiplina sa loob ng matematika, pinag-aaralan ang mga pormal na sistema na may kaugnayan sa paraan ng pagpasok ng mga konsepto na may intuwisyon sa isang patunay at kompyutasyon bilang bahagi ng pundasyon ng matematika.
Bagaman, maaaring isipin ng ordinaryong tao na ang matematikal na lohika ay ang lohika ng matematika, sa halip malapit na kawangis ito sa katotohanan sa matematika ng lohika. Binubuo ng mga bahagi ng lohika na maaaring imodelo sa matematika. Unang itinalaga bilang simbolikong lohika (na kabaligtaran ng pilosopiyang lohika); at metamatematika, na itinakda bilang kataga sa ilang aspeto ng teorya ng patunay.
Ang lathalaing ito na tungkol sa Matematika ay isang usbong. Makatutulong ka sa Wiki sa pagpapalawig nito.
This article uses material from the Wikipedia Tagalog article Lohikang matematikal, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Maaaring gamitin ang nilalaman sa ilalim ng CC BY-SA 4.0 maliban kung nabanggit. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Tagalog (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.