Cada um no seu quadrado – Métodos analíticos e árvores de refutação

Quanta lógica você precisa saber, para lógica aprender – A artimanha de Münchhausen na lógica e outros divertimentos

Quando menos é mais — O teorema da forma normal disjuntiva e suas consequências para a capacidade expressiva

Dá para dizer isso? A noção de expressividade na lógica proposicional clássica.