Razlika između verzija stranice "Matematička logika"
[nepregledana izmjena] | [nepregledana izmjena] |
Uklonjeni sadržaj Dodani sadržaj
Red 18: | Red 18: | ||
== Elementi matematičke logike== |
== Elementi matematičke logike== |
||
*primjer |
|||
**primjer |
|||
***primjer |
Verzija na dan 29 novembar 2006 u 12:47
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
nemož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