Logic help Watch

flying twig
Badges: 2
Rep:
?
#1
Report Thread starter 8 years ago
#1
I'm revising for my logic exam and I'm not sure if I'm using functions correctly. It's predicate logic btw. I'll use (Vx) as universal quantifier and (]x) and existential one and -- as negation ...

Here is the symbolisation key:

U.D: People
Tx: x is tall
Lxy: x likes y
f(x): x's father

and I have to symbolise: No tall person likes his/her father

I got --(]x)(]y)(Lxy & Tf(x))

But I don't think that's right.. anyone?
0
reply
itsalion00
Badges: 0
Rep:
?
#2
Report 8 years ago
#2
(Not- ]x)( ]y)( (Tx ^ Fy) ^ Lxy)

I think
0
reply
X

Quick Reply

Attached files
Write a reply...
Reply
new posts
Latest
My Feed

See more of what you like on
The Student Room

You can personalise what you see on TSR. Tell us a little about yourself to get started.

Personalise

University open days

  • University of East Anglia
    All Departments Open 13:00-17:00. Find out more about our diverse range of subject areas and career progression in the Arts & Humanities, Social Sciences, Medicine & Health Sciences, and the Sciences. Postgraduate
    Wed, 30 Jan '19
  • Solent University
    Careers in maritime Undergraduate
    Sat, 2 Feb '19
  • Sheffield Hallam University
    City and Collegiate Campus Undergraduate
    Sun, 3 Feb '19

Brexit: Given the chance now, would you vote leave or remain?

Remain (111)
79.86%
Leave (28)
20.14%

Watched Threads

View All
Latest
My Feed

See more of what you like on
The Student Room

You can personalise what you see on TSR. Tell us a little about yourself to get started.

Personalise