[Home]Biconditional introduction

HomePage | Recent Changes | Preferences

Biconditional introduction is the inference that, if B follows from A, and A follows from B, then A if and only if B.

For example: if I'm breathing, then I'm alive; also, if I'm alive, then I'm breathing. Therefore, I'm breathing if and only if I'm alive.

Formally:

  ( A → B )
  ( B → A )  
  ∴ ( A ↔ B )


HomePage | Recent Changes | Preferences
This page is read-only | View other revisions
Last edited September 27, 2001 12:32 pm by Justin Johnson (diff)
Search: