Scribd
Upload
318 views

Exercises On The Laws of Logic

This document outlines exercises on logical laws from a course on logic. It includes exercises to negate statements, determine logical equivalences, and simplify compound statements by providing justification for each step. Exercises cover topics like conditional statements, conjunctions, disjunctions, and biconditionals. Justification is required to show the logical steps taken to arrive at simplified or equivalent statements.

Uploaded by

kmay0517
Copyright
© © All Rights Reserved
Available Formats
Download as DOC, PDF, TXT or read online on Scribd
318 views

Exercises On The Laws of Logic

This document outlines exercises on logical laws from a course on logic. It includes exercises to negate statements, determine logical equivalences, and simplify compound statements by providing justification for each step. Exercises cover topics like conditional statements, conjunctions, disjunctions, and biconditionals. Justification is required to show the logical steps taken to arrive at simplified or equivalent statements.

Uploaded by

kmay0517
Copyright
© © All Rights Reserved
Available Formats
Download as DOC, PDF, TXT or read online on Scribd
You are on page 1/ 1

AMC 110

Exercises on the Laws of Logic

1. Negate and express each of the following statements in smooth English.


a. Kelsey will get a good education if she puts her studies before her interest in
cheerleading.
b. Norma is doing her homework and Karen is practicing her piano lessons.
c. If Harold passes his C++ course and finishes his data structures project, then he
will graduate at the end of the semester.
2. Negate each of the following and simplify the resulting statement.
a. p ~ q r
b. p q ~ p ~ q r
3. Show that p q r p ~ q r
4. Determine if the following are tautologies.
a. p q p q
b. p q q q
c. p q q p q
5. Give the reasons for each step in the following simplifications of compound
statements.
p q p ~ q q
a.
Reasons
p q ~ q q
p F0 q
pq

p q ~ q r ~ q

b.

p q ~ q
~ p q ~ q
~ q ~ p q
~ q ~ p ~ q q
~ q ~ p F0

Reasons

~ q ~ p
~ q p

6. Provide the steps and reasons to establish the following logical equivalences.
a. p p p q p
b. p q ~ p ~ q r p q r
c. ~ p ~ q p q r p q

You might also like