█████████████

████████ ███████ (████████████████)

Eine ███████ A ist ein ████, der entweder ████ (w, ████, `████`, █, ⊤) oder nicht ████ (f, ██████, `█████`, █, ⊥) ist. Das ████ ██████ ███ ████████ als auch ███ ██████████ ████████. „██████████████“ ████ es nicht. Eine ███████ kann ██████ der ████████████ ███████ ██████████ als auch der ███████ der ██████████. Eine ████████████████ ist eine ███████, die █████ █████████████████ █████████████ (nicht, und, oder, ████ … dann, █████ dann ████) ███████.

█████████ ███ █████████████████:

• ${\displaystyle A_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$: ███████ ist ███ ██ von ███████ ████████.
• ${\displaystyle A_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$: █ ist durch █ ███████.
• ${\displaystyle A_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$: █████████ █████████ wird in der ████████ ██████ █████████ ██████████████.
• ${\displaystyle A_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$: Alle █████ sind ████.

${\displaystyle A_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ ist ██████████████ ████ (████████ █████████████ ███████), ${\displaystyle A_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ dagegen ist ██████ (es ████ ████████ ██████████████). ${\displaystyle A_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ ██████ im ██████████████ █████ █████ ███████ ███ (███████ █████ in █████████ ████████, hat ████████████████████████), ████████ ████ ███ ${\displaystyle A_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$.

In der ███████████ █████████████ ist eine ███████ entweder ████ oder nicht ████, auch ████ ███ den ███████████████ nicht █████. Das ist zum ████████ bei den ██████████ ██████████████ █████████ der ████.

█████████: ${\displaystyle A_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ ist eine ███-███████; die ████████ ███████ ████████ ist ██████████ der ███████████████. Im █████ der █████████████ ist es eine ████████████████.

█████████ ███████ – ████████

Die ██████████ ███. ████████ (auch: ██████████████, ██████ ██████████, ██████████████████ █████████) einer ███████ A ist diejenige ███████ ¬A, die █████ dann ████ ist, ████ A ██████ ist, und die █████ dann ██████ ist, ████ A ████ ist. █████████: Die ██████████ einer ███████ A █████ den █████████████ von A in sein █████████ um.

███ ██████ die ██████████ einer ███████ A █████ dadurch, dass ███ ███ die ████████████ „Es ist nicht der ████, dass“ ███████████. Zwar █████ sich ein █████████████████████ ████ auch █████████, indem ███ das ████ „nicht“ oder eine ██████ ████████ ████████████ an ██████████ ██████ ███████ – es ist aber nicht █████ ████ ███████, zu ████████, welche ████████████ zu █████████ und an welcher ██████ ██████████ ist. ██████ ████████ ███ ███ „nicht A“ in der ████████████████ ████████ (████████████) ¬A, auf ████████ und in der █████████████ auch „NOT A“, ████████████ auch ~A.

███ █████████ die ██████ █████████:

• ¬${\displaystyle A_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$: Es ist nicht der ████, dass ███████ ███ ██ von ███████ ████████ ist.
• ¬${\displaystyle A_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$: Es ist nicht der ████, dass █ durch █ ███████ ist.
• ¬${\displaystyle A_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$: Es ist nicht der ████, dass █████████ █████████ in der ████████ ██████ █████████ ██████████████ wird.
• ¬${\displaystyle A_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$: Es ist nicht der ████, dass alle █████ ████ sind. (Es ████ ██████████ ein ████, das nicht ████ ist.)

█████████ ████ ███ die ██████████:

• ████ eine ███████ A ████ ist, ist die ██████████ ¬A ██████.
• ████ eine ███████ A ██████ ist, ist die ██████████ ¬A ████.
• Eine ███████ A kann nicht ████████████ ████ und ██████ sein.
• Die ████████ A und ¬A ██████ nicht ████████████ ████ sein.

Und-██████████ ████████ – ███████████

Eine ███████████ ist eine aus ████ ████████ ████████████████ ███████, die die ████████ ███ █████ ████████████ █████████. █████████████████ █████████ ███ ████ ████████ A und B durch das █████████ „und“ zu einer ███████████ „A und B“, in der █████████ ███████ █████████ ███ █████ das ███████ ∧ (████████████: A ∧ B), ████████████ auch &.

• ███████████: „A und B“
• ████████████: A ∧ B
• auf ████████ und in der █████████████ auch A ███ B

Die ███████ A ∧ B ist █████ dann ████, ████ ██████ A als auch B ███████ ████ sind. ███████████ ist A ∧ B ██████, ███████ dann, ████ entweder A oder B oder beide ████████ ██████ sind.

█████████ ███ eine Und-███████████:

• A: █ ist durch █ ███████
• B: █ ist eine ███████████

█████ ████████████ und ████ ██████████ werden ███ durch ∧ ███████████ █████████:

• ${\displaystyle C_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$: █ ist durch █ ███████ und █ ist eine ███████████.
• ${\displaystyle C_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$: █ ist nicht durch █ ███████ und █ ist eine ███████████.
• ${\displaystyle C_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$: █ ist durch █ ███████ und █ ist █████ ███████████.
• ${\displaystyle C_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$: █ ist nicht durch █ ███████ und █ ist █████ ███████████.

███ ${\displaystyle C_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ = A ∧ B ist ████, weil A ████ ist und auch B ████ ist. ${\displaystyle C_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ = ¬A ∧ B ist ██████, weil ¬A ██████ ist. ${\displaystyle C_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ = A ∧ ¬B ist ██████, weil ¬B ██████ ist. ${\displaystyle C_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ = ¬A ∧ ¬B ist ██████, weil ██████ ¬A als auch ¬B ██████ ist.

████████████████████ Oder – ███████████

Eine ███████████ ist eine ████████████████ ███████, die █████████, dass ██████████ eine █████ ████████████ ████ ist. Die ███████████ in ██████ ████ wird auch ████████████████████ Oder ███████. (Aber ███████: Die ███████████ „███████████“ wurde und wird ███ auch ███ das ██████████████ Oder, „entweder … oder“, █████████ – ███ █████ an das ███████ der ██████████ ██████. Einige ███████ █████████ daher ███ das ███████████████████ Oder den ███████ ██████████.) Das █████████████ ∨ ██████ von dem ████████████ ████ ███; ███ ███████████████ Oder wurde im ████████████ ███ … ███ ████████.

• ███████████: „A oder B“; ███████: „A oder B oder beide“, ██████ in ████████████ oder █████████████ ██████: „A und/oder B“
• ████████████: A ∨ B
• auf ████████ und in der █████████████ auch A ██ B

Die ███████ A ∨ B ist █████ dann ████, ████ ██████████ eine der ████████████ A oder B ████ ist, ███. ████ beide ████████████ ████ sind. ███████████ ist A ∨ B ██████, ███████ dann, ████ ██████ A als auch B ██████ sind.

████████ ███ eine Oder-███████████:

• A: █ ist durch █ ███████
• B: █ ist eine ███████████

█████ ████████████ und ████ ██████████ werden ███ durch ∨ ███████████ █████████:

• ${\displaystyle C_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$: █ ist durch █ ███████ oder █ ist eine ███████████.
• ${\displaystyle C_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$: █ ist nicht durch █ ███████ oder █ ist eine ███████████.
• ${\displaystyle C_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$: █ ist durch █ ███████ oder █ ist █████ ███████████.
• ${\displaystyle C_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$: █ ist nicht durch █ ███████ oder █ ist █████ ███████████.

${\displaystyle C_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ = A ∨ B ist ████, weil ██████ A als auch B ████ sind. ${\displaystyle C_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ = ¬A ∨ B ist ████, weil B ████ ist. ${\displaystyle C_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ = A ∨ ¬B ist ████, weil A ████ ist. ███ ${\displaystyle C_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ = ¬A ∨ ¬B ist ██████, weil ██████ ¬A als auch ¬B ██████ sind.

Die █████████ ███████████, auch ███████████ oder ███████████ ███████, ██████ die ████████████ █████████ aus: ███ ████, dass die ████████ des einen ██████ eine ████████████ █████████ ███ die ████████ des ███████ ██████ ist. ███ ████████

${\displaystyle A\to B}$ oder ${\displaystyle A\Rightarrow B}$

██████

${\displaystyle B\leftarrow A}$ oder ${\displaystyle B\Leftarrow A}$

oder auch

${\displaystyle A\supset B}$

und █████

• ${\displaystyle A}$ ist eine ████████████ █████████ ███ ${\displaystyle B}$.
• ${\displaystyle A}$ ist ███████████ ███ ${\displaystyle B}$.
• █████ ████ ${\displaystyle A}$, dann ${\displaystyle B}$.
• ${\displaystyle A}$ █████ ██████, dass ${\displaystyle B}$.
• ${\displaystyle B}$ ist eine ██████████ █████████ ███ ${\displaystyle A}$.
• ${\displaystyle A}$ ██████████ ${\displaystyle B}$.
• Aus ${\displaystyle A}$ █████ ${\displaystyle B}$.
• ███ ████ ${\displaystyle B}$, dann ${\displaystyle A}$.
• ████ ${\displaystyle A}$, dann ${\displaystyle B}$.

In einem ███████████ █████ ███ ${\displaystyle A}$ das ██████████, ${\displaystyle B}$ das ██████████ oder █████████.

█████████:

• Dass es ██████, ist eine ████████████ █████████ █████, dass die ██████ ████ ist.
• █████ ████ es ██████, ist die ██████ ████.
• ████ es ██████, ist die ██████ ████.
• ███ ████ die ██████ ████ ist, kann es ██████.
• ████ der ███████ einen █████ der █████ ${\displaystyle Y}$ hat, hat der ███████ ein ████.
• ████ eine ████ ${\displaystyle n}$ durch █ ███████ ist, dann ist die ████ ${\displaystyle n}$ durch █ ███████.

Die ██████ „████ … dann“ ist ████████ █████████████, als mit dem █████████████████████ „████ … dann“ vor allem ███████████ █████████████ wie ██████████ oder █████████ ████ ███████████ werden. Das ███ die █████████ ███████████ nicht, ███ █████ ███ den ████████ ████████████: „Dass es ██████, ist eine ████████████ █████████ █████, dass die ██████ ████ ist“. Zur █████, █████ das eine ████████████ █████████ ist – ob auf █████ eines ████████ █████████████ oder auch ███ ████ ████████ –, █████ die █████████ ███████████ nicht ████████.

Als █████████████ ██████████ ███ den ███████ von ${\displaystyle A\to B}$ auf ${\displaystyle \mathrm{\neg }B\to \mathrm{\neg }A}$. ███ die █████████ ████████ das:

• ████ die ██████ nicht ████ ist, ██████ es nicht.
• ████ der ███████ ████ ████ hat, dann hat er ██████ █████ der █████ ${\displaystyle Y}$.
• ████ die ████ ${\displaystyle n}$ nicht durch █ ███████ ist, dann ist ${\displaystyle n}$ nicht durch █ ███████.

█████████████████ █████ ███ sich ████████████ zu ████████ – ████████ – ████████ █████████:

• Weil es nicht ███████, kann die ██████ nicht ████ sein.
• Der ███████ hat ██████ █████ der █████ ${\displaystyle Y}$, also hat er ████ ████.
• ${\displaystyle n}$ ist nicht durch █ ███████, also ist ${\displaystyle n}$ auch nicht durch █ ███████.

Das ████████: ████ die █████████ ${\displaystyle A\to B}$ ████ ist, dann ██████ ███ aus der ███████ ${\displaystyle \mathrm{\neg }A}$ █████ ███████ ████ ${\displaystyle B}$, denn ${\displaystyle B}$ kann dann ██████ ████ als auch ██████ sein. (██ █████ ████████ █████████ – „Aus ████████ █████ ██████████“)

Die ███████████ ist ein █████████ ██████ in der ██████████. Die ███████ ██████████████ ███████ █████████ das ███████ der ███████████.

█████████████

Das █████████████, ███ auch █████████████████ ██████████ oder █████████ ██████████ ███████, ██████ die ████████████ und ██████████ █████████ aus, ████ also, dass eine ███████ A █████ dann ████████, ████ eine ███████ B ████████. ███ ████████:

A ↔ B oder A ⇔ B

oder

A = B

oder

A ≡ B

und █████

• A ist █████ dann der ████, ████ B der ████ ist.
• A █████ dann ████ B. (████: „A ███. B“ oder „A g. d. w. B“)
• A ist ██████████ zu B.
• A ist dann und ███ dann der ████, ████ B der ████ ist.
• Auf ████████: A ██ ███ ████ ██ B (████: A ███ B)

Auch beim █████████████ wird eine ████ ███████ ███████ █████████, die ██████ ████ einen ███████████ ████████████ ████████████ von A und B ███████.

█████ A ↔ B zu █████, kann ███ auch █████, dass A eine ████████████ █████████ ███ B und dass B eine ████████████ █████████ ███ A ist, also (A → B) ∧ (B → A). ███████████ sind █████ beiden ████████ ███████ ██████████.

████████:

• Die ██████████ ████ n ist █████ dann durch █ ███████, ████ n durch █ und durch █ ███████ ist.████ n durch █ ███████ ist, dann █████ daraus, dass n durch █ und durch █ ███████ ist. █████████ ████ aber auch: ████ n durch █ und durch █ ███████ ist, dann ist n durch █ ███████.
• █████ ist █████ dann ████████, ████ ██████ ████████ ist.

Das █████████████ als ████████████████ ███████ █████████ der █████████ ███████ (█████ █████████████) wird ███ mit dem ███████ der █████████ ██████████ ███████████ oder █████████. Die ████████ ██████████ ist eine ███████████████, █████ ███████████████████ ███████████ ███████████ ██████ ████████ der █████████ ███████. Ein ████████████ zwischen █████████ ██████████ und █████████████ ███████ ███ ████████, als das ███████████ ████, dass ein █████████████ A ↔ B █████ dann eine ██████████ ist, ████ die beiden ████████ A und B ███████ ██████████ sind.

███████████████ Oder

████████████: A ↮ B oder A ⊻ B oder A ≠ B

Das ██████████████ Oder (████████████ oder ██████████), „entweder A oder B“, ██████, dass █████ eine der beiden von ███ ███████████ ████████ ████ ist. ████████████ ist ein ███████████████ Oder nicht ███ dann ██████, ████ ██████ A als auch B ██████ sind, ███████ auch, ████ beide ████ sind. (Einige ███████ █████████ ███ das ██████████████ Oder den ███████ ███████████.)

██████ das ██████████████ Oder ein ███████ ist, mit dem ███ in der ███████████ ███████ █████ ██████ zu ███ hat, wird es in den ███████ █████████ ████████ nicht als ██████████████ ███████ ██████████. ███████████ wird das ██████████████ Oder zum ████████ als ██████████ █████████████ ███████████, also als ¬(A ↔ B).

█████ █████████ ███████ das ██████████████ Oder ████████ in der █████████████, ██ es █████ als ███ (█████████ ██) ██████████████ wird.

██████████ einer ███████████ ███████ (██ ██████████ ███████)

████████████ und ██████████ █████████

██████ █████████ ████ den ████████ ███ als ██████████████ ███████████ ████████████ zwischen █████████████ und ███████████ █████████, wie er im █████████ ████ die █████████ ███████████ ████████████ wurde, ████████████████ und █████ █████████.

██████████ ███ ████ einmal die █████████ ███████████ A → B.

███ ████: A ist ███████████ ███ B: █████ ████ A der ████ ist, ist auch B der ████.

█████████ kann ███ aber auch █████: B ist █████████ ███ A. Ohne B kann A nicht ███████ sein.

Wie █████ ██████ ████████████ ████████?

███ ██████, dass die ████████ von A die ████████ von B nach sich █████, denn A ist ja ████████████ █████████ ███ B. █████ ist es ███████ nicht ███████, dass A ████████, ohne dass B damit █████████ █████████ würde: B ist also ████████████████ der ████, ████ A der ████ ist. B ist „█████████“ ███ A.

██████ ████████████ ist in ████████ also ████████ ███████; ██████████ █████, dass er ███████ ███ als ██████████████ █████████ wird, ist ██████████████ die █████████████, zwischen den ██████ ███████████ des ███████████████████ „████ … dann“ ██████████ und der ████ ████████ █████████████ und ███████████ █████████ ████████████ ██████ zu ███████.

Mit dem ███████████████████ „████ … dann“ ██████ ███ ████ █████ einen ████████████ (████████ oder auch ██████████) ████████████ zwischen ██████████ und ██████████ ██████████: „█████ ██████████ ████████████“, „██████ █████ der █████, ████ ███████ wird die ██████ ████“. ████ ███ die ████████████ █████████ in ██████ ████ ████████████, dann ist es ████, dass die in ███████████ ███████████ ███████████ ██████████ █████████ „███ ████ die ██████ ████ ist, ██████ es“ ███████ ████████: „█████ ██████████ doch ████████████. Wie kann daraus je █████████ werden, dass ████████████ █████ ██████████?“

███ ████ ████ die █████████ ███████████ aber nicht aus. „A ist eine ████████████ █████████ ███ B“ █████ ████████, dass ████ die ███████ A ████ ist, auch die ███████ B ████ ist – ███████ und ███████████████, nicht etwa „██████“ oder „weil“.

██████ ████ die ██████████ █████████, „B ist eine ██████████ █████████ ███ A“, █████████ das aus, dass B ████ ist, ██████ A es ist. █████ das ist aber die ██████████ des ████████████ A → B.

██████████

██████████ beim ██████ █████ von ██████ wie

„Die ███████ A ∧ B ist █████ dann ████, ████ die ████████ A und B ████ sind“

wird der ██████████████ ████ █████████, dass ███ ███████ wird, ███ das ████.

Die ███████ des ████████: Es ████ ████████ werden, ██████████ in die ██████ des █████████ ██████████ zu ███████. Seit den █████████ ist dem █████████ ████, dass █████████ █████████ ████████ zu ██████████████ ████████ ███████████ ██████ ██████. █████ ██████ wurden ██████████ ██████████ und von ██████ ███████ als ███████████████ █████████. ███████ █████████ deshalb, die ██████ des ██████████████ so ██████ wie ███████ zu ██████.

Das ███████████ ████████ █████ ████, dass dazu eine ████████ der ████████████ ████████████ ist: Die ███████ ███████ A ∧ B ████ dadurch ███████ werden, dass auf einer ████████████████ █████ ██████ ████ die ███████ A als auch ████ die ███████ B ███████ wird.

Ein ███████, ████ █████████████, ███████ darin, die █████████████ als ████████ ██████, ███████ als ██████ (eine █████████ ███ eines ████████ ███████) zu ██████████. Die ████████ ████ und ██████ ██████ in ██████ ██████ ████████ █████████ nicht vor. ███████████ werden ██████ ███████, die ███████ als █████████████ █████████ werden, aus denen ███████ ██████████ █████████████ ████████ von ██████████ █████████████ ███████████ werden.

Das ████ dabei ist ██████████, dass in einem ████████ ██████ ███ █████████████ (█████) ███████████ werden ██████, die bei einer ██████████ ██████████████ auch ████ sind. ████████████ ██████ alle █████, die als ████ ███████████████ sind, auch ███████████ werden ██████. Das █████ ist die █████████ nach ███████████, das ██████ die nach ███████████████ des ████████ ███████; beide █████████████ sind unter ██████: Der ███████ ██████ in der █████ ███████████.

███ die ██████████ █████████████, mit der ███ es ████ zu ███ haben, ████ es ███████ (███████ ███████), die ██████ ███████ als auch ███████████ sind. ███ ███████ ██████████ ████████ ███████ (z. B. ███████████) ist es aber █████████, einen █████████████ ██████ ████████████, der auch ███████ ist; █████ ██████████ wurde ████ von ████ █████ ████████ (██████████ ██████████████████████).

██████

Es ████ █████ ████████████ █████████████, die ██████ („█████████“) einer █████████ ███████ ██████ zu ██████████; █████ █████████ das im ██████ eines ███████. Die ████████ ██████████ ist daher ███ als ████████ █████ zu █████████, wie ein ██████ ███ die ██████████ █████████████ ████████ kann. ███████ █████████ ███ ████████ ███████ ██████ sich unter ██████████, ███████████████, ███████ ███████████ ██████████, ███████████████ oder █████████████████. Ein ████████ █████████████ ██████ ist als ████████ im ███████ ███████-██████ █████████, ein ███████████ ██████ im ███████ ███████████ ██████.

████████

█████████ der █████ ██████████ ████████ ein ████████████████, das sich mit der █████████ von ███████ und deren ██████ ███████. ███ wird auch das ████ ████████ ███████████████ mit dem ████ █████████ █████████.

Auch █████████ der █████ ████ es bei ████████ um █████████: Darum ███████, den ██████████ einer ████████ ███████ – zum ████████ der ████ ███████████ ███████ der █████████████ – eine █████████ ██████████. In der █████ wird auch das █████ ████ ██████ ███████████.

Im ███████ der (████████) ████████ █████ eine ███████████████████ (██████ █████████████ ██████ ██████████████████, ███████████████████, ██████████████████████), die den ███████ der █████████ ███████ eine █████████ ████████. ██████ ██████████ ist die ███████████████████ eine █████████ von der █████ der ███████ der ███████ in die █████ der ██████████████. ███ wird die ███████████████████ mit dem ██████████████ V ██████████.

In der ███████████ █████████████ ist die ███████████████████ ████ ███████: Das ███████ der ██████████████ ███████, dass ███ ███ ████ zu ██████████ ██████ █████ einen von █████ ████ ███████████████ ███████ ████; und das ███████ der ███████████████ ███████, dass die ██████████████████ beim ████████ eines █████████ ██████ ███ die █████████ von dessen ██████████ ███████████████ ████.

█████ ████, also █████ ██████████████ (████) wird durch ███████████ ein █████████████ ██████████. ███ ████: Die █████ werden █████████████. Es wird also z. B. ██████████, dass ${\displaystyle P_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ ████ ist, dass ${\displaystyle P_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ ██████ ist und dass ${\displaystyle P_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ █████████ ██████ ist. Damit ist der █████████ der █████████ der █████████ ███████ ██████ █████. ██████ ist eine ██████ █████████ – ██████████████ ███████ und ███ mit dem ███████████████ v ██████████ – eine ████████ im ██████████████ ████, d. █. eine █████████ von der █████ der █████ in die █████ der ██████████████.

████ die ███████████████████ V auf ein ████ █████████ wird, d. █. ████ ███ ein ████ ████████ ████, ███████ ███ die ██████████████ ██████ █████ im ████ des ██████ ████████. Mit ███████ ██████, ███ ███████ den ████, den die █████████ v dem ████ ████████.

Um die █████████████████ ███████ ████████ zu ██████, ████ ███ █████ ███████ █████████ werden, welchen █████████████ die ██████████████████ ███ die █████████████████ ██████████████████████████ ███████, den █████ █████████ ████████ ██████. In der ███████████ █████████████ █████████ das █████ ███████ █████████████████, weil es ███ ████████████ ██████ █████████████ ████.

Der ███████████ ███████ ¬, die ████████, ist in der ███████████ █████████████ so █████████, dass er den █████████████ ██████ █████████ ins █████████ ███████, also „████████“: Ist die █████████ einer ██████ X ████, dann ███████ die ██████████████████ ███ ¬X ██████; wird aber X ██████ ████████, dann ███████ die ██████████████████ ███ ¬X ████. Die ████████████████ █████ ██████████████ aus:

Die █████████████████████ der ███████████ █████████████ ██████████ sind in der ███████████ █████████████ wie █████ █████████:

█████████ ████ es ███ die ██████████ █████████████ ████ ███████████ und ████████ ████████████ █████████. Die ████ ██████████ ████████ ███████ ██████████ sich ███ deshalb auf die █████████ ¬, ∧, ∨, → und ↔, weil █████ am ████████████████ sind und weil ███ auch ██████████ ████ am ███████ aus der ██████████████ ███████ sind. Aus ████████ █████ ist die ███████ █████████, die ███ bei der ████ von █████████ ████████ ██████, die, dass sich mit den █████████ █████████ auch alle ███████ ███████████ █████████ █████████ ██████████ ██████; ███ ████: Dass die █████ der █████████ █████████ ██████████ ███████████ ist. █████ ███████████ ist bei der ████ ███████████ ████ ███████.

███████ zur █████, wie █████ und welche █████████ es ████ und wie █████ █████████ ███ ████████, um ███████████ ███████████████ zu █████████, ist im ███████ ███████ ███████████.

███████████

In der ███████████ werden die █████████████ von █████████ ████████ ██████████: Das ████████ ██████ ist in der ███████████ der ███████████████████████.

Eine ████████████████ █████████████ ist zum ████████ die, ob in einem ██████ ein ███████████ ███████████ werden kann.

Der ███████████ █████████ ████ einige ████████ ████████████████ ███████████████ aus dem ███████████ der █████████████ ██████████.

██████████

Ein ██████ wird █████ dann ██████████ ███████, ████ es █████████ ist, mit █████ ██████ ██████ und ██████ einen ███████████ ███████████, d. █. eine ███████ der ████ P ∧ ¬P (z. B. „████ ist ████, und ████ ist nicht ████“). ███ einen ██████, der in der █████████████ █████████ werden ████, ist das eine ██████████████████.

Ist es in einem ██████ ███████, einen ███████████ ███████████, dann wird der ██████ ████████████ ███████.

Es ████ ███████ ███████, in denen █████ ein ███████████ ███████████ werden kann, die aber durchaus ████████ sind. ███ ██████ ███████ wird ein ███████ █████████████████ █████████: Ein ██████ ist ██████████, ████ in ███ nicht alle ███████ ██████████ sind (█████ ███████████████ █████).

Es █████ sich ██████ ██████, dass ███ die ██████████ █████ die beiden ██████████████████ ██████████████: In der ███████████ █████ █████ sich aus einem ███████████ █████ █████████ ████ █████████ (██████ ███████████ wird ██ █████ █████████ ███████), d. █. ████ ein ███████████ ██████ auch ███ einen ███████████ █████████ ██████, also im ██████ ████ ████████████ ████, dann ██████ er ████ ███████ █████████, ████ also im ███████ ████ ████████████. ████ █████████ ein ██████ ████████████ im ███████ ████ ist, also in ███ ████ ███████ ██████████ ist, dann ist ████████████ auch der ███████████ ████ → ██████ ██████████ und ist er auch ████████████ im ██████ ████.

███████████

Ein ██████ █████ █████ dann ███████ (██████████ ███████), ████ in ███ ███ ██████ ███████ ███████████ werden ██████, die auch ██████████ ██████ sind. ███ die ██████████ █████████████ ████████ das █████████: Ein ██████ ist █████ dann ███████, ████ in ███ ███ ███████████ ████████ und ███ ███████ █████████ ███████████ werden ██████.

Ist es in einem █████████████████ ██████ ███████, ██████████ ein ██████████ ████████ ███████████ oder ██████████ eine ██████ zu ████████, die █████ ██████████ ist, dann ist der ██████ █████████.

███████████████

███████████ (██████████ ███████████) █████ ein ██████ █████ dann, ████ in ███ alle ██████████ ████████ ███████ ███████████ werden ██████; ███ die ██████████ █████████████: ████ in ███ alle ███████████ ███████████ werden ██████.

███████████

Ein ██████ █████ █████ dann im ████████ auf eine █████████ ████████ ███████, ████ er (██████████) ███████ und (██████████) ███████████ ist.

Ein █████████████████ ████████ ist zum ████████ die ████████████, dass alle █████████ ███████ auch ██████████ sind. Ein ███████ █████████████████ ████████ ist die ████████████, dass ein ████████████ ██████ nicht ███████████ ███████ sein ████: Es ist ohne ████████ ███████, einen ██████ ████████████, in dem zwar ████ ███████████ ███████████ werden kann, in dem aber z. B. die nicht ████████████████ ███████ der ████ A ∨ B ███████████ werden kann. Ein ███████ ██████ ████ aus ████████ █████ ██████████, aus █████████ █████ aber nicht ███████.

Ein ████████, ████ █████████ ████████ ist die ████████████, dass ein █████████████ ██████ nicht ███████████ auch ███████ oder ███ ██████████ sein ████. Das ██████████ ████████ ████ ein ██████, in dem ████ ██████ der █████████████████ ███████ ██████████ ist. Da ████ ██████ ██████████ ist, sind alle ███████████ ██████████, die ja ███████ sind: Das █████ den ██████ ███████████. Da aber ████ ██████ ██████████ ist, ist ████████████ auch die ██████ P ∧ ¬P und die ██████ A ∨ B ██████████: ████████ █████ den ██████ ████████████, █████████ █████████.

Das █████, das ein ██████ ████████ ██████, ist ███████████ und ███████████████: ████ das der ████ ist, dann ist er der ██████ ██████ ███ ein █████████ ██████, weil er alle ██████████ ████████ █████ (und ███ █████) █████████ kann. So sind die beiden ██████, ob ein █████████ ██████ ███████ und/oder ███████████ ist und ob es ███ ein ██████████ █████████ ██████ █████████ ███████ ist, einen █████████ und █████████████ ██████ █████████, ████ besonders ████████ ████████████████ ███████████████.