Nel calcolo proposizionale, una funzione proposizionale o predicato è un espresso in un modo tale per cui esso assume il valore di verità vero o falso, ad eccezione del caso in cui al suo interno compaia una variabile non definita o non specificata, che lascia la proposizione indeterminata. Wikipedia