# Propositional Logic Proof Help - 19143

Request Posted by

## logichelptom

Rating : No Rating
Earned: \$0
Request Detail
Price: \$30
• From: Philosophy,
• Due on: Sun 21 Jul, 2013 (10:06am)
• Asked on: Sun 21 Jul, 2013
• Due date has passed, but you can still Post Solution.
Description

I need up to 5 proofs solved (and some help on easier multiple choice questions) by using derivations (think also called natural deduction.)

I wont know the exact proofs until I start the assignment, the assignment is 2 hours long so you will have to be avaialble during those 2 hours.

I attached example proofs and answers in the format that we need

I also posted an example below, this is the format the proofs will be in. You will need to send back in this format via word (or other program that I can open.)

Should be very easy as it's only 3 proofs---

**WILL BE A GENEROUS TIP IF THE WORK IS DONE AND CORRECT**

2.) (A^B)-->M, M-->¬(A^B) ?¬(A^B)

 1 (A^B)-->M P 2 M-->¬(A^B) P/¬(A^B) 3 (A^B) A/P ¬P 4 M 1,3-->R 5 ¬(AVB) 2,4-->E 6 (A&B) 3R 7 ¬(A^B) 3-6¬I
Attachments