evaluate_falsehood
==================

.. currentmodule:: proveit.logic

.. autofunction:: evaluate_falsehood