Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » Math Topics » discretemath

Topic: Counter model in predicate logic
Replies: 1   Last Post: Apr 2, 2008 10:33 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Sarah_swe

Posts: 1
From: Sweden
Registered: 4/2/08
Counter model in predicate logic
Posted: Apr 2, 2008 8:34 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Hi everyone!

I got this predicate logic problem that I can't find any counter models for. The
counter model should be domain:{a} and p(a,a)=0 and q(a,a)=1. Is this really correct, are there any counter models?

AxAy (q(x, y) ? ¬p(x, y)) |? ¬ExEy(p(x, y))

A=all/universal quantifier
E=existential quantifier

Please help!

/Sarah


Message was edited by: Sarah



Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.