Use quantifiers to express the following statements.
a) Every computer science student needs a course in discrete mathematics.
b) There is a student in this class who owns a personal computer.
c) Every student in this class has taken at least one computer science course.
d) There is a student in this class who has taken at least one course in computer science.

Respuesta :

The statements in propositional form with quantifiers are described below:

a) [tex]A = \{\forall \,x\in A| xP\}[/tex], where x = Computer science student and P = needs a course in discrete mathematics.

b) [tex]B = \{\exists \,x\in B|xQ\}[/tex], where x = Student in this class and Q = has taken at least one computer science course.

c) [tex]C = \{\exists\,x \in C|xR\}[/tex], where x = Student in this class and R = has taken at least one computer science course.

d) [tex]D = \{\exists\, x\in D|xS\}[/tex], where x = Student in this class and S = who has taken at least one course in computer science.

In this question we proceed to translate each sentence in English in mathematical language, based on proposition logics. The basic structure of propositions is described below:

Quantifier + subject + predicate (1)

There are two quantifiers:

  • [tex]\forall[/tex] - "For all": Every.
  • [tex]\exists[/tex] - "Exists": There is.

Subjects are symbolized by lower case letters, whilst predicates are symbolized by upper case letters.

A complete proposition has the following representation:

Proposition label = { Quantifier + Subject | Proposition }

Now we proceed to present the representation of each statement:

a) [tex]A = \{\forall \,x\in A| xP\}[/tex], where x = Computer science student and P = needs a course in discrete mathematics.

b) [tex]B = \{\exists \,x\in B|xQ\}[/tex], where x = Student in this class and Q = has taken at least one computer science course.

c) [tex]C = \{\exists\,x \in C|xR\}[/tex], where x = Student in this class and R = has taken at least one computer science course.

d) [tex]D = \{\exists\, x\in D|xS\}[/tex], where x = Student in this class and S = who has taken at least one course in computer science.

We kindly invite to check this question on propositional logic: https://brainly.com/question/1428404