Search for tag: "elogic"

5 Media

Universal Derivation duration 10 minutes 43 seconds Universal Derivation Universal Derivation	Universal Derivation Using universal derivation (ud) elogic logic 1 From Brian Rabern 0 likes 296 plays 0 Course Code PHIL08004 Publisher elogic Licence Type All rights reserved The University of Edinburgh Date Created March 16th, 2017
Introducing L3 derivations duration 8 minutes 50 seconds Introducing L3 derivations Introducing L3 derivations	Introducing L3 derivations Talking through problem 3:5 introducing the quantifier inference rules. elogic logic 1 From Brian Rabern 0 likes 498 plays 0 Course Code PHIL08004 Publisher elogic Licence Type All rights reserved The University of Edinburgh Date Created March 16th, 2017
De Morgan's Law T63 duration 11 minutes 6 seconds De Morgan's Law T63 De Morgan's Law T63	De Morgan's Law T63 A derivation of a theorem for the derived rule dm. elogic logic 1 de morgan From Brian Rabern 2 likes 613 plays 0 Course Code PHIL08004 Publisher elogic Licence Type All rights reserved The University of Edinburgh Language English Date Created February 10th, 2017
Assumptions for conditional derivation duration 8 minutes 36 seconds Assumptions for conditional derivation Assumptions for conditional derivation	Assumptions for conditional derivation A look at Week 3 exercise 1:18 and the multiple assumptions and show lines involved. elogic logic 1 From Brian Rabern 1 likes 715 plays 0 Course Code PHIL08004 Publisher elogic Licence Type All rights reserved The University of Edinburgh Language English Date Created February 5th, 2017
Derivation dub duration 3 minutes 2 seconds Derivation dub Derivation dub	Derivation dub doing some derivations for fun elogic logic 1 From Brian Rabern 2 likes 574 plays 0 Course Code PHIL08004 Publisher elogic Licence Type All rights reserved The University of Edinburgh Language English Date Created January 29th, 2017