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



Sarah_swe
Posts:
1
From:
Sweden
Registered:
4/2/08


Counter model in predicate logic
Posted:
Apr 2, 2008 8:34 AM


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



