Follow

Finite injury priority argumentの証明を読んで行間を埋めたものの,理解できたかと言われると微妙なところ.要件が成り立つことの証明は結局ad-hocにやる必要があるので,強制法とかと比べてあんまり"framework"感はない(木を使った優先論法を勉強した方がよさそう?).

Sign in to participate in the conversation
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.