★ (starshine)'s status on Thursday, 28-Apr-11 17:35:22 UTC

★

I am suspicious of my logic professor now. Today, we were talking about predicate logic. One of the examples he gave for symbolic translation was like "Ralph understands the value of friendship". Less than a minute later, said that "with a little bit of magic" it was possible to rewrite an existential statement as a universal one. Then the next example he gave involved unicorns, which led to a ten-minute discussion on whether or not they exist.