Sumários
T_11
19 Novembro 2021, 09:30 • Mário Jorge Edmundo
Regras de inferência para o condicional e o bicondicional. Exemplos de demonstrações informais (modus tollens, se k^2 é par, então k é par). Exemplos de demonstrações formais (modus tollens, silogismo hipotético, fortalecimento do antecedente, lei da dupla negação, lei do contra-recíproco, regra de substituição para o condicional).
TP11_12
19 Novembro 2021, 08:00 • Mário Jorge Edmundo
Exemplos de sentenças com o condicional e o bicondicional e expressões mal formadas numa LPO; Exemplos de sentenças e respectivas traduções; Resolução dos exercícios 48 e 50.
Demonstrações formais envolvendo os conectivos disjunção, conjunção, negação e contradição.
18 Novembro 2021, 10:30 • Maria João Antunes Dias Gouveia
Correcção do TPC (ex. 41).