Detalii definitie:
Cuantificatori
Postat de: Webmateinfo | Data: 2010-04-16
Cuantificatori: Fie p(x), cu x din M, un predicat. Dacã existã (cel puţin) un element x’din M, astfel încât propoziţia p(x’) este adevãratã, atunci scriem ∃xp(∃x), (∃x)p(x) sau (∃x din M)p(x). Simbolul ∃ se numeşte cuantificator existenţial şi se citeşte existã. Fie p(x) cu x din M, un predicat. Dacã p(x) este o propoziţie adevãratã pentru orice x din M, atunci scriem ∀xpx, (∀x)p(x) sau (∀x din M)p(x). Simbolul ∀ se numeşte cuantificator universal şi se citeşte oricare ar fi.
Observatii:
Propoziţiile p,q, r, … fiind date, cu ajutorul operatorilor logici, putem formula diferite expresii, care se numesc formule ale calculului cu propoziţii sau expresii logice. O expresie logicã a care se reduce la o propoziţie adevãratã, oricare ar fi propoziţiile p,q,r,… se numeşte tautologie. Douã expresii logice a şi b se numesc echivalente dacã şi numai dacã pentru orice propoziţii p,q,r,… cele douã expresii reprezintã propoziţii care au aceeaşi valoare de adevãr.
| Afisari: 11194
| Categoria: Algebra |
| Vezi si:
Radicali
- Vector
- Inel
- Clasele unui număr natural