Search for tag: "logic 1"

Universal Derivation

Using universal derivation (ud)

+1 More
From  Brian Rabern 0 likes 315 plays 0  

Introducing L3 derivations

Talking through problem 3:5 introducing the…

+1 More
From  Brian Rabern 0 likes 527 plays 0  

De Morgan's Law T63

A derivation of a theorem for the derived rule dm.

+2 More
From  Brian Rabern 2 likes 623 plays 0  

Assumptions for conditional derivation

A look at Week 3 exercise 1:18 and the multiple…

+1 More
From  Brian Rabern 1 likes 722 plays 0  

Derivation dub

doing some derivations for fun

+1 More
From  Brian Rabern 2 likes 580 plays 0