Вывести секвенцию

[sloica]

Добрый день меня зовут Юлия , пожалуйста помогите решить секвенции, с логикой у меня очень туго третий день мучаюсь сил нет , или хотя бы подскажите как можно решить каким методом ....

вот задания:

1 секвенция
(Ф1∧Ф2),(Ф2→Ф3) |- Ф3

2 секвенция
(Ф1∨Ф2), ¬Ф1 |-(Х→Ф2)

[Deggial]

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

sloica
Наберите все формулы и термы $\TeX$ом.
Инструкции по оформлению формул здесь или здесь (или в этом видеоролике).
После исправлений сообщите в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.