Card

class proveit.logic.Card(domain, *, styles=None)[source]

Bases: proveit.Function

Methods Summary

distinct_subset_existence(self, elems, …)

Assuming the cardinality of the domain can be proven to be >= 2, proves and returns that there exists distinct elements in that domain.

latex(self[, fence])

Return a latex-formatted representation of the Expression.

string(self[, fence])

Return a string representation of the Expression.

Methods Documentation

distinct_subset_existence(self, elems, \*\*defaults_config)[source]

Assuming the cardinality of the domain can be proven to be >= 2, proves and returns that there exists distinct elements in that domain.

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

latex(self, fence=False)[source]

Return a latex-formatted representation of the Expression. The kwargs can contain formatting directives (such as ‘fence’ used to indicate when a sub-expression should be wrapped in parentheses if there can be ambiguity in the order of operations).

string(self, fence=False)[source]

Return a string representation of the Expression. The kwargs can contain formatting directives (such as ‘fence’ used to indicate when a sub-expression should be wrapped in parentheses if there can be ambiguity in the order of operations).