Quantified Statements (25 points) Convert the following statements to logical st
ID: 3835641 • Letter: Q
Question
Quantified Statements (25 points)
Convert the following statements to logical statements using appropriate quantifications.
(a) Every person gets married at some time.
(b) Some married people get divorced later.
(c) Only previously unmarried people can get married.
Assume, P to be the set of all people and T to be the set of all time instants. In addition, you
may assume the following functions: M(x 1 ,x 2 ,t) signifies that x 1 and x 2 got married at time t, and
D(x 1 ,x 2 ,t) signifies that x 1 and x 2 got divorced at time t.
Explanation / Answer
a) x P(x1,x2) -> € x M (x1,x2,t)
b)€ x M(x 1,x2,t ) --> D (x1,x2,t)
c) x M' (x) -> M (x )
Thus all the statement are expressed as quantifiers .