Тёмный
Begriffsschrift
Begriffsschrift
Begriffsschrift
Подписаться
Quiz 4 Question 8 (and a proof using the working backwards strategy)
9:30
Quiz 4 Question 8 (and a proof using the working backwards strategy)
Месяц назад
Quiz 4 Question 7 (and a very basic proof, using a thinking it through strategy)
6:50
Quiz 4 Question 7 (and a very basic proof, using a thinking it through strategy)
Месяц назад
Quiz 4 Question 3 (and how to check rules)
4:43
Quiz 4 Question 3 (and how to check rules)
Месяц назад
#11 A proof with the first four rules (and what to do with extra premises)
9:25
#11 A proof with the first four rules (and what to do with extra premises)
Месяц назад
Counterexample Method: Two examples
11:27
Counterexample Method: Two examples
4 месяца назад
What's happening in the Meno?
2:14
What's happening in the Meno?
Год назад
Week 9 Quiz, #8
4:06
Week 9 Quiz, #8
Год назад
Week 9 Quiz, #7
3:35
Week 9 Quiz, #7
Год назад
Week 10 Quiz #7
4:43
Week 10 Quiz #7
Год назад
Week 10 Quiz, #8
8:18
Week 10 Quiz, #8
Год назад
Week 6 Quiz, #7 (and emphasis on DIST and IMPL, and why you cannot use EXP)
5:07
Week 6 Quiz, #7 (and emphasis on DIST and IMPL, and why you cannot use EXP)
Год назад
Week 6 Quiz #8 (Working backwards)
5:08
Week 6 Quiz #8 (Working backwards)
Год назад
EG over some but not all constants
4:17
EG over some but not all constants
Год назад
How to remember CQ, and some basic tactics
10:22
How to remember CQ, and some basic tactics
2 года назад
EI restrictions
11:27
EI restrictions
2 года назад
Some basic tactics (a proof using EI, UI, and EG)
4:42
Some basic tactics (a proof using EI, UI, and EG)
2 года назад
A Proof with UI (twice)
12:37
A Proof with UI (twice)
2 года назад
Advanced proof strategy: taking advantage of theorems
5:38
Advanced proof strategy: taking advantage of theorems
2 года назад
Proving logical truths (tautologies in truth-table speak, or theorems in proof-speak)
11:18
Proving logical truths (tautologies in truth-table speak, or theorems in proof-speak)
2 года назад
A basic proof using IP, using a working forwards/think through it strategy
8:09
A basic proof using IP, using a working forwards/think through it strategy
2 года назад
A basic CP proof, using the working backwards strategy
7:31
A basic CP proof, using the working backwards strategy
2 года назад
Typing in proofs with subproofs in Canvas
2:59
Typing in proofs with subproofs in Canvas
2 года назад
Counterexample example in Predicate Logic
4:45
Counterexample example in Predicate Logic
3 года назад
A new tactic for CP and UG
7:08
A new tactic for CP and UG
3 года назад
IP in the predicate logic
2:47
IP in the predicate logic
3 года назад
CP in the predicate logic
6:11
CP in the predicate logic
3 года назад
Using standard forms/basic templates to help you translate
16:58
Using standard forms/basic templates to help you translate
3 года назад
PS 6 Question 10 (doing what you can strategy)
9:10
PS 6 Question 10 (doing what you can strategy)
3 года назад
A tactic for Impl, especially when working backwards
13:38
A tactic for Impl, especially when working backwards
3 года назад
Комментарии