Invalid

Indicates that the claims are false. The claims are not implied by the premises and Automated Reasoning policy. Furthermore, there exist different claims that are consistent with the premises and Automated Reasoning policy.

Constructors

Link copied to clipboard

Properties

Link copied to clipboard

Inherited functions