logic: the key to riches (earned in the old-fashioned...
TRANSCRIPT
![Page 1: Logic: The key to riches (earned in the old-fashioned way).kryten.mm.rpi.edu/COURSES/INTLOGW/Prizes_T2_Rev.pdf · 2016-04-23 · Logic: The key to riches (earned in the old-fashioned](https://reader034.vdocuments.site/reader034/viewer/2022050305/5f6e005b4c98037ea928372a/html5/thumbnails/1.jpg)
Logic: The key to riches (earned in the old-fashioned way).
![Page 2: Logic: The key to riches (earned in the old-fashioned way).kryten.mm.rpi.edu/COURSES/INTLOGW/Prizes_T2_Rev.pdf · 2016-04-23 · Logic: The key to riches (earned in the old-fashioned](https://reader034.vdocuments.site/reader034/viewer/2022050305/5f6e005b4c98037ea928372a/html5/thumbnails/2.jpg)
Logic: The key to riches (earned in the old-fashioned way).
![Page 3: Logic: The key to riches (earned in the old-fashioned way).kryten.mm.rpi.edu/COURSES/INTLOGW/Prizes_T2_Rev.pdf · 2016-04-23 · Logic: The key to riches (earned in the old-fashioned](https://reader034.vdocuments.site/reader034/viewer/2022050305/5f6e005b4c98037ea928372a/html5/thumbnails/3.jpg)
Prizes; Review/Issues Test 2
Rensselaer AI & Reasoning (RAIR) LabDepartment of Cognitive ScienceDepartment of Computer Science
Lally School of Management & TechnologyRensselaer Polytechnic Institute (RPI)
Troy, New York 12180 USA
Intro to Logic4/21/2016
Selmer Bringsjord
![Page 4: Logic: The key to riches (earned in the old-fashioned way).kryten.mm.rpi.edu/COURSES/INTLOGW/Prizes_T2_Rev.pdf · 2016-04-23 · Logic: The key to riches (earned in the old-fashioned](https://reader034.vdocuments.site/reader034/viewer/2022050305/5f6e005b4c98037ea928372a/html5/thumbnails/4.jpg)
Paying up w.r.t. …
D = SDL …
![Page 5: Logic: The key to riches (earned in the old-fashioned way).kryten.mm.rpi.edu/COURSES/INTLOGW/Prizes_T2_Rev.pdf · 2016-04-23 · Logic: The key to riches (earned in the old-fashioned](https://reader034.vdocuments.site/reader034/viewer/2022050305/5f6e005b4c98037ea928372a/html5/thumbnails/5.jpg)
![Page 6: Logic: The key to riches (earned in the old-fashioned way).kryten.mm.rpi.edu/COURSES/INTLOGW/Prizes_T2_Rev.pdf · 2016-04-23 · Logic: The key to riches (earned in the old-fashioned](https://reader034.vdocuments.site/reader034/viewer/2022050305/5f6e005b4c98037ea928372a/html5/thumbnails/6.jpg)
![Page 7: Logic: The key to riches (earned in the old-fashioned way).kryten.mm.rpi.edu/COURSES/INTLOGW/Prizes_T2_Rev.pdf · 2016-04-23 · Logic: The key to riches (earned in the old-fashioned](https://reader034.vdocuments.site/reader034/viewer/2022050305/5f6e005b4c98037ea928372a/html5/thumbnails/7.jpg)
(If it’s obligatory that P be the case, then it’s permissible that: if Q holds, so does P.)
![Page 8: Logic: The key to riches (earned in the old-fashioned way).kryten.mm.rpi.edu/COURSES/INTLOGW/Prizes_T2_Rev.pdf · 2016-04-23 · Logic: The key to riches (earned in the old-fashioned](https://reader034.vdocuments.site/reader034/viewer/2022050305/5f6e005b4c98037ea928372a/html5/thumbnails/8.jpg)
(If it’s obligatory that P be the case, then it’s permissible that: if Q holds, so does P.)
![Page 9: Logic: The key to riches (earned in the old-fashioned way).kryten.mm.rpi.edu/COURSES/INTLOGW/Prizes_T2_Rev.pdf · 2016-04-23 · Logic: The key to riches (earned in the old-fashioned](https://reader034.vdocuments.site/reader034/viewer/2022050305/5f6e005b4c98037ea928372a/html5/thumbnails/9.jpg)
$40; $20; $10; $5
(If it’s obligatory that P be the case, then it’s permissible that: if Q holds, so does P.)
![Page 10: Logic: The key to riches (earned in the old-fashioned way).kryten.mm.rpi.edu/COURSES/INTLOGW/Prizes_T2_Rev.pdf · 2016-04-23 · Logic: The key to riches (earned in the old-fashioned](https://reader034.vdocuments.site/reader034/viewer/2022050305/5f6e005b4c98037ea928372a/html5/thumbnails/10.jpg)
Winning Proof (J Argentino)
◇ intro ✓
□ elim ✓
PC ⊢ ✓
→ intro ✓
1. □Φ → ◇(Ψ → Φ)∞□
2. ◇(Ψ → Φ){3} 1□
4. Ψ → Φ{3} 1□
5. Φ{3} 1□
3. □Φ{3} Assume ✓
![Page 11: Logic: The key to riches (earned in the old-fashioned way).kryten.mm.rpi.edu/COURSES/INTLOGW/Prizes_T2_Rev.pdf · 2016-04-23 · Logic: The key to riches (earned in the old-fashioned](https://reader034.vdocuments.site/reader034/viewer/2022050305/5f6e005b4c98037ea928372a/html5/thumbnails/11.jpg)
Winning Proof (J Argentino)
◇ intro ✓
□ elim ✓
PC ⊢ ✓
→ intro ✓
1. □Φ → ◇(Ψ → Φ)∞□
2. ◇(Ψ → Φ){3} 1□
4. Ψ → Φ{3} 1□
5. Φ{3} 1□
3. □Φ{3} Assume ✓
![Page 12: Logic: The key to riches (earned in the old-fashioned way).kryten.mm.rpi.edu/COURSES/INTLOGW/Prizes_T2_Rev.pdf · 2016-04-23 · Logic: The key to riches (earned in the old-fashioned](https://reader034.vdocuments.site/reader034/viewer/2022050305/5f6e005b4c98037ea928372a/html5/thumbnails/12.jpg)
Winning Proof (J Argentino)
◇ intro ✓
□ elim ✓
PC ⊢ ✓
→ intro ✓
1. □Φ → ◇(Ψ → Φ)∞□
2. ◇(Ψ → Φ){3} 1□
4. Ψ → Φ{3} 1□
5. Φ{3} 1□
3. □Φ{3} Assume ✓
![Page 13: Logic: The key to riches (earned in the old-fashioned way).kryten.mm.rpi.edu/COURSES/INTLOGW/Prizes_T2_Rev.pdf · 2016-04-23 · Logic: The key to riches (earned in the old-fashioned](https://reader034.vdocuments.site/reader034/viewer/2022050305/5f6e005b4c98037ea928372a/html5/thumbnails/13.jpg)
Winning Proof (J Argentino)
◇ intro ✓
□ elim ✓
PC ⊢ ✓
→ intro ✓
1. □Φ → ◇(Ψ → Φ)∞□
2. ◇(Ψ → Φ){3} 1□
4. Ψ → Φ{3} 1□
5. Φ{3} 1□
3. □Φ{3} Assume ✓
![Page 14: Logic: The key to riches (earned in the old-fashioned way).kryten.mm.rpi.edu/COURSES/INTLOGW/Prizes_T2_Rev.pdf · 2016-04-23 · Logic: The key to riches (earned in the old-fashioned](https://reader034.vdocuments.site/reader034/viewer/2022050305/5f6e005b4c98037ea928372a/html5/thumbnails/14.jpg)
Winning Proof (J Argentino)
◇ intro ✓
□ elim ✓
PC ⊢ ✓
→ intro ✓
1. □Φ → ◇(Ψ → Φ)∞□
2. ◇(Ψ → Φ){3} 1□
4. Ψ → Φ{3} 1□
5. Φ{3} 1□
3. □Φ{3} Assume ✓
![Page 15: Logic: The key to riches (earned in the old-fashioned way).kryten.mm.rpi.edu/COURSES/INTLOGW/Prizes_T2_Rev.pdf · 2016-04-23 · Logic: The key to riches (earned in the old-fashioned](https://reader034.vdocuments.site/reader034/viewer/2022050305/5f6e005b4c98037ea928372a/html5/thumbnails/15.jpg)
Q1.(c) on Test 2 INTLOGS16:The Formal Proof …
![Page 16: Logic: The key to riches (earned in the old-fashioned way).kryten.mm.rpi.edu/COURSES/INTLOGW/Prizes_T2_Rev.pdf · 2016-04-23 · Logic: The key to riches (earned in the old-fashioned](https://reader034.vdocuments.site/reader034/viewer/2022050305/5f6e005b4c98037ea928372a/html5/thumbnails/16.jpg)
Q1.(c) on Test 2 INTLOGS16:The Formal Proof …
![Page 17: Logic: The key to riches (earned in the old-fashioned way).kryten.mm.rpi.edu/COURSES/INTLOGW/Prizes_T2_Rev.pdf · 2016-04-23 · Logic: The key to riches (earned in the old-fashioned](https://reader034.vdocuments.site/reader034/viewer/2022050305/5f6e005b4c98037ea928372a/html5/thumbnails/17.jpg)
Instructive Actual Answers on Q2 on Test 2 INTLOGS16 …
![Page 18: Logic: The key to riches (earned in the old-fashioned way).kryten.mm.rpi.edu/COURSES/INTLOGW/Prizes_T2_Rev.pdf · 2016-04-23 · Logic: The key to riches (earned in the old-fashioned](https://reader034.vdocuments.site/reader034/viewer/2022050305/5f6e005b4c98037ea928372a/html5/thumbnails/18.jpg)
2/3 Credit
![Page 19: Logic: The key to riches (earned in the old-fashioned way).kryten.mm.rpi.edu/COURSES/INTLOGW/Prizes_T2_Rev.pdf · 2016-04-23 · Logic: The key to riches (earned in the old-fashioned](https://reader034.vdocuments.site/reader034/viewer/2022050305/5f6e005b4c98037ea928372a/html5/thumbnails/19.jpg)
2/3 Credit
![Page 20: Logic: The key to riches (earned in the old-fashioned way).kryten.mm.rpi.edu/COURSES/INTLOGW/Prizes_T2_Rev.pdf · 2016-04-23 · Logic: The key to riches (earned in the old-fashioned](https://reader034.vdocuments.site/reader034/viewer/2022050305/5f6e005b4c98037ea928372a/html5/thumbnails/20.jpg)
Full Credit (“Creative”)
![Page 21: Logic: The key to riches (earned in the old-fashioned way).kryten.mm.rpi.edu/COURSES/INTLOGW/Prizes_T2_Rev.pdf · 2016-04-23 · Logic: The key to riches (earned in the old-fashioned](https://reader034.vdocuments.site/reader034/viewer/2022050305/5f6e005b4c98037ea928372a/html5/thumbnails/21.jpg)
Full Credit (“Creative”)
![Page 22: Logic: The key to riches (earned in the old-fashioned way).kryten.mm.rpi.edu/COURSES/INTLOGW/Prizes_T2_Rev.pdf · 2016-04-23 · Logic: The key to riches (earned in the old-fashioned](https://reader034.vdocuments.site/reader034/viewer/2022050305/5f6e005b4c98037ea928372a/html5/thumbnails/22.jpg)
Full Credit (“Efficient”)
![Page 23: Logic: The key to riches (earned in the old-fashioned way).kryten.mm.rpi.edu/COURSES/INTLOGW/Prizes_T2_Rev.pdf · 2016-04-23 · Logic: The key to riches (earned in the old-fashioned](https://reader034.vdocuments.site/reader034/viewer/2022050305/5f6e005b4c98037ea928372a/html5/thumbnails/23.jpg)
On the Hard Problem: Q1.(e) on Test 2 INTLOGS16 …
![Page 24: Logic: The key to riches (earned in the old-fashioned way).kryten.mm.rpi.edu/COURSES/INTLOGW/Prizes_T2_Rev.pdf · 2016-04-23 · Logic: The key to riches (earned in the old-fashioned](https://reader034.vdocuments.site/reader034/viewer/2022050305/5f6e005b4c98037ea928372a/html5/thumbnails/24.jpg)
On the Hard Problem: Q1.(e) on Test 2 INTLOGS16 …
![Page 25: Logic: The key to riches (earned in the old-fashioned way).kryten.mm.rpi.edu/COURSES/INTLOGW/Prizes_T2_Rev.pdf · 2016-04-23 · Logic: The key to riches (earned in the old-fashioned](https://reader034.vdocuments.site/reader034/viewer/2022050305/5f6e005b4c98037ea928372a/html5/thumbnails/25.jpg)
Grade Breakdown for Test 2
A: 20+A+: 27.5+ (Wow.)
B: 10+< 10: See Rini & me.
![Page 26: Logic: The key to riches (earned in the old-fashioned way).kryten.mm.rpi.edu/COURSES/INTLOGW/Prizes_T2_Rev.pdf · 2016-04-23 · Logic: The key to riches (earned in the old-fashioned](https://reader034.vdocuments.site/reader034/viewer/2022050305/5f6e005b4c98037ea928372a/html5/thumbnails/26.jpg)
Grade Breakdown for Test 2
A: 20+A+: 27.5+ (Wow.)
B: 10+< 10: See Rini & me.
[Watch for Homeworks 3 & 4 (in D).]