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
Autenticação
Limite Diário Atingido
Você atingiu o limite de 10 questões diárias para usuários sem plano. Ao se tornar um membro, você poderá:
Resolver mais questões e melhorar seu desempenho.
Acessar conteúdo exclusivo da IAProvatec.
Potencializar seus estudos com estatísticas avançadas.
Que tal se tornar um membro agora e aproveitar todos os recursos da plataforma?