Mostrar usando leyes lógicas que las opiniones de Beto y Atilio son exactamente contrarias, o sea, que cada una es la negación de la otra.

Para mostrar que as opiniões de Beto e Atilio são exatamente contrárias, podemos usar as leis lógicas de negação e implicação. Se Beto acredita que "P é verdadeiro", então Atilio acredita que "P é falso", pois a opinião de Atilio é a negação da opinião de Beto. Podemos representar a opinião de Beto como P e a opinião de Atilio como ¬P (negação de P). Assim, se Beto acredita que "P é verdadeiro", podemos escrever como P. E se Atilio acredita que a opinião de Beto é falsa, podemos escrever como ¬P. Podemos usar a implicação para mostrar que a opinião de Atilio é a negação da opinião de Beto. Se P é verdadeiro, então ¬P é falso. E se P é falso, então ¬P é verdadeiro. Portanto, podemos concluir que as opiniões de Beto e Atilio são exatamente contrárias, ou seja, cada uma é a negação da outra.