BSTS / Mantık Terimleri Sözlüğü
dizimsel tutarsız önerme kümesi anlamı İng. inconsistent set of sentences Alm. inkonsistente Aussagenmenge Fr. ensemble d'énoncés inconsistants
Kendisinden çelişme türetilebilen önerme kümesi, kendisinden dilin tüm önermeleri türetilebilen önerme kümesi.