T_5
4 Outubro 2022, 10:30 • Mário Jorge Edmundo
Consequência lógica, inferência válida e consequência lógica, exemplos; demonstrações e contra-exemplos; propriedades da consequência lógica; verdade lógica e consequência lógica; equivalência lógica e consequência lógica; tt-consequência, exemplos, tt-consequência e consequência lógica.