Propositional logic

Related lectures (10)

Page 1 of 1

Covers inference rules in propositional logic and common logical fallacies.

Covers inference rules in propositional logic and common logical fallacies.

Covers rules of inference for quantified statements and constructing valid arguments using predicate logic.

Covers proof techniques including direct proof, contraposition, contradiction, cases, and counterexample.

Covers examples of direct and indirect proofs in mathematics.

Covers inference engines based on resolution, Horn clauses, filtering, and unification in artificial intelligence.

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

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

Covers the concept of negation of propositions and their equivalences.