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.