Formula propositional
In le logica un formula propositional es un expression que pote esser ver o false.

Exemplos 
 mathematica: per medio de substitution de certe valores numeric le formula propositional  passa a un proposition. Pro  le proposition es ver, e pro  le proposition es false.
 logico de predicatos:
 predicato con un sol argumento " ride " (ver pro  Nicola ridente, e false pro  Guido plorante);
 predicato con duo argumentos " face plorar " = "";
 predicato con duo argumentos " es brusc e face plorar " = " e ".

Mathematica