Esto es, "Si no "Q", entonces no "P"", o más precisamente "Si "Q" no es el caso, entonces "P" no es el caso." Usando nuestro ejemplo, "Si "Sócrates no es humano", entonces "Sócrates no es un hombre"." Esta sentencia se dice que es contrapuesta con relación a la original y las dos son lógicamente equivalentes.