T 12 aula 5
4 Outubro 2022, 09:30 • Maria da Purificação Antunes Coelho
Apresentação (sem demonstração) do teorema da divisão inteira com resto. Demonstração de que, dado um inteiro positivo n, cada inteiro a é congruente módulo n com o resto da divisão inteira de a por n.
Representação simbólica e valor lógico de asserções da forma "Para todo o x, P(x)" e de asserções da forma "Existe x tal que P(x)" - alguns exemplos.