Razlika između verzija stranice "Matematička logika"
[nepregledana izmjena] | [nepregledana izmjena] |
Uklonjeni sadržaj Dodani sadržaj
m robot Dodaje: tg:Мантиқи риёзӣ |
m robot Dodaje: ro:Logică matematică; kozmetičke promjene |
||
Red 1: | Red 1: | ||
'''Matematička logika''' zasniva se na na zakonima |
'''Matematička logika''' zasniva se na na zakonima [[matematika|matematičkog]] aparata i koristi se matematičkim metodama. Predmet matematičke logike je dokaz. |
||
Posmatrajmo rečenice |
Posmatrajmo rečenice |
||
*4 je paran [[broj]] |
* 4 je paran [[broj]] (istinita) |
||
*Triglav je viši od Monblana |
* Triglav je viši od Monblana (neistinita) |
||
Za ove rečenice možemo reći da li su istinite ili neistinite |
Za ove rečenice možemo reći da li su istinite ili neistinite |
||
Za rečenice kao što su |
Za rečenice kao što su |
||
*x<4 |
* x<4 |
||
*Donesi vode |
* Donesi vode |
||
ne možemo utvrditi istinitost |
ne možemo utvrditi istinitost |
||
Red 17: | Red 17: | ||
U logici je bitna forma, a ne sadržaj; |
U logici je bitna forma, a ne sadržaj; |
||
*Čovjek je smrtan |
* Čovjek je smrtan i [[William Shakespeare|Šekspir]] je smrtan znači Šekspir je čovjek |
||
*Ako je svaki kamen crven i ako je čovjek kamen znaći čovjek je crven |
* Ako je svaki kamen crven i ako je čovjek kamen znaći čovjek je crven |
||
[[Kategorija:Matematika]] |
[[Kategorija:Matematika]] |
||
Red 55: | Red 53: | ||
[[no:Predikatslogikk]] |
[[no:Predikatslogikk]] |
||
[[pl:Logika matematyczna]] |
[[pl:Logika matematyczna]] |
||
[[ro:Logică matematică]] |
|||
[[ru:Математическая логика]] |
[[ru:Математическая логика]] |
||
[[sh:Matematička logika]] |
[[sh:Matematička logika]] |
Verzija na dan 19 novembar 2009 u 00:09
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