Definition:First Order Logic with Identity

From ProofWiki
Jump to navigation Jump to search

Definition

A system of first order logic with identity is a system of predicate logic with the following elements in its alphabet:


Connectives

   \(\ds \land \)   \(\ds : \)   the conjunction sign      
   \(\ds \lor \)   \(\ds : \)   the disjunction sign      
   \(\ds \implies \)   \(\ds : \)   the conditional sign      
   \(\ds \iff \)   \(\ds : \)   the biconditional sign      
   \(\ds \neg \)   \(\ds : \)   the negation sign      


Quantifiers

   \(\ds \exists \)   \(\ds : \)   the existential quantifier sign      
   \(\ds \forall \)   \(\ds : \)   the universal quantifier sign      


Identity

   \(\ds = \)   \(\ds : \)   the equality sign      


Sources