filmov
tv
Rules for natural deduction: Disjunction
Показать описание
We discuss two rules for 'or', namely introduction and elimination.
We also use a proof checker to verify our proof is correctly using these two rules for a basic theorem.
We also use a proof checker to verify our proof is correctly using these two rules for a basic theorem.
0:17:54
0:10:44
0:05:26
0:27:35
0:04:47
0:20:42
0:31:47
1:02:52
0:02:37
0:08:26
0:20:45
0:02:38
0:04:17
0:06:33
0:39:47
0:02:32
0:18:21
0:17:02
0:19:41
0:05:47
0:08:38
0:13:04
0:03:59