Lei de Peirce ((A→B)→A) tal que, → é o símbolo de implicação. Lei de Peirce lei diz que A deve ser verdadese você pode demonstrar que A implicando em B obriga A a ser verdade. Segundo Savan (1987-88: 14), “a ‘regra de qualificação’ estipula que, em qualquer sucessão, um membro de uma categoria pode ser […]

