AI Tutor
Back to Propositional Functions and Quantifiers

Exercise 6

Avg difficulty 2.5

Consider the statement, “There is a building on the campus of some college in the United States in which every room is painted white.”

  1. Express the statement using quantifiers. Be sure to define your predicate function and specify the domain of each of the three variables.
  2. Express the negation of the above logical quantified statement so that no negation is to the left of a quantifier.
  3. Write the negation of the statement in plain English.

Hammond, Discrete Math for Shockers, §2.3 Propositional Functions and Quantifiers, Exercise 6

AI Tutor

Adapted from Discrete Math for Shockers © 2021 John Hammond. Licensed under CC BY-SA 4.0. Source: Discrete Math for Shockers. Imported at revision 2538beb.