Please enable JavaScript.
Coggle requires JavaScript to display documents.
Propositional Logic - Coggle Diagram
Propositional Logic
Logical Connectives
AND
OR
NOT
If-Then
If and only if (IFF)
Logical Equivalences
Identity Law
P OR True = P
P OR FALSE = P
Domination Laws
P OR True = True
P AND False = False
Double Negation Law
Not (Not P) = P
De Morgan’s Laws
not (p and q) = not p OR not q
not (P or Q) = (not P) AND (not Q)
Distributive Law
P AND (Q OR R) = (P AND Q) OR (P and R)
Definition
: A proposition is a declarative sentence that is either true or false.
Truth Tables
Logical Implications
Logical Arguments