[ home / overboard ] [ soy / qa / raid / r ] [ int / pol ] [ a / an / asp / biz / mtv / r9k / tech / v / sude / x ] [ q / news / chive / rules / pass / bans / status ] [ wiki ]

A banner for soyjak.party

/soy/ - Soyjaks

The Serious Board™ for feedback, suggestions, and metawhining
Catalog
Email
Subject
Comment
File
Password (For file deletion.)

File: 1788142206939j.gif 📥︎ (28.86 KB, 415x915) ImgOps

 17916471[Quote]

Why swinny won:

A ∪ B = C ⇒ (A ∨ B) ⇒ C ⇔ (A ∨ B) ∴ D = A ∩ B ⊆ C ⇒ D ⇒ ¬E ⇒ D ⇔ ¬E ∴ C ∩ ¬D = ∅ ⇒ C ∪ ¬D = H ⇒ H ⇒ (C ∩ ¬D) ⇒ ∅ ⇒ ¬H ⇒ ¬(C ∪ ¬D) ⇒ ¬C ∩ ¬¬D ⇒ ¬C ∩ D ⇒ D ⇒ ¬C ∧ C ⇒ (C ∩ ¬C) ⇒ ∅ ⇒ ¬D ∴ C ⇒ D ∧ ¬D ⇒ C ⇒ (D ∩ ¬D) ⇒ ∅ ⇒ ¬C ⇒ ¬(A ∪ B) ⇒ ¬A ∩ ¬B ⇒ A = ∅ ∧ B = ∅ ⇒ A ∪ B = ∅ ∧ A ∩ B = ∅ ⇒ C = D = ∅ ⇒ C ⇔ D ⇒ A ∪ B ⇔ A ∩ B ⇒ A = B = ∅ ⇒ A ∆ B = (A ∪ B) − (A ∩ B) = ∅ ⇒ ¬(A ∆ B) ⇒ M = ∅ ⇒ ¬M = U ⇒ M ∪ ¬M = U ∧ M ∩ ¬M = ∅ ⇒ N = (A ∪ B) ⇒ (C ∩ D) ⇒ N = (A ∪ B) ⇒ (A ∩ B) ⇒ ∅ ⇒ ∅ ⇒ N ⇒ N ⇔ N ⇒ N ∪ ¬N = U ⇒ N = U ⇒ (A ∪ B) ⇒ (A ∩ B) = U ⇒ A ∪ B = A ∩ B ⇒ A = B ⇒ A = ∅ ⇒ B = ∅ ⇒ A ∪ B = ∅ ⇒ A ∩ B = ∅ ⇒ A ∆ B = ∅ ⇒ ¬A = U ⇒ ¬B = U ⇒ A ⇔ B ⇒ A ⇒ B ⇒ B ⇒ A ⇒ (A ⇒ B) ∧ (B ⇒ A) ⇒ A ⇔ B ⇒ A = B ⇒ A ∩ B = A ⇒ A ∪ B = A ⇒ A = ∅ ⇒ B = ∅ ⇒ ¬(A ∪ B) = U ⇒ U ∩ (A ∪ B) = ∅ ⇒ A ∩ B = ∅ ⇒ D = ∅ ⇒ D ⇒ C ⇒ C ⇒ C ⇒ ¬C ⇒ C ∧ ¬C ⇒ ⊥ ⇒ ⊥ ⇒ A ⇒ ⊥ ⇒ B ⇒ ⊥ ⇒ (A ∪ B) ⇒ ⊥ ⇒ C ⇒ C ⇒ D ⇒ D ⇒ ¬C ⇒ ¬C ⇒ ¬D ⇒ ¬D ⇒ C ⇒ C ⇔ D ⇔ ¬C ⇔ (C ∧ ¬C) ⇔ ⊥ ⇒ C = ∅ ⇒ A ∪ B = ∅ ⇒ A = B = ∅ ⇒ A ⇔ B ⇒ A ⇒ B ⇒ B ⇒ A ⇒ (A ∨ B) ∧ (¬A ∨ ¬B) ⇒ ((A ⇒ B) ∧ (B ⇒ A)) ⇒ (A ∩ B) ⇒ (A ∪ ¬A) ∩ (B ∪ ¬B) = U ⇒ (A ∩ B) ∪ (¬A ∩ ¬B) = U ⇒ (A ∩ ¬B) ∪ (¬A ∩ B) = ∅ ⇒ A = B ⇒ A = ∅ ⇒ B = ∅ ⇒ A ∪ B = ∅ ⇒ A ∩ B = ∅ ⇒ ¬A ∩ ¬B = U ⇒ (A ∪ B) ⇔ (¬A ∩ ¬B) ⇒ ∅ ⇔ U ⇒ ⊥ ⇔ ⊤ ⇒ ⊤ ⇒ ⊥ ⇒ ⊥ ⇒ ⊤ ⇒ ⊤ ⇔ ⊥ ⇒ Q.E.D.

 17916567[Quote]

marge?

 17916594[Quote]

medserald

 17916702[Quote]

i have a proofs quiz tomorrow geg

 17916739[Quote]

are we using ⇒ as a conditonal like my proofs class or as logical implication like my analysis class



[Return][Catalog][Go to top][Post a Reply]
Delete Post [ ]
[ home / overboard ] [ soy / qa / raid / r ] [ int / pol ] [ a / an / asp / biz / mtv / r9k / tech / v / sude / x ] [ q / news / chive / rules / pass / bans / status ] [ wiki ]