In: Advanced Math
7.
Prove that the folowing is a valid argument, explaining each rule of inference used to arrive at the conclusion.
“I take the bus or I walk. If I walk I get tired. I do not get tired. Therefore I take the bus.”
“All lions are fierce. Some lions do not drink coffee. Therefore, some fierce creatures to not drink coffee."