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

[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:
'''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)
* 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
 
Red 17:
 
U logici je bitna forma, a ne sadržaj;
* Č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
 
 
 
[[Kategorija:Matematika]]
Line 55 ⟶ 53:
[[no:Predikatslogikk]]
[[pl:Logika matematyczna]]
[[ro:Logică matematică]]
[[ru:Математическая логика]]
[[sh:Matematička logika]]