NotProperSubset¶
-
class
proveit.logic.
NotProperSubset
(A, B, *, styles=None)[source]¶ Bases:
proveit.relation.relation.Relation
Methods Summary
conclude
(self, \*\*defaults_config)Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.
conclude_as_folded
(self, \*\*defaults_config)Derive this folded version, A not_proper_subset B, from the unfolded version, not(A propersubset B).
deduce_in_bool
(self, \*\*defaults_config)Deduce and return that this NotProperSubset statement is in the Boolean set.
remake_constructor
(self)Method to call to reconstruct this Expression.
reversed_operator_str
(format_type)Reversing not_proper_subset gives not_proper_supset.
side_effects
(self, judgment)Yield methods to attempt as side-effects when this expression is proven as a judgment.
unfold
(self, \*\*defaults_config)From A not_proper_subset B, derive and return not(propersubset(A, B)).
Methods Documentation
-
conclude
(self, \*\*defaults_config)[source]¶ Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.
-
conclude_as_folded
(self, \*\*defaults_config)[source]¶ Derive this folded version, A not_proper_subset B, from the unfolded version, not(A propersubset B).
Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.
-
deduce_in_bool
(self, \*\*defaults_config)[source]¶ Deduce and return that this NotProperSubset statement is in the Boolean set.
Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.
-
remake_constructor
(self)[source]¶ Method to call to reconstruct this Expression. The default is the class name itself to use the __init__ method, but sometimes a different method is more appropriate for setting the proper style (e.g. the Frac method in proveit.numbers.division.divide which constructs a Div object with a different style). This constructor method must be in the same module as the class.
-
static
reversed_operator_str
(format_type)[source]¶ Reversing not_proper_subset gives not_proper_supset.
-
side_effects
(self, judgment)[source]¶ Yield methods to attempt as side-effects when this expression is proven as a judgment. These should each accept an ‘assumptions’ parameter. These should be obvious and useful consequences, trivial and limited. There is no need to call this manually; it is called automatically when the corresponding Judgment is created. It also may be desirable to store the judgment for future automation.
-