[Boards: 3 / a / aco / adv / an / asp / b / biz / c / cgl / ck / cm / co / d / diy / e / fa / fit / g / gd / gif / h / hc / his / hm / hr / i / ic / int / jp / k / lgbt / lit / m / mlp / mu / n / news / o / out / p / po / pol / qa / qst / r / r9k / s / s4s / sci / soc / sp / t / tg / toy / trash / trv / tv / u / v / vg / vip /vp / vr / w / wg / wsg / wsr / x / y ] [Search | Home]
Need some help with discrete math. I'm...
If images are not shown try to refresh the page. If you like this website, please disable any AdBlock software!

File: 139967703397[1].gif (3 MB, 605x310) Image search: [iqdb] [SauceNao] [Google]
3 MB, 605x310
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?
>>
>>
>>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 (200 KB, 1104x1040) Image search: [iqdb] [SauceNao] [Google]
200 KB, 1104x1040
>>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.

>>
Another one.

Send help.
>>
There's gotta be some math or logicfags out there.