Example Video #1
Loading...
Loading...
1,099
Loading...
Link to this comment:
Share to:
Uploader Comments (NaturalDeduction)
see all
All Comments (3)
-
Would it have been possible to use Constructive Dilemma?
Loading...
- 9:45
Logic, 1 in a seriesby MrCropper8,030 views
- 7:34
Rules 4 and 5 Conditionalby NaturalDeduction1,019 views
- 4:48
Test 4: Truth Tables 1: Part 2by jellologic8,952 views
- 4:25
Test1 Sym4by jellologic482 views
- 2:58
Test1 Sym2by jellologic542 views
- 7:50
Test 2 Proof 1by jellologic1,663 views
- 2:50
Test 3 Sentence 1by jellologic681 views
- 9:43
Test 2 Proof 4by jellologic939 views
- 5:55
Test 4: Truth Trees 2by jellologic2,403 views
- 9:29
EIGHT PARTS OF SPEECH #9 - CONJUNCTIONby 321grammar4,239 views
- 8:57
Test 4: Truth Tables 3: Part 1by jellologic7,334 views
- 6:33
Logic, 17 - Chap 4, Truth Treesby MrCropper1,508 views
- 4:58
Test 2 Sentence 3by jellologic640 views
- 6:33
Logic, 12by MrCropper1,177 views
- 4:14
Test 5 Predicate Sentence 2by jellologic1,869 views
- 6:31
Logic, 2 - the Rules (Take Notes)by MrCropper4,642 views
- 3:36
Test1 Sym5by jellologic413 views
- 6:09
Logic, 6 - the Rules (Take Notes)by MrCropper1,741 views
- 0:07
Propositional Logic Testby wolframmathematica702 views
- 6:31
Logic, 14by MrCropper743 views
Can you prove a=c . b=d with premise a=b . b=c . c=d with only . elim and . intro?
MouseGuard1 1 year ago
@MouseGuard1
If by = you mean equality, no, I cannot. Equality is a special form of predicate and that is a more complicated form of logic. If you are just doing your best to type a biconditional, then the rules I need are are biconditional introduction and elimination as well as the conjunction rules ( I think you meant conjunction by the .) so to prove your conclusion, first prove each conjunct. get a=c by biconditional introduction, first scope line showing assuming a, concluding c etc.
NaturalDeduction 1 year ago