Thread replies: 9
Thread images: 2
Thread images: 2
File: 139967703397[1].gif (3MB, 605x310px) Image search:
[Google]
![139967703397[1].gif](https://i.imgur.com/6UaZqFk.gif "139967703397[1]")
3MB, 605x310px
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.
>>
File: mathlogic.jpg (200KB, 1104x1040px) Image search:
[Google]
200KB, 1104x1040px
>>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.
Thread posts: 9
Thread images: 2
Thread images: 2