Matematička logika – razlika između verzija
Uklonjeni sadržaj Dodani sadržaj
Nema sažetka izmjene |
m robot Dodaje: ar, az, be, be-x-old, bg, bs, ca, cs, de, el, en, eo, es, et, fa, fr, gd, he, hr, hu, id, io, it, ja, ka, ko, lij, mk, nl, nn, no, pl, ru, sk, sl, sq, sr, sv, th, tl, tr, uk, zh, zh-yue |
||
| Red 23: | Red 23: | ||
[[category:Matematika]] |
[[category:Matematika]] |
||
[[ar:منطق رياضي]] |
|||
[[az:Riyazi məntiq]] |
|||
[[be:Матэматычная логіка]] |
|||
[[be-x-old:Матэматычная лёгіка]] |
|||
[[bg:Математическа логика]] |
|||
[[bs:Matematička logika]] |
|||
[[ca:Lògica matemàtica]] |
|||
[[cs:Matematická logika]] |
|||
[[de:Mathematische Logik]] |
|||
[[el:Μαθηματική λογική]] |
|||
[[en:Mathematical logic]] |
|||
[[eo:Matematika logiko]] |
|||
[[es:Lógica matemática]] |
|||
[[et:Matemaatiline loogika]] |
|||
[[fa:منطق ریاضی]] |
|||
[[fr:Logique mathématique]] |
|||
[[gd:Rianas matamataigeach]] |
|||
[[he:לוגיקה מתמטית]] |
|||
[[hr:Matematička logika]] |
|||
[[hu:Matematikai logika]] |
|||
[[id:Logika matematika]] |
|||
[[io:Matematikala logiko]] |
|||
[[it:Logica matematica]] |
|||
[[ja:数理論理学]] |
|||
[[ka:მათემატიკური ლოგიკა]] |
|||
[[ko:수리논리학]] |
|||
[[lij:Logica Matematica]] |
|||
[[mk:Математичка логика]] |
|||
[[nl:Wiskundige logica]] |
|||
[[nn:Matematisk logikk]] |
|||
[[no:Predikatslogikk]] |
|||
[[pl:Logika matematyczna]] |
|||
[[ru:Математическая логика]] |
|||
[[sk:Matematická logika]] |
|||
[[sl:Matematična logika]] |
|||
[[sq:Logjika matematikore]] |
|||
[[sr:Математичка логика]] |
|||
[[sv:Matematisk logik]] |
|||
[[th:คณิตตรรกศาสตร์]] |
|||
[[tl:Matematikal na lohika]] |
|||
[[tr:Matematiksel mantık]] |
|||
[[uk:Математична логіка]] |
|||
[[zh:数理逻辑]] |
|||
[[zh-yue:數學邏輯]] |
|||
Verzija od 5. novembra 2008. u 19:42
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
