|
Помогите, пожалуйста разобраться! ((∀x(A(x)&B(x))→∀ C(x)→∃x (A(x)&B(x)→C(x)) задан 4 Янв '12 15:38 
Ольга |
|
В записи Вашей формулы неточность Когда применяем многократно знак импликации, следует ставить скобки. Результат этой операции зависит от расстановки скобок. Две формулы $$(A \rightarrow B) \rightarrow C$$ ; $$A \rightarrow (B \rightarrow C)$$ не совпадают. отвечен 8 Янв '12 18:50 
ValeryB |