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

UAE Educators Push for Stronger School-University Ties Amid Updated Study Abroad Policies

UAE Pioneers AI Education: How Smart Parenting Can Prepare Kids for the Future

Alia Hussain Lootah: Weaving Motherhood, Art and Sustainability in the UAE's Cultural Tapestry

Why Coursera Stock Dropped by 20%

6 Best Site Reliability Engineering Courses to Take in 2025

8 Best Tailwind Courses for 2026: Build Beautiful, Responsive Websites

New Year’s Day Brunch in Abu Dhabi 2026: Packages, Offers & More

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

Harvard and MIT’s $800 Million Mistake: The Triple Failure of 2U, edX, and Axim Collaborative

7 Best Technical Writing Courses to Master Documentation and Communication

12 Best Data Structures & Algorithms Courses for 2025

Udemy Q4 2025: First Profitable Year Ends in a Loss

7 Best Climate Change Courses for 2025: Exploring the Science

freeCodeCamp’s Responsive Web Design (Free) Certification Is Out of Beta

7 Best TikTok Marketing Courses for 2025