Omega

less info
reputation
1516
bio website location age 19 member for 3 years, 1 month seen 2 days ago profile views 170

339 Actions

 Sep28 accepted How do I determine cardinalities, given the cardinality of other sets? Sep28 comment How do I determine cardinalities, given the cardinality of other sets? Awesome! Never would've thought of that one. Thank you. Sep28 revised How do I determine cardinalities, given the cardinality of other sets? deleted 3 characters in body Sep28 asked How do I determine cardinalities, given the cardinality of other sets? Sep28 comment Determining $(X \cap Y \subseteq \overline{A} \land Y \subseteq B) \implies Y \subseteq B - A$ By the way, if as a minor detail I was told that $A,B,X,Y$ were all subsets of an arbitrary $E$, this would still work, because $E$ is basically the universe of discourse here, right? Sep28 comment Determining $(X \cap Y \subseteq \overline{A} \land Y \subseteq B) \implies Y \subseteq B - A$ Interesting.. so basically, whenever I hit what seems to be a dead end, it is very likely that what I'm trying to prove is actually false :[ Sep28 accepted Determining $(X \cap Y \subseteq \overline{A} \land Y \subseteq B) \implies Y \subseteq B - A$ Sep28 asked Determining $(X \cap Y \subseteq \overline{A} \land Y \subseteq B) \implies Y \subseteq B - A$ Sep27 accepted How should I interpret a “but” when symbolizing logic statements? Sep27 comment How should I interpret a “but” when symbolizing logic statements? Ah, I said $Q$ because your quote said "then I will study". Sep27 comment How should I interpret a “but” when symbolizing logic statements? @Anonymous: Could you check on Greg's answer? He says that it isn't correct, so now I don't know what's going on :( Sep27 comment How should I interpret a “but” when symbolizing logic statements? So it should be like $P \land \lnot R \implies Q$ and then $R \implies Q \land S$? Sep27 asked How should I interpret a “but” when symbolizing logic statements? Sep27 asked How can I tell when an equivalence demonstration can be done bidirectionally? Sep27 asked What can be equivalent to $x \in \overline{A - (C-B)}$ in this demonstration? Sep26 comment How should I begin when trying to determine a proposition whose truth value is unknown? @Mufasa: There's no such thing as an initial strategy? :( Sep26 comment How should I begin when trying to determine a proposition whose truth value is unknown? @GitGud: Ah, yes. Edited. Sep26 revised How should I begin when trying to determine a proposition whose truth value is unknown? deleted 3 characters in body Sep26 comment How should I begin when trying to determine a proposition whose truth value is unknown? @Mufasa: Yeah, but I have noticed that usually when I make the wrong assumption, my proof doesn't lead to anything useful (not even a contradiction!), and instead it looks like a dead end. Sep26 asked How should I begin when trying to determine a proposition whose truth value is unknown?