-
Using universal derivation (ud)
Universal Derivation
From Brian Rabern
-
Talking through problem 3:5 introducing the quantifier inference rules.
Introducing L3 derivations
From Brian Rabern
-
A derivation of a theorem for the derived rule dm.
De Morgan's Law T63
From Brian Rabern
-
A look at Week 3 exercise 1:18 and the multiple assumptions and show lines involved.
Assumptions for conditional derivation
From Brian Rabern
-
-
Explaination of exersice 1:2
Let's modus ponens
From Brian Rabern
-
The basics mechanics of derivations. How to do problem 1:1.
a simple derivation
From Brian Rabern
Search for ""