-
13/05/2022
Cada um no seu quadrado – Métodos analíticos e árvores de refutação
-
06/05/2022
Quanta lógica você precisa saber, para lógica aprender – A artimanha de Münchhausen na lógica e outros divertimentos
-
29/04/2022
Quando menos é mais — O teorema da forma normal disjuntiva e suas consequências para a capacidade expressiva
-
14/04/2022
Dá para dizer isso? A noção de expressividade na lógica proposicional clássica.