Помогите с Мат. Логикой!

[Alina5]

Проверить корректность рассуждений:
1) Если данное явление психическое, то оно обусловлено внешним воздействием на организм. Если оно физиологическое, то оно также обусловлено внешним воздействием на организм. Данное явление не психическое и не физиологическое. Следовательно, оно не обусловлено внешним воздействием на организм.

Задачу надо выразить через импликацию (так преподаватель сказал).....

2)Доказать, что формула В – логическое следствие посылок А1, А2, А3,...,Ак.
см ниже рис. 123.jpg

[testtest]

\( A \to B \)

\( C \to B \)

\( A \bigcup C \to B \)
показать \( \overline A \bigcap \overline C \to \overline B \)

\( \overline A \bigcap \overline C = \overline {A \bigcup C} \)

\( A \bigcup C \to B \neq \overline{A \bigcup C} \to B  \)

[testtest]

\( A \to B = \overline{A} \bigcup B \)

[Alina5]

Спасибо! А что бы вы могли подсказать по поводу второй задачи?