Problem #2: ⊢ ∀xFx v ~∀xFx

Frege system:
01. | ~(∀xFx v ~∀xFx) - Assume
02. | ~∀xFx & ~~∀xFx - 1, DeMorgan's Theorem
03. ~~(∀xFx v ~∀xFx) - 1-2 Indirect Proof
04. ∀xFx v ~∀xFx - Double Negation

Fitch system:
01. | ~(∀xFx ∨ ~∀xFx) - Assume
02. | | ∀xFx - Assume
03. | | ∀xFx ∨ ~∀xFx - 2 vI
04. | | ⊥ - 1,3 ⊥I
05. | ~∀xFx - 2-4 ~I
06. | ∀xFx ∨ ~∀xFx - 5 vI
07. | ⊥ - 1,6 ⊥I
08. ~~(∀xFx ∨ ~∀xFx) - 1-7 ~I
09. (∀xFx ∨ ~∀xFx) - 8 ~E

Problem #3: ∀x∀yGxy ⊢ ∃xGxx

Frege system:
01. ∀x∀yGxy
02. ∀yGay - 1 Universal Instantiation
03. Gaa - 2 Universal Instantiation
04. ∃xGxx - 3 Existential Generalization

Fitch system:
01. ∀x∀yGxy
02. ∀yGay - 1 ∀E
03. Gaa - 2 ∀E
04. ∃xGxx - 3 ∃I

Now that we've studied Frege's logic, let us move on to his social theories

Can we all chillaz

Which one of you made this form?

Very nice weather

A country has the Jews it deserves. Just as mosquitoes can thrive and settle only in swamps, likewise the former can only thrive in the swamps of our sins.

— Corneliu Zelea Codreanu

Anyone in chat ever been to Nashua, New Hampshire?

Elmo won’t like it in the Rheinwiesenlager

America's anti-German propaganda is so funny

Imagine being this mad because someone was being hospitable to you

Who would have guessed that the religious extremist group kicked out of England would have been up to no good after being kicked out of England lol

> "Why is my phone battery dying so fast?"
> Had flashlight turned on.

Be easily governable

Yooper Steve has also counted higher than any other Yooper