Use propositional logic to prove that the following argument is valid.?

C

Calculus

New member
Use propositional logic to prove that the following argument is valid.?
At the banquet, either chicken will be served as the entrée, or steak will be served as the entree. Either steak will not be served as the entrée, or baked potatoes will be served as a side item. If baked potatoes are served as a side item, then corn will not be served. Therefore, if corn is served at the banquet, then chicken will be served as the entrée.
I let C: Chicken
S: Steak
P: Patatoes
O: Corn

The argument is
(C V S) ? (S' V P) ? (P -> O') -> (O -> C)

1. C V S (hyp)
2. S' V P (hyp)
3. P-> N' (hyp)
4.
5.....

can someone help me to finished?
 
Back
Top