Siendo "p" y "q" dos proposiciones se obtienen los siguientes teoremas, intercambiando la hipótesis con la conclusión y luego considerando las negaciones de las proposiciones originales.