Propositional Logic

Welcome to the world of Propositional Logic! This branch of logic deals with propositions which can be true or false. Let's dive right into the basics of making deductions and understanding logical connections.

Basic Concepts

In propositional logic, a proposition is a statement that is either true or false. Here are some common elements:

Truth Tables

Here's a simple truth table for the logical connective AND (∧):

P Q P ∧ Q
T T T
T F F
F T F
F F F

More Resources

Expand your understanding of logic through these resources: