Translate the following statements into propositional logic. In each case, I've provided a key for the simple/atomic statements. Use that key to identify the proper translation into the language of propositional logic. The notation for the logical connectives that I'm using is this: not (negation), & (conjunction), v (disjunction), -> (material conditional), and <-> (material equivalence or biconditional).
Your ice is not cold. (I)
A. P->V
If my stock portfolio is weak, then I am losing money. (S, L)
B. L->S
My car does not look great, but it gets great gas mileage. (L, G)
C. D & (S&(C&L))
S->L
If you feel great, then you look great. (F, L)
E. MvvT
My test score was high or I am mistaken. (H, M)
F. P<>A
You passed the exam only if you got at least a C. (P, C)
G. ᄀ(P&T)
Either candy or tobacco is bad for your teeth. (C, T)
I. D&(CvvL)
Bill is cold and Mary is late. (B, M)
J. H&M
Today is Monday or today is Tuesday. (M, T)
K. T->M
He is not a U.S. senator. (S)
L. P->C
Toothpaste is good for your teeth, but tobacco is not. (P, T)
M. notG&F
Driving too fast is hazardous to your health, and so is driving without buckling up. (F, B)
P. F&B
Pizza contains all the basic food groups if, and only if, you get it with anchovies. (P, A)
Q. ᄀL&G
Lava lamps are distracting, while music in the background is soothing. My room could use a good cleaning, but I am too lazy to do anything about it. (D, S, C, L)
R. B&M
A&P
F->L
HvvM
F<>L
C & T
&I