1. In a world of only objects X, Y and Z, a logical language is defined with constant symbols A, B and C, a function symbol f, and predicate symbols p, q and r. Given the following interpretation I, I (X)=A, I(Y)=A, I(Z)=B I (f)={ (A,B),(B,C),(C,C)} Note. in (i,j), i is an argument, j is a value I (p) = {A,B} I (q) = (C} I (r)=(,, } For each of the following sentences, indicate whether it is true or false in the given interpretation I. a. r(X,Y) Ans: b. q(f(Z)) Ans: c. w, f(w) =Y d. Vw, r(f (w),w) Ans: Ans: e. Vu, v, r (u,v)= (Vw, r(u,w)=v=w) Ans:

Computer Networking: A Top-Down Approach (7th Edition)
7th Edition
ISBN:9780133594140
Author:James Kurose, Keith Ross
Publisher:James Kurose, Keith Ross
Chapter1: Computer Networks And The Internet
Section: Chapter Questions
Problem R1RQ: What is the difference between a host and an end system? List several different types of end...
icon
Related questions
Question
100%

[8_A_1]

Please answer the following question.

Please don't just answer the "True" or "False".

Answer them with detail explanation.

1. In a world of only objects X, Y and Z, a logical
language is defined with constant symbols A, B and C, a function symbol
f, and predicate symbols p, q and r.
Given the following interpretation I,
I (X) =A, I(Y)=A, I (Z) =B
I (f)={ (A,B),(B,C),(C,C) } Note. in (i,j), i is an argument, j is a value
I (p) = {A,B}
I (q) = {C}
I (r)={<B,A>,<C,B>,<C,C>}
For each of the following sentences, indicate whether it is true or false
in the given interpretation I.
а.
r (X, Y)
Ans:
b. q(f (Z))
Ans:
c. 3w, f (w) =Y
Ans:
d. Vw, r
(f (w),w)
Ans:
e. Vu, v, r (u, v)= (Vw, r(u,w)=v=w)
Ans:
Transcribed Image Text:1. In a world of only objects X, Y and Z, a logical language is defined with constant symbols A, B and C, a function symbol f, and predicate symbols p, q and r. Given the following interpretation I, I (X) =A, I(Y)=A, I (Z) =B I (f)={ (A,B),(B,C),(C,C) } Note. in (i,j), i is an argument, j is a value I (p) = {A,B} I (q) = {C} I (r)={<B,A>,<C,B>,<C,C>} For each of the following sentences, indicate whether it is true or false in the given interpretation I. а. r (X, Y) Ans: b. q(f (Z)) Ans: c. 3w, f (w) =Y Ans: d. Vw, r (f (w),w) Ans: e. Vu, v, r (u, v)= (Vw, r(u,w)=v=w) Ans:
Expert Solution
steps

Step by step

Solved in 2 steps with 1 images

Blurred answer
Recommended textbooks for you
Computer Networking: A Top-Down Approach (7th Edi…
Computer Networking: A Top-Down Approach (7th Edi…
Computer Engineering
ISBN:
9780133594140
Author:
James Kurose, Keith Ross
Publisher:
PEARSON
Computer Organization and Design MIPS Edition, Fi…
Computer Organization and Design MIPS Edition, Fi…
Computer Engineering
ISBN:
9780124077263
Author:
David A. Patterson, John L. Hennessy
Publisher:
Elsevier Science
Network+ Guide to Networks (MindTap Course List)
Network+ Guide to Networks (MindTap Course List)
Computer Engineering
ISBN:
9781337569330
Author:
Jill West, Tamara Dean, Jean Andrews
Publisher:
Cengage Learning
Concepts of Database Management
Concepts of Database Management
Computer Engineering
ISBN:
9781337093422
Author:
Joy L. Starks, Philip J. Pratt, Mary Z. Last
Publisher:
Cengage Learning
Prelude to Programming
Prelude to Programming
Computer Engineering
ISBN:
9780133750423
Author:
VENIT, Stewart
Publisher:
Pearson Education
Sc Business Data Communications and Networking, T…
Sc Business Data Communications and Networking, T…
Computer Engineering
ISBN:
9781119368830
Author:
FITZGERALD
Publisher:
WILEY