Lohikang matematikal: Pagkakaiba sa mga binago

← Nakaraang pagkakaiba Susunod na pagkakaiba →

Content deleted Content added

Inline

Pagbabago noong 08:29, 10 Agosto 2005

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.

Pagbabago noong 09:39, 9 Agosto 2005 baguhin Jojit fb (usapan \| ambag) Mga burokrata, Interface administrators, Tagapangasiwa 98,944 edits mNo edit summary ← Nakaraang pagkakaiba		Pagbabago noong 08:29, 10 Agosto 2005 baguhin i-undo 210.213.148.222 (usapan) No edit summary Susunod na pagkakaiba →
Linya 1:		Linya 1:
	Ang '''matematikal na lohika''' ay is 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]].		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]].		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]].