🌳 Method of analytic tableaux §

= an efficient decision ⚙️ Algorithm for determining the validity of logical reasoning pioneered by W. Hodges

Cheatsheet §

📖 Example: §