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!

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 編輯 ]

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.