Uma expectativa inerente aos sistemas lógicos é a da consistência, isto é, de não violar o princípio da não contradição. cuja definição é de que nã...

Uma expectativa inerente aos sistemas lógicos é a da consistência, isto é, de não violar o princípio da não contradição. cuja definição é de que não é possível atribuir à uma proposição qualquer “p” os valores lógicos verdadeiro e falso simultaneamente, tornando o sistema inconsistente. Surge assim, a concepção das lógicas paraconsistentes cujo principal expoente é o professor Newton C. A da Costa. Dessa forma, da Costa (1993) construiu uma hierarquia de cálculo proposicionais Cw,1≤n≤w para satisfazer basicamente as condições: DA COSTA, N. C. A. Lógica indutiva e probabilidade. 2. ed. São Paulo: Hucitec, 1993. Considerando as informações apresentadas, analise as afirmativas a seguir: I. O Princípio da não contradição ~(p ˄ ~p) deve ser válido no geral. II. De duas premissas contraditórias deve ser possível, em geral, deduzir-se qualquer conclusão, ou seja, “p”, “~p Ͱ q”. III. Todos os esquemas e regras da lógica clássica que forem compatíveis com as duas primeiras devem ser preservadas. IV. Denotando de C0 o cálculo proposicional clássico se obtém a seguinte hierarquia de cálculos: C0,C1,C2,...,Cn,…,Cw Considerando o contexto apresentado, é correto o que se afirma em: Escolha uma opção: a. I, apenas. b. I e II, apenas. c. I, II, III e IV. d. I, II e IV, apenas. e. III e IV, apenas.