FC ConcursosFC Concursos

Questão FC149054

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

CEBRASPE (CESPE)

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 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 as informações do texto e a proposição P: “Mário pratica natação e judô”, julgue o item seguinte.

Simbolizando a proposição P por A ∧ B, então a proposição Q: “Mário pratica natação mas não pratica judô” é corretamente simbolizada por A ∨ (¬B).
Mostrar resposta e comentário

Gabarito

Errado

Comentário do professor

Comentário: A proposição Q: "Mário pratica natação mas não pratica judô" não é corretamente simbolizada pela forma apresentada, pois o conectivo "mas" é interpretado como uma conjunção que indica que ambas as partes da proposição são verdadeiras, ou seja, "Mário pratica natação" e "Mário não pratica judô". Portanto, a forma correta de simbolizar seria A ∧ ¬B, onde A representa "Mário pratica natação" e ¬B representa "Mário não pratica judô". A afirmação de que a proposição está corretamente simbolizada está equivocada, pois não se pode utilizar uma conjunção que sugira uma relação de adição de ideias de forma ambígua.

Conteúdo do catálogo FC Concursos · Atualizado em

Continue aprendendo