Lectures related to Propositional Resolution

Explores encoding finite systems with boolean functions, propositional logic, inductive invariants, and formal proof systems.

Explores predicate logic, focusing on quantifiers and normal forms, emphasizing the importance of finding witnesses and counterexamples.

Introduces the Mathgraph Theorem Prover, showcasing its unique approach to representing propositions and organizing graphs for first-order logic.

Covers the basics of discrete mathematics, focusing on logic, structures, and algorithms for computer systems.

Covers the answers to a quiz on propositional logic, emphasizing the importance of clarity in logical statements.

Covers propositional logic, logical connectives, truth tables, and compound propositions.

Covers the concept of logical equivalence in proofs and inference rules.

Covers logical connectives, implication, biconditional, compound propositions, and truth tables.