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