∀∃
∀x(∀y((F(x)^H(y)) -> I(x,y)))
—————————————————
¬∀x(F(x) -> G(x)) -> ∃x(¬F(x)^¬H(x))
No sé por qué estaba esto entre mis borradores, pero ya lo aprobé en su día, así que creo que ya no tiene sentido que esté en los borradores.
Dentro de unos cuantos meses me preguntaré por qué está esto entre mis entradas publicadas, pero ese problema no es mío, sino del Capelare del futuro.
Chucheria
No sé que es más increíble: que hayas publicado 3 DÍAS SEGUIDOS o que hayas publicado lo de hoy xD
Nimbusaeta
Has resurgido de tus cenizas xD
Capelare
Chucheria ¿verdad? yo tampoco me creo ninguna de las dos cosas xD
Nimbusaeta a ver si soy capaz de no convertirme otra vez en ceniza… :D
Kialaya
Y que tus demás lectores se rallen vivos de qué narices es esto te da igual verdad? Insensible!!! , snif snif.