9.4.2. Second Expression Analysis

Try these first

1. 1.

   Define what a predicate is in your own words.

   Hint

   Think about how predicates express properties about objects.

2. 2.

   What does universal quantification mean?

   Hint

   Recall the phrase 'for all' that denotes this.

3. 3.

   What does the universal quantifier assert?

   • It’s true for some
   • It's true for all
   • It's false for all

   Hint

   Remember the term 'for all'.

4. 4.

   True or False: The statement 'S(x) implies C(x)' means if a student is enrolled, they must study calculus.

   • True
   • False

   Hint

   Consider the meaning of implication.

5. 5.

   Create a logical expression from the statement 'All fish can swim'.

   Hint

   Think about what predicates you need.

6. 6.

   Explain how to logically express that 'There are some cars that are electric.'

   Hint

   Consider what it means for at least one car to be electric.