🌳 Method of analytic tableaux

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

Cheatsheet

📖 Example: