I'm thinking of a logic, and I'll only tell you two things about it: first, it obeys conditional proof; and second, the argument p, q \rightarrow s / r is valid in the logic. Which of the following things can you safely conclude from this information only?

Question

I'm thinking of a logic, and I'll only tell you two things about it: first, it obeys conditional proof; and second, the argument   p, q \rightarrow s / r  is valid in the logic. Which of the following things can you safely conclude from this information only?

Answer

p / q \rightarrow (s \wedge r)   is valid in the logic

Answer

p / r \rightarrow (q \rightarrow s)   is valid in the logic

Answer

/ (q \rightarrow s) \rightarrow (p \rightarrow r)  is valid in the logic

Answer

q \rightarrow s, r / p   is valid in the logic

Crowdly

I'm thinking of a logic, and I'll only tell you two things about it: first, it o...

Want instant access to all verified answers on learning.monash.edu?