Мат. логика. Построение вывода.
Добавлено: 11 дек 2009, 13:23
Помогите пожалуйста c построением вывода не могу никак начать.
A ⊃ B ⊢ A ∧ C ⊃ B ∧ C
A ⊃ B ⊢ A ∧ C ⊃ B ∧ C
| M | Из правил форума: 4. Здесь за вас никто решать не будет (исключения могут составлять только действительно сложные задачи, a не стандартные примеры), поэтому при постановке вопроса неплохо было бы выкладывать свои наработки (тем самым вы покажете, что не решили пример не от лени думать, a от того, что не получается). |
| A | Из правил форума: 4. Здесь за вас никто решать не будет (исключения могут составлять только действительно сложные задачи, a не стандартные примеры), поэтому при постановке вопроса неплохо было бы выкладывать свои наработки (тем самым вы покажете, что не решили пример не от лени думать, a от того, что не получается). |