Logical Connectives
Biconditional

• Syntax

  If P and Q are sentences, then is their material biconditional.

• Semantics

  
  
  

N.B. is NOT a metasymbol but actually a part of FOL. We can therefore write out a truth table for complex sentences involving .