Языки и исчисления

Теория Г противоречива, если в ней выводится:

(Отметьте один правильный вариант ответа.)

Варианты ответа

А или $\neg A$

А и $\neg A$ (Верный ответ)

$А \to \neg A$

Похожие вопросы

Теория Г противоречива, если в ней выводима

Если теория устойчива относительно перехода к подструктурам, то она:

Если любая подструктура любой нормальной модели является ее моделью, то теория:

Если теория имеет сколь угодно большое конечные нормальные модели, то она:

Если всякое конечное подмножество теории в сигнатуре с равенством имеет нормальную модель, то теория:

Теория $\sum\nolimits_1 {}$ аксиоматизируема, если она:

Если теория $\sum\nolimits_1 {}$ аксиоматизируема, то подструктура ее нормальной модели является:

Если теория П₁ аксиоматизируема, то подструктура ее нормальной модели является: