BooleanSet

class proveit.logic.BooleanSet(*, styles=None)

Bases: proveit.Literal

Methods Summary

forall_evaluation(self, forall_stmt, …)	Given a forall statement over the BOOLEAN domain, evaluate to TRUE or FALSE if possible.
membership_object(self, element)
nonmembership_object(self, element)
unfold_forall(self, forall_stmt, …)	Given forall_{A in Boolean} P(A), derive and return [P(TRUE) and P(FALSE)].

Methods Documentation

forall_evaluation(self, forall_stmt, \*\*defaults_config)

Given a forall statement over the BOOLEAN domain, evaluate to TRUE or FALSE if possible.

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

membership_object(self, element)

nonmembership_object(self, element)

unfold_forall(self, forall_stmt, \*\*defaults_config)

Given forall_{A in Boolean} P(A), derive and return [P(TRUE) and P(FALSE)].

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