Metadata
Author: WikiMatrix
Data
English[en]
Biconditional elimination is the name of two valid rules of inference of propositional logic.
Spanish[es]
La eliminación del bicondicional es el nombre de dos reglas de inferencia válidas de la lógica proposicional.