brkmnd.com[logic/Predicate_Logic/] 1. Introduction;;Default.aspx?id=7;;;;[logic/Predicate_Logic/] 2. Propositional Extension;;Default.aspx?id=8;;;;[logic/Predicate_Logic/] 3. Syntax;;Default.aspx?id=9;;;;[logic/Predicate_Logic/] 4. Semantics;;Default.aspx?id=10;;;;[logic/Predicate_Logic/] 5. Natural Deduction;;Default.aspx?id=11;;;;[logic/Predicate_Logic/] 6. Equivalences;;Default.aspx?id=12;;;;[logic/Propositional_Logic/] 1. Intro;;Default.aspx?id=1;;;;[logic/Propositional_Logic/] 2. Propositions in Natural Language;;Default.aspx?id=2;;;;[logic/Propositional_Logic/] 3. Syntax;;Default.aspx?id=3;;;;[logic/Propositional_Logic/] 4. Semantics;;Default.aspx?id=4;;;;[logic/Propositional_Logic/] 5. Natural Deduction;;Default.aspx?id=5;;;;[logic/Propositional_Logic/] 6. Equivalences;;Default.aspx?id=6;;;;