SOLUTION: 1. (P>K) V (F>Y) 2. (PvF) . (KvY) 3. [(P>K)>~N]. [(F>Y)>O] 4. K . ~Y / ~NvO

Question 735290: 1. (P>K) V (F>Y)
2. (PvF) . (KvY)
3. [(P>K)>~N]. [(F>Y)>O]
4. K . ~Y
/ ~NvO

Found 2 solutions by lynnlo, jim_thompson5910:
Answer by lynnlo(4176) (Show Source): You can put this solution on YOUR website!

Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
You can derive the conclusion ~N v O in one step like so

1. (P>K) V (F>Y) 2. (PvF) . (KvY) 3. [(P>K)>~N]. [(F>Y)>O] 4. K . ~Y / ~NvO 5. ~N v O lines 3,1 Constructive Dilemma (CD)

The other premises (lines 2,4) aren't needed.

RELATED QUESTIONS
1.M<->N 2.~Mv~N 3.O>M... (answered by jim_thompson5910)
I am having trouble solving the following propositional logic proofs. 1. Conclusion:... (answered by jim_thompson5910)
1.(N V O) ⊃ (C • D) 2.(D V K) ⊃ (P V ~C) 3.(P V G) ⊃ (N • D) ∴... (answered by math_tutor2020)
1. H > (M > E) 2. ~[(M > H) > E] 3. (I + O) > [M + (X = P)] 4. [(K v B) > ~M] > (~I (answered by CPhill)
P l e a s e h e l p m e s o l v e t h i s f i n d t h e c a p a c i t y i n l i... (answered by rothauserc)
Could you please help me? Im sick with a bug and cant think straight :/ A) 1. A ⊃ (answered by solver91311)
Can You please help me solve these proofs? The first statement I'm using the horseshoe... (answered by Edwin McCravy)
Example: 1. A 2. A>B / B 3. B 1,2 MP ←You add this line 1. G > H 2. ~H /... (answered by ikleyn)
I. Use an ordinary proof (not conditional or indirect) to solve the following arguments. (answered by CPhill)