1.:: [(P --> Q) & P ]          Conditional proof (CP) assumption #1

2.:: P                         1  Simplification (SIMP)

3.:: (P --> Q)                 1  SIMP

4.:: Q                         2,3 Modus Ponens (MP)

5.:: [(P --> Q) & P ] --> Q    1-4, CP 

6. [(P --> Q) & P ] --> Q      1-5, CP (discharges CP assumptions)  

RELATED QUESTIONS

[(P ⊃ Q) & P] ⊃ Q

I need to use premise free proof to prove the equation above but  (answered by Edwin McCravy)

Construct a formal proof in fitch format for the following:

1. Premise: A->B... (answered by solver91311)

Proof for:
P -> Q Therefore ~Q ->... (answered by Edwin McCravy)

Using Inference Rules

Premise 1. (P * Q) > R
Premise	2. (P * Q) V S
Premise	3. ~ R    (answered by Edwin McCravy)

Conditional Proof - can use all 18 rules 

(P -> Q) <-> (P -> (Q v... (answered by jim_thompson5910)

premise (P&Q)V(R&S)
Premise R->L
goal... (answered by Edwin McCravy)

symbolize the following argument and then use a truth table to determine whether the... (answered by stanbon)

Use natural deduction to prove the following logical truth:
(P ⊃ Q) ≡ [P ⊃ (Q ∨... (answered by Edwin McCravy)

How do I provide a proof in regards to(P→Q)v(Q→P) ? propositional... (answered by stanbon)