The Math Forum

Search All of the Math Forum:

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

Math Forum » Discussions » Math Topics » discretemath

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

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 ]

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!


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]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.