Propositional Logic: Inference Rules

Related lectures (28)

Page 2 of 3

Explores proof techniques in logic, demonstrating how to prove or disprove propositions using negations and assumptions.

Explains how premises imply conclusions using inference rules and truth tables in propositional logic.

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

Covers inference rules in propositional logic and common logical fallacies.

Covers translating natural language to propositional logic and proving tautologies.

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

Explores Disjunctive Normal Form and Conjunctive Normal Form in propositional logic, their applications, and complexity, with practical examples.

Covers first-order logic syntax, semantics, and resolution for proving properties.

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