sing symbolic notation and the inference rules of propositional calculus, prove that the following argument is valid. Use the indicated propositional symbols. The answer must explicitly indicate the formalization of each premise, and step by step (indicate as rules of inference used) of the demonstration of the conclusion from the premises. a) The harvest is good, but there is not enough water. If there was enough water or not enough sun, then there would be enough water. So the harvest is good and there is plenty of sun. (C, L, S) b) Russia had a superior power, or France was not strong, or Napoleon made a mistake. napoleon no made a mistake, but if the army had not failed, France would have been strong. So the army failed and the Russia had a superior power. (R, F, N, E)
Using symbolic notation and the inference rules of propositional calculus, prove that the following argument is valid. Use the indicated propositional symbols. The answer must explicitly indicate the formalization of each premise, and step by step (indicate as rules of inference used) of the demonstration of the conclusion from the premises.
a) The harvest is good, but there is not enough water. If there was enough water or not enough sun, then there would be enough water. So the harvest is good and there is plenty of sun. (C, L, S)
b) Russia had a superior power, or France was not strong, or Napoleon made a mistake. napoleon no made a mistake, but if the army had not failed, France would have been strong. So the army failed and the Russia had a superior power. (R, F, N, E)
Trending now
This is a popular solution!
Step by step
Solved in 5 steps
