Sumários
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.
T_11
25 Outubro 2022, 10:30 • Mário Jorge Edmundo
Mais regras de inferência: introdução e eliminação do condicional, introdução e eliminação do bicondicional; exemplos de demonstrações informais e formais, incluindo: modus tollens; se o quadrado de um número inteiro é par, então ele é par; silogismos hipotético; fortalecimento do antecedente; lei da dupla negação; parte da lei do contra-recíproco; parte da regra de substituição para o condicional.