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

S Wikipedije, slobodne enciklopedije
[nepregledana izmjena][nepregledana izmjena]
Uklonjeni sadržaj Dodani sadržaj
m Bot dodaje: da:Matematisk logik
Red 51: Red 51:
[[ka:მათემატიკური ლოგიკა]]
[[ka:მათემატიკური ლოგიკა]]
[[ko:수리논리학]]
[[ko:수리논리학]]
[[ky:Математикалык логика]]
[[lij:Logica Matematica]]
[[lij:Logica Matematica]]
[[lv:Matemātiskā loģika]]
[[lv:Matemātiskā loģika]]

Verzija na dan 2 juli 2012 u 20:59

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