2. Seis amigos , conversando, afirmam : ARTUR: "Se eu for, Beto irá". BETO: "Se eu for, Carlos irá" CARLOS: "Artur ou Beto irão". DINO: "Carlos não...

Analisando as afirmações dos amigos, podemos montar um quadro com as seguintes informações: | Amigo | Afirmação | | --- | --- | | Artur | Se eu for, Beto irá | | Beto | Se eu for, Carlos irá | | Carlos | Artur ou Beto irão | | Dino | Carlos não irá | | Edu | Se Artur, Beto e Carlos disseram a verdade, Carlos irá | | Fábio | Se Carlos não for, Artur irá | A partir dessas informações, podemos montar um sistema de equações: 1. p → q 2. q → r 3. (p ∨ q) → r 4. ¬r 5. (p ∧ q ∧ r) → r 6. ¬r → p Supondo que Carlos e Dino estejam enganados, podemos considerar que a afirmação de Carlos é falsa, ou seja, ele não irá. Com isso, podemos concluir que Artur e Beto também não irão, já que suas afirmações dependem da ida de Carlos. Assim, temos que p = q = r = Falso. Analisando a afirmação de Fábio, podemos concluir que ela é verdadeira, já que Carlos não irá e, portanto, Artur irá, como afirmou Fábio. Portanto, podemos afirmar que Fábio está certo.