# Project #61164 - Propositional Logic

Instructions: Except for questions that ask for a simple True or False, complete solutions with details are required with reasons for each of the operations you perform to obtain a solution. For example, if the problem asks for a Proofthen we need to see all the steps of the argument as is given in your eResource textbook.

1. (6 points) Give a reason for each step in the following argument to prove the statement for any propositions A, B, and C:
 ([A → (B ∨C)] ∧¬B ∧¬C) → ¬A
1. A → (B ∨C)
2. ¬B
3. ¬C
4. ¬B ∧¬C
5. ¬(B ∨C)
6. ¬A
2. (2 points) A logical argument is valid in the same way that an algebraic derivation is valid. Each step must be justified by some rule. Formalize this argument using the letters C,F, and S for the propositions, and show that it is valid. If chicken is on the menu, then don't order fish, but you should have either fish or salad. So if chicken is on the menu, have salad.
3. Use our logical rules to show that for all propositions p, p → p ∧p.

 Subject Mathematics Due By (Pacific Time) 03/08/2015 11:59 pm
TutorRating
pallavi

Chat Now!

out of 1971 reviews
amosmm

Chat Now!

out of 766 reviews
PhyzKyd

Chat Now!

out of 1164 reviews
rajdeep77

Chat Now!

out of 721 reviews
sctys

Chat Now!

out of 1600 reviews

Chat Now!

out of 770 reviews
topnotcher

Chat Now!

out of 766 reviews
XXXIAO

Chat Now!

out of 680 reviews