построить вывод формулы

[alexandro4ka]

помогите пожалуйста решить задачку, учусь на заочном, путем ничего не понимаю....
условие такое вот:

1. построить вывод формулы $\vdash(A \land B) \to (B \land A)$

2. и еще - как построить отрицание высказывания?

[YaR]

Могу только ответить на вопрос № 3:
Насколько помню это знак выводимости, т.е. то, что стоит справа от него нужно вывести, а слева то, что дано - гипотеза

[quuxity]

> как называется знак? не нашла нигде, буква Т, перевернутая влево... что-то типа |-
Турникет же

[AKM]

Исправьте написание формул в соответствии с Правилами. Здесь рассказано, как набирать формулы (здесь подробнее).
Правила также требуют предъявить свои попытки решения и сделать информативный заголовок.
Используйте кнопку для редактирования своего сообщения.

Тема перемещена из "Помогите решить (М)" в карантин. Как исправите - пишите сюда, чтобы тему вернули.

[AKM]

Возвращено...

[Maslov]

1. Какая используется система аксиом исчисления высказываний?

2. Поставить перед высказыванием значок $\neg$ :)

[alexandro4ka]

спасибо. уже не нужно....