Kategorie:CWA consistency

CWA consistency theorem[Bearbeiten | Quelltext bearbeiten]

Let ${\displaystyle T\,}$ be a consistent theory. Then:

${\displaystyle {\text{CWA}}(T)\,}$ is inconsistent iff there are ground atoms ${\displaystyle A_{1},...,A_{n}\,}$ such that

${\displaystyle T\models A_{1}\lor ...\lor A_{n}\,}$

but ${\displaystyle T\nvDash A_{i}\,}$, for all ${\displaystyle i=1,...,n\,}$.