Error occured ! We are notified and will try and resolve this as soon as possible.
WARNING! [2] file_put_contents(/home/gelembjuk/domains/myeducationpath.com/app/../html/cache/memory/course_7265_0_e086762d743c0218beb85ea6e1b456cae.txt): Failed to open stream: No such file or directory . Line 75 in file /home/gelembjuk/domains/myeducationpath.com/html/include/class.cache.php. Continue execution. 2808768; index.php; 18.224.55.193; GET; url=courses/7265/logic-proofs.htm&; ; Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com); ; Executon time: 0

Logic & Proofs

1 votes
Free
Logic & Proofs



Logic is a remarkable discipline. It is deeply tied to mathematics and
philosophy, as correctness of argumentation is particularly crucial
for these abstract disciplines. Logic systematizes and analyzes steps
in reasoning: correct steps guarantee the truth of their conclusion
given the truth of their premise(s); incorrect steps allow the
formulation of counterexamples, i.e., of situations in which the
premises are true, but the conclusion is false.

Recognizing (and having conceptual tools for recognizing) the
correctness or incorrectness of steps is crucial in order to
critically evaluate arguments, not just in philosophy and mathematics,
but also in ordinary life. This skill is honed by working in two
virtual labs. In the ProofLab you learn to construct complex arguments
in a strategically guided way, whereas in the TruthLab the emphasis is
on finding counterexamples systematically.

Who Should Take This Course?
This is an introductory course designed for students from a broad
range of disciplines, from mathematics and computer science to drama
and creative writing. The highly interactive presentation makes it
possible for any student to master the material. Concise multimedia
lectures introduce each chapter; they discuss, in detail, the central
notions and techniques presented in the text, but also articulate and
motivate the learning objectives for each chapter.

Open & Free Version
The Open & Free, Logic & Proofs course includes the first five
chapters of Logic & Proofs, providing a basic introduction to
sentential logic. A full version of Logic & Proofs, including both
sentential and predicate logic, is also available without technical or
instructor support to independent users, for a small fee. No credit is
awarded for completing either the Open & Free, Logic & Proofs course
or the full, unsupported Logic & Proofs course.

Academic Version
Academic use of Logic & Proofs provides a full course on modern
symbolic logic, covering both sentential and predicate logic, with
identity. Optional suites of exams are available for use in academic
sections.

Categories: Mathematics

Comments

Alternatives

-- no alternatives found for the course --
If you know any alternatives, please let us know.

Prerequisites

-- no prerequsites found for the course --
If you can suggest any prerequisite, please let us know.

Paths

No Paths inclusing the course. You can build and share a path with this course included.

Certification Exams

-- there are no exams to get certification after this course --
If your company does certification for those who completed this course then register your company as certification vendor and add your exams to the Exams Directory.

Students

People who learned this course or plan to learn. These people added the course to their Education Passport or their Personal Education Path.