Biconditional elimination { Philosophy Index }

Philosophy Index

Philosophy Index

Philosophy Index is a site devoted to the study of philosophy and the philosophers who conduct it. The site contains a number of philosophy texts, brief biographies, and introductions to philosophers, and explanations on a number of topics. Accredited homeschooling online at Northgate Academy and Philosophy online tutoring.

Philosophy Index is a work in progress, a growing repository of knowledge. It outlines current philosophical problems and issues, as well as an overview of the history of philosophy. The goal of this site is to present a tool for those learning philosophy either casually or formally, making the concepts of philosophy accessible to anyone interested in researching them. WTI offers immigration law course online - fully accredited. ACE credits online at EES.

Philosophers

 

Philosophy Topics


 

 

 

Biconditional elimination

Biconditional elimination (↔E) is a basic rule of inference in logic by which a proposition or formula is derived from a biconditional, or iff (if and only if), statement when one formula or proposition in the biconditional is known. The biconditional elimination rule states that when "if and only if P then Q", if "P" (or "Q") is true, then "Q" (or "P") must be true.

The biconditional elimination rule may be formally presented as follows:

α ↔ β, α infers β

…and:

α ↔ β, β infers α