Scribd
Upload
51 views

Lecture 1 - Propositional Logic

This document outlines the key topics in propositional logic that will be covered in the MTH 2204 - Discrete Mathematics course, including: - Definitions of propositions, propositional variables, and truth tables - Logical operators like negation, conjunction, disjunction, implication, equivalence, and their truth tables - Examples of simple and compound propositions - Precedence of logical operators - How to construct truth tables for compound propositions involving multiple logical operators The document provides examples and questions to illustrate each topic.

Uploaded by

Aarif
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
51 views

Lecture 1 - Propositional Logic

This document outlines the key topics in propositional logic that will be covered in the MTH 2204 - Discrete Mathematics course, including: - Definitions of propositions, propositional variables, and truth tables - Logical operators like negation, conjunction, disjunction, implication, equivalence, and their truth tables - Examples of simple and compound propositions - Precedence of logical operators - How to construct truth tables for compound propositions involving multiple logical operators The document provides examples and questions to illustrate each topic.

Uploaded by

Aarif
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
You are on page 1/ 19

MTH 2204 – Discrete Mathematics

Lecture 1 - Propositional Logic


-Aarif Baksh

1
Outline

1.1. Definition and Examples

1.2. Propositional Variables

1.3. Truth Tables

1.4. Logical Operators (Connectives) – Definition, Truth tables, Examples, Converse, Inverse, Contrapositive

1.5. Simple and Compound Propositions

1.6. Precedence of Logical Operators

1.7. Truth tables for Compound Propositions

2
1.1. Definition and Examples

3
1.1. Definition and Examples
 
Q. Determine whether each sentence below is or is not a proposition.

a) Georgetown is the capital city of Guyana.

b) Where are you?

c) Place the money in your wallet.

d) is an odd number.

4
1.2. Propositional Variables

5
1.3. Truth Tables

6
1.4. Logical Operators - Negation Operator Read
Not
It is false that
~, It is not the case
that
It is not true that

7
1.4. Logical Operators - Conjunction
And
And
But
But
Still
Still
However
However
nevertheless
nevertheless

8
1.4. Logical Operators - Disjunction
Or
Or
Otherwise
Otherwise

9
1.4. Logical Operators – Exclusive Disjunction

10
1.4. Logical Operators – Inclusive vs Exclusive

11
1.4. Logical Operators - Conditional
If p, then q
p implies q
p only if q
p is sufficient for q
q is necessary for p
q if p
q whenever p
q follows from p
q when p
q unless ~p

12
1.4. Logical Operators – Converse, Inverse, Contrapositive

13
1.4. Logical Operators – Bi-conditional
p is necessary and sufficient for q
if p then q, and conversely
p if and only if q

14
1.4. Logical Operators – Summary

15
1.5. Simple and Compound Propositions

16
1.5. Simple and Compound Propositions

Q. Determine whether each proposition below is a simple or compound.

a) The book has 200 pages and the book is yellow.

b) Trishan ate the cake.

c) If the sun is a star then the moon is a satellite.

d) 25 is a perfect square or 8 is a perfect cube.

e) Paris is in France if and only if Rome is in Italy.

f) Paula is poor or Paula is a millionaire.


17
1.6. Precedence of Logical Operators

18
1.7. Truth Table for Compound Propositions
 
Q. Complete the truth table for the compound proposition

         

T T T            

T T F            

T F T            

T F F            

F T T            

F T F            

F F T            

F F F            
19

You might also like