Learning Outcomes

Logic and Reasoning

Modus Ponens, Tollens and Resolution Refutation

Skolemization, Prolog and Reasoning Approaches

Lesson Summary

This module will help you get a basic understanding of different logical concepts, logic languages, and reasoning. You will learn about propositional and predicate calculus. Also, you will discover different reasoning approaches and theorem proving by resolution refutation.

Logic, Reasoning and Resolution Refutation - Course Assessment

Learn how to apply logic and reasoning through resolution refutation in this free online critical thinking course.

Logic, Reasoning and Resolution Refutation

‘Logic’ is the scientific study of reasoning. While logic is significant in many fields, including philosophy and mathematics, it is especially crucial to computer science and is sometimes called the ‘calculus of computer science’. This course lays out the computational elements of logic, especially its applications in terms of databases. Sign up to hone your critical thinking skills and learn how to apply them in practical computer science.

10 Best Critical Thinking Courses for 2026: From Problems to Decisions

Coursera, Udemy, and the $10M+ Video Privacy Battle: Class Action Update

5 Best Free Raspberry Pi Courses for Beginners in 2025

DeepLearning.AI to Cross $100M in Sales on Coursera

25% of Coursera Courses Have Peer Reviews: Here Are the Best

Udemy Faces Instructor Backlash Over Widespread Course Rating Glitch

11 Best Applied AI & ML Courses for 2025

262K Courses, 833M Enrollments: Breaking Down Udemy’s Massive Catalog

Coursera and Udemy are Finally One. What’s Next?

Harvard and MIT’s $800 Million Mistake: The Triple Failure of 2U, edX, and Axim Collaborative

6 Best Free OCaml Courses for 2025

200+ Cursos Online da FGV com Certificado Gratuito

Best CSS Layout Courses for 2025

8 Best Ecology Courses for 2025: How Species and Systems Interact

Coursera 10-K Highlights: Lower Partner Revenue Share, 1k+ Employees

Coursera Q1 2026: Platform Fee Raises Consumer Margins to a Multi-Year High, Enterprise Customers Slip