Deduction
	Lecture Material Propositional Logic:Some Intuitive Ideas Reasoning in the Syntax and in the Semantics; An Example Contradition and Proof Euler Diagrams and Quantified Expressions Defeasible Inference: Inheritance Deduction Overview
	Reference Material Truth Tables Some Logical Identitites Some Logical Implications Liars Paradox Some Definitions for First Order Logic Some Rules for Quantifiers Some Definitions of Terms used in the Study of Formal Systems Resolution Theorem Proving
	Terms, Concepts, and Questions Some Terms, Concepts and Questions
	Assignments/Exercises Describing Things

	Table of Contents
© Charles F. Schmidt