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