Fituica

Peste 1000 de copiute GRATUITE de la useri si de pe Internet la toate materiile.

Lista materii:

Am lansat versiunea noua (2010) a programului de facut copiute pentru telefonul mobil!

Am lansat cel mai tare site de metode si tehnici de copiat!

Cuantificator existential si universal

Propozitia "exista cel putin un x astfel incat p(x)", se numeste propozitie existentiala asociata predicatului p(x).
Valoarea de adevar. Propozitia existentiala este adevarata daca exista cel putin un xv0 din X astfel incat propozitia p(xv0) sa fie adevarata. Este falsa daca nu exista nici un xv0 din X astfel incat p(xv0) sa fie adevarata.
Propozitia "oricare ar fi x din X are loc p(x)", se numeste propozitie universala asociata predicatului p(x).
Valoarea de adevar. Propozitia universala este adevarata daca pentru orice xv0 din x, propozitia p(xv0) este adevarata. Este falsa daca exista cel putin un xv0 din X pentru care p(xv0) este falsa.


Legenda : xv0 = x indice 0