Post on 24-Jul-2020
Logic: The key to riches (earned in the old-fashioned way).
Logic: The key to riches (earned in the old-fashioned way).
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
Paying up w.r.t. …
D = SDL …
(If it’s obligatory that P be the case, then it’s permissible that: if Q holds, so does P.)
(If it’s obligatory that P be the case, then it’s permissible that: if Q holds, so does P.)
$40; $20; $10; $5
(If it’s obligatory that P be the case, then it’s permissible that: if Q holds, so does P.)
Winning Proof (J Argentino)
◇ intro ✓
□ elim ✓
PC ⊢ ✓
→ intro ✓
1. □Φ → ◇(Ψ → Φ)∞□
2. ◇(Ψ → Φ){3} 1□
4. Ψ → Φ{3} 1□
5. Φ{3} 1□
3. □Φ{3} Assume ✓
Winning Proof (J Argentino)
◇ intro ✓
□ elim ✓
PC ⊢ ✓
→ intro ✓
1. □Φ → ◇(Ψ → Φ)∞□
2. ◇(Ψ → Φ){3} 1□
4. Ψ → Φ{3} 1□
5. Φ{3} 1□
3. □Φ{3} Assume ✓
Winning Proof (J Argentino)
◇ intro ✓
□ elim ✓
PC ⊢ ✓
→ intro ✓
1. □Φ → ◇(Ψ → Φ)∞□
2. ◇(Ψ → Φ){3} 1□
4. Ψ → Φ{3} 1□
5. Φ{3} 1□
3. □Φ{3} Assume ✓
Winning Proof (J Argentino)
◇ intro ✓
□ elim ✓
PC ⊢ ✓
→ intro ✓
1. □Φ → ◇(Ψ → Φ)∞□
2. ◇(Ψ → Φ){3} 1□
4. Ψ → Φ{3} 1□
5. Φ{3} 1□
3. □Φ{3} Assume ✓
Winning Proof (J Argentino)
◇ intro ✓
□ elim ✓
PC ⊢ ✓
→ intro ✓
1. □Φ → ◇(Ψ → Φ)∞□
2. ◇(Ψ → Φ){3} 1□
4. Ψ → Φ{3} 1□
5. Φ{3} 1□
3. □Φ{3} Assume ✓
Q1.(c) on Test 2 INTLOGS16:The Formal Proof …
Q1.(c) on Test 2 INTLOGS16:The Formal Proof …
Instructive Actual Answers on Q2 on Test 2 INTLOGS16 …
2/3 Credit
2/3 Credit
Full Credit (“Creative”)
Full Credit (“Creative”)
Full Credit (“Efficient”)
On the Hard Problem: Q1.(e) on Test 2 INTLOGS16 …
On the Hard Problem: Q1.(e) on Test 2 INTLOGS16 …
Grade Breakdown for Test 2
A: 20+A+: 27.5+ (Wow.)
B: 10+< 10: See Rini & me.
Grade Breakdown for Test 2
A: 20+A+: 27.5+ (Wow.)
B: 10+< 10: See Rini & me.
[Watch for Homeworks 3 & 4 (in D).]