Lohikang matematikal: Pagkakaiba sa mga binago
Content deleted Content added
m robot dinagdag: sh:Matematička logika |
m sa ngalan ni Felipe Aira, nagsatagalog ng mga kawing sa mga ngalan-espasyo |
||
Linya 3:
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]].
[[
[[
[[ar:منطق رياضي]]
|