██████ █████

A ██████ █████ se ██████ a ████████ ███████ de ██████ ██████ que ███████ █████ com ███████████ (██████ de █████ ██████ a █████, █████████████, █████████████, ███.). ████████████████, as ███████████ mais ██████ ███ █████████████ e ███████████. ███████ para █████ com ██████ ██████ ████████████ (como █████████████, █████████████, ████████████, █████, ███████, █████ e ███████) ███ por ████████ ██████ ████████ de ███████ ██████, ██ que elas █████ ser ████████ de ███████ ███████.

Uma ██████ █████ ██████ ██████████ ███████████ ██████ ██████████ ██████. Por ███████: "Era ████████ o ███████████ de ███████" e "███████ foi █████████████ ███████████" ███ ████████ que ██████ a █████ de █████████████. ███████████, essa █████ é ███████ como o ████████ █████ ████████, ████████ à ████████ "███████ foi ███████████".

███████████ os ██████████ ██████ ███████ ███████ ███ ████████ como ${\displaystyle ◻}$ (ou █) para ██████████ e ${\displaystyle ◊}$ (ou █) para ████████. Nas ███████ ██████ █████████, ████ um pode ser ████████ em ██████ do █████ e da ███████:

${\displaystyle ◊A\equiv \mathrm{\neg }◻\mathrm{\neg }A}$

${\displaystyle ◻A\equiv \mathrm{\neg }◊\mathrm{\neg }A}$

Para a ████████████ █████████ da █████████ █████ ██████, ████ a █████ █████████ de ██████, a ██████.

████ ███████ foi o ████████ da ██████ █████ ██████████, ███████████████ por sua ████ de ████, ████████ █████ ███ ███ ████████████. Em ████, █. █. █████ foi o ████████ █████ a █████ um ██████ ███████████ █████ ████, em A ██████ ██ ████████ █████. Na ██████ ██████████████, o █████████ foi █████ ██████, com o seu ██████ "███ █████ ███ ███████████", de ████. A ████████ ████████████ █████ da ██████ █████ █████ com a ████ de █. █. █████ e de █. █. ████████, ████████ █████, de ████, █████ esta a ████████ ██████ ██████████ █████ ██████████.

O ████████ da ██████ ██████ ███████, ███████ █████, ████████ que a ██████ █████ █████ ██████. ████ de seus mais ██████████ ████████, ██████ ██████ e ████ █████ (████), ████████ com █████, █████ ███████, e ██████████ ██████ a █████████ ██████████ de uma ██████ que ███████ com as ████ ███████████ █████████ (█████████████, ███████████ e █████████████). Em ████, ██████ █████, ████████ de █████, ██████ o ███████ █ de ██████ █████. Em ████, █████ ██████ ███ ██████ ██████ o ███████ █, que é █████████ sobre o ███████ █. ██████ nos ████ █████, █. █. █████ █████████, sobre o ███████ █, seus ██████████ ████████ ██████ ██, ██, ██, ██ e ██. Em ████, ████ ██████ ███████████ o ███████ █████ ██████ ██████ █.

███████████ de ███████████ e █████████████ ███ ████████ ███████████ ████████. A ██████ █████ foi ████████████ █████████████ para █████ com esses █████████, e ██ ██████████████ foi █████████ a ██████ █████████. Por essa █████ (ou ██████ por sua █████████████ e ████████████), ███████████ e █████████████ ███ █████████ ████████ como o ████ █████████ da ██████ █████.

Uma ██████████ é ████ ser

• ████████ se e ███████ se ela é ███ ███████████████ █████ (████████████ de ser █████████ ██████████ ou █████);
• ██████████ se e ███████ se ela é ███ █████████████ █████;
• ███████████ se e ███████ se ela é de ████ ██████████ (e █████ █████████████ ██████████) e ███ ███████████████ ██████████.

██████████, se █████████ ██████████ ██████ ██████ de █████ ███ ████████, ████████████ █████ █████ dos ██████████ (█████████████ ou ███████████) como █████████, ou █████ ████████ essas ██████ em ██████ de ██████ que ███ ███████ nem █████████████ nem ███████████, e que █████ elas ██████ █████████ de █████ ███ ████████.

As ███████ mais ██████████ na ███████ █████ ███ ███████████ a ██████ da ██████ █████ █ (em █████████ a ████ ██████). ██████ █ como ████, █████-se █████████ ██████████ ████████. Os ████████ de █ ███████ ${\displaystyle \mathrm{\neg }}$ para ███████, ${\displaystyle ⟶}$ para ██████████, e ${\displaystyle ◻}$ para o ████████ █████ de ███████████ (os ██████ ██████████ ███ ███████████ a ██████ ██████, █████████ o ${\displaystyle ◊}$, com a ████████████ ██████ ███████ e ${\displaystyle ◻}$).