Unformatted text preview:

Math 340 Spring 2022 copyright Juh asz and Sobieska Homework 1 Logic Due on Fri Feb 10 11 59pm Problem 1 Let p and q be the propositions p The castle grounds are safe q A dragon has been spotted flying overhead Express each of these propositions as an English sentence a p q b p q c p q d p q The castle grounds are safe and a dragon has been spotted flying The castle grounds are not safe or a dragon has been spotted flying If the castle grounds are safe then a dragon has not been spotted flying The castle grounds are safe is necessary and sufficient for a dragon has not been spotted flying Problem 2 Show that each of these condition statements is a tautology by using truth tables a p q p b p q p A compound proposition is a tautology if the proposition is always true regardless of the truth value of the individual propositions that occur in it So both of these condition statements are tautology Problem 3 Let F x y be the statement x can fool y where the domain consists of all people in the world Use quantifies to express each of these statements x F x Justin a Everybody can fool Justin b There is no one who can fool everybody c Nobody can fool both Tom and Jerry d No one can fool themself x F x x x y F x y x F x Jerry F x Tom 1


View Full Document

UW-Madison MATH 240 - Homework 1

Documents in this Course
Load more
Download Homework 1
Our administrator received your request to download this document. We will send you the file to your email shortly.
Loading Unlocking...
Login

Join to view Homework 1 and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view Homework 1 2 2 and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?