Video from Carneades.org
100 days of Logic: Disjunction (Propositional Logic)
"As the name suggests propositional logic is a branch of mathematical logic which studies the logical relationships between propositions (or statements, sentences, assertions) taken as a whole, and connected via logical connectives.
Propositional logic is also known by the names sentential logic, propositional calculus and sentential calculus. It is useful in a variety of fields, including, but not limited to:
computer logic gates
designing electrical systems.." from the article: Propositional Logic