Discovering Proofs

[Roman Zimine]

Hello,

I'm wondering, are there any kinds of helpful strategies/things to ask
yourself/things to look for when discovering a proof? Obviously things
like the Deduction Theorem are helpful, but what are some other things
to help in making progress in the right direction?

[Omer Beg]

Post by Roman Zimine
I'm wondering, are there any kinds of helpful strategies/things to ask
yourself/things to look for when discovering a proof? Obviously things like
the Deduction Theorem are helpful, but what are some other things to help in
making progress in the right direction?

try going backwards from the conclusion ...
apply the axioms ...