Se a proposição simbolizada por C for um argumento válido, e...
Próximas questões
Com base no mesmo assunto
Ano: 2009
Banca:
CESPE / CEBRASPE
Órgão:
SECONT-ES
Prova:
CESPE - 2009 - SECONT-ES - Auditor do Estado – Tecnologia da Informação |
Q48172
Raciocínio Lógico
Texto associado
A lógica sentencial, ou proposicional, trata das
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 AB, lida como "A ou B", terá
valor lógico F quando A e B forem F, e, nos demais casos, será
V. A proposição simbolizada por AB, lida como "se 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 AB, que se lê "A e B", terá
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 , for uma tautologia, isto é,
for valorado sempre como V.
Com base nessas definições, julgue os itens a seguir.
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 AB, lida como "A ou B", terá
valor lógico F quando A e B forem F, e, nos demais casos, será
V. A proposição simbolizada por AB, lida como "se 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 AB, que se lê "A e B", terá
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 , for uma tautologia, isto é,
for valorado sempre como V.
Com base nessas definições, julgue os itens a seguir.
Se a proposição simbolizada por C for um argumento válido, então a proposição (¬C) será falsa.