Здравствуйте, deniok, Вы писали:

D>Здравствуйте, dilettante, Вы писали:

D>>PS: В первом шаге считать ψ = B, χ = Z → A и т.д.

D>выкладки сделай, тогда увидишь, где ошибка (ну или мы ткнём).

Да, вчера ночью не заметил — а сейчас сделал ещё раз и увидел ошибку, спасибо

Вообще адская вещь, как подходить к доказательству даже чего-то совсем простого — например (Α∧B→C) → (A→B→C) — совершенно не понятно.