Skip to content

Instantly share code, notes, and snippets.

@figaw

figaw/gist:4016957

Created November 5, 2012 12:29
Show Gist options
  • Save figaw/4016957 to your computer and use it in GitHub Desktop.
Save figaw/4016957 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
\section{A.2}
\[ (A_ 1 \cup A_2 ) \cap A_3 = (A_1 \cap A_3) \cup (A_2 \cap A_3) \]
\[ x \in (A_1 \cup A_2) \cap A_3 \to x \in (A_1 \cup A_2) \wedge x \in A_3 \to ( x \in A_1 \vee x \in A_2) \wedge x \in A_3 \]
\[ \to (x \in A_1 \wedge x \in A_3) \vee (x \in A_2 \wedge x \in A_3) \to x \in (A_1 \cap A_3) \vee x \in (A_2 \cap A_3) \]
\[ \to x \in (A_1 \cap A_3) \cup (A_2 \cap A_3) \]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment