Partiendo de cualquier sistema de lógica formal donde estén establecidos los 3 principios básicos:
- Identidad (p es p)
- Contradicción (p y no p, es imposible que ambos enunciados sean verdaderos)
- Tercero excluído (p es q y p no es q, uno de ambos es verdadero)
Pueden inferirse fácilmente sistemas como el matemático, por ejemplo. Lo que resulta curioso es cuando se intenta trabajar algunas relaciones lógicas con reglas matemáticas.
Por cierto, aunque me ha hecho gracia. Yo estoy felizmente casado y creo que tu lógica carece de sentido.