Back Propositional function English Función proposicional Spanish گزارهنما Persian 命題関数 Japanese Пропозициялық функция Kazakh 명제함수 Korean Função proposicional Portuguese Пропозиційна функція Ukrainian
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 (x) non definita o non specificata (e dunque libera), che lascia la proposizione indeterminata. La frase può contenere molteplici variabili libere (ad esempio n variabili, nel qual caso la funzione accetta n argomenti).