Search for tag: "logic 1"

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 304 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 514 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 619 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 720 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 577 plays 0 Course Code PHIL08004 Publisher elogic Licence Type All rights reserved The University of Edinburgh Language English Date Created January 29th, 2017