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)
m robot Dodaje: ca:Lògica matemàtica
TXiKiBoT (razgovor | doprinosi)
Red 56: Red 56:
[[sl:Matematična logika]]
[[sl:Matematična logika]]
[[sq:Logjika matematikore]]
[[sq:Logjika matematikore]]
[[sr:Математичка логика]]
[[sv:Matematisk logik]]
[[sv:Matematisk logik]]
[[th:คณิตตรรกศาสตร์]]
[[th:คณิตตรรกศาสตร์]]
Red 62: Red 63:
[[uk:Математична логіка]]
[[uk:Математична логіка]]
[[zh:数理逻辑]]
[[zh:数理逻辑]]
[[zh-yue:數學邏輯]]

Verzija na dan 13 juni 2008 u 02:49

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