Vediamo una proposizione semplice 3 e' un numero primo In questa poroposizione possiamo distinguere:
Se al posto di "3" poniamo un altro numero potremo dire che la nostra proposizione e' vere oppure falsa dipendentemente dal numero stesso 3 e' un numero primo e' vera 4 e' un numero primo e' falso Potremo anche indicare x e' un numero primo in tal caso la variabile x rendera' la frase vera o falsa a seconda del suo valore Nel caso precedente diremo di avere un predicato "ad un posto" Similmente potremo pensare a predicati a 2 posti x e' un multiplo di y o a 3 o piu' posti.... x e ' il valore intermedio tra y e z: "x-y=z-x" ma questo sara' piu' propriamente argomento della logica dei predicati |