FalseLiteral

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

Bases: proveit.Literal, proveit.logic.IrreducibleValue

Methods Summary

conclude_negation(self, \*\*defaults_config)	Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.
deduce_in_bool(self, \*\*defaults_config)	Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.
deny_assumption(self, assumption_to_deny, …)	If FALSE can be proven under a set of assumptions, any one of those assumptions may be proven untrue given the other assumptions.
eval_equality(self, other, \*\*defaults_config)	Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.

Methods Documentation

conclude_negation(self, \*\*defaults_config)

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

deduce_in_bool(self, \*\*defaults_config)

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

deny_assumption(self, assumption_to_deny, \*\*defaults_config)

If FALSE can be proven under a set of assumptions, any one of those assumptions may be proven untrue given the other assumptions.

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

eval_equality(self, other, \*\*defaults_config)

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