Проверка множеств на противоречивость

[Sleep3r]

Какие есть методы проверки множества на противоречивость. Я знаю, что если из мн-ва можно вывести формулу и ее отрицание, то оно противоречиво. Но, например, из (а) я не понимаю, как вывести что-либо. Какие еще есть критерии противоречивости мн-ва?

[tamplquest]

По-моему, никаких. Этот критерий по-сути и есть определение противоречивости

-- 06.11.2017, 17:22 --

Sleep3r в сообщении #1262789 писал(а):

Какие есть методы проверки множества на противоречивость. Я знаю, что если из мн-ва можно вывести формулу и ее отрицание, то оно противоречиво. Но, например, из (а) я не понимаю, как вывести что-либо. Какие еще есть критерии противоречивости мн-ва?

Кстати, тут всплывает интересный момент. Что значит "можно" в данном случае. Если никому не удалось вывести противоречивость, это еще не значит, что ее нет.
То есть, можно доказать противоречивость, если найти противоречие. Непротиворечивость же доказать невозможно, я так это понимаю

[arseniiv]

tamplquest в сообщении #1262792 писал(а):

Непротиворечивость же доказать невозможно, я так это понимаю

Смотря где. Для логики высказываний всё прекрасно.

[kernel1983]

Sleep3r в сообщении #1262789 писал(а):

Какие есть методы проверки множества на противоречивость.

Проверьте, обращается ли в нуль конъюнкция этих формул.

[Deggial]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
Причина переноса: формулы не оформлены $\TeX$ом

Sleep3r
Все формулы и термы наберите $\TeX$ом. Инструкции по оформлению формул здесь или здесь (или в этом видеоролике).
Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума