Questões de Concurso Público SECONT-ES 2009 para Auditor do Estado – Tecnologia da Informação
Foi encontrada 1 questão
sentenças, ou proposições, passíveis de receberem um, e apenas
um, entre os dois valores lógicos: falsa (F) ou verdadeira (V).
É usual simbolizar as proposições por letras maiúsculas do
alfabeto e construir novas proposições usando-se símbolos
lógicos. A proposição simbolizada por ¬A, a negação da
proposição A, terá valor lógico V, se A for F, e valor lógico F, se
A for V. A proposição simbolizada por A
![Imagem 005.jpg](https://s3.amazonaws.com/qcon-assets-production/images/provas/1013/Imagem 005.jpg)
B", terá valor lógico F quando A e B forem F, e, nos demais
casos, será V. A proposição simbolizada por A
![Imagem 006.jpg](https://s3.amazonaws.com/qcon-assets-production/images/provas/1013/Imagem 006.jpg)
A, então B", ou "B é condição necessária para A", terá valor
lógico F quando A for V e B for F, e, nos demais casos será V.
A proposição simbolizada por A
![Imagem 007.jpg](https://s3.amazonaws.com/qcon-assets-production/images/provas/1013/Imagem 007.jpg)
valoração V quando A e B forem V, e, nos demais casos, será F.
Um argumento é denominado válido, ou correto, se,
simbolizado por
![Imagem 002.jpg](https://s3.amazonaws.com/qcon-assets-production/images/provas/1013/Imagem 002.jpg)
for valorado sempre como V.
Com base nessas definições, julgue os itens a seguir.