Hoe maak je een correct gelijnd boombewijs in logica met 4 takken, kolommen van lijnnummers en rechtvaardigingen?
Hulp nodig bij het maken van logische bomen in qtree/tikz-qtree (d.w.z. afstemming, nummerlijnen)