[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]
4Archive logo
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!

You are currently reading a thread in /wsr/ - Worksafe Requests

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

Don't understand where to even start with #4.
>>
Another one.

Send help.
>>
There's gotta be some math or logicfags out there.
Thread replies: 9
Thread images: 2
Thread DB ID: 469596



[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]

[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]

All trademarks and copyrights on this page are owned by their respective parties. Images uploaded are the responsibility of the Poster. Comments are owned by the Poster.
This is a 4chan archive - all of the shown content originated from that site. This means that 4Archive shows their content, archived. If you need information for a Poster - contact them.
If a post contains personal/copyrighted/illegal content, then use the post's [Report] link! If a post is not removed within 24h contact me at [email protected] with the post's information.