Intr-o culegere de matematica am intalnit un exercitiu de forma: <<Fie predicatul p(x,y):”x-y=3″, unde x si y desemneaza numere reale. Sa se arate ca propozitia „oricare ar fi y, exista x, p(x,y)->exista x, oricare ar fi y, p(x,y) este falsa.” Cand am rezolvat-o, raspunsul a fost ca este adevarata, dar in carte este falsa… Va rog frumos, spuneti-mi care este varianta corecta???
Propozitiaoricare ar fi y, exista x, p(x,y)->exista x, oricare ar fi y, p(x,y) este de forma a -> b .
Iei fiecare propozitie in parte:
a : oricare ar fi y, exista x, x-y=3
b : exista x, oricare ar fi y, x-y=3
Propozitia a este adevarata deoarece pentru orice y exista x=y+3 astfel incat x-y=3.
Propozitia b este evident, falsa (fiind de fapt chiar negatia propozitiei a).
Nu ramane decat sa tragi concluzia: Deoarece propozitia a este adevarata iar propozitia b este falsa, inseamna ca implicatia a->b este falsa.