First Order Logic Formulas

Overview

Formulas

• Equality: given terms {% a %} and {% b %}, then {% a=b %} is an atomic formula. (for languages that include the equality {% = %} symbol)
• Relations : {% R(a_1,a_2,...,a_m) %} is an atomic formula
• If {% \phi %} and {% \psi %} are formulas, then so are :
  • {% \neg \phi %}
  • {% \phi \wedge \psi %}
  • {% \phi \vee \psi %}
  • {% \phi \rightarrow \psi %}
  • {% \forall x \phi %}
  • {% \exists x \phi %}