1. Logical Statements

Propositional logic involves only declarative statements.

Complex propositions can be constructed by simple ones using operators.

<aside> 💡 p : "If the train is late and there are no taxis in the station, then Bob is late to work."


We can examine whether such propositions are true or false when we know the values of the basic propositions.

English (or any human language) is imprecise and subtle (verb tenses, etc.) and error-prone.

<aside> 💡 p : "I have wine or beer and dessert."

Is p true if I only have wine?


A more mathematical language for logic would make the above arguments clear (Propositional Logic).

2**. Symbolic Propositional Logical**

3**. Syntax**