# Proof is a Computational Process A [Proof](Proof.md) is a [Computation](Computation.md). A logical [Proof](Proof.md) demonstrates that a conclusion follows from a set of premises according to specific inference rules. This process involves **applying rules systematically**, which is very similar to how a computer program executes instructions. Just as computation transforms inputs into outputs, a proof transforms premises into a conclusion. --- Date: 20241214 Links to: Tags: References: * []()