Mathematical Logic Tutorial
Mastering propositions, truth tables, and logical operators
1. Introduction to Propositions
A proposition is a declarative sentence that is either strictly True (T) or False (F), but never both.
- Example of a proposition: "Lagos is a city." (True)
- Example of a non-proposition: "Where are you going?" (A question, has no truth value)
2. Core Logical Operators
Compound propositions are formed by combining statements using logical connectives. Below is the fundamental truth table for the three primary operators:
| P | Q | Conjunction (P ∧ Q) AND |
Disjunction (P ∨ Q) OR |
Implication (P → Q) If... then |
|---|---|---|---|---|
| T | T | T | T | T |
| T | F | F | T | F |
| F | T | F | T | T |
| F | F | F | F | T |
3. Interactive Logic Evaluator
Change the truth values of propositions P and Q along with the operator to see the final resulting output instantly.
Result: True (T)
No comments:
Post a Comment