2.4 Propositional Logic

2.4 Propositional Logic

Propositional logic is a basic form of logic used in computer science. It deals with statements that can be true or false. These statements are called propositions (as shown in Figure 2.3)

(Figure 2.3: Propositional Logic Statements)

DO YOU KNOW?

lightbulb

Propositional logic is the simplest type of logic, but it forms the base of all computer reasoning!