Saltar al contento

Formula propositional

De Wikipedia, le encyclopedia libere

In le logica un formula propositional[1] es un expression que pote esser ver o false.

  • 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 ".

Referentias

[modificar fonte]
  1. Derivation (in ordine alphabetic): (ca) || (de) Aussageform || (en) Propositional formula || (es) Fórmula proposicional || (fr) Formule propositionnelle || (it) || (pt) || (ro) || (ru) Пропозициональная формула