Propositional Logic Proof Help - 19143

Request Posted by
logichelptom

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
EXAMPLE.docx
EXAMPLE.docx
Please Login or Register to Submit the Solution for the Request