Lógica Matemática – Conjuntos e Funções (exercício 2)
Seja uma função $$f:X\longrightarrow Y$$, e sejam $$A$$ e $$B$$ subconjuntos de $$X$$. Então $$f(A\cup B)=f(A)\cup f(B)$$. Demonstração: De fato, se $$p\in f(A)\cup f(B)$$, é...
Lógica
Lógica Matemática – Conjuntos e Funções (exercício 1)
Uma função $$f:X\longrightarrow Y$$ é sobrejetora, se, e somente se, para cada $$A\subset X$$, tem-se que $$Y-f(A)\subseteq f(X-A)$$. Demonstração: Assumimos que $$f$$ é sobrejetora, isto...
Lógica Matemática – Conjuntos – Famílias (exercício 1)
Seja $$(A_{n})_{n\in\mathbb{N}}$$ uma família de conjuntos e $$A = \cup_{n\in\mathbb{N}}A_{n}$$. Prove que existe uma família $$(B_{n})_{n\in\mathbb{N}}$$, com $$B_{n} \subset B_{n+1}$$ e $$A = \cup_{n\in\mathbb{N}}B_{n}$$. Solução:...
Lógica Matemática – Relação de Equivalência (exercício 1)
Seja uma relação $$p$$, que é reflexiva e transitiva no conjunto $$A$$. Para $$a,b\in A$$, definimos $$a\sim b$$ se, e somente se, $$apb\land bpa$$. a)...
Lógica Matemática – Conjuntos – Exercício 4
Teoria de Conjuntos (Lista de exercícios e teoria) Prove que $$(A\cup B)-(A\cap B)=(A-B)\cup (B-A)$$. Demonstração: i) Afirmamos que $$(A\cup B) – (A\cap B)\subseteq (A-B)\cup (B-A)$$....
Lógica Matemática – Conjuntos – Leis de d’ Morgan
Dados os conjuntos $$A$$ e $$B$$, são válidas as seguintes afirmações: i) $$\overline{A\cup B}=\bar{A}\cap\bar{B}$$. ii) $$\overline{A\cap B}=\bar{A}\cup\bar{B}$$. Demonstração: i) Sê $$x\in \overline{A\cup B}$$, então $$x\notin...
Lógica Matemática – Conjuntos – Exercício 3
Prove that for all sets $$A$$, $$B$$ e $$C$$, $$(A\cap B)\cup C = A\cap (B\cup C)$$ iff $$C\subseteq A$$. Prove que, para quaisquer conjuntos $$A$$,...
Lógica Matemática – Conjuntos – Exercício 2
Clique aqui e veja o exercício anterior e as definições para conjuntos. Exercício 2 Prove as seguintes propriedades: a) $$A\subset A\cup B $$; b) $$A\cup...
Lógica Matemática – Conjuntos – Exercício 1
Usaremos as operações, União e Intersecção, entre conjuntos. Operações de Conjuntos Definição: Sejam dois conjuntos $$A$$ e $$B$$, a união é traduzida da seguinte maneira:...
