Discrete Structures Lecture 20 Segment

Media Summary: 0:00 Definition of the "resolution" inference rule 1:43 CS applications of resolution 2:26 The disjunctive syllogism is a special case ... Formal proofs in propositional logic 0:00 First argument 2:21 Informal definition of a proof 4:07 Proof of the first argument 9:01 ... A second sample formal proof in predicate logic.

Discrete Structures Lecture 20 Segment - Detailed Analysis & Overview

0:00 Definition of the "resolution" inference rule 1:43 CS applications of resolution 2:26 The disjunctive syllogism is a special case ... Formal proofs in propositional logic 0:00 First argument 2:21 Informal definition of a proof 4:07 Proof of the first argument 9:01 ... A second sample formal proof in predicate logic. 0:00 Five examples of English sentences translated into predicate logic 7:47 Three examples of predicate logic expressions ... Three new rules of inference (for propositional logic) 0:00 Addition 1:38 Simplification 2:33 Conjunction 4:01 First example of a ... The change-making problem 0:00 Definition: Change-making problem and algorithm 1:

0:00 Unary predicates 2:57 Binary predicates 4:56 domain of a variable (or universe of discourse) 12:12 ternary predicates 14:29 ... Predicate logic 0:00 Formalizing the Flipper argument 10:35 The need for quantification.