Philosophy Lexicon of Arguments

Biconditional: notation ↔; a statement that is true if the two sides have the same truth value ("true" or "false"). The biconditional (also bisubjunction) is part of the object language. Contrary to that is equivalence (⇔) which belongs to meta language. A biconditional that is always true is an equivalence.
Author Item    More concepts for author
Geach, Peter T. Biconditional   Geach, Peter T.
Logic Texts Biconditional   Logic Texts
Tarski, A. Biconditional   Tarski, A.
Wright, Crispin Biconditional   Wright, Crispin

Ed. Martin Schulz, access date 2017-03-28