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

8 Best Geology Courses for 2025

11 Best Applied AI & ML Courses for 2025

2022 Year in Review: The “New Normal” that Wasn’t

7 Best Autodesk Maya Courses for 2025: Exploring 3D Animation

Writing as Enchantment: Inside Alan Moore’s BBC Maestro Course

Coursera Q4 2025: 197M Learners, ~$197M Revenue, ~$27M in Losses

BloomTech’s Downfall: A Long Time Coming

7 Best TikTok Marketing Courses for 2025

Udemy Earns More, Pays Instructors Less: Class Central Exclusive

Coursera’s 2025 Strategy: Focusing on Campus, Scaling Back Degrees

8 Best Crochet Courses for 2025: Practical, Enriching, Creative

7 Best Sketch Courses for 2025

Learn English as a Second Language (ESL) with Hundreds of Courses & Sites

How GenAI Costs Sank Duolingo’s Stock 20% (A Non-AI Generated Analysis)

Duolingo’s 2026 Strategy: The Road to 100 Million DAUs