Razlika između verzija stranice "Matematička logika"
[nepregledana izmjena] | [nepregledana izmjena] |
Uklonjeni sadržaj Dodani sadržaj
m robot Dodaje: sr:Математичка логика, zh-yue:數學邏輯 |
m robot Dodaje: io:Matematikala logiko |
||
Red 43: | Red 43: | ||
[[hu:Matematikai logika]] |
[[hu:Matematikai logika]] |
||
[[id:Logika matematika]] |
[[id:Logika matematika]] |
||
[[io:Matematikala logiko]] |
|||
[[it:Logica matematica]] |
[[it:Logica matematica]] |
||
[[ja:数理論理学]] |
[[ja:数理論理学]] |
Verzija na dan 12 septembar 2008 u 12:34
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