Lógica informática (2014-15) ejerciciosLI2014 https://www.glc.us.es/~jalonso/ejerciciosLI2014/index.php/L%C3%B3gica_inform%C3%A1tica_(2014-15) MediaWiki 1.31.0 first-letter Medio Especial Discusión Usuario Usuario discusión Lógica informática (2014-15) Lógica informática (2014-15) discusión Archivo Archivo discusión MediaWiki MediaWiki discusión Plantilla Plantilla discusión Ayuda Ayuda discusión Categoría Categoría discusión 0 4 250 249 2018-07-16T12:08:15Z WikiSysop 1 wikitext text/x-wiki En esta página se publicarán las relaciones de ejercicios y sus soluciones colaborativas. Para escribir las fórmulas lógicas se puede usar cualquier editor de símbolos matemáticos como [http://math.typeit.org Type mathematical symbols] (los símbolos lógicos son ¬, ∧, ∨, →, ↔ y ⊧). * '''Relación 1''': Tema 1 (a). ([[R1 |Enunciado]]). * '''Relación 2''': Tema 1 (b). ([[R2 |Enunciado]]). * '''Relación 3''': Temas 1 y 2. ([[R3 |Enunciado]]). * '''Relación 4''': Temas 1 y 2. ([[R4 |Enunciado]]). * '''Relación 5''': Temas 1 a 4. ([[R5 |Enunciado]]). * '''Relación 6''': Temas 1 a 5. ([[R6 |Enunciado]]). * '''Relación 7''': Temas 1 a 6. ([[R7 |Enunciado]] y [http://www.cs.us.es/~jalonso/cursos/li/ejercicios/R7_sol.html Solución]). * '''Relación 8''': Temas 1 a 7. ([[R8 |Enunciado]] y [http://www.cs.us.es/~jalonso/cursos/li/ejercicios/R8_sol.html Solución]). * '''Relación 9''': Temas 1 a 7. ([[R9 |Enunciado]]). * '''Relación 10''': Temas 1 a 8. ([[R10 |Enunciado]]). 1tno86s8y5fqgqhh8xvl81goiqf3c2i