Мат. логика. Построение вывода.

nameless
Сообщений: 6
Зарегистрирован: 15 окт 2009, 21:00

Мат. логика. Построение вывода.

Сообщение nameless » 11 дек 2009, 13:23

Помогите пожалуйста c построением вывода не могу никак начать.

A ⊃ B ⊢ A ∧ C ⊃ B ∧ C

M Из правил форума:
4. Здесь за вас никто решать не будет (исключения могут составлять только действительно сложные задачи, a не стандартные примеры), поэтому при постановке вопроса неплохо было бы выкладывать свои наработки (тем самым вы покажете, что не решили пример не от лени думать, a от того, что не получается).
A Из правил форума:
4. Здесь за вас никто решать не будет (исключения могут составлять только действительно сложные задачи, a не стандартные примеры), поэтому при постановке вопроса неплохо было бы выкладывать свои наработки (тем самым вы покажете, что не решили пример не от лени думать, a от того, что не получается).
Последний раз редактировалось nameless 30 ноя 2019, 16:02, всего редактировалось 1 раз.
Причина: test

Вернуться в «Дискретная математика»

Кто сейчас на форуме

Количество пользователей, которые сейчас просматривают этот форум: нет зарегистрированных пользователей и 31 гостей