631 reputation
617
bio website
location
age
visits member for 3 years, 11 months
seen Dec 11 at 13:12

Dec
11
comment $\cap_{A \in \mathcal{F}}(B \cup A) \subseteq B \cup (\cap \mathcal{F})$
I should have used $A$ instead of $C$, not that it matters, but there was no good reason to change letters.
Dec
11
comment $\cap_{A \in \mathcal{F}}(B \cup A) \subseteq B \cup (\cap \mathcal{F})$
I think your argument uses what I'm trying to prove (that a free variable can be pulled out of the quantifier).
Dec
11
accepted $\cap_{A \in \mathcal{F}}(B \cup A) \subseteq B \cup (\cap \mathcal{F})$
Dec
11
revised $\cap_{A \in \mathcal{F}}(B \cup A) \subseteq B \cup (\cap \mathcal{F})$
cap to bigcap
Dec
11
asked $\cap_{A \in \mathcal{F}}(B \cup A) \subseteq B \cup (\cap \mathcal{F})$
Oct
30
awarded  Notable Question
Jul
2
awarded  Curious
Apr
10
awarded  Popular Question
Jan
20
awarded  Yearling
Nov
14
awarded  Notable Question
Nov
4
awarded  Nice Question
Sep
8
answered Propositional logic: Finding a formula F with statement variables from truth table
Sep
4
comment What does $\forall a \in A \exists b \in B(b \in C \rightarrow a \in C)$ mean?
Oh okay, I see. I'm getting confused. Thank you for the clarification.
Sep
4
comment What does $\forall a \in A \exists b \in B(b \in C \rightarrow a \in C)$ mean?
But actually it's not quite a function because there could be more than one $b$ that qualifies, right? In other words $\exists$ means there is at least one.
Sep
4
comment What does $\forall a \in A \exists b \in B(b \in C \rightarrow a \in C)$ mean?
Wow, you blew my mind when you said it says there's a function. I need a minute to mull that over.
Sep
4
comment What does $\forall a \in A \exists b \in B(b \in C \rightarrow a \in C)$ mean?
Yeah, I think that's understood. A, B, and C are arbitrary sets.
Sep
4
comment What does $\forall a \in A \exists b \in B(b \in C \rightarrow a \in C)$ mean?
What would $\forall C$ mean?
Sep
4
asked What does $\forall a \in A \exists b \in B(b \in C \rightarrow a \in C)$ mean?
Jul
19
awarded  Popular Question
May
12
awarded  Caucus