Un predicato è un'espressione verbale per la quale ha senso dire se è vera o se è falsa, che associata ad un insieme diventa una proprietà degli elementi di quell'insieme. Se parliamo dell'insieme A, e gli associamo il predicato p, otteniamo un sottoinsieme proprio o improprio di A se alcuni o tutti gli elementi che appartengono ad A soddisfano il predicato p.
Un predicato dunque è una frase che in logica può assumere un valore di verità (vero o falso).
Esempio:
A = { cane, gatto, topo, serpente, coccodrillo, giraffa};
L'insieme A è individuato dal predicato "x ∈ A | x è un'animale";
B = {x ∈ A | x è un quadripede};
Il predicato "x è un quadripede" individua gli animali a quattro zampe dell'insieme A.
1 commento:
La definizione di predicato dev'essere più semplificata. By pepp56!!!
Posta un commento