Functions in predicate logic.

Reply Thu 20 May, 2010 09:21 am
Could anyone please explain to me how functions work in predicate logic. I am not sure I understand them correctly.

I have several problems involving them

1) U.D. People
Tx: x is friendly
Lxy: x admires y
f(x): x's father

And 'No one who is friendly is admired by his/her father'

I got

NOT (]x)(]y)(Lxy & Tf(y))

But that doesn't look right at all

Another one 2)

U.D: People
Tx: x is nice
Lxy: x hits y
f(x): x's sister

And to symbolise - Someone who hits his sister isn't nice

I got

(Vx)(Lxf(x)> NOT Tx)

This isn't for homework but I have a test in a few days and I've been going over some excercises but can't find the answers anywhere. Would really appreciate it if someone could tell me if I am doing this right
  • Topic Stats
  • Top Replies
  • Link to this Topic
Type: Discussion • Score: 1 • Views: 2,936 • Replies: 0
No top replies


Related Topics

A2K challenge! - Discussion by HexHammer
Logic Proof Help - Question by crimhaze
Derivations vs. symbolisation? - Question by collegestudent123
Logic word problem - Question by johnr
Cause of death..... - Discussion by gungasnake
Need help in defining - Question by ichishti
Predicate Logic Help - Question by splenax
  1. Forums
  2. » Functions in predicate logic.
Copyright © 2022 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.03 seconds on 01/22/2022 at 06:33:22