|
A list of online tutorials and resources for logic ... Logic & Proofs course from Open Learning Initiative (OLI); Part of a full course that includes predicate logic and has been taught at Carnegie Mellon University. Click on the link "LOOK inside the free and open OLI Logic & Proofs Course" to see the course material.
|
www.homeschoolmath.net/online/logic.php
www.homeschoolmath.net/online/logic.php
|
|
|
|
CHAPTER 1 Logic, Proofs 1.1. Propositions A proposition is a declarative sentence that is either true or false (but not both). For instance, the following are propositions: "Paris is in France" (true), "London is in Denmark" (false), "2 < 4" (true), "4 = 7 (false)".
|
www.math.northwestern.edu/~mlerma/courses/cs310-05s/not...
www.math.northwestern.edu/~mlerma/courses/cs310-05s/notes/dm-logic.pdf
|
|
|
Math reference, an introduction to logic and proofs. ... Logic and Proofs, An Introduction ... Ask someone to define logic, and they will probably tell you that it is "A process, a way of thinking, where each step follows logically from the previous steps." This is of course circular reasoning. We fall into this trap...
|
www.mathreference.com/log,intro.html
|
|
Logic & Proofs is an introduction to modern symbolic logic. It provides a rigorous presentation of the syntax and semantics of sentential and predicate logic. The distinctive emphasis is on strategic argumentation.
|
oli.web.cmu.edu/openlearning/forstudents/freecourses/lo...
oli.web.cmu.edu/openlearning/forstudents/freecourses/logic
|
|
Math notes on logic, sets, proofs, functions and relations. Math tools include graphing utilities, vrml surfaces, modular arithmetic and Diophantine equations ... The authors wish to thank CSUSB for an Instructional Development Grant to help develop this project. They also thank both the School of Natural Sciences and...
|
www.math.csusb.edu/notes/
|
|
index: click on a letter ... index: subject areas ... Index for Sets, Logic, and Proofs; Math terminology relating to sets and logic as encountered in the Algebra I to Calculus curriculum. Includes the names and symbols for number sets.
|
www.mathwords.com/index_sets_logic_proofs.htm
www.mathwords.com/index_sets_logic_proofs.htm
|
|
Applets & programs for a logic course ... Categorical Logic ... Propositional Logic...
|
philosophy.lander.edu/~jsaetti/Welcome.html
|
|
Theorems Linked to Proofs ... The same structure works between sets and relations to give higher-order logic proofs. For example to prove subset we can establish a chain of subset relations:
|
www.csci.csusb.edu/dick/maths/logic_25_Proofs.html
www.csci.csusb.edu/dick/maths/logic_25_Proofs.html
|
|
Of course, you know these things cannot be true. And yet, our correspondent has come up with some quite convincing "proofs" of these facts. Can you discover what is wrong with each of them?
|
www.math.toronto.edu/mathnet/falseProofs/fallacies.html
www.math.toronto.edu/mathnet/falseProofs/fallacies.html
|
|
