evaluate_truth

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

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

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