Raciocinio lógico e matematica para concursos cespe unb fabricio mariano 2013

Page 61

é considerada F. Duas proposições são consideradas equivalentes quando elas têm exatamente as mesmas valorações V e F. Quando proposições da forma P e da forma P Q são V, e estão presentes em uma argumentação — sequência finita de proposições —, então Q pode ser inferida como V, e a argumentação está correta. Com base nessas informações e considerando as proposições P: “Gabriel não é culpado”, e Q: “A promotoria não condenará Gabriel”, julgue os itens seguintes. 118. (Cespe – UnB – Prodest – 2006) Há exatamente duas possibilidades para que a proposição ¬(P Q) (P Q) tenha valoração F. 119. (Cespe – UnB – Prodest – 2006) A proposição ¬P ¬Q tem mais de uma possibilidade de ter valoração F. 120. (Cespe – UnB – Prodest – 2006) Proposições da forma ¬(P Q) e ¬P ¬Q são equivalentes.

Texto para questões 121 e 122 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 PvQ 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 sequê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. 121. (Cespe – UnB – Ancine – 2006) Suponha que uma proposição composta de P, obtida pelo uso de um ou mais operadores, tenha as valorações V e F, dadas na tabela abaixo. A B C P V

V

V F

V

V

F

V

F

V F

V

F

F

F

V

V V

F

V

F

F

F

V V

V

F

F


Issuu converts static files into: digital portfolios, online yearbooks, online catalogs, digital photo albums and more. Sign up and create your flipbook.