Lukas' Notes

Definition

Tree-like Formula (Propositional Logic)

Define your knowledge here…