Has seguido un enlace a una página que aún no existe. Para crear esta página, escribe en el cuadro que aparece a continuación. Para más información, consulta la página de ayuda. Si llegaste aquí por error, vuelve a la página anterior.
Creación de «Relación 8»
Atención: estás volviendo a crear una página que ha sido borrada anteriormente.
Piensa si es adecuado continuar editando la página. A continuación, se proporciona el registro de borrado y traslados de esta página para más información:
- 14:09 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 8 (el contenido era: «<source lang = "isabelle"> chapter {* R8: Argumentación en lógica de primer orden *} theory R8 imports Main begin text {* --------------------------------------------------------------------- El objetivo de esta relació…»)
Advertencia: no has iniciado sesión. Tu dirección IP se hará pública si haces cualquier edición en estas condiciones. Si inicias sesión o creas una cuenta, tus ediciones se atribuirán a tu nombre de usuario, además de otros beneficios.