Ano: 2009Banca: CESPE / CEBRASPECargo: Auditor do Estado – Tecnologia da InformaçãoConcurso: SECONT-ES
A lógica sentencial, ou proposicional, trata dassentenças, ou proposições, passíveis de receberem um, e apenasum, entre os dois valores lógicos: falsa (F) ou verdadeira (V). Éusual simbolizar as proposições por letras maiúsculas do alfabetoe 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ãoB", ou "B é condição necessária para A", terá valor lógico Fquando 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.