Se João é professor de Lógica, então tem uma turma de Introdução à Computação. Se um professor tem uma turma de Introdução à Computação, então ele tirará férias dobradas. Logo, se João é professor de Lógica, então tirará férias dobradas.

A regra de inferência utilizada neste argumento foi