simple consistency

<logic> A system is simply consistent iff there is no wff A such that both A and ~A are theorems.

Simple inconsistency

A system is simply inconsistent if there is some wff A such that both A and ~A are theorems.

[Glossary of First-Order Logic]

<2001-03-16>

Try this search on OneLook / Google

Nearby terms: signalling rate « signal-to-noise ratio « silicon chip replacement thought experiment « simple consistency » simple propositions » simpliciter » simplification