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. Tendo em vista as informações do texto I, considere que sejam verdadeiras as proposições: (I) Todos advogados ingressam no tribunal por concurso público; (II) José ingressou no tribunal por concurso público; e (III) João não é advogado ou João não ingressou no tribunal por concurso público. Nesse caso, também é verdadeira a proposição