# Logic and Programs [Logic](Logic.md) is fundamentally about understanding how propositions relate to each other. Propositions are statements that can be true or false, and logic examines how truth flows between them based on well-defined rules. It provides a framework for making inferences: deriving new truths from known ones. Computer [Programs](Program.md) operate much like formal logical systems. Programs define [Rules](Computation%20is%20Following%20Rules.md) in the form of code. These rules determine how inputs are processed and outputs are produced. A program starts with some initial state or input data (analogous to premises in logic). The program applies its rules deterministically to compute results (outputs), just as logic applies inference rules to derive conclusions. The link between Logical [Proof](Proof.md) and [Programs](Program.md) was outlined in [Curry–Howard correspondence - Wikipedia](https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence). --- Date: 20241214 Links to: Tags: References: * []()