Bi Implication
Creates an BiImplication operator with the given antecedents and consequent.
Parameters
first Operand
The antecedent.
second Operand
The consequent.
Creates an BiImplication operator with the given antecedents and consequent.
The antecedent.
The consequent.