(1) x G 1 → x. y G y (2) x.y=1 Ao utilizar a regra Modus tollens, a conclusão para o par de premissas apresentadas é a seguinte: (1) x G 1 → x. y G y (2) x.y=1 Ao utilizar a regra Modus tollens, a conclusão para o par de premissas apresentadas é a seguinte:

(1) x G 1 → x. y G y (2) x.y=1 Ao utilizar a regra M...

Q1300068

(1) x G 1 → x. y G y

(2) x.y=1

Ao utilizar a regra Modus tollens, a conclusão para o par de premissas apresentadas é a seguinte:

x = y.

x ≠ y.

x = 1.

x € 1.

x € y.