Против лома нет приёма, кроме другого лома

Задание по логике, в котором поговорку «Против лома нет приёма, кроме другого лома» записывают с помощью кванторов.
Задание по логике, в котором поговорку «Против лома нет приёма, кроме другого лома» записывают с помощью кванторов.

Фотография страницы учебника с заданием №25 по логике. В задании русскую поговорку «Против лома нет приёма, кроме другого лома» предлагают записать с помощью кванторов тремя способами, обозначая лом буквой L, а приём — буквой P. Ниже приведены три формулировки с кванторами существования и всеобщности, после чего задаётся вопрос: «Какой из этих способов правильный?» Смешной эффект возникает из-за попытки формализовать простую бытовую поговорку строгим языком математической логики.

25. Русскую поговорку «Против лома нет приёма, кроме другого лома» записали с помощью кванторов следующими тремя способами: а) ∀ лома L ∃ приём P: P лучше L; б) ∀ приёма P, ∀ лома L: P хуже L; в) ∀ лома L, ∀ не лома P: P хуже L. Какой из этих способов правильный?