協調公式集

協調公式集(consistent set of formulas)一種可實現的公式集.指不互相矛盾，能被實現的公式集.設乏(二，,xz, "..，二。)是丫的一個公式集合.其中自由變元都在xi ,x2, "..，二，中.如果存在驢的模型寥了能實現r，則稱r為協調的公式集.

如果對於每個公式A，τ推出A則稱公式集τ是不協調的，否則稱τ是協調的。