Propositional Logic Courses and Certifications

An Introduction to Logic for Computer Science

10 ratings

Learn propositional logic: write propositions, build truth tables, combine expressions to describe complex scenarios, and apply the modelling to solve puzzles and a mystery theft.

• Coursera
• 2 weeks, 4 hours a week
• Self-Paced
• Paid Course

TrevTutor

The Ultimate Guide to Propositional Logic for Discrete Mathematics

2 ratings

Learn propositional logic through truth tables, logical equivalence, translations, and deduction exercises for discrete mathematics.

• YouTube
• 54 minutes
• Self-Paced
• Free Video

Insights into Mathematics

Propositional Logic and the Algebra of Boole - N J Wildberger

An introduction to propositional logic using truth values, truth tables, equivalences, and Boole’s algebra to analyze and simplify formulas.

• YouTube
• 33 minutes
• Self-Paced
• Free Video

Introduction to Logic

20 ratings

Encode information as logical sentences and reason with it, working through propositional, relational, and functional logic plus logic technology and its applications in science, engineering, and law.

• Coursera
• 5 weeks, 9 hours a week
• Self-Paced
• Paid Course

Neso Academy

Discrete Mathematics

23 ratings

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

• YouTube
• 17 hours 11 minutes
• Self-Paced
• Free Video

Automated Reasoning: Symbolic Model Checking

26 ratings at Coursera

Verify system properties automatically with CTL model checking, represent boolean functions as BDDs, compute ROBDDs from propositional formulas, and combine both to handle very large state spaces.

• Coursera
• 4 weeks, 3 hours a week
• Self-Paced
• Paid Course

TrevTutor

Philosophical Logic - 2024 Lectures

Master propositional and predicate logic through translations, truth tables, trees, and natural deduction proofs for philosophy, mathematics, and computer science applications.

• YouTube
• 9 hours 43 minutes
• Self-Paced
• Free Video

Ryan O'Donnell

Great Ideas in Theoretical Computer Science: Deductive Systems

An introduction to deductive systems and propositional logic through formal formulas, truth assignments, tautologies, and circuit representations.

• YouTube
• 1 hour 22 minutes
• Self-Paced
• Free Video

Logic 101 MOOC

Learn sentential logic through truth tables, logical equivalences, inference rules, and formal proof strategies.

• YouTube
• 4 hours 30 minutes
• Self-Paced
• Free Video

Mathematical Logic

Learn to evaluate propositions with connectives using truth tables, including how to identify tautologies and contradictions.

• YouTube
• 30 minutes
• Self-Paced
• Free Video

Think Again II: How to Reason Deductively

426 ratings at Coursera

Test whether deductive arguments are valid: use truth-tables for "and", "or", "if", "not" and Venn diagrams for categorical syllogisms with "all", "some", "none".

• Coursera
• 5 weeks, 3 hours a week
• Self-Paced
• Paid Course

Language, Proof and Logic

6 ratings at edX

The ability to reason is fundamental to human beings. Whatever the discipline or discourse it is important to be able to distinguish correct reasoning from incorrect reasoning. The consequences of inc

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

Discrete Math for Computer Science - Logic & Set Theory

Learn propositional and predicate logic, truth tables, quantifiers, rules of inference, proof by contradiction and contraposition, plus sets, functions, power sets and cardinality.

• Coursera
• 5 weeks, 2 hours a week
• Self-Paced
• Paid Course

Model Checking with SAT and SMT

Learn SAT-based model checking: resolution and CDCL solving, encoding Boolean circuits to CNF, bounded and unbounded checking of LTL, and SMT theories like IDL and EUF.

• Coursera
• 3 weeks, 3 hours a week
• Self-Paced
• Paid Course

Master Discrete Mathematics: Sets, Math Logic, and More

1591 ratings at Udemy

Master Discrete Mathematics: Learn and master all of Discrete Math - Logic, Set Theory, Combinatorics, Graph Theory, Etc

• Udemy
• 6 hours 50 minutes
• Self-Paced
• Paid Course