Concurso:
Prefeitura de Caxambu do Sul - SC
Disciplina:
Matemática
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 é:
