T_5

20 Outubro 2020, 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, exemplo.