FC ConcursosFC Concursos

Questão FC148759

Texto para o item Proposições são sentenças que podem ser julgadas como verdadeiras — V — ou falsas — F —, mas não como ambas, simultaneamente. As proposições são freqüentemente re

Lógica de Proposições

CEBRASPE (CESPE)

Texto para o item

Proposições são sentenças que podem ser julgadas como verdadeiras — V — ou falsas — F —, mas não como ambas, simultaneamente. As proposições são freqüentemente representadas por letras maiúsculas e, a partir de proposições simples, novas proposições podem ser construídas utilizando-se símbolos especiais. Uma expressão da forma A→B, que é lida como “se A, então B”, é F se A for V e se B for F e, nos demais casos, será sempre V. Uma expressão da forma A∧B, que é lida como “A e B”, é V se A e B forem V e, nos demais casos, será sempre F. Uma expressão da forma A∨B, que é lida como “A ou B”, é F se A e B forem F e, nos demais casos, será sempre V. Uma expressão da forma ¬A, a negação de A, é V se A for F e é F se A for V.
Julgue o item que segue, a respeito de lógica sentencial e de primeira ordem, tendo como referência as definições apresentadas no texto.

A negação da proposição “Existe banco brasileiro que fica com mais de 32 dólares de cada 100 dólares investidos” pode ser assim redigida: “Nenhum banco brasileiro fica com mais de 32 dólares de cada 100 dólares investidos.”
Mostrar resposta e comentário

Gabarito

Certo

Comentário do professor

Comentário: A negação de uma proposição existencial, como "Existe banco brasileiro que fica com mais de 32 dólares de cada 100 dólares investidos", é feita transformando-a em uma proposição universal negativa. Isso significa que, ao negar a afirmação, afirmamos que "Nenhum banco brasileiro fica com mais de 32 dólares de cada 100 dólares investidos", o que reflete adequadamente a lógica envolvida. Assim, a transformação está correta, validando o gabarito como "CERTO".

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

Continue aprendendo