Alexis O.

asked • 08/02/15

Natural Deduction in Propositional Logic Help?

Use the first four rules of inference to derive the conclusions of the following symbolized arguments. (please please help. And explanation would be nice too!)

(1) 1. ~C>(A>C)
2. ~C /~A

(2.) 1. F v (D>T)
3. D /T

(3.) 1. (K & B) v (L>E)
2. ~(K&B)
3. ~E /~L

(4.) 1. J > (K>L)
2. L v J
3. ~L /~K

2 Answers By Expert Tutors


Still looking for help? Get the right answer, fast.

Ask a question for free

Get a free answer to a quick problem.
Most questions answered within 4 hours.


Find an Online Tutor Now

Choose an expert and meet online. No packages or subscriptions, pay only for the time you need.