Рассуждения верные, вывод неверный (неправильная расстановка кванторов).
Задача (по правилам шахматной композиции) состоит в том, чтобы найти такой ход белых, при отмотке которого назад на доске будет мат в один ход.
При этом если этот мат в один ход достигается взятием на проходе, позиция должна быть такой, чтобы она не могла быть достигнута ходом, запрещающим взятие на проходе.
В случае с рокировкой решение есть: в позиции, предшествующей рокировке, взятие на проходе обязательно возможно (доказательство приведено
hippie).
В позиции, предшествующей взятию ферзя, взятие на проходе, вообще говоря, невозможно (доказательство приведено
A.Edem и состоит в построении контрпримера).
Т. е. вы сами абсолютно строго доказали, что решение с отменой взятия ферзя не является решением.
(pgn для тех, кто хочет поиграться)
[Event "?"]
[Site "?"]
[Date "Martober 12, 2017"]
[Round "?"]
[White "Stockfish"]
[Black "Me"]
[Result "1-0"]
1. Nc3 Nf6 2. Ne4 Nd5 3. h4 Nc3 4. bxc3 h6 5. Ba3 e5 6. Bc5 Qf6 7. Be3 Qa6 8.
Bg5 hxg5 9. Qb1 Ke7 10. e3 Ke6 11. Bd3 Kf5 12. Qb6 Kg4 13. Nc5 Rh6 14. Ne6 Rf6
15. Nf4 Bd6 16. Ng6 Rf3 17. Nh3 Nc6 18. Nh8 Rb8 19. h5 Kh4 20. Bh7 Rg3 21. f3
e4 22. Rf1 Ne5 23. Nf2 Rh3 24. Nh1 Ng6 25. Qxa7 Ra8 26. Qb8 Qd3 27. Qxc8 Bh2
28. Qxc7 Qa6 29. Qc4 Nf4 30. O-O-O Re8 31. exf4 e3 32. Qe2 Bg3 33. Qf2 e2 34.
Qg1 e1=B 35. Qh2 Bef2 36. Rfe1 Bg1 37. Re6 Qd3 38. Rh6 Re2 39. Bf5 Rf2 40. Bh7
g4 41. Rf1 Qc4 42. Re1 Qd3 43. Rd1 g5 44. cxd3
1-0
-- Вс, 12 мар 2017 15:33:37 --Да, и кажется, что я в этом виноват:
... если только ваше "представим" корректно. Т. е. если вы сможете предъявить партию, в которой возникает ровно эта позиция.
Я не помню, что я имел в виду, но я написал неправильно. Извините.