![]() | |
![]() |
![]() ![]() |
Politica de confidentialitate |
|
![]() | |
• domnisoara hus • legume • istoria unui galban • metanol • recapitulare • profitul • caract • comentariu liric • radiolocatia • praslea cel voinic si merele da aur | |
![]() |
![]() |
||||||
ELEMENTE DE LOGICA MATEMATICA | ||||||
![]() |
||||||
|
||||||
t3e12ef 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 intre ele cu ajutorul conectari logicii: „ ”- „non” (negatia propozitie); „ L ” - „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 v(p). Negatia propozitiei Definitie: Negatia unei propozitii p este propozitia notata p care are valoarea de adevar v( p)=1-v(p). p p Exemplu: Conjunctia propozitiei p q pL q Conjunctia a doua propozitii este o propozitie adevarata doar atunci cand
ambele propozitii sunt adevarate si este falsa in celelalte cazuri. p q pV q Implicatia p q q Echivalenta Doua propozitii sunt echivalente doar atunci cand ambele propozitii au
aceeasi valoare de adevar. p q p®q q®p (p®q) L(q®p) p«q Teorema: Legea dublei negatii : p « q p p p p« q (p®q) « ( q® p). p q P ® q q ® p (p ®q)® ( q®p) Exemple: „Daca 4>3, atunci 2 >2³” este echivalent cu „Daca 2 £2³, atunci 4£3”. COLEGIUL NATIONAL „SPIRU HARET” REFERATProfesor coordonator: Elev:Iacob Claudia |
||||||
![]() |
||||||
![]() |
||||||
|
||||||
|
||||||
Copyright© 2005 - 2025 | Trimite document | Harta site | Adauga in favorite |
![]() |
|