Regras de Inferência – Exercícios

A seguir apresento alguns exercícios resolvidos de regras de inferência.

Na coluna direita estão indicadas as linhas e as regras de inferência que produziram a fórmula da coluna esquerda.