Razlika između verzija stranice "Matematička logika"

[nepregledana izmjena]

Uklonjeni sadržaj Dodani sadržaj

U redovima

Verzija na dan 17 decembar 2006 u 14:48

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

@@ Red 1: / Red 1: @@
+'''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
-*4 je paran broj                (istinita)
+*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
@@ Red 6: / Red 8: @@
 *x<4
 *Donesi vode
-nemožemo utvrditi istinitost
+ne možemo utvrditi istinitost
-Nauka koja se bavi proučavanjem oblika mišljenja i vezama između tih oblika je logika.
+[[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
@@ Red 14: / Red 17: @@
 U logici je bitna forma, a ne sadržaj;
-*Čovjek je smrtan  i Šekspir je smrtan znaći Šekspir je čovjek
+*Č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
-'''Matematička logika''' zasniva se na na zakonima  matematičkog aparata i koristi se matematičkim metodama. Predmet matematičke logike je dokaz.
 [[Kategorija:Matematika]]