09:06

Counter example example

06:25

Counter example definition

09:02

Without loss of generality

09:39

Quantifiers: Universal quantifier

08:20

Unit 2 motivation

05:15

Translating English into converse inverse and contrapositive

04:47

Identities practice 2

04:14

Predicates 2 Domain motivation

07:16

Proving logical equivalence 1

04:44

Definition of contrapositive converse and inverse

03:45

Contrapositive english example 2

04:36

Contrapositive english example 1

09:04

Converse and inverse plus summary

08:14

Identities practice 3

05:12

Remembering names of converse inverse and contrapositive

06:01

Quantifiers: Domains

05:20

Identities practice 1

12:17

Proving logical equivalence 2

05:51

Identities Distributive laws

06:29

Quantifiers: Existential quantifier

04:23

Contrapositive and original statement are equivalent

05:02

Identities De Morgan

08:25

Predicates 1

08:16

Logical equivalence example 2

09:22

Implication, conditional statement

15:50

System specification 2

03:51

implication, equivalent definition, another example

05:30

propositions

02:44

Prep work side note on logical equivalence

12:31

Translating english sentences

03:41

Module 1 Motivation

12:31

Logic circuits defn and examples

08:12

biconditional and logical equivalence

01:12

Applications conclusion

07:10

logical operators, not, and truth tables

08:36

biconditional definition

04:15

logical operators, or

07:03

logical operators, xor

12:13

Prep work Order of ops and tautology

03:35

propositional variables

03:59

Logic circuits satisfiability

04:30

logical operators, and

14:37

System specification 1

06:01

Logical equivalence

07:23

implication, equivalent definition

07:27

Proof by contrapositive example 2

10:23

Verifying arguments and proofs example 1

09:40

Nested Quantifiers

04:19

Proofs introduction

07:35

Direct proof example 4

07:21

Quantifiers: De Morgans laws

04:25

Quantifiers: Finite domains

09:50

Verifying arguments and proofs example 2

05:11

Unit 3: Motivation of proofs and inference

05:15

Nested Quantifiers: practice

11:57

Proof by contrapositive example 3

08:00

Example 2 and transition to proofs

05:53

Inference rules: verifying with rules of logic

03:56

Proof by contrapositive example 1

05:21

Proof by contradiction definition