This is a question from my symbolic logic class. Thanks for helping in advance.

l. 'REVERSE-TRANSCRIPTION' - READING MEANINGS INTO PREDICATE LOGIC SENTENCES. You're given a key below, followed by several symbolic statements. Translate each symbolic statement into clear English using each of the keys K1 and K2. K1 Domain: European countries Ax: x is a democracy, Bx: x is a member of the European Union, Cx: x is member of NATO, Mxy: x has declared war on y, a: France, b: lurkey, c: taly K2 Domain: all the grammatical sentences of Sentence Logic (SL) Ax: x is a negation, Bx: x is a biconditional, Cx: x is a disjunction, Mxy: x logically implies y, EXAMPLE Vx (Bx & Ax) * K1: Every European country is a democracy and a member of the European Union . K2: Every SL sentence is a negation and a biconditional 7. 3xMxa 8. ~3xVyMxy 1. Mcb 4. 3x(Ax & Cx) l. 'REVERSE-TRANSCRIPTION' - READING MEANINGS INTO PREDICATE LOGIC SENTENCES. You're given a key below, followed by several symbolic statements. Translate each symbolic statement into clear English using each of the keys K1 and K2. K1 Domain: European countries Ax: x is a democracy, Bx: x is a member of the European Union, Cx: x is member of NATO, Mxy: x has declared war on y, a: France, b: lurkey, c: taly K2 Domain: all the grammatical sentences of Sentence Logic (SL) Ax: x is a negation, Bx: x is a biconditional, Cx: x is a disjunction, Mxy: x logically implies y, EXAMPLE Vx (Bx & Ax) * K1: Every European country is a democracy and a member of the European Union . K2: Every SL sentence is a negation and a biconditional 7. 3xMxa 8. ~3xVyMxy 1. Mcb 4. 3x(Ax & Cx)