Beginner · Fundamentals
Propositional calculus
Visual diagram · (in preparation) · Math · (in preparation) · Worked example · 3 difficulty levels.
TL;DR. A branch of logic dealing with true/false propositions and how they connect, without focusing on objects or quantifiers.
Technical Definition
A branch of logic dealing with true/false propositions and how they connect, without focusing on objects or quantifiers.
How it works
Propositional calculus, also known as propositional logic, is a fundamental area of logic. It focuses on simple statements (propositions) that can be either true or false, and how these statements can be combined using logical connectives like AND, OR, and NOT. It does not delve into the properties of objects or use quantifiers like 'all' or 'some'.
Related Concepts
- Predicate logic — A formal system that uses quantified variables and predicates to express logical propositions about objects and their properties.