ELEMENTE DE LOGICĂ MATEMATICĂ
Enunţuri şi propoziţii


Definiţie: O mulţime finită de semne se numeşte alfabet.
Definiţie: Se numeşte enunţ orice succesiune de semne dintr-un alfaben dat.
Logica matematică studiază acele enunţuri care sunt fie adevărate, fie false.
Definiţie: Se numeşte propoziţie un enunţ care poate fi adevărat sau fals, niciodată adevărat şi fals simultan.
p, q, r-notate
Balena este un peşte. F
Propoziţiile sunt legate între ele cu ajutorul conectări logicii:
„ ”- „non” (negaţia propoziţie);
„ L ” - „şi” (conjuncţia propoziţiei);
„V ”- „sau” (disjuncţia propoziţiei);
„ ® ”-„implică” (implicaţia propoziţiei);
„ « ”-„echivalent” (echivalenţa propoziţiei);
Dacă o propoziţie este adevărată spunem că ea apare ca valoare de adevăr, adevărul şi notăm „A” sau „1” .
Dacă o propoziţie este falsă spunem că ea are ca valoare de adevăr falsul notăm „F” sau „0” .
Valoarea de adevăr a unei propoziţii p se notează v(p).
Negaţia propoziţiei
Definiţie: Negaţia unei propoziţii p este propoziţia notată p care are valoarea de adevăr v( p)=1-v(p).