Задать свой вопрос   *более 50 000 пользователей получили ответ на «Решим всё»

Задача 52206 ...

Условие

Помогите пожалуйста вывести следующие секвенции:
[m]\bar{A}\vdash A\rightarrow B[/m]

p.s.
Вроде очевидно что если истинно ¬ A, т.е. A = 0, то A → B точно будет истинно при любых B. Но что с этим делать не пойму.

математика ВУЗ 402

О решение...

На нашем сайте такое бывает редко, но решение к данной задаче еще никто не написал.

Что Вы можете сделать?

  1. Выставите данный вопрос вновь. Перейдите на главную страницу.
  2. Найдите похожую задачу. Используйте поиск.

Написать комментарий

Меню

Присоединяйся в ВК