Concetto di predicato


Vediamo una proposizione semplice
3 e' un numero primo
In questa poroposizione possiamo distinguere:
  • l'argomento che sarebbe l'oggetto di cui si parla, nel nostro caso il 3
  • il predicato cioe'la parte della proposizione in cui si "predica" cioe' si enunciano le proprieta' che deve avere l'argomento, nel nostro caso: "e' un numero primo"


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


Pagina iniziale Indice di logica Pagina successiva Pagina precedente