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.

Boost Your AI Confidence with Google’s Course

Exploring edX’s “Final” Tax Returns: Revenue Surges, Losses Mount, and Contributions Decline

Coursera Growth Stalls, Leadership Changes as Stock Hits All-Time Low

Harvard CS50 Guide: How to Pick the Right Course (with Free Certificate)

Harvard Launches Two New Free Certificate Courses

9 Best TensorFlow Courses for 2025

[2025] 2000+ Free SWAYAM + NPTEL Courses

200K Layoffs, $100B Lost: The Tsunami of China’s Regulation on Education

Harvard CS50 in 2025: How to Get a Free Certificate

Udemy Earns More, Pays Instructors Less: Class Central Exclusive

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

Why Coursera Stock Dropped by 20%

Open edX Conference 2024: Program & Speakers

12 Best Laravel Courses for 2026: Ship Sites Fast

[2025] 300+ Free Digital Marketing Certificates & Badges

The Business of Online Education: A Deep Dive Into Udemy’s Financials