Need some help with discrete math. I'm lost as fuck atm.
>verify {p∨q, ~p} ⊨ q
>verify {p→r, q→r, p∨q} ⊨ r
So I truth table each one of those hypotheses and look for wherever both hypothesis and conclusion is T, right?
The answer is 2
>>42186
anon pls
>>42169
You are so fucking lucky im studying for a logic sets and proofs exam tomorrow.
Just give a clearer version of the question and I will help the best I can
>>42169
Do you know your rules of propositional logic?
The first one is a disjunctive syllogism and the second is a constructive dilemma.
>>42192
Lucky me then.
It says to simply verify, so I assumed just doing truth tables or using rules and laws.
>>42196
Ah okay, that helps then. Thanks.
>>42199
Bump.
Don't understand where to even start with #4.
Another one.
Send help.
There's gotta be some math or logicfags out there.