Elemente de logica matematica
enunturi si propozitii


definitie o multime finita de semne se numeste alfabet.
definitie se numeste enunt orice succesiune de semne dintr-un alfaben dat.
logica matematica studiaza acele enunturi care sunt fie adevarate, fie false.
definitie se numeste propozitie un enunt care poate fi adevarat sau fals, niciodata adevarat si fals simultan.
p, q, r-notate
balena este un peste. f
propozitiile sunt legate ntre ele cu ajutorul conectari logicii
- non negatia propozitie
- si conjunctia propozitiei
v - sau disjunctia propozitiei
-implica implicatia propozitiei
-echivalent echivalenta propozitiei
daca o propozitie este adevarata spunem ca ea apare ca valoare de adevar, adevarul si notam a sau 1 .
daca o propozitie este falsa spunem ca ea are ca valoare de adevar falsul notam f sau 0 .
valoarea de adevar a unei propozitii p se noteaza vp.
negat...