Dante's Imp

Fórmulas

$\exists !xPx\Leftrightarrow \mathcal{69} x\mathcal{69} y \left(Px\land Py\land x\ne y\right)$

$\exists X\neg \Diamond Xd \to \neg\forall X\Diamond Xd$

$\forall x\neg \Diamond Cdx \to \forall X\Diamond Xd$

$\neg \forall xPx \equiv \exists x \neg Px$

$\neg \forall x \left( Sx \to Px \right)\equiv \exists x \left( Sx \land \neg Px \right)$

$\color{OliveGreen}\clubsuit\,\color{Blue}\Box\, \color{Orange}\triangle$

INFINITA DIVERSIDADE EM INFINITAS COMBINAÇÕES

$\mathcal P\left(\mathfrak{D}\right)$

$\exists f:\mathfrak{D}\to \mathbb{R}$

$f\left(x\right)=f\left(x\right)\Longrightarrow x=y$

$\mathrm{Im}f\left(\mathfrak{D}\right)=\mathbb{R}$

O histórico anterior da página foi arquivado para fins de backup em Utilizador Discussão:Dante's Imp/Arquivo LQT 1 em 2015-11-03.