CHAP 1. The Foundations: Logic & Proofs

§1.1 Propositional Logic


Def. (Proposition)
A proposition is a declarative sentence that can be determined either TRUE or FALSE.

Example of Propositions

Non-propositional sentences

Def. (Propositional variable)
A variable that represents a proposition.

Example of propositional variables

Def. (Negation)
p: a proposition
The negation of p is the statement “It is not the case of p“.
We denoete it by ¬p.