nltk.ApplicationExpression.equiv

ApplicationExpression.equiv(other, prover=None)

Check for logical equivalence. Pass the expression (self <-> other) to the theorem prover. If the prover says it is valid, then the self and other are equal.

Parameters:
  • other – an Expression to check equality against
  • prover – a nltk.inference.api.Prover