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 時間: 2008-3-30 22:30
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.