Media Summary: This video introduces two rules of inference for predicate Conditional Proofs for showing validity of arguments. Combing loops and conditional execution to solve complex problems.
Logic Lesson 18 - Detailed Analysis & Overview
This video introduces two rules of inference for predicate Conditional Proofs for showing validity of arguments. Combing loops and conditional execution to solve complex problems. Timestamps: 00:00 Introduction 00:23 Disjunctive Syllogisms 02:08 Example 02:48 Types of Disjunct 03:08 Strong Disjunct 06:25 ...