André é armador ou Chico é centroavante. Se Mário gosta de marcar, então Flávio não é goleiro. Se Flávio não é goleiro, então Chico não é centroavante. André não é armador e Daniel não é artilheiro. Pode-se concluir, portanto, que:
Soluções para a tarefa
André é centroavante, Chico é armador, Daniel é goleiro , Mario marca e Flávio é artilheiro.
A inferência é uma afirmação que é feita com base em uma primeira afirmação, é basicamente extrapolar um dado para outras possibilidades, como a derivação.
A inferência é uma ferramenta da logica que permite deduzir informações a partir de outras, como é o caso dessa questão.
Espero ter ajudado!
Resposta:
Mário não gosta de marcar e Flávio é goleiro
Explicação:
1 - O anunciado afirma que: André não é armador e Daniel não é artilheiro.
2 - Se "André é armador ou Chico é centroavante." precisamos que uma dessas duas coisas sejam verdades. E no item 1 vimos que André não é armador. Então é verdade que Chico é centroavante.
3 - Ja sabemos pelo item 2 que Chico é sim centroavante. Então sabemos que Flávio é goleiro e Mário não gosta de marcar.
"Se Mário gosta de marcar, então Flávio não é goleiro.
Se Flávio não é goleiro, então Chico não é centroavante. "