predicato

Definizione

“parte del nostro discorso che contende una o più variabili”

• UNARIO (1 variabile): $\mathcal{P}(x)$
• BINARIO (2 variabili): $\mathcal{Q}(x,y)$
• TERZIARIO (3 variabili): $\mathcal{S}(x,y,z)$
• $\dots$

Esempi
$\mathcal{P}(x):$ lo studente x è più alto di 1,7m.
è un predicato

$\mathcal{P}(Pietro)=$ Pietro è più alto di 1,7m.
è una proposizione

$\mathcal{Q}(x,y):$ lo studente x è amico dello studente y.
è un predicato

$\mathcal{Q}(Pietro,Giorgio):$ lo studente Pietro è amico dello studente Giorgio.
è una proposizione

$\mathcal{S}(x,y,z):$ nell’ospedale x, il medico y, ha sbagliato la diagnosi z.

Osservazione: un modo per trasformare predicati in proposizioni è utilizzare i quantificatori.

quantificatori

Risorse