Questão FC148761
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.
Julgue o item seguinte, a respeito dos conceitos básicos de lógica e tautologia.
Se R é o conjunto dos números reais, então a proposição (∀x)(xϵR)(∃y)(yϵR)(x+y = x) é valorada como V.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Comentário: A proposição dada é logicamente verdadeira, pois para todo número real x, existe um número real y que satisfaz a equação x + y = x. Aqui, podemos escolher y = 0, que é um número real e torna a equação verdadeira para qualquer valor de x. Portanto, a afirmação de que a proposição é avaliada como verdadeira (V) está correta, validando a ideia de que a expressão é uma tautologia no contexto dos números reais.
Conteúdo do catálogo FC Concursos · Atualizado em