nltk.sem.DrtExpression.equiv

DrtExpression.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 DrtExpression to check equality against
  • prover – a nltk.inference.api.Prover