Let F(x.y): "x is friend with y", N(x): "x is funny", W(x): "x is wise", R(x): "x is fair". The domain for x and y is the set of all persons. Write the english of. 3XVy[¬N(x) A W(x)]A[R(y)→¬F(x,y)]

Advanced Engineering Mathematics
10th Edition
ISBN:9780470458365
Author:Erwin Kreyszig
Publisher:Erwin Kreyszig
Chapter2: Second-order Linear Odes
Section: Chapter Questions
Problem 1RQ
icon
Related questions
Question
Let F(x.y): "x is friend with y", N(x): "x is funny", W(x): "x is wise",
R(x): "x is fair". The domain for x and y is the set of all persons.
Write the english of.
3xVy[¬N(x)A W(x)] ^ [R(y) → ¬F(x,y)]
Transcribed Image Text:Let F(x.y): "x is friend with y", N(x): "x is funny", W(x): "x is wise", R(x): "x is fair". The domain for x and y is the set of all persons. Write the english of. 3xVy[¬N(x)A W(x)] ^ [R(y) → ¬F(x,y)]
Expert Solution
Step 1

The symbolic is given as follows:

xy¬NxWxRy¬Fx,y

We are given that:

Fx,y: "x is friends with y"Nx: "x is funny"Wx: "x is Wise"Rx: "x is fair"

We will break the given symbolic into two and then translate it into English.

xy¬NxWx

This in English can be written as follows:

For some x and all y, x is not funny but x is wise.

steps

Step by step

Solved in 2 steps

Blurred answer
Recommended textbooks for you
Advanced Engineering Mathematics
Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated
Numerical Methods for Engineers
Numerical Methods for Engineers
Advanced Math
ISBN:
9780073397924
Author:
Steven C. Chapra Dr., Raymond P. Canale
Publisher:
McGraw-Hill Education
Introductory Mathematics for Engineering Applicat…
Introductory Mathematics for Engineering Applicat…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY
Mathematics For Machine Technology
Mathematics For Machine Technology
Advanced Math
ISBN:
9781337798310
Author:
Peterson, John.
Publisher:
Cengage Learning,
Basic Technical Mathematics
Basic Technical Mathematics
Advanced Math
ISBN:
9780134437705
Author:
Washington
Publisher:
PEARSON
Topology
Topology
Advanced Math
ISBN:
9780134689517
Author:
Munkres, James R.
Publisher:
Pearson,