Syntax und Semantik

Semantik

Erfüllbarkeit, Gültigkeit

Sei $ \beta \in {\mathfrak {B}} $ und $ H\in ausd $.
1. $ \ \beta  $ erfüllt$ H\ (\beta erfH):\leftrightarrow wert(H,\beta )=W $
2. $ H\  $ist erfüllbar $ (H\in ef,\ efH) $, wenn eine Belungung $ \beta \in {\mathfrak {B}} $ existiert, so daß $ \beta erfH\  $.
3. $ H\  $ist (allgemein-)gültig $ (H\in ag,\ agH) $, wenn jede Belegung $ \beta \in {\mathfrak {B}} $ den Ausdruck $ H\  $ erfüllt. ($ H\  $ ist eine Identität, bzw. Tautologie.)
4. $ H\  $ist Kontradiktion $ (H\in kt,\ ktgH) $, wenn es keine Belegung $ \ \beta  $ gibt, die $ H\  $ erfüllt.

1. $ ag\subset ef $
2. $ agH\ $ gdw. nicht $ ef\neg H;efH $ gdw. nicht $ ag\neg H $
3. Wenn $ \ (\beta erfH) $, so nicht $ (\beta erf\neg H) $.