Question: Having trouble with these questions from a recent practical and would really appreciate a detailed explanation on these question ( they ' re made to

Having trouble with these questions from a recent practical and would really appreciate a detailed explanation on these question (they're made to be put into Carnap)
Derive a natural deduction proof in Carnap for each of the following arguments.
(i)
(P Q)-> R,R P Q
(ii)
P Q, Q -> R, P ->R P Q
(iii)
x(P (x)-> Q(x)),xQ(x)x(Q(x)P (x))
For each of the following Knights and Knaves puzzles, formalise the sequence of statements using propositional logic and prove a proposition that demonstrates the nature of each individual in Carnap.
(i)
Alice: We are both knights. Bob: Alice is a liar!
(ii)
Dan: Its fale that Ed is a knave. Ed: I and Dan have a different nature.
(iii)
Rex: Sally is a knave. Joe: Its not the case that Rex is a knave. Sally: Neither I nor Rex are knaves.

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!