Páginas nuevas
- 09:55 19 nov 2018 Tema 8a (hist) [16 095 bytes] Jalonso (discusión | contribuciones) (Página creada con «<source lang="isabelle"> chapter {* Tema 8: Deducción natural en lógica de primer orden *} theory T8b_Deduccion_natural_en_logica_de_primer_orden imports Main begin te…»)
- 11:06 14 may 2018 Relación 11 (hist) [2336 bytes] Mjoseh (discusión | contribuciones) (Página creada con '=== Relación 11: Resolución en Lógica de primer orden === ---- '''Ejercicio 1.''' Se consideran las siguientes fórmulas: reflexiva: ∀x R(x,x) simétrica: ∀x ∀y (...')
- 11:03 14 may 2018 R11 (hist) [2336 bytes] Mjoseh (discusión | contribuciones) (Página creada con '=== Relación 11: Resolución en Lógica de primer orden === ---- '''Ejercicio 1.''' Se consideran las siguientes fórmulas: reflexiva: ∀x R(x,x) simétrica: ∀x ∀y...')
- 16:18 7 may 2018 Relación 10 (hist) [1634 bytes] Mjoseh (discusión | contribuciones) (Página creada con ' === Relación 10: Cuestiones === ---- '''Ejercicio 1.''' Demostrar o refutar la siguiente afirmación: Sea T un tablero de S₁, I un modelo de una hoja abierta de T y S₂ ...')
- 16:16 7 may 2018 R10 (hist) [1633 bytes] Mjoseh (discusión | contribuciones) (Página creada con ' === Relación 10: Cuestiones === ---- '''Ejercicio 1.''' Demostrar o refutar la siguiente afirmación: Sea T un tablero de S₁, I un modelo de una hoja abierta de T y S₂ ...')
- 13:00 27 abr 2018 Relación 9 (hist) [1289 bytes] Mjoseh (discusión | contribuciones) (Página creada con '=== Relación 9: Resolución proposicional === ---- '''Ejercicio 1.''' Dadas las fórmulas A : (s → p) ∨ (t → q) y B : (s → q) ∨ (t → p), se pide: * Probar que A ...')
- 12:58 27 abr 2018 R9 (hist) [1289 bytes] Mjoseh (discusión | contribuciones) (Página creada con ' === Relación 9: Resolución proposicional === ---- '''Ejercicio 1.''' Dadas las fórmulas A : (s → p) ∨ (t → q) y B : (s → q) ∨ (t → p), se pide: * Probar que A ...')
- 10:24 11 abr 2018 Relación 8 (hist) [1420 bytes] Mjoseh (discusión | contribuciones) (Página creada con ' === Relación 8: Tableros semánticos === ---- '''Ejercicio 1.''' Demostrar o refutar la siguiente afirmación: Sea T un tablero de S₁, I un modelo de una hoja abierta de ...')
- 10:23 11 abr 2018 R8 (hist) [1405 bytes] Mjoseh (discusión | contribuciones) (Página creada con ' === Relación 8: Tableros semánticos === ---- '''Ejercicio 1.''' Demostrar o refutar la siguiente afirmación: Sea T un tablero de S₁, I un modelo de una hoja abierta de...')
- 12:20 5 abr 2018 Relación 7 (hist) [31 761 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "isar"> chapter {* R7: Deducción natural en lógica de primer orden *} theory R7 imports Main begin text {* Demostrar o refutar los siguientes lemas usando ...')
- 12:19 5 abr 2018 R7 (hist) [13 923 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "isar"> chapter {* R7: Deducción natural en lógica de primer orden *} theory R7 imports Main begin text {* Demostrar o refutar los siguientes lemas usando ...')
- 19:25 2 abr 2018 Relación 6 (hist) [1851 bytes] Mjoseh (discusión | contribuciones) (Página creada con '=== Relación 6: Sintaxis y semántica de la Lógica de primer orden (b) === ---- '''Ejercicio 1.''' Dar una fórmula F satisfacible, tal que todos sus modelos sean necesariam...')
- 19:24 2 abr 2018 R6 (hist) [1524 bytes] Mjoseh (discusión | contribuciones) (Página creada con '=== Relación 6: Sintaxis y semántica de la Lógica de primer orden (b) === ---- '''Ejercicio 1.''' Dar una fórmula F satisfacible, tal que todos sus modelos sean necesariam...')
- 18:03 19 mar 2018 Relación 5 (hist) [5198 bytes] Mjoseh (discusión | contribuciones) (Página creada con '=== Relación 5: Sintaxis y semántica de la Lógica de primer orden === ---- '''Ejercicio 1.''' Formalizar el siguiente argumento (ejercicio 5 de LPO de APPLI2), verificando ...')
- 18:02 19 mar 2018 R5 (hist) [3061 bytes] Mjoseh (discusión | contribuciones) (Página creada con '=== Relación 5: Sintaxis y semántica de la Lógica de primer orden === ---- '''Ejercicio 1.''' Formalizar el siguiente argumento (ejercicio 5 de LPO de APPLI2), verificando ...')
- 15:45 6 mar 2018 Relación 4 (hist) [61 915 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "isar"> chapter {* R4: Deducción natural proposicional *} theory R4 imports Main begin text {* ------------------------------------------------------------...')
- 15:45 6 mar 2018 R4 (hist) [17 719 bytes] Mjoseh (discusión | contribuciones) (Página creada con '<source lang = "isar"> chapter {* R4: Deducción natural proposicional *} theory R4 imports Main begin text {* ------------------------------------------------------------...')
- 13:33 28 feb 2018 Relación 3 (hist) [1267 bytes] Mjoseh (discusión | contribuciones) (Página creada con ' === Relación 3: Deducción natural en lógica proposicional === ---- '''Ejercicio 1.''' Demostrar mediante deducción natural: : ( p ∨ q ) ∧ ( p ∨ r ) ⊧ p ∨ ( q ∧...')
- 13:33 28 feb 2018 R3 (hist) [849 bytes] Mjoseh (discusión | contribuciones) (Página creada con ' === Relación 3: Deducción natural en lógica proposicional === ---- '''Ejercicio 1.''' Demostrar mediante deducción natural: : ( p ∨ q ) ∧ ( p ∨ r ) ⊧ p ∨ ( q ∧...')
- 07:50 27 feb 2018 Tema 2 (hist) [25 131 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="isar"> chapter {* Tema 2: Deducción natural proposicional con Isabelle/HOL *} theory T2 imports Main begin text {* En este tema se presentan los ejemplos del...')
- 13:33 19 feb 2018 Relación 2 (hist) [2013 bytes] Mjoseh (discusión | contribuciones) (Página creada con ' === Relación 2: Deducción natural en lógica proposicional === ---- '''Ejercicio 1.''' Demostrar mediante deducción natural: : (p → q) → r ⊧ p → (q → r) ---- '''...')
- 13:33 19 feb 2018 R2 (hist) [1042 bytes] Mjoseh (discusión | contribuciones) (Página creada con ' === Relación 2: Deducción natural en lógica proposicional === ---- '''Ejercicio 1.''' Demostrar mediante deducción natural: : (p → q) → r ⊧ p → (q → r) ---- '''...')
- 13:44 12 feb 2018 Relación 1 (hist) [10 470 bytes] Mjoseh (discusión | contribuciones) (Página creada con '=== Relación 1: Sintaxis y semántica de la lógica proposicional === ---- '''Ejercicio 1.''' Formalizar el siguiente argumento <blockquote> ''Siempre que un número x es div...')
- 13:43 12 feb 2018 R1 (hist) [4249 bytes] Mjoseh (discusión | contribuciones) (Página creada con '=== Relación 1: Sintaxis y semántica de la lógica proposicional === ---- '''Ejercicio 1.''' Formalizar el siguiente argumento <blockquote> ''Siempre que un número x es div...')