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

S Wikipedije, slobodne enciklopedije
[nepregledana izmjena][nepregledana izmjena]
Uklonjeni sadržaj Dodani sadržaj
TXiKiBoT (razgovor | doprinosi)
ArthurBot (razgovor | doprinosi)
m robot Dodaje: ro:Logică matematică; kozmetičke promjene
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.
'''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]] (istinita)
* 4 je paran [[broj]] (istinita)
*Triglav je viši od Monblana (neistinita)
* 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 i [[William Shakespeare|Š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
* 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