Ano: 2008Banca: CESPE / CEBRASPECargo: 1ª REGIÃO (RJ) - Analista Judiciário - Área AdministrativaConcurso: TRT - 1ª REGIÃO (RJ)
Uma sentença que possa ser julgada como verdadeira- V - ou falsa - F - é denominada proposição. Parafacilitar o processo dedutivo, as proposições sãofreqüentemente simbolizadas. Considere como proposiçõesbásicas as proposições simbolizadas por letras maiúsculasdo alfabeto, tais como, A, B, P, Q, etc. Proposiçõescompostas são formadas usando-se símbolos lógicos. Sãoproposições compostas expressões da forma PQ que têmvalor lógico V somente quando P e Q são V, caso contráriovale F, e são lidas como "P e Q"; expressões da forma PQtêm valor lógico F somente quando P e Q são F, casocontrário valem V, e são lidas como "P ou Q"; expressõesda forma PQ têm valor lógico F somente quando P é V eQ é F, caso contrário valem V, e são lidas como "se P entãoQ". Expressões da forma ¬P simbolizam a negação de P, esão F quando P é V, e é V quando P é F. Com base nas informações do texto I, é correto afirmar que, para todos os possíveis valores lógicos, V ou F, que podem ser atribuídos a P e a Q, uma proposição simbolizada por ¬[P(¬Q)] possui os mesmos valores lógicos que a proposição simbolizada por