Questão de Proposições Lógicas — CESPE / CEBRASPE · 2008

Texto para os itens de 36 a 45 Na linguagem falada ou escrita, o elemento primitivo é a sentença, ou proposição simples, formada basicamente por um sujeito e um predicado. Nessas considerações, estão incluídas apenas as proposições afirmativas ou negativas, excluindo, portanto, as proposições interrogativas, exclamativas etc. Só são consideradas proposições aquelas sentenças bem definidas, isto é, aquelas sobre as quais pode decidir serem verdadeiras (V) ou falsas (F). Toda proposição tem um valor lógico, ou uma valoração, V ou F, excluindo-se qualquer outro. As proposições serão designadas por letras maiúsculas A, B, C etc. A partir de determinadas proposições, denominadas proposições simples, são formadas novas proposições, empregando-se os conectivos “e”, indicado por ∧, “ou”, indicado por ∨, “se ... então”, indicado por →, “se ... e somente se”, indicado por ↔. A relação A↔B significa que (A→B) ∧ (B→A). Emprega-se também o modificador “não”, indicado por ¬. Se A e B são duas proposições, constroem-se as “tabelas-verdade”, como as mostradas abaixo, das proposições compostas formadas utilizando-se dos conectivos e modificadores citados — a coluna correspondente a determinada proposição composta é a tabela-verdade daquela proposição. Há expressões às quais não se pode atribuir um valor lógico V ou F, por exemplo: “Ele é juiz do TRT da 5.ª Região”, ou “x + 3 = 9”. O sujeito é uma variável que pode ser substituído por um elemento arbitrário, transformando a expressão em uma proposição que pode ser valorada como V ou F. Expressões dessa forma são denominadas sentenças abertas, ou funções proposicionais. Pode-se passar de uma sentença aberta a uma proposição por meio dos quantificadores “qualquer que seja”, ou “para todo”, indicado por ∀, e “existe”, indicado por ∃. Por exemplo: a proposição (∀x)(x ∈ R)(x + 3 = 9) é valorada como F, enquanto a proposição (∃x)(x ∈ R)(x + 3 = 9) é valorada como V. Uma proposição composta que apresenta em sua tabela-verdade somente V, independentemente das valorações das proposições que a compõem, é denominada logicamente verdadeira ou tautologia. Por exemplo, independentemente das valorações V ou F de uma proposição A, todos os elementos da tabela-verdade da proposição A∨(¬A) são V, isto é, A∨(¬A) é uma tautologia. Considerando as informações do texto e a proposição P: “Mário pratica natação e judô”, julgue os itens seguintes. Simbolizando a proposição P por então a proposição Q: "Mário pratica natação mas não pratica judô" é corretamente simbolizada por AV(¬B).