3:33Logic 2010: Derivations: 2.065 (DM: DeMorgan's Law 1 & 3)Philosopher Logic10.2K viewsView & Download
4:19Logic 2010: Derivation: 3.203 (QN: Quantifier Negation 1&2 without using QN)Philosopher Logic8.7K viewsView & Download