Valid

Indicates that the claims are true. The claims are implied by the premises and the Automated Reasoning policy. Given the Automated Reasoning policy and premises, it is not possible for these claims to be false.

Constructors

Link copied to clipboard

Properties

Link copied to clipboard

Inherited functions