Questão FC149212
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.
A proposição (¬A) → A pode ser assim traduzida: Se, nesse processo, três réus foram condenados, então três réus foram absolvidos.
Mostrar resposta e comentário
Gabarito
Errado
Comentário do professor
Comentário: A proposição "Se, nesse processo, três réus foram condenados, então três réus foram absolvidos" está incorretamente representada pela forma (¬A) → A, pois a proposição A afirma que "três réus foram absolvidos" e seu oposto (¬A) seria "três réus não foram absolvidos", ou seja, condenados. A estrutura correta da implicação deveria refletir a relação lógica entre a condenação e a absolvição, o que não ocorre na forma apresentada. Portanto, a proposição não expressa corretamente a relação esperada entre as sentenças envolvidas, resultando em um erro lógico.
Conteúdo do catálogo FC Concursos · Atualizado em