1. Três operários afirmam : ANTONIO: "Se Carlos não foi ao trabalho, João também não foi". CARLOS : "Antonio não foi ao trabalho, João foi". JOÃO :...

Para simbolizar os depoimentos, podemos usar as seguintes proposições: - p: Antônio foi ao trabalho. - q: Carlos foi ao trabalho. - r: João foi ao trabalho. Com base nos depoimentos, podemos escrever as seguintes proposições compostas: - Antonio: ~q -> ~r - Carlos: ~p -> r - João: r ^ (~q v ~p) Para descobrir quem não foi ao trabalho, podemos usar a tabela-verdade para verificar qual combinação de valores verdade para p, q e r satisfaz todas as proposições compostas. | p | q | r | ~q -> ~r | ~p -> r | r ^ (~q v ~p) | | --- | --- | --- | -------- | ------- | -------------- | | V | V | V | V | V | V | | V | V | F | F | F | F | | V | F | V | V | V | V | | V | F | F | V | F | F | | F | V | V | V | V | V | | F | V | F | F | V | F | | F | F | V | V | V | F | | F | F | F | V | V | F | A única combinação que satisfaz todas as proposições compostas é a primeira linha da tabela-verdade, em que p, q e r são verdadeiros. Portanto, concluímos que todos foram ao trabalho e ninguém faltou.