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

600+ Courses from Top Med Schools with Free Certificate & CME Credit

2U Abandons Bootcamp Business, Announces More Layoffs

10 Best Guitar Courses for Beginners in 2025

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

Coursera Lays Off ~150 Staff After Udemy Merger

200+ Cursos Online da FGV com Certificado Gratuito

Coursera and Udemy Shareholders Approve Merger With 99% of Votes

AI Prompting with Google: From Beginner to Certified

6 Best Node.js Courses in 2025

70+ FutureLearn Courses with Free Certificates

White-Labeling in Online Education: Whose Credential Is It Anyway?

8 Best Geology Courses for 2025

Class Action: 50,000 Seek Payouts, Costing Coursera, Udemy Millions

25 Resources to Learn Generative Engine Optimization in 2025

Coursera’s $100 Million Thesis: Andrew Ng Will Think of Something