evaluate_falsehood

proveit.logic.evaluate_falsehood(expr, \*\*defaults_config)[source]

Attempts to prove that the given expression equals FALSE under the given assumptions via disproving the expression. Returns the resulting Judgment evaluation if successful.

Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.