|
Во-первых, как формализовать, зависит от того, где формализовать. В логике высказываний, логике предикатов, логике второго порядка, какой-нибудь из громадного числа модальных логик, и всё это помножить на то, что часто они могут быть в «классическом» и «интуиционистском» (закон исключенного третьего не работает) варианте. Результаты могут отличаться или вообще не существовать (ничего подходящего не вышло). Разумеется, не стоит надеяться, что что-то выйдет, если нет достаточного знакомства с соответствующей логикой (что в ней является формулой, как они интерпретируются и т. д.).
Во-вторых, пробуйте много раз, и, вполне вероятно, само придёт.
Может быть, где-то и есть специфическая книга именно про это, но я пока встречал это именно как упражнения где-нибудь в начале учебника по логике, не занимающие в нём много места.
|
