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.

Udemy Faces Instructor Backlash Over Widespread Course Rating Glitch

Udemy Earns More, Pays Instructors Less: Class Central Exclusive

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

The Day MOOCs Truly Died: Coursera’s Preview Mode Kills Free Learning

12 Best Laravel Courses for 2026: Ship Sites Fast

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

Learn Something New: 100 Most Popular Courses For November

Why Duolingo is Worth More Than Coursera and Udemy Combined

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

Layoffs Hit Udemy: 20% Out as Some Jobs Move Overseas

Best CSS Layout Courses for 2025

10 Best Go (Golang) Courses for 2025

Coursera’s New Deal with Google Could Cost the Company Millions

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

7 Best Technical Writing Courses to Master Documentation and Communication

2000+ Free Developer and IT Certifications