Metadata
Author: WikiMatrix
Data
English[en]
The symbol for the biconditional ("↔") signifies the relationship between the propositions is both necessary and sufficient, and is verbalized as "if and only if", or, according to the example "If P then Q 'if and only if' if not Q then not P".
Spanish[es]
El símbolo para el bicondicional ("↔") significa la relación entre las proposiciones es a la vez necesaria y suficiente, y se verbaliza como "si y solo si", o, de acuerdo con el ejemplo "Si P entonces Q 'si y solo si' si no Q entonces no P".