Erfüllbar
In der formalen Logik gilt ein Satz A genau dann als e., wenn es eine Interpretation über einen Bereich von Dingen (ein Universum) gibt, bei dem er wahr ist. Eine Menge M von Sätzen ist genau dann simultan erfüllbar, wenn es eine Interpretation ihrer Sätze über einen Bereich gibt, bei dem jeder ihrer Sätze wahr ist.
PP