Propositional logic

Prepared by Rusdianto Roestam

Propositional logic: review
● Propositional logic: a formal language for representing knowledge and for making
logical inferences
● A proposition is a statement that is either true or false.
● A compound proposition can be created from other propositions using logical
connectives
● The truth of a compound proposition is defined by truth values of elementary
propositions and the meaning of connectives.
● The truth table for a compound proposition: table with entries (rows) for all possible
combinations of truth values of elementary propositions.

2
Compound propositions

3
Constructing the truth table

4
Constructing the truth table

5
Constructing the truth table

6
Constructing the truth table

7
Computer representation of True and False

8
Bitwise operations

9
Bitwise operations

10
Applications of propositional logic

11
Translation

12
Translation

13
Translation

14
Translation

15
Translation

16
Translation

17
Application: inference

18
Application: inference

19
Example: MYCIN

20
Tautology and Contradiction

21
Tautology and Contradiction

22
Equivalence

23
Logical equivalence

24
Equivalence

25
Equivalence

26
Equivalence

27
Equivalence

28
Important logical equivalences

29
Important logical equivalences

30
31
Using logical equivalences

32