13.5.2. Part b

Try these first

1. 1.

   What does the predicate M(x) represent in the context of our lectures?

   Hint

   Think about what characteristics M(x) highlights.

2. 2.

   What is an existential quantifier, and how is it used?

   Hint

   Look for phrases like 'some' or 'there exists' in the definitions.

3. 3.

   What does M(x) denote?

   • Math major
   • Senior
   • Left campus for weekend

   Hint

   Focus on definitions of predicates we discussed.

4. 4.

   If all seniors left campus, which logical expression describes this?

   Hint

   Reflect on how we have formed arguments with predicates.

5. 5.

   Prove that there are infinitely many prime numbers using a form of contradiction in logical predicates.

   Hint

   Relate the arguments back to definitions of prime and consider number formulation.

6. 6.

   Construct a logical statement combining various predicates to show a stamp collector has unique conditions for their collection.

   Hint

   Be mindful of uniqueness!