Sumários
TP14: Demonstrações formais e os conectivos lógicos condicional e bicondicional.
27 Outubro 2023, 11:30 • Mário João de Jesus Branco
Exerc. 43(3), (4) e 45.
T11_12
27 Outubro 2023, 09:30 • Mário Jorge Edmundo
Variáveis, termos, exemplos; fórmulas atómicas, exemplos; fórmulas, quantificado universal, quantificado existencial; nota sobre parênteses; variáveis livres, exemplos; variáveis mudas, sentenças.