Ask Experts Questions for FREE Help !
Ask
    nsion8's Avatar
    nsion8 Posts: 1, Reputation: 1
    New Member
    		  
    #1

    Jul 7, 2010, 04:56 PM
    Predicate Logic- Translations
    How do you translate the following into PL using quantifiers?

    Anyone who's liked by everyone likes themselves.
    Everyone who likes Jack likes everyone.
    At most one team wins.
    The only team that won is the only theam that played fair.
    The King and President are the same person.
    The King is bald, but the president is not bald
    TUT317's Avatar
    TUT317 Posts: 657, Reputation: 76
    Senior Member
    		  
    #2

    Jul 9, 2010, 05:20 PM
    Quote Originally Posted by nsion8 View Post
    How do you translate the following into PL using quantifiers?

    Anyone who's liked by everyone likes themselves.
    Everyone who likes Jack likes everyone.
    At most one team wins.
    The only team that won is the only theam that played fair.
    The King and President are the same person.
    The King is bald, but the president is not bald

    This should be of help

    List of logic symbols - Wikipedia, the free encyclopedia

    When looking at the list you might consider the words EVERYONE and ANYONE are universal quantifiers-they can be represented by a symbol. As you probably know quantifiers are used by prefixing symbols to variables.

    The other type of quantifier used is the 'existential quantifier' (there exists at least ONE... ). Again, you probably know what this symbol looks like.

    You might also consider natural connectives e.g. King and President being the same person. Consider variables which are free or bound by the quantifiers.

    Tut
Not your question? Ask your question View similar questions
 

Question Tools Search this Question
Search this Question:

Advanced Search

Add your answer here.


Check out some similar questions!

Please help me with sanskrit translations [ 4 Answers ]

Hi, I am trying to find translations into sanskrit for the names 'Anwyn' (Female), 'Christopher' (Male) and 'James' (Male) I would also really appreciate knowing what the phrase 'to earn from the past is to prepare for the future, to live in the past is to have no future' is in sanskrit also ...

Logic Devices [ 19 Answers ]

P1010034.jpg picture by superutails - Photobucket What is 39 and 40?

Now this is logic? [ 2 Answers ]

The way engineers think; A priest, a doctor, and an engineer were waiting one morning for a particularly slow group of golfers. Engineer: What's with these guys? We must have been waiting for 15 minutes! Doctor: I don't know but I've never seen such ineptitude! Priest: Hey, here comes...

Translations for an email [ 12 Answers ]

I was wondering if there was any website where u could get a translation and hear it

What is a predicate [ 3 Answers ]

The boy ran across the street to his friend's house.

View more questions Search