Registered: 14 years ago
Thank you for noticing the typo on page 28.Indeed it should be V Elim. The sentence on page 32 is wrong, not because of the quantifier used,but because of missing parenthesis. It must have an open bracket after the biconditional connective and two closing bracket at the end of the sentence. Both quantifiers work with this sentence,depending on how you take the sentence, some sentences might have 'Something' used making a universal claim.