Kategorie:CWA consistency

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

${\displaystyle \text{CWA}(T)}$ is inconsistent iff there are ground atoms ${\displaystyle A_1,\mathrm{...},A_n}$ such that

${\displaystyle T\models A_1\vee \mathrm{...}\vee A_n}$

but ${\displaystyle T⊭A_i}$, for all ${\displaystyle i=1,\mathrm{...},n}$.