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

6 Best Site Reliability Engineering Courses to Take in 2025

[2025] 450+ Free Google Certificates and Badges

Chinese Edtech Pivots: Well-rounded Education, Hardware, Agriculture E-commerce, Fast-Food, Garments, and More

6 Best Courses to Become an Influencer in 2025

Duolingo is Shutting Down Its Only Classroom Tool

200+ Cursos Online da FGV com Certificado Gratuito

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

Udemy’s Last CEO Quietly Moves On: Joins a Tax & Compliance Company as CEO

8 Best Geology Courses for 2025

OKR Certification Course: A Path to Renewed Enthusiasm and Productivity

Coursera Bets $100 Million That Andrew Ng Can Do What Coursera Can’t

Boost Your AI Confidence with Google’s Course

Coursera Lays Off ~150 Staff After Udemy Merger

Udacity’s 2021: Year in Review

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