T_12
28 Outubro 2022, 09:30 • Mário Jorge Edmundo
Variáveis, termos, exemplos, notação prefixa e infixa; fórmulas atómicas, exemplos, notação prefixa e infixa; fórmulas, quantificador universal e quantificador existencial; variáveis livres, exemplos; variáveis mudas e sentenças.