Logica predicatelor
un predicat este un enunt care depinde de una sau mai multe variabile si care are proprietatea ca pentru anumite valori ale variabilelor valori care pot fi de exemplu numere sau, in general, elemente ale unei multimi devine o propozitie. un predicat care depinde de in variabile se numeste predicat n-ar.
n particular, pentru in 1, 2, 3, avem predicate unare, binare si respectiv ternare.
exemple
enuntul
an 3 este un divizor al lui n
este un predicat care depinde de variabila n. pentru fiecare numar ntreg n, an este o propozitie. si anume, daca in este un numar ntreg de forma 5k, k numar ntreg, atunci an este o propozitie adevarata si pentru toate celelalte valori ale lui n, an este o propozitie falsa.
enuntul
ax, y x y 2
este un predicat binar. pentru orice doua numere reale x si y, ax,y este o propozitie. propozitia a1,1 obtinuta dnd lui x si y valorile x 1, y 1 este o propozitie adevarata, in timp ce propozitia a...