A proposição (AB) (¬A B) é uma tautologia.
Próximas questões
Com base no mesmo assunto
Ano: 2008
Banca:
CESPE / CEBRASPE
Órgão:
SERPRO
Provas:
CESPE - 2008 - SERPRO - Analista - Desenvolvimento de Sistemas
|
CESPE - 2008 - SERPRO - Analista - Comunicação Social |
CESPE - 2008 - SERPRO - Analista - Redes |
Q43290
Raciocínio Lógico
Texto associado
Uma proposição é uma sentença que pode ser julgada
verdadeira (V) ou falsa (F). As proposições são normalmente
representadas pelas letras maiúsculas A, B, C etc. A partir de
proposições dadas, podem-se construir novas proposições
compostas, mediante o emprego de símbolos lógicos chamados
conectivos: "e", indicado pelo símbolo lógico
, e "ou", indicado pelo símbolo lógico
. Usa-se o modificador "não", representado pelo símbolo lógico ¬, para produzir a negação de uma
proposição; pode-se, também, construir novas proposições
mediante o uso do condicional "se A então B", representado
por A
B.O julgamento de uma proposição lógica composta
depende do julgamento que se faz de suas proposições
componentes. Considerando os possíveis julgamentos V ou F das
proposições A e B, tem-se a seguinte tabela-verdade para
algumas proposições compostas.
![Imagem 014.jpg](https://s3.amazonaws.com/qcon-assets-production/images/provas/1860/Imagem 014.jpg)
Considerando-se a proposição A, formada a partir das
proposições B, C etc. mediante o emprego de conectivos (
ou
), ou de modificador (¬) ou de condicional (
), diz-se que A é uma tautologia quando A tem valor lógico V, dependentemente
dos valores lógicos de B, C etc. e diz-se que A é uma contradição
quando A tem valor lógico F, independentemente dos valores
lógicos de B, C etc. Uma proposição A é equivalente a uma
proposição B quando A e B têm as tabelas-verdade iguais, isto é,
A e B têm sempre o mesmo valor lógico.
verdadeira (V) ou falsa (F). As proposições são normalmente
representadas pelas letras maiúsculas A, B, C etc. A partir de
proposições dadas, podem-se construir novas proposições
compostas, mediante o emprego de símbolos lógicos chamados
conectivos: "e", indicado pelo símbolo lógico
![Imagem 011.jpg](https://s3.amazonaws.com/qcon-assets-production/images/provas/1860/Imagem 011.jpg)
![Imagem 012.jpg](https://s3.amazonaws.com/qcon-assets-production/images/provas/1860/Imagem 012.jpg)
proposição; pode-se, também, construir novas proposições
mediante o uso do condicional "se A então B", representado
por A
![Imagem 013.jpg](https://s3.amazonaws.com/qcon-assets-production/images/provas/1860/Imagem 013.jpg)
depende do julgamento que se faz de suas proposições
componentes. Considerando os possíveis julgamentos V ou F das
proposições A e B, tem-se a seguinte tabela-verdade para
algumas proposições compostas.
![Imagem 014.jpg](https://s3.amazonaws.com/qcon-assets-production/images/provas/1860/Imagem 014.jpg)
Considerando-se a proposição A, formada a partir das
proposições B, C etc. mediante o emprego de conectivos (
![Imagem 015.jpg](https://s3.amazonaws.com/qcon-assets-production/images/provas/1860/Imagem 015.jpg)
![Imagem 016.jpg](https://s3.amazonaws.com/qcon-assets-production/images/provas/1860/Imagem 016.jpg)
![Imagem 017.jpg](https://s3.amazonaws.com/qcon-assets-production/images/provas/1860/Imagem 017.jpg)
dos valores lógicos de B, C etc. e diz-se que A é uma contradição
quando A tem valor lógico F, independentemente dos valores
lógicos de B, C etc. Uma proposição A é equivalente a uma
proposição B quando A e B têm as tabelas-verdade iguais, isto é,
A e B têm sempre o mesmo valor lógico.
A proposição (A
B)
(¬A
B) é uma tautologia.
![Imagem 009.jpg](https://arquivos.qconcursos.com/images/provas/1860/Imagem%20009.jpg)
![Imagem 009.jpg](https://arquivos.qconcursos.com/images/provas/1860/Imagem%20009.jpg)
![Imagem 010.jpg](https://arquivos.qconcursos.com/images/provas/1860/Imagem%20010.jpg)