Se João é esperto, então José é rápido. Se José não é rápido...
Se João é esperto, então José é rápido. Se José não é rápido, então João é esperto.
A tautologia que inferimos a partir das duas sentenças anteriores é:
Se João é esperto, então José é rápido. Se José não é rápido, então João é esperto.
A tautologia que inferimos a partir das duas sentenças anteriores é: