Докажите, что следующая секвенция невыводима: $%\Rightarrow (p \rightarrow q) \rightarrow \lnot p$%.

задан 6 Окт '20 21:30

Здесь даже без ссылок на исчисление ясно, что формула не является тавтологией. При |p|=|q|=1 она ложна. А выводимы (в разумных исчислениях) только тождественно истинные формулы.

(6 Окт '20 22:46) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×1,929
×1,654
×462

задан
6 Окт '20 21:30

показан
51 раз

обновлен
6 Окт '20 22:46

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru