AT03 Conceitos Básicos e Cálculo de Gentzen
26 setembro 2019, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Diagramas. Cálculo de Gentzen para a lógica de primeira ordem (G e G+Cut). Noção de sequente. Axiomas e regras.
26 setembro 2019, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Diagramas. Cálculo de Gentzen para a lógica de primeira ordem (G e G+Cut). Noção de sequente. Axiomas e regras.