3,936 views
1 votes
1 votes
Translate each of these statements into logical expressions

a) Someone in your school has visited Uzbekistan.
b) Everyone in your class has studied calculus and C++.
c) No one in your school owns both a bicycle and a motorcycle.
d) There is a person in your school who is not happy.
e) Everyone in your school was born in the twentieth
century.

2 Answers

0 votes
0 votes

A) ∃x( S(x) ^ U(x) )

B) ∀x (S(x)--->Calculus(x) AND plus(x))

C) NOT ( ∃x ( S(x) AND B(x) AND M(x) ) )

D) ∃x (S(x) AND NOT ( H(x) ) )

E) ∀x (S(x) ---> T(x))

0 votes
0 votes
a) Someone in your school has visited Uzbekistan.

let U(x) be the propositional function-"has visited Uz..."

let S(x) be the propositional function-" belongs to your school"

domain-set of people on the earth.

ans= ∃x(S(x) AND U(x))

Related questions

2 votes
2 votes
2 answers
2
kd..... asked Jul 12, 2018
511 views
I am unable to prove following equations without using truth table1) p - (q v r) = (p->q) V (p->r) 2) ~(p <- q) = p <- ~q
1 votes
1 votes
3 answers
3
Vicky rix asked Mar 7, 2017
888 views
Which of the following statements are ALWAYS TRUE ?A) ∀x [P(x)] - ∃x [P(x)]B) ∃x [P(x)] - ∀x [P(x)]C) Both A) and B) and so both are equivalent D) Neither A) no...
0 votes
0 votes
2 answers
4