propositions - 2

logistic_guy

Senior Member
Joined
Apr 17, 2024
Messages
1,520
Let p\displaystyle p and q\displaystyle q be the propositions
p\displaystyle p : You drive over 65 miles per hour.
q\displaystyle q : You get a speeding ticket.

Write these propositions using p\displaystyle p and q\displaystyle q and logical connectives (including negations).

(a)\displaystyle \bold{(a)} You do not drive over 65\displaystyle 65 miles per hour.
(b)\displaystyle \bold{(b)} You drive over 65\displaystyle 65 miles per hour, but you do not get a speeding ticket.
(c)\displaystyle \bold{(c)} You will get a speeding ticket if you drive over 65\displaystyle 65 miles per hour.
(d)\displaystyle \bold{(d)} If you do not drive over 65\displaystyle 65 miles per hour, then you will not get a speeding ticket.
(e)\displaystyle \bold{(e)} Driving over 65\displaystyle 65 miles per hour is sufficient for getting a speeding ticket.
(f)\displaystyle \bold{(f)} You get a speeding ticket, but you do not drive over 65\displaystyle 65 miles per hour.
(g)\displaystyle \bold{(g)} Whenever you get a speeding ticket, you are driving over 65\displaystyle 65 miles per hour.
 
(a)\displaystyle \bold{(a)} You do not drive over 65\displaystyle 65 miles per hour.

p\displaystyle \overline{p}
 
Incorrect - the speed limit could be 55 MPh - it could even be 20 MPh.
Take it easy man. Life is beautiful.

(b)\displaystyle \bold{(b)} You drive over 65\displaystyle 65 miles per hour, but you do not get a speeding ticket.

pq\displaystyle p \land \overline{q}
 
(c)\displaystyle \bold{(c)} You will get a speeding ticket if you drive over 65\displaystyle 65 miles per hour.

pq\displaystyle p \rightarrow q
 
(d)\displaystyle \bold{(d)} If you do not drive over 65\displaystyle 65 miles per hour, then you will not get a speeding ticket.

pq\displaystyle \overline{p} \rightarrow \overline{q}
 
Yes that may work for your course
I would expect ¬p¬q \neg p \rightarrow \neg q
 
Not when the author is Russian.

(e)\displaystyle \bold{(e)} Driving over 65\displaystyle 65 miles per hour is sufficient for getting a speeding ticket.

pq\displaystyle p \rightarrow q
 
(f)\displaystyle \bold{(f)} You get a speeding ticket, but you do not drive over 65\displaystyle 65 miles per hour.

qp\displaystyle q \land \overline{p}
 
(g)\displaystyle \bold{(g)} Whenever you get a speeding ticket, you are driving over 65\displaystyle 65 miles per hour.

qp\displaystyle q \rightarrow p
 
Top