Propositional calculus

Related lectures (30)

Page 2 of 3

Explores finite transition systems, propositional logic, truth interpretation, satisfiability, and boolean function representation with circuits.

Covers the basics of propositional logic and explores logical equivalences and proof techniques.

Covers the basics of propositional logic, its history, language, and computing applications.

Explores the relationship between logic proofs and programming evidence through the Curry-Howard Correspondence.

Explains constructing DNF and CNF in propositional logic and their complexity.

Explains variables, predicates, propositional functions, and quantifiers in predicate logic.

Covers the concept of formal proof systems, their structure, and soundness.

Covers sets, propositional language, reading, writing, containment, and cardinality.

Explores completeness in propositional logic, resolution on clauses, conjunctive form, unit resolution, SAT solvers, and proof generation.

Covers logical connectives, implication, biconditional, and compound propositions in propositional logic.