Question

Extra credit 2 Translate and prove. Determine which letters to use for which statements. 2 points extra credit for correct proof and correct translation. It's not true that either Fran or Manny will join our crew. Here's why: John and Alexa are both not able to pick a lock. For this plan to succeed, it is necessary that John is able to pick a lock. Neither Fran nor Manny will join our crew if the plan does not succeed.

Answer 1

@ suppose F: M: J: . A : pi Fran will join our Manny will join our John able to pick a Alexa able to pick a crew. crew. lock. lock. plan is succeed.

muese 1. NJ. NA O Premise Premise 2. PĖ J wp Ě (~f. wM) Premise conjunction 1 a hat so ap MT 2,4 ~F.~M 7. ~ (FVM) MP 3,5 demorgan 6 Hence proved.

Premise - up in ~B · (~KOJ) 3. ^N ? Prennise Premise (~P. No) .[(~NVR) È s ] Premisi (UNUR) È ſ decomposing conjunction ! logical equivalence 5 6-(~N És) n (RÉS) 7. NĖS decomposing conjunction 6 mp 3,7