Доказать, что имеют место следующие выводимости:

[nesstee]

Доказать, что имеют место следующие выводимости:
1)F ⊢$ A → F;
2)A,¬A → B⊢$ B;
3)⊢$ (¬A → A)→A

помогите!!! вообще тему не понимаю. надо срочно решить
вот пыталась:
а) 1.F-гипотеза
2. F→(A→F)
что дальше делать не знаю

[dgwuqtj]

Напишите определение выводимости, что ли... Их много разных бывает, если что.

[Ende]

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


- неправильно набраны формулы (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы);
- отсутствуют собственные содержательные попытки решения задач(и).

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