Negation
lib-neg-bas
: Introduction --- library(not)
lib-neg-nop
: The ``is-not-provable'' Operator
lib-neg-not
: ``is-not-provable'' vs. ``is-not-true'' --- not(Goal)
lib-neg-ine
: Inequality
lib-neg-once
: Forcing Goal Determinacy --- once(Goal)
lib-neg-sum
: Summary
User's Manual
Table of Contents
Next
Previous
Up
Node Menu