Pagbabago noong 11:33, 24 Agosto 2009 baguhin TXiKiBoT (usapan \| ambag) Mga bot 47,840 edit m robot dinagdag: tg:Мантиқи риёзӣ ← Nakaraang pagkakaiba		Pagbabago noong 23:08, 18 Nobyembre 2009 baguhin i-undo ArthurBot (usapan \| ambag) Mga bot 22,985 edit m robot dinagdag: ro:Logică matematică; Kosmetiko pagbabago Susunod na pagkakaiba →
Linya 1: 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 sa matematika\|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]]. [[Kaurian:Matematika]] Linya 38: [[no:Predikatslogikk]] [[pl:Logika matematyczna]] [[ro:Logică matematică]] [[ru:Математическая логика]] [[sh:Matematička logika]]

Lohikang matematikal: Pagkakaiba sa mga binago