CKCpqNqNp es isomorfo a CCCpqCCqfffCpf
CKCpqNqNp es Modus Tollens. La reducción del operador N a C se encontró con el famoso Problema de la negación frente a la implicación. Lukasiewicz demostró que Np es isomorfo a Cp0 (Si p, entonces falso). Toda constante se puede pasar a una variable si es que no pierde su connotación relacional. Por lo tanto, 0 se puede sustituir por la variable f si es que f mantiene su connotación relacional de que significa falso. Por lo tanto, Cp0 se puede transformar a Cpf. Por lo tanto, Nq y Np de CKCpqNqNp se pueden transformar en Cqf y Cpf. Por lo tanto, CKCpqNqNp se puede transformar en CKCpqCqfCpf. Luego, K se puede reducir a C solamente a través de el teorema de isomorfismo entre Kpq y NCpNq. Luego, NCpNq es isomorfo a CCpfCqf. Luego, KCpqCqf se puede transformar en su proposición isomorfa reducida mediante C solamente. Luego, CKCpqCqfCpf se puede transformar a CCCpqCCqfffCpf.