Osnovni pojmovi matematičke logike
U osnovne pojmove matematičke logike ubrajaju se:
a) konstante (veličine koje ne mijenjaju vrijednost)
b) promjenjive veličine (veličine koje mijenjaju vrijednost)
c) matematički simboli
-simboli matematičkih operacija: +, -, :, x,...
-simboli matematičkih relacija: =, <, >, ~,...
-simboli pripadanja
-simboli koji označavaju količinu (kvantifikatori)
d) izrazi
Skup konstanti i promjenjivih veličina povezanih simbolima matematičkih operacija naziva se iskaz.
Logičke formule koje su tačne bez obzira na tačnost pojedinačnih iskaza nazivaju se zakonima logičkog mišljenja- TAUTOLOGIJA.
Osnovni pojmovi matematičke logike
Iskazi (sudovi)
2014-01-15 18:42
Bilo kakva izjavna rečenica koja ima smisla i koja ima jednu od dvije istinitosne vrijednosti (tačno ili netačno) predstavlja iskaz.
Složeni iskazi
a) konjukcija
Def. Konjukcija iskaza p i q je složen iskaz p i q koji je tačan samo ako su oba iskaza tačna.
b) disjunkcija
Def. Disjunkcija...