Clarification of issues that often cause problems, including: negation, the interpretation of statement variables and operator specificity in rule schematics, and requirements on subproofs.
Logic (Audio w/ .pdfs)
Education
Clarification of issues that often cause problems, including: negation, the interpretation of statement variables and operator specificity in rule schematics, and requirements on subproofs.
