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

[nepregledana izmjena]

[pregledana izmjena]

Uklonjeni sadržaj Dodani sadržaj

U redovima

Verzija na dan 23 novembar 2018 u 03:22

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 19: / Red 19: @@
 U logici je bitna forma, a ne sadržaj;
 * Čovjek je smrtan i [[William Shakespeare|Šekspir]] je smrtan znači Šekspir je čovjek
-'''''E pa ne znači. Nije rečeno da su '''''samo''''' ljudi smrtni. Iz rečenice možemo zaključiti da ako si čovjek, onda si sigurno i smrtan.'''''
 * Ako je svaki kamen crven i ako je čovjek kamen znaći čovjek je crven.
-'''''Točno. Da je drugi dio rečenice govorio da je čovjek crven, to be bi isključivalo i druge stvari jer ne piše da je '''''samo''''' kamen crven i ništa više - više je stvari crveno, a kamen je kamen.'''''
 {{Logika}}