También llamada contraria. Dada la proposición condicional p-->q, su inversa es ~p-->~q.
Ejemplo de Stanley Clemens et al.(Geometría, p. 60): la inversa de "si es aeroplano entonces se construyó para volar" es " si no es aeroplano entonces no se construyó para volar"