Questão FC149056
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 a
Lógica de Proposições
∧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 tabelaverdade 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 a proposição “Nesse processo, três réus foram absolvidos e os outros dois prestarão serviços à comunidade”, simbolizada na forma A ∧ B, em que A é a proposição “Nesse processo, três réus foram absolvidos” e B é a proposição “Nesse processo, dois réus prestarão serviços à comunidade”, julgue o item que se segue.
É correto inferir, após o preenchimento da tabela abaixo, se necessário, que a tabela-verdade da proposição “Nesse processo, três réus foram absolvidos, mas pelos menos um dos outros dois não prestará serviços à comunidade” coincide com a tabela-verdade da proposição simbolizada por ¬(A → B).
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Comentário: A afirmação está correta, pois a proposição "Nesse processo, três réus foram absolvidos, mas pelos menos um dos outros dois não prestará serviços à comunidade" pode ser formalizada e analisada em termos de sua tabela-verdade. Ao expressar a relação entre as proposições A e B através dos conectivos lógicos, é possível constatar que a proposição composta resultante coincide com a expressão lógica dada. Além disso, a negação da implicação A → B, indicada por ¬(A → B), juntamente com a conjunção ¬B, permite verificar que a tabela-verdade será a mesma para ambas as expressões, confirmando a validade da inferência. Portanto, a conclusão de que as tabelas-verdade coincidem é verdadeira.
Conteúdo do catálogo FC Concursos · Atualizado em