Propositional Logic Courses and Certifications

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 Video

Neuro Symbolic

Introduction to Propositional Logic for AI

Explore propositional logic fundamentals, including syntax, semantics, and key concepts for AI applications. Gain insights into logic programming and its role in neuro-symbolic AI.

• YouTube
• 18 minutes
• On-Demand
• Free Video

Sundeep Saradhi Kanthety

Propositional Logic in Discrete Mathematics - Introduction to Propositions and Statements

Discover the fundamentals of propositional logic and statements in discrete mathematics, building a strong foundation for mathematical reasoning and problem-solving approaches.

• YouTube
• 14 minutes
• On-Demand
• Free Video

Think Again II: How to Reason Deductively

413 ratings at Coursera

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
• Paid Course

Language, Proof and Logic

6 ratings at edX

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)

Logic for Economists

300 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
• Paid Course

NPTEL;  IIT Madras

Artificial Intelligence: Knowledge Representation and Reasoning

8 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 Video

Discrete Math for Computer Science - Logic & Set Theory

Master propositional and predicate logic, set theory, and formal reasoning to build mathematical foundations essential for algorithm design and program correctness.

• Coursera
• 9 hours 24 minutes
• On-Demand
• Paid Course

Discrete Mathematics: Open Doors to Great Careers

182 ratings at Udemy

Learn the core topics of Discrete Math to open doors to Computer Science, Data Science, Actuarial Science, and more!

• Udemy
• 4 hours 38 minutes
• On-Demand
• Paid Course

Neso Academy

Discrete Mathematics

2 reviews

Master discrete mathematical structures including sets, relations, functions, logic, and graph theory through comprehensive examples and problem-solving techniques.

• YouTube
• 17 hours 11 minutes
• On-Demand
• Free Video

Artificial Intelligence

1 review

Explore AI fundamentals from intelligent agents to machine learning, covering search strategies, logic, NLP, and expert systems for business applications.

• Coursera
• 1 day 10 hours 49 minutes
• On-Demand
• Paid Course

University of London;  Goldsmiths University of London

Logic and Reasoning for Computing

Discover essential logical reasoning skills for computer science through propositional logic, predicate logic, Boolean algebra, and proof techniques to analyze arguments and verify correctness.

• Coursera
• 18 hours 6 minutes
• On-Demand
• Paid Course

ICTP-SAIFR

Lógica e Álgebra Proposicional - Parte 2

Explore os fundamentos da lógica e álgebra proposicional nesta segunda parte da série, aprofundando conceitos essenciais para o raciocínio matemático e aplicações na física.

• YouTube
• 43 minutes
• On-Demand
• Free Video

ICTP-SAIFR

Lógica e Álgebra Proposicional - Parte 1

Explore os fundamentos da lógica e álgebra proposicional com William Oropesa nesta primeira parte da série do programa Física Além da Sala de Aula do ICTP-SAIFR.

• YouTube
• 1 hour 19 minutes
• On-Demand
• Free Video

Foundations of Logic

This course is for students interested in formal methods of logic. The lecturer will lead a systematic study of the basics of modern logic.

• XuetangX
• On-Demand
• Free Online Course