Function Contradictory-P

Part of:

package cl-perec
( contradictory-p < query > )