Lógica Matemática – Teorema 1 – Filtros
O subconjunto $$\mathcal{F}\subset\mathcal{P}(I)$$ um filtro se, e somente se, vale a regra a seguir: \[A\cap B\in\mathcal{F}\Longleftrightarrow A,B\in\mathcal{F}.\] Demonstração 1) Válida a regra, demonstra-se que $$\mathcal{F}$$...


