1,510,060 views
Contents: Introduction: What is Logic? Open and closed statements: 1:24 Types of propositions: 9:00 Logical connectives: 10:14 Truth value (abbreviated): 26:00 Truth table: 33:36 Formalization of propositions: 52:00 Logical laws: 1:10:00 [Correction 1:11:05 should be rv (p ^ q) ≡ ( rvp ) ^ ( rvq )] Simplifying logical propositions (proposition algebra): 1:14:38 Logical circuits: 1:30:05 Logical quantifiers: 1:50:06 #AcademiaInternet, #academiainternetlogica