Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

contradiction is wrong #62

Open
enriquepablo opened this Issue Nov 28, 2012 · 0 comments

Comments

Projects
None yet
1 participant
Owner

enriquepablo commented Nov 28, 2012

Is is wrong: having

(!exists john)

should contradict

(loves john, who sue)

Might as well inactivate it.

@enriquepablo enriquepablo was assigned Nov 28, 2012

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment