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