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.

7 Best Kubernetes Courses for 2025

Udacity’s 2021: Year in Review

2U Powered Degrees Pricing Chart: 112 Programs from $20K – $200K

[2025] 470+ Hours of Free LinkedIn Learning Courses with Free Certification

Udemy’s Fourth Leadership Exit of 2025: CMO Genefa Murphy Resigns

7 Best Low-Code/No-Code Development Courses for Beginners in 2025

11 Best TypeScript Courses for 2025

31 Most Popular Online Courses Starting in June 2024

7 Best Technical Writing Courses to Master Documentation and Communication

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

OpenAI Academy Review: A Close Look at ChatGPT 101 for Small Businesses

7 Best Sketch Courses for 2025

12 Best Data Structures & Algorithms Courses for 2025

Udemy Faces Instructor Backlash Over Widespread Course Rating Glitch

9 Best GIS Courses for 2025: Navigating Spatial Data

[2025] 450+ Free Google Certificates and Badges