predicate
disjunction
propositional variable
modulo
biexponential
higher-order function
NOT operator
NOT function
functor
contradiction in terms
contradiction
NOT
short circuit operator
dereferencer
transform
extremizer
falsification
monad
refutal
iterate
falsifying
disproof
refutation
disprove
Schwarzian
cofunction
proposition
listener
Schwarzian derivative
map
loss function
total function
nonidentity
search language
falsify
command language
paradox
query language
invalidate
un-
differential operator
complement
length operator
falsening
Boolean algebra
function-evaluation routine
switch
o
ex falso quod libet
classical logic