Propositional Logic Courses and Certifications

Introduction to Formal Logic (Learn how to argue)

Develop critical thinking skills through logical arguments, fallacies, and propositional logic. Enhance reasoning abilities for academic pursuits and everyday decision-making.

• Skillshare
• 7 hours
• On-Demand
• Free Trial Available

Insights into Mathematics

The Holy Grail of Propositional Logic - MathFoundations - N J Wildberger

Explore mechanized reasoning in propositional logic through Boole's Algebra, featuring two solutions to a Sir Galahad puzzle: Boole Reduction and Boole-Mobius transform.

• YouTube
• 28 minutes
• On-Demand
• Free Online Course

Insights into Mathematics

Replacing Truth Tables and Boolean Equivalences - N J Wildberger

Explore the Algebra of Boole as a mathematical framework for propositional logic, replacing truth tables with simpler computations using 0's and 1's to verify logical statements.

• YouTube
• 35 minutes
• On-Demand
• Free Online Course

Insights into Mathematics

Propositional Logic and the Algebra of Boole - N J Wildberger

Overview of propositional logic, exploring atomic statements, connectives, truth values, and techniques for analysis. Covers tautologies, contradictions, truth tables, and equivalences, with a focus on Boole's algebraic approach.

• YouTube
• 33 minutes
• On-Demand
• Free Online Course

Simons Institute

The Limits of Proof

Explore proof systems, from classical logic to modern computational approaches, examining their strengths, limitations, and applications in mathematics and computer science.

• YouTube
• 56 minutes
• On-Demand
• Free Online Course

Insights into Mathematics

Inference Rules via the Algebra of Boole - MathFoundations 275

Explore propositional logic inference rules using Boolean algebra, simplifying complex logical concepts and eliminating the need for memorization. Includes application to a Lewis Carroll puzzle.

• YouTube
• 27 minutes
• On-Demand
• Free Online Course

Introduction to Logic

20 reviews

Explore computational logic: encode information, reason logically, and discover applications in various fields. Gain a solid foundation in propositional, relational, and functional logic.

• Coursera
• 1 day 23 hours 9 minutes
• On-Demand
• Free Online Course (Audit)

Language, Proof and Logic

3 reviews

Explore formal logic concepts, from basics to advanced theories, using FOL language. Develop skills in truth analysis, proof techniques, and logical reasoning.

• edX
• 15 weeks, 5-10 hours a week
• On-Demand
• Free Online Course (Audit)

Safety and Liveness of Robot Behaviors

Explore formal methods for designing robots, guaranteeing behavior, and identifying potential issues. Learn about safety and liveness properties in robotic systems, including multi-robot and human-robot interactions.

• YouTube
• 58 minutes
• On-Demand
• Free Online Course

Think Again II: How to Reason Deductively

5 reviews

Learn to evaluate deductive arguments using truth tables and Venn diagrams. Master propositional and categorical logic to analyze validity in reasoning, with practical exercises to reinforce your skills.

• Coursera
• 13 hours
• On-Demand
• Free Online Course (Audit)

An Introduction to Programming using Python

5 reviews

Learn Python basics, from fundamentals to advanced concepts like conditionals and loops. Gain practical skills through exercises and projects, culminating in programming a virtual robot to navigate obstacles.

• Coursera
• 9 hours 9 minutes
• On-Demand
• Free Online Course (Audit)

An Introduction to Logic for Computer Science

17 ratings at Coursera

Explore propositional logic fundamentals and applications in computer science, enhancing problem-solving skills through hands-on exercises and real-world examples.

• Coursera
• 7 hours 18 minutes
• On-Demand
• Free Online Course (Audit)

University of Amsterdam

Logic for Economists

274 ratings at Coursera

Explore foundational mathematical concepts including logic, set theory, and proof techniques, enhancing analytical skills for economic reasoning and problem-solving.

• Coursera
• 7 hours 19 minutes
• On-Demand
• Free Online Course (Audit)

NPTEL;  IIT Madras

Artificial Intelligence: Knowledge Representation and Reasoning

3 reviews

Explore knowledge representation and reasoning in AI, covering logic, rule-based systems, natural language semantics, and advanced topics like circumscription and epistemic logic.

• YouTube
• 1 day 15 hours
• On-Demand
• Free Online Course

TrevTutor

The Ultimate Guide to Propositional Logic for Discrete Mathematics

2 reviews

Comprehensive guide to propositional logic in discrete mathematics, covering key concepts, truth tables, logical equivalence, and practical applications with exercises for reinforced learning.

• YouTube
• 54 minutes
• On-Demand
• Free Online Course