Need some help with discrete math. I'm...

Images are sometimes not shown due to bandwidth/network limitations. Refreshing the page usually helps.

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

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

Thread images: 2

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.

Thread images: 2

Thread DB ID: 469596

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