História da quantificação – 2ª Parte: Os quantificadores modernos

História da quantificação – 1ª Parte: Silogística, a primeira lógica quantificada

Propriedades de conjuntos definíveis na lógica de primeira ordem

Devido a convocação para reunião extraordinária do Departamento de Filosofia em horário conflitante, está cancelado o encontro do dia 25/11/2022.

Devido a questões de saúde, o seminário desta semana será cancelado.

Propriedades de conjuntos definíveis na lógica de primeira ordem

A tradução da lógica proposicional clássica na lógica proposicional intuicionista – Parte II Atenção: Na semana seguinte, dia 14/10, não haverá seminário. Devemos retornar no dia 21/10.

A tradução da lógica proposicional clássica na lógica proposicional intuicionista – Parte I

A tradução da lógica proposicional clássica na lógica proposicional intuicionista – Parte I

Noções básicas de LaTeX — Parte IV