Symbolic Logic

by Lewis Carroll

1. 1cd₀ † 2a₁d′₀ † 3b₁c′₀; 1cd † 2ad′ † 3bc′ ¶ ab₀ † a₁ † b₁
i.e. ¶ a₁b₀ † b₁a₀

2. 1d₁b′₀ † 2ac′₀ † 3bc₀; 1db′ † 3bc † 2ac′ ¶ da₀ † d₁ i.e. ¶ d₁a₀

3. 1ba₀ † 2cd′₀ † 3d₁b′₀; 1ba † 3db′ † 2cd′ ¶ ac₀

4. 1bc₀ † 2a₁b′₀ † 3c′d₀; 1bc † 2ab′ † 3c′d ¶ ad₀ † a₁ i.e. ¶ a₁d₀

[pg156] 5. 1b′₁a₀ † 2bc₀ † 3a′d₀; 1b′a † 2bc † 3a′d ¶ cd₀

6. 1a₁b₀ † 2b′c₀ † 3d₁a′₀; 1ab † 2b′c † 3da′ ¶ cd₀ † d₁ i.e. ¶ d₁c₀

7. 1db′₀ † 2b₁a′₀ † 3cd′₀; 1db′ † 2ba′ † 3cd′ ¶ a′c₀

8. 1b′d₀ † 2a′b₀ † 3c₁d′₀; 1b′d † 2a′b † 3cd′ ¶ a′c₀ † c₁ i.e. ¶ c₁a′₀

9. 1b′₁a′₀ † 2ad₀ † 3b₁c′₀; 1b′a′ † 2ad † 3bc′ ¶ dc′₀

10. 1cd₀ † 2b₁c′₀ † 3ad′₀; 1cd † 2bc′ † 3ad′ ¶ ba₀ † b₁ i.e. ¶ b₁a₀