Rezultate pentru tag: cuantificator
Noțiuni introductive de logică matematică
Noțiuni generale de logică matematică: propoziții, predicate, cuantificatori. Cuantificatorul existențial, cuantificatorul universal.Propoziție existențială, propoziție universală. Valoarea de adevăr a unei propoziții, mulțimea de adevăr a unui predicat. Propoziții adevărate, propoziții false. Principiile logicii matematice. Exerciții de stabilire a valorii de adevăr a unor propoziții.
Operații logice: negația
Negația propozițiilor, negația predicatelor. Complementara unei mulțimi. Negația propozițiilor care conțin cuantificatori. Valoarea de adevăr a negației unei propoziții. Mulțimea de adevăr a negației unui predicat.