Scribd
Upload
61 views12 pages

Week 7: Propositional Logic

This document provides an overview of propositional logic for a discrete mathematics course. It defines propositional logic and discusses arguments, propositional logic statements, and truth tables. The topics covered are propositional logic, arguments, propositional logic statements and their truth tables, and logical equivalence. It aims to help students understand propositional logic notation, identify logic statements, and write their truth tables by the end of the module.

Uploaded by

Kenny Stephen Cruz
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
61 views12 pages

Week 7: Propositional Logic

This document provides an overview of propositional logic for a discrete mathematics course. It defines propositional logic and discusses arguments, propositional logic statements, and truth tables. The topics covered are propositional logic, arguments, propositional logic statements and their truth tables, and logical equivalence. It aims to help students understand propositional logic notation, identify logic statements, and write their truth tables by the end of the module.

Uploaded by

Kenny Stephen Cruz
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/ 12

WEEK 7

PROPOSITIONAL LOGIC

CS-6105 Discrete Mathematics


WEEK 7 : PROPOSITIONAL LOGIC
Module Learning Outcomes:

By the end of this module, a student is able to:


1. Define propositional logic.
2. Understand the logics and writing the notation.
3. Identify the logic and write its truth table.
Topics Covered

• Propositional Logic
- Arguments
- Propositional Logics and Truth Table
PROPOSITIONAL
- Logical Equivalence
LOGIC
Arguments

 
Propositional Logics and Truth Table
A proposition is simply a statement. Propositional logic studies the ways statements can interact with each
other. It is important to remember that propositional logic does not really care about the content of the
statements. For example, in terms of propositional logic, the claims, “if the moon is made of cheese then
basketballs are round,” and “if spiders have eight legs then Sam walks with a limp” are exactly the same. They
are both implications: statements of the form, P → Q.

 
Propositional Logics and Truth Table
Example :

 
Logical Equivalence

 
Logical Equivalence

 
Logical Equivalence

 
Logical Equivalence

 
Logical Equivalence

 
END

You might also like