nltk.sem.Expression.equiv

Expression.equiv(other, prover=None)[source]

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