Lukas' Notes

Propositional Logic

May 01, 20261 min read

logic propositional-logic

Definition

Propositional Logic

Propositional logic is the study of correct reasoning with statements built from atomic propositions and truth-functional connectives.

Functional Completeness

See functional completeness.

Graph View

Definition
Functional Completeness

Backlinks

Atom
De Morgan's Rules
Equivalent Replacement (Propositional Logic)
First-Order Logic
Interpretation (Propositional Logic)
Model (Logic)
Model-Checking Problem
Monotonic Replacement (Propositional Logic)
Natural Deduction
Propositional Formula
Signature (Logic)
Well-formed Propositional Formula
Well-formedness

Created with Quartz v4.4.0 © 2026

GitHub