Quantified Statements Convert the following statements to logical statements usi
ID: 3234149 • Letter: Q
Question
Quantified Statements 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
logical statements:
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 .