apollo-backend/eu.yeger.apollo.shared.model.fol/Operator/Binary/Implication/Implication

Implication

constructor(firstOperand: Formula, secondOperand: Formula)(source)

Creates an Implication operator with the given antecedents and consequent.

Parameters

firstOperand

The antecedent.

secondOperand

The consequent.