Help with Logic homework homework, Logic, Help

Intelstan

I need to represent these 2 arguments in standard form, but I am not sure what the conclusions are.  



For the first one, I am thinking the conclusion should be "Only if Mary shows will he attend."
The second one seems confusing to me.


Some help would be nice.

Thank you!

simon

for the 2nd one, i think the conclusion is after "There you have it:"

goldie

Hmm...
For the second one, I think the conclusion is
no energy policy OR no tax relief.

myversa

I wonder what are the answers for both questions.. Thinking about this makes my head hurts...

siumaibb

I think the second is 'Election-year politicking is enough to make one cry'

Intelstan

Any philosophy majors or minors on LYK?

I need help with some PD and PDE claims.

Here are 2 examples that I need to prove.



These are some of the easier ones but I think some help would be great.

Thanks!

[ 本帖最後由 Intelstan 於 2008-3-27 16:10 編輯 ]

hotaruu

holy... i have seen these in my CMPT course.... but i don't remember what all these symbols mean now...
can you start simplifying them?

Intelstan

I have solved them already (took me till 5am that night).

The symbols in the 2 claims above include existential quantifier, conditional, universal quantifier, conjunction, and negation.