Baustein:CWA consistency

Aus VoWi
Wechseln zu: Navigation, Suche
CWA consistency theorem[Bearbeiten]

Let T \, be a consistent theory. Then:

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

T \models A_1 \or ... \or A_n \,
but T \nvDash A_i \,, for all i = 1,...,n \,.