Questão FC149215
Proposições são sentenças que podem ser julgadas como verdadeiras — V —, ou falsas — F —, mas não cabem a elas ambos os julgamentos. As proposições simples são freqüentemente simbo
Lógica de Proposições
As proposições simples são freqüentemente simbolizadas por letras maiúsculas do alfabeto, e as proposições compostas são conexões de proposições simples.
Uma expressão da forma A ∧ B é uma proposição composta que tem valor lógico V quando A e B forem ambas V e, nos demais casos, será F, e é lida “A e B”.
A expressão ¬A, “não A”, tem valor lógico F se A for V, e valor lógico V se A for F.
A expressão A ∨ B, lida como “A ou B”, tem valor lógico F se ambas as proposições A e B forem F; nos demais casos, é V.
A expressão A→B tem valor lógico F se A for V e B for F. Nos demais casos, será V, e tem, entre outras, as seguintes leituras: “se A então B”, “A é condição suficiente para B”, “B é condição necessária para A”.
Uma argumentação lógica correta consiste de uma seqüência de proposições em que algumas são premissas, isto é, são verdadeiras por hipótese, e as outras, as conclusões, são obrigatoriamente verdadeiras por conseqüência das premissas.
Considerando as informações acima, julgue o item.
Considerando que A e B simbolizem, respectivamente, as proposições “A publicação usa e cita documentos do Itamaraty” e “O autor envia duas cópias de sua publicação de pesquisa para a Biblioteca do Itamaraty”, então a proposição B→A é uma simbolização correta para a proposição “Uma condição necessária para que o autor envie duas cópias de sua publicação de pesquisa para a Biblioteca do Itamaraty é que a publicação use e cite documentos do Itamaraty”.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Comentário: A proposição B→A, que se lê "se B então A", está correta no contexto apresentado, pois afirma que para o autor enviar duas cópias de sua publicação à Biblioteca do Itamaraty (B), é necessário que a publicação use e cite documentos do Itamaraty (A). Essa relação é uma condição necessária, já que a realização de B implica que A deve ser verdadeira. Em lógica, isso é representado corretamente pela implicação, onde o antecedente (B) leva à conclusão (A). Portanto, a interpretação e a simbolização estão alinhadas com os princípios do raciocínio lógico, confirmando que o item está CERTO.
Conteúdo do catálogo FC Concursos · Atualizado em