Bine, sa incercam impreuna o problema asemanatoare la o treapta premergatoare:
Sa se determine valoarea de adevar pentru propozitia:
Oricare ar fi x real avem:
x^2 + 1 > 0
Raspunsurile acceptate ar fi:
(1) Fie "propozitia este falsa" si atunci rog a mi se da explicit un x (DOAR UNUL) pentru care este falsa...
(2) Fie "propozitia este adevarata" si atunci rog a se da un argument care face pentru ORICE x ca cele din propozitie sa aiba loc...