AULA 1
7 Outubro 2021, 11:30 • Fernando Ferreira
Asserções matemáticas verdadeiras e falsas. Definições. Contraexemplos. Uma demonstração simples. Um corolário simples. O condicional (implicação) e sua tabela de verdade. O contrapositivo dum condicional (também se diz contrarrecíproco). O converso dum condicional (também se diz recíproco). Asserções logicamente equivalentes. Leis de De Morgan.