Questão de Raciocínio Lógico

Uma proposição é uma declaração que pode ser avaliada como verdadeira (V) ou falsa (F). Se P e Q representam proposições, as formas simbólicas ¬P, P∨Q, P∧Q e P→Q representam a composição de proposições pelo uso de operadores. A forma ¬P representa a negação de P e, portanto, é V quando P é F, e vice-versa. A forma P∨Q representa a disjunção, ou seja, ou P ou Q, que é F se e somente se P e Q forem F. A forma P∧Q representa a conjunção P e Q, que é V se e somente se P e Q forem V. A forma P→Q representa a implicação, ou seja, P implica Q (lê-se “se P então Q”), que é F se e somente se P for V e Q for F. Sempre que proposições da forma P e P→Q (ou ¬Q→¬P) são V, pode-se concluir que Q também é V e por isso, uma seqüência que contém essas proposições, sendo Q a última delas, constitui uma argumentação válida. Com base nessas informações, julgue os itens seguintes.

Suponha que uma proposição composta P, obtida pelo uso de um ou mais operadores, tenha as valorações V e F, dadas na tabela abaixo.

Nesse caso, uma possível forma para P é (¬A∧¬B∧C)∨(A∧¬B∧¬C)∨(A∧B∧¬C).