Formula propositional

In le logica un formula propositionalPatrono:LinfoX es un expression que pote esser ver o false.

Exemplos

• mathematica: per medio de substitution de certe valores numeric le formula propositional $\alpha (x):x+6=11$ passa a un proposition. Pro $x=5$ le proposition es ver, e pro $x\ne 5$ le proposition es false.
• logico de predicatos:
  • predicato con un sol argumento "$x$ ride $=R(x)$" (ver pro $x=$ Nicola ridente, e false pro $x=$ Guido plorante);
  • predicato con duo argumentos "$x$ face plorar $y$" = "$F(x,y)$";
  • predicato con duo argumentos "$x$ es brusc e face plorar $y$" = "$B(x)$ e $F(x,y)$".