im having a difficulty translating it to english. SO basically, i will type the corresponding statements in words. (Universal x ( x is not 0) -> existential y(xy = 1)
then we need to evaluate it as true or false.
heres my approach. i translated it to english as :
" For some x OR some y, xy = 1 is valid. " and my evaluation is "true" (T)
The reason why there is an or because i converted the "p->q" into simpler operations (negate p, or q). Then negate q means negating the universal x so i made it to some x.
I hope things get sorted out if Im wrong. Thanks stackexchange