formal proof
Sign in to saveAlso known as derivation, justification, proof, derivative
establishment of a theorem using inference from the axioms
Connections
formal system
Entity
semantic theory of truth
Entity
mathematical logic
Entity
semantics
Entity
sequence
Entity
proposition
Entity
string
Entity
first-order logic
Entity
logical consequence
Entity
rule of inference
Entity
recursive set
Entity
automated theorem proving
Entity
semantics of logic
Entity
undecidable problem
Entity
structure
Entity
proof assistant
Entity
ground expression
Entity
diagram
Entity
mathematics
Entity
logic
Entity