Question

Read the statements shown below.

If it is sunny, Carlos rides his bike.
If he goes to the library, he visits his uncle.
If he visits his uncle, he does not ride his bike.

If it is sunny today, which of these is a valid conclusion?

Carlos will go to the library and ride his bike.

Carlos will visit his uncle.

Carlos will not go to the library.

Carlos will visit his uncle and go to the library.

Answer 1

it is Carlos will not go to the library.

Answer 2

we have p->q
and k->t->-q =>k->-q
equivalent