User contributions for Lphanvan
From ICO wiki
Jump to navigationJump to search
17 January 2016
- 03:1603:16, 17 January 2016 diff hist +842 Local Attacks →10. Proof techniques. Constructive and non-constructive proofs.
- 03:0103:01, 17 January 2016 diff hist +3 Local Attacks →10. Proof techniques. Constructive and non-constructive proofs.
- 03:0003:00, 17 January 2016 diff hist +1,214 Local Attacks →10. Proof techniques. Constructive and non-constructive proofs.: new section
- 03:0003:00, 17 January 2016 diff hist 0 N File:Example1.png No edit summary current
- 02:1302:13, 17 January 2016 diff hist −1,170 Local Attacks →9. Sequent predicate calculus LK.
- 02:1302:13, 17 January 2016 diff hist 0 N File:Inference.png No edit summary current
- 02:1102:11, 17 January 2016 diff hist +1,566 Local Attacks →9. Sequent predicate calculus LK.: new section
- 02:1102:11, 17 January 2016 diff hist +1,933 Local Attacks →8. Semantics of predicate calculus. Validity and satisfiability of predicate statements.: new section
- 02:0702:07, 17 January 2016 diff hist +180 Local Attacks →7. Propositional calculus PC. Derivation in classical logic.: new section
16 January 2016
- 22:2922:29, 16 January 2016 diff hist +8 Local Attacks →1. Propositions, logical operations and compound propositional statements
- 21:3421:34, 16 January 2016 diff hist +540 Local Attacks →6. Logical equivalences for quantifiers.: new section
- 21:3421:34, 16 January 2016 diff hist +2 Local Attacks →5. Predicates and quantifiers. Bound and free variables.
- 21:3421:34, 16 January 2016 diff hist +3 Local Attacks →5. Predicates and quantifiers. Bound and free variables.
- 21:3321:33, 16 January 2016 diff hist +1,533 Local Attacks →5. Predicates and quantifiers. Bound and free variables.: new section
- 21:3321:33, 16 January 2016 diff hist +1 Local Attacks →4. Conjunctive and Disjunctive Normal Form of propositional statements.
- 21:3321:33, 16 January 2016 diff hist +1 Local Attacks →4. Conjunctive and Disjunctive Normal Form of propositional statements.
- 21:3321:33, 16 January 2016 diff hist +742 Local Attacks →4. Conjunctive and Disjunctive Normal Form of propositional statements.: new section
- 21:3221:32, 16 January 2016 diff hist +10 Local Attacks →3. Algebra of propositions.
- 21:3221:32, 16 January 2016 diff hist +962 Local Attacks →3. Algebra of propositions.: new section
- 21:3121:31, 16 January 2016 diff hist +938 Local Attacks →2. Classification of compound propositions: tautology, contradiction, contingency, logical equivalence, contrapositive, converse.: new section