Razlika između verzija stranice "Matematička logika"
[nepregledana izmjena] | [nepregledana izmjena] |
Uklonjeni sadržaj Dodani sadržaj
m robot Uklanja: lt:Matematinė logika |
m robot dodaje: pt:Lógica matemática, vi:Logic toán, ms:Logik matematik, lv:Matemātiskā loģika |
||
Red 49: | Red 49: | ||
[[ko:수리논리학]] |
[[ko:수리논리학]] |
||
[[lij:Logica Matematica]] |
[[lij:Logica Matematica]] |
||
[[lv:Matemātiskā loģika]] |
|||
[[mk:Математичка логика]] |
[[mk:Математичка логика]] |
||
[[ms:Logik matematik]] |
|||
[[nl:Wiskundige logica]] |
[[nl:Wiskundige logica]] |
||
[[nn:Matematisk logikk]] |
[[nn:Matematisk logikk]] |
||
[[no:Predikatslogikk]] |
[[no:Predikatslogikk]] |
||
[[pl:Logika matematyczna]] |
[[pl:Logika matematyczna]] |
||
[[pt:Lógica matemática]] |
|||
[[ro:Logică matematică]] |
[[ro:Logică matematică]] |
||
[[ru:Математическая логика]] |
[[ru:Математическая логика]] |
||
Red 68: | Red 71: | ||
[[uk:Математична логіка]] |
[[uk:Математична логіка]] |
||
[[ur:ریاضیاتی منطق]] |
[[ur:ریاضیاتی منطق]] |
||
[[vi:Logic toán]] |
|||
[[zh:数理逻辑]] |
[[zh:数理逻辑]] |
||
[[zh-yue:數學邏輯]] |
[[zh-yue:數學邏輯]] |
Verzija na dan 13 maj 2011 u 19:19
Matematička logika zasniva se na na zakonima matematičkog aparata i koristi se matematičkim metodama. Predmet matematičke logike je dokaz.
Posmatrajmo rečenice
- 4 je paran broj (istinita)
- Triglav je viši od Monblana (neistinita)
Za ove rečenice možemo reći da li su istinite ili neistinite Za rečenice kao što su
- x<4
- Donesi vode
ne možemo utvrditi istinitost
Nauka koja se bavi proučavanjem oblika mišljenja i vezama između tih oblika je logika. Logičko mišljenje je sam proces mišljenja. Za Z-skup cijelih brojeva vrijedi
(a<b & b<c) =>a<c
U logici je bitna forma, a ne sadržaj;
- Čovjek je smrtan i Šekspir je smrtan znači Šekspir je čovjek
- Ako je svaki kamen crven i ako je čovjek kamen znaći čovjek je crven