Sumários
24 Outubro 2024, 13:00
•
António José Teiga Zilhão
Resolução de exercícios na Teoria dos Conjuntos.
24 Outubro 2024, 09:00
•
Maria Adriana Sequeira da Silva Graça
Método da demonstração condicional. Sua necessidade para assegurar a completude do Cálculo Proposicional.
Exercícios.
22 Outubro 2024, 13:00
•
António José Teiga Zilhão
II.12.3. O conjunto-potência P do conjunto de pares ordenados resultante do produto cartesiano entre conjuntos M e N como o conjunto cujos elementos são todas as relações que podem estabelecer-se entre os elementos de M e N. O cardinal de P como o número total de relações que podem estabelecer-se entre M e N.
II.12.4. Definição de relação-complemento de uma relação.
II.12.5. Definição de relação inversa de uma relação.
II.13. Propriedades de Produtos Cartesianos e de Relações.
II.13.1. Propriedades de Produtos Cartesianos.
II.13.2. Propriedades de Relações.
II.14. Definição de Função na Teoria dos Conjuntos.
22 Outubro 2024, 09:00
•
Maria Adriana Sequeira da Silva Graça
Exercícios: demonstração de validade de argumentos dados na linguagem natural.
21 Outubro 2024, 13:00
•
António José Teiga Zilhão
II. 10. Pares ordenados
II.10.1. O conceito de um par ordenado.
II.10.2. Representação da noção de ordem na Teoria dos Conjuntos.
II.10.3. Definição de par ordenado de Kuratowski.
II.10.4. Teorema dos pares ordenados - enunciado e demonstração.
II.10.5. Definições de par ordenado recíproco e idêntico.
II.10.6. Definição de terno ordenado.
II.11. Produtos Cartesianos
II.11.1. Definição de 'Produto Cartesiano'.
II.11.2. Exemplos de produtos cartesianos.
II.11.3. Formas de representação gráfica de produtos cartesianos.
II.11.4. Quadrados cartesianos.
II.11.5. Representação no plano cartesiano de produtos cartesianos entre subconjuntos de R.
II.12. Relações
II.12.1 Definição do conceito de Relação na Teoria dos Conjuntos como subconjunto de um produto cartesiano entre conjuntos.
II.12.2. Domínio e contradomínio de uma relação.