0
$\begingroup$

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

3 Answers 3