Se João estuda, então João passou na prova é uma proposição verdadeira. Sabe-se que João não passou na prova, logo:
João estudou.
João não estudou.
João mora em Sananduva.
João faz vários concursos públicos.
João não é servidor público.