Sumários
17 Outubro 2023, 14:00
•
Maria Adriana Sequeira da Silva Graça
Exercícios.
17 Outubro 2023, 09:30
•
António José Teiga Zilhão
A.
II.9. Produtos Cartesianos
II.9.6. Propriedades de Produtos Cartesianos.
II.10. Relações
II.10.1 Definição do conceito de Relação na Teoria dos Conjuntos como subconjunto de um produto cartesiano entre conjuntos.
II.10.2. Domínio e contradomínio de uma relação.
II.10.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.10.4. Distinção entre relação-complemento de uma relação e relação inversa de uma relação.
B.
Resolução de exercícios na Teoria dos Conjuntos.
16 Outubro 2023, 14:00
•
Maria Adriana Sequeira da Silva Graça
Formas argumentativas de equivalência: Negação Dupla, De Morgan, Implicação, Contraposição, Distributividades (&/v e v/&), Comutatividade e Associatividade da Conjunção e da Disjunção, Exportação, Equivalência.
Demonstração de validade de argumentos por meio de uma derivação usando todas as regras do Cálculo Proposicional.
Teste de validade de argumentos por meio de tabelas de verdade. O argumento é válido se e somente se a fórmula que o representa no cálculo --uma implicação cujo antecedente é a conjunção das suas premissas e o consequente é a sua conclusão-- é uma tautologia (uma implicação lógica).
16 Outubro 2023, 09:30
•
António José Teiga Zilhão
II. 8. Pares ordenados
II.8.1. O conceito de um par ordenado.
II.8.2. Representação da noção de ordem na Teoria dos Conjuntos.
II.8.3. Definição de par ordenado de Kuratowski.
II.8.4. Teorema dos pares ordenados - enunciado e demonstração.
II.8.5. Definições de par ordenado recíproco e idêntico.
II.8.6. Definição de terno ordenado.
II.9. Produtos Cartesianos
II.9.1. Definição de 'Produto Cartesiano'.
II.9.2. Exemplos de produtos cartesianos.
II.9.3. Formas de representação gráfica de produtos cartesianos.
II.9.4. Quadrados cartesianos.
II.9.5. Representação no plano cartesiano de produtos cartesianos entre subconjuntos de R.
12 Outubro 2023, 12:30
•
Maria Adriana Sequeira da Silva Graça
Traduções de enunciados da linguagem corrente para a linguagem do cálculo.
Condição necessária e condição suficiente.
Exercícios.