13 feb 2011

Logica dei predicati

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:

Anonimo ha detto...

La definizione di predicato dev'essere più semplificata. By pepp56!!!