Articles Courses Quiz Daily

Logic ★

Section 2: Direct Proof

Practice translating definitions and proving an implication as written.

Progress

0 / 5

Question 1 / 5

In a direct proof of "if $P$ , then $Q$ ", what is the usual first move?

Assume

P

and derive

Q

. Check one numerical example. Ignore the definitions. Assume

Q

is false.

Submit to see the correction

We can't find the internet

Attempting to reconnect

Something went wrong!

Attempting to reconnect