"Tutoring using the Socratic Method"
I've studied Sentential Logic (Semantics, Truth-Trees, Sentential Derivations (SD), Metatheory) using the rules of Conjunctions, Conditionals, Negations, Disjunctions, Bi-conditionals and using the derivation rules of SD+ (Modus Tollens, Hypothetical Syllogism, Disjunction Syllogism (DS), Commutation, Association, Implication, Double Negation, De Morgan, Idempotence, Transposition, Exportation, Distribution, Equivalence) and Predicate Derivations (PD) using Universals, Existentials; PD+ with Quantifiers, and PDE (Predicate Derivations Extended) with Identity. ... More