Главная

Популярная публикация

Научная публикация

Случайная публикация

Обратная связь

ТОР 5 статей:

Методические подходы к анализу финансового состояния предприятия

Проблема периодизации русской литературы ХХ века. Краткая характеристика второй половины ХХ века

Ценовые и неценовые факторы

Характеристика шлифовальных кругов и ее маркировка

Служебные части речи. Предлог. Союз. Частицы

КАТЕГОРИИ:






Доказательством в исчислении высказываний называется вывод из




4) пустого множества неисключенных посылок

Если одно высказывание противоречит другому, а то, в свою очередь, - третьему, то первое и третье высказывания будут находиться в отношении

Эквивалентности

Естественные языки, в отличие от искусственных

Универсальны

Возникают стихийно

Имеют гибкую структуру

Закон … утверждает, что если из одного высказывания вытекает второе, то из отрицания второго вытекает отрицание первого.

Контрапозиции

Закон … утверждает, что если из одного высказывания вытекает второе, а из него - третье, то и из первого высказывания вытекает третье.

Транзитивности.

Закон … утверждает, что отрицание конъюнкции равнозначно дизъюнкции отрицаний двух конъюнктов.

Де Моргана

Закон … утверждает, что противоречащие друг другу суждения не могут быть одновременно истинными.

Непротиворечия

Закрывать подвывод необходимо, если в выводе применялись правила

Введения отрицания

Избежать семантических парадоксов можно,

Не употребляя языковые выражения в экстенсиональных контекстах

Император говорит своему рабу: «Я хочу тебя казнить. Угадай, каким способом произойдет казнь? Если ответишь правильно, я тебя повешу, а если неправильно, то утоплю». В итоге император не смог его ни повесить, ни утопить, потому что раб ответил: «Ты меня …»:

Утопишь






Не нашли, что искали? Воспользуйтесь поиском:

vikidalka.ru - 2015-2024 год. Все права принадлежат их авторам! Нарушение авторских прав | Нарушение персональных данных