15:36How to build Counter-Models from Proof Trees | First-Order Logic | Attic PhilosophyAttic Philosophy4.1K viewsView & Download
11:48Logic tutorial: how to use proof trees | Attic PhilosophyAttic Philosophy24.8K viewsView & Download