notes

Personal notes
git clone git://git.laack.co/notes.git
Log | Files | Refs

Biconditional.md (478B)

      1 # Biconditional (iff)
      2 
      3 1.1.2
      4 
      5 **Definition:** The biconditional is the [Connectives](Connectives.md) that states the antecedent and consequent have the same truth values.
      6 
      7 $p \iff q$ this can be stated as p iff q, if and only if p then q, or some other way.
      8 
      9 Basically, this is only true when both propositions share the same truth value.
     10 
     11 | p | q | $p \iff q$ |
     12 |---|---|------------|
     13 | T | T | T          |
     14 | T | F | F          |
     15 | F | T | F          |
     16 | F | F | T          |