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

████████

████ een ███████████ ████████████████████ ███████ zijn. ███████████ ████████ (███'█) worden dan ███████ door de ████████ ██████:

• een ███████████████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ is een ███;
• ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ een ███ is, dan is ${\displaystyle \mathrm{\neg }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ook een ███;
• ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ en ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ███'█ zijn, dan zijn ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\wedge \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$, ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\vee \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ en ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ook ███'█;
• ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ een ███ is, dan zijn ${\displaystyle ◊\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ en ${\displaystyle ◻\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ook ███'█;
• geen ██████ ████████ zijn ███'█.

De ██████ ████ ██████ zijn ██████ uit de (██████) ████████████████; de ██████ █████ is █████ voor ██████ ████████████████.

De ████ ██████ ██████████ ██████ met de ████████ ████ █████████████ in ██████ van ██████ worden ████████████:

• ${\displaystyle ◊\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\iff \mathrm{\neg }◻\mathrm{\neg }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$
• ${\displaystyle ◻\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\iff \mathrm{\neg }◊\mathrm{\neg }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$

In ███████ ██████████ ███████████████ ██████ deze █████████████:

• ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ is ████████ ████, dan en ███████ dan als het niet zo is dat het ████████████ is dat ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ niet ████ is.
• ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ is ████████████ ████, dan en ███████ dan als het niet zo is dat het ████████ is dat ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ niet ████ is.

Voor de █████████████ ██████ we █████ ██████████ █████████.

███████ █████ ook dat:

• ${\displaystyle \mathrm{\neg }◊\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\iff ◻\mathrm{\neg }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$
• ${\displaystyle \mathrm{\neg }◻\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\iff ◊\mathrm{\neg }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$

De ██████ ██████ van een ██████ ███████ is het ███████ ██████ ███████████ dat in de ███████ te ██████ is op ███████ █████. Zo is de ██████ ██████ van de ███████ ${\displaystyle ◻(◻\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})\to (◻◻\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\to ◻\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ ██████ aan ████ en in ${\displaystyle ◻(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\to ◻\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ is dat ████████ ████. █████████ ${\displaystyle ◊}$ ██████ is aan ${\displaystyle \mathrm{\neg }◻\mathrm{\neg }}$, is de ██████ ██████ van ${\displaystyle ◻◊\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ██████ aan ████ want men kan de ███████ ████████████ naar ${\displaystyle ◻\mathrm{\neg }◻\mathrm{\neg }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$.

█████████

Voor de █████████ van de ██████ ████████████████ worden ████ ██████████████ ████████. Deze ████████ ██████ ████████████ met ████████ worden ███████████, maar ████ worden zij ████████ ███████████████ met ██████ van ██████ die voor █████████ ████████ of ██████████ █████, en ██████████ ██████ deze ██████ (de ████████████████████████). Als er een █████████ is (███████████ met een ████) van █████ █ naar █████ █, ██████ we dat ██████ █ ██████ ██████ █ ██████████ of ████████████ is. De █████████ van de ██████ ██████████████████ █████████ ██████ █████████; de █████████ van de ██████ ██████████ wordt als █████ ████████████:

• ${\displaystyle ◊\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ is ████ in ██████ █_█ █████ er ████████ een ██████ ██████ █_█ ████████████ is, ██████ █ ████ is.
• ${\displaystyle ◻\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ is ████ in ██████ █_█ █████ in ████ ██████ █_█ █████████████ ████████ █ ████ is.