Qual regra lógica permite inferir "x é B" a partir de "Todo A é B" e "x é A"?

Instanciação universal seguida de modus ponens.

Partindo da premissa universal "Todo A é B", aplica-se a instanciação universal para obter a forma particular "Se x é A então x é B" (A(x) → B(x)).
Com a premissa singular "x é A", usa-se modus ponens para inferir "x é B".

Exemplo:
Premissas:
1) Todo triângulo tem três lados.
2) Esta figura é um triângulo.
Conclusão:
Esta figura tem três lados.