Search for tag: "elogic"

Universal Derivation

Using universal derivation (ud)

From  Brian Rabern on March 16th, 2017 0 likes 216 plays 0  

Introducing L3 derivations

Talking through problem 3:5 introducing the quantifier inference rules.

From  Brian Rabern on March 16th, 2017 0 likes 365 plays 0  

De Morgan's Law T63

A derivation of a theorem for the derived rule dm.

From  Brian Rabern on February 10th, 2017 2 likes 502 plays 0  

Assumptions for conditional derivation

A look at Week 3 exercise 1:18 and the multiple assumptions and show lines involved.

From  Brian Rabern on February 5th, 2017 1 likes 587 plays 0  

Derivation dub

doing some derivations for fun

From  Brian Rabern on January 29th, 2017 2 likes 494 plays 0  

Let's modus ponens

Explaination of exersice 1:2

From  Brian Rabern on January 26th, 2017 1 likes 478 plays 0  

a simple derivation

The basics mechanics of derivations. How to do problem 1:1.

From  Brian Rabern on January 26th, 2017 2 likes 740 plays 0  

elogic getting started

How to register with elogic.

From  Brian Rabern on January 26th, 2017 0 likes 559 plays 0