Scribd
Upload
37 views3 pages

Mat Dis

The document contains examples of truth value statements involving quantifiers and predicates. It examines the truth values of statements such as "every comedian is funny", "some comedians are funny", and whether integers satisfy statements like "x=x^2" or "2n=3n". It also translates natural language statements into logical expressions using quantifiers, predicates and connectives over different domains.

Uploaded by

44177
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
37 views3 pages

Mat Dis

The document contains examples of truth value statements involving quantifiers and predicates. It examines the truth values of statements such as "every comedian is funny", "some comedians are funny", and whether integers satisfy statements like "x=x^2" or "2n=3n". It also translates natural language statements into logical expressions using quantifiers, predicates and connectives over different domains.

Uploaded by

44177
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 3

7. a) Ax (C(x) F(x)) : b) Ax (C(x) c) Ex (C(x) d) Ex (C(x) 11. Let P(x) be the statement x=x 2 .

if the domain consists of integers, what are the truth tables? a) P(0): 0 = (0)2 b) P(1): 1 = (1)2 c) P(2): 2 = (2)2 d) P(-1): -1 = (-1)2 e) Ex P(x): let take it some samples: 0 = (0)2 1 = (1)2 (TRUE) (TRUE) (TRUE) (TRUE) (FALSE) (FALSE) F(x)) : F(x)) : F(x)) : every comedian is funny every person is comedian and funny some people such that if he or she is comedian, then he or she is funny some comedians are funny

2 = (2)2 (FALSE) Because not of all integers are true for statement x=x 2 , so that Ex P(x) is (TRUE) f) Ax P(x): let take it some samples: 0 = (0)2 1 = (1)2 (TRUE) (TRUE)

2 = (2)2 (FALSE) Because not of all integers are true for statement x=x 2 , so that Ax P(x) is (FALSE) 13. Determine the truth value a) An (n+1 > n): n+1>n 1 > n-n 1 > 0 (TRUE)

b) En (2n = 3n) let take it some samples: 2(0) = 3(0) (TRUE)

2(1) = 3(1) (FALSE) 2(2) = 3(2) (FALSE) Because not of all inetegrs are true for statement 2n = 3n , so that En (2n = 3n) is (TRUE) c) En (n = -n) let take it some samples: 0 = -(0) (TRUE)

2 = -2 (FALSE) 3 = -3 (FALSE) Because not of all integers are true for statement n = -n , so that En (n = -n) is (TRUE) d) An (n2 >= n) let take it some samples: (0)2 >= (0) (TRUE)

(2)2 >= 2 (TRUE) (-3)2 >= -3 (TRUE) Because not of all integers are true for statement n2 >= n , so that An (n2 >= n) is (TRUE) 15. Determine the truth value a) An(n2>=0): every square of integer is always equal or greater than 0 (TRUE) b) En (n2 = 2) there is not square of integer that is equal with 2 (FALSE) c) An (n2 >= n) every square of n integer is always equal or greater than n (TRUE) d) En (n2 < 0) every square of integer is never smaller than 0 (FALSE)

23. Translate in two ways each of these statements into logical expressions using predicates, quantifers, and logical connectives. First, let the domain consist of the students in your class and second, let it consist of all people. a) Someone in your class can speak Hindi Let p(x) is x in your class and q(x) is x can speak Hindi , so Ex (p ^ q) b) Everyone in your class is fiendly. Let p(x) is x in your class and q(x) is x is friendly , so Ax(p q) c) There is a person in your class who was not born in California. Let p(x) is x in your class and q(x) is x was born in California , so Ex(p ^ -q) d) A student in your class has been in a movie. Let p(x) is x in your class and q(x) is x has been in a movie , so Ex(p ^ q) e) No student in your class has taken a course in logic programming. Let p(x) is x in your class and q(x) is x has taken a course in logic programming , so Ax(p - q)

You might also like