Razlika između izmjena na stranici "Matematička logika"

Idi na navigaciju Idi na pretragu
m
robot Dodaje: ro:Logică matematică; kozmetičke promjene
m (robot Dodaje: ro:Logică matematică; kozmetičke promjene)
'''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
 
 
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]]
[[no:Predikatslogikk]]
[[pl:Logika matematyczna]]
[[ro:Logică matematică]]
[[ru:Математическая логика]]
[[sh:Matematička logika]]
60.730

izmjena

Navigacija