Lohikang matematikal: Pagkakaiba sa mga binago

Mula sa Wikipedia, ang malayang ensiklopedya
Content deleted Content added
Legobot (usapan | ambag)
m Bot: Migrating 56 interwiki links, now provided by Wikidata on d:q1166618 (translate me)
m article is a stub using AWB
Linya 5: Linya 5:
[[Kaurian:Matematika]]
[[Kaurian:Matematika]]
[[Kaurian:Lohika]]
[[Kaurian:Lohika]]

{{stub}}

Pagbabago noong 10:28, 21 Setyembre 2014

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.

Usbong Ang lathalaing ito ay isang usbong. Makatutulong ka sa Wikipedia sa pagpapalawig nito.