qqp question1: I have a page in FB. What are the benefits that I can get? question2: Predicate Logic: and vs implies. What's the difference between statements like (∃x) (Dx & ~Ox) and (∃x) (Dx ⊃ ~Ox)?