Lohikang matematikal: Pagkakaiba sa mga binago
Content deleted Content added
No edit summary |
m robot Añadido: ar, be, be-x-old, bg, bs, cs, eo, et, fa, gd, hr, hu, lij, pl, sk, sl, uk Modificado: tr |
||
| Linya 3: | 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]]. |
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:منطق رياضي]] |
|||
[[be:Матэматычная логіка]] |
|||
[[be-x-old:Матэматычная логіка]] |
|||
[[bg:Математическа логика]] |
|||
[[bs:Matematička logika]] |
|||
[[cs:Matematická logika]] |
|||
[[de:Mathematische Logik]] |
[[de:Mathematische Logik]] |
||
| ⚫ | |||
[[en:Mathematical logic]] |
[[en:Mathematical logic]] |
||
[[eo:Matematika logiko]] |
|||
| ⚫ | |||
[[et:Matemaatiline loogika]] |
|||
[[fa:منطق ریاضی]] |
|||
[[fr:Logique mathématique]] |
[[fr:Logique mathématique]] |
||
[[gd:Rianas matamataigeach]] |
|||
[[hr:Matematička logika]] |
|||
[[hu:Matematikai logika]] |
|||
[[it:Logica matematica]] |
[[it:Logica matematica]] |
||
[[ja:数理論理学]] |
|||
[[ja:数理論理学]] |
|||
[[lij:Logica Matematica]] |
|||
[[ru:Математическая логика]] |
|||
[[pl:Logika matematyczna]] |
|||
[[ru:Математическая логика]] |
|||
[[sk:Matematická logika]] |
|||
[[sl:Matematična logika]] |
|||
[[sq:Logjika Matematikore]] |
[[sq:Logjika Matematikore]] |
||
[[sv:Matematisk logik]] |
[[sv:Matematisk logik]] |
||
[[th:คณิตตรรกศาสตร์]] |
|||
[[th:คณิตตรรกศาสตร์]] |
|||
[[tr: |
[[tr:Matematiksel mantık]] |
||
[[uk:Математична логіка]] |
|||
[[zh:数理逻辑]] |
|||
[[zh:数理逻辑]] |
|||
| ⚫ | |||
| ⚫ | |||
Pagbabago noong 20:36, 6 Hunyo 2007
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.