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 Q1 2026: Platform Fee Raises Consumer Margins to a Multi-Year High, Enterprise Customers Slip

31 Most Popular Online Courses Starting in June 2024

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

A Decade of MOOCs: A Review of MOOC Stats and Trends in 2021

12 Best JavaScript Courses for 2025: Create Interactive Websites

Learn Something New: 100 Most Popular Courses For December

12 Best Data Analysis Courses for 2025: From Data to Insights

30+ Holiday Discounts & Online Learning Deals

[2025] 300+ Free Digital Marketing Certificates & Badges

10 Best Programming Courses for 2025

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

10,000+ Free Courses from Tech Giants: Learn from Google, Microsoft, Amazon, and More

Coursera and Udemy Shareholders Approve Merger With 99% of Votes

6 Best Influencer Marketing Courses for Marketers

OKR Certification Course: A Path to Renewed Enthusiasm and Productivity