Contribuciones del usuario
Para Mjoseh (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 11:06 14 may 2018 (dif | hist) . . (+2336) . . N Relación 11 (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 (...') (edición actual)
- 11:06 14 may 2018 (dif | hist) . . (0) . . m R11 (Protegió «R11» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 11:05 14 may 2018 (dif | hist) . . (+4) . . R11
- 11:04 14 may 2018 (dif | hist) . . (+1) . . R11
- 11:04 14 may 2018 (dif | hist) . . (+3) . . R11
- 11:04 14 may 2018 (dif | hist) . . (+1) . . R11
- 11:03 14 may 2018 (dif | hist) . . (-8) . . R11
- 11:03 14 may 2018 (dif | hist) . . (+2335) . . N R11 (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:02 14 may 2018 (dif | hist) . . (+127) . . Lógica matemática y fundamentos (2017-18)
- 16:18 7 may 2018 (dif | hist) . . (+1634) . . N Relación 10 (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₂ ...') (edición actual)
- 16:17 7 may 2018 (dif | hist) . . (0) . . m R10 (Protegió «R10» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 16:16 7 may 2018 (dif | hist) . . (-1) . . R10
- 16:16 7 may 2018 (dif | hist) . . (+1634) . . N R10 (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 (dif | hist) . . (+100) . . Lógica matemática y fundamentos (2017-18)
- 13:00 27 abr 2018 (dif | hist) . . (+1289) . . N Relación 9 (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 ...') (edición actual)
- 13:00 27 abr 2018 (dif | hist) . . (0) . . m R9 (Protegió «R9» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 12:59 27 abr 2018 (dif | hist) . . (-1) . . R9
- 12:59 27 abr 2018 (dif | hist) . . (-1) . . R9
- 12:58 27 abr 2018 (dif | hist) . . (+1291) . . N R9 (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 (dif | hist) . . (+111) . . Lógica matemática y fundamentos (2017-18)
- 10:24 11 abr 2018 (dif | hist) . . (+1420) . . N Relación 8 (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 ...') (edición actual)
- 10:24 11 abr 2018 (dif | hist) . . (0) . . m R8 (Protegió «R8» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 10:23 11 abr 2018 (dif | hist) . . (+1405) . . N R8 (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 (dif | hist) . . (+106) . . Lógica matemática y fundamentos (2017-18)
- 12:20 5 abr 2018 (dif | hist) . . (+13 918) . . N Relación 7 (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 (dif | hist) . . (0) . . m R7 (Protegió «R7» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 12:19 5 abr 2018 (dif | hist) . . (+13 919) . . N R7 (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:18 5 abr 2018 (dif | hist) . . (+210) . . Lógica matemática y fundamentos (2017-18)
- 19:25 2 abr 2018 (dif | hist) . . (+1524) . . N Relación 6 (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:25 2 abr 2018 (dif | hist) . . (0) . . m R6 (Protegió «R6» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 19:25 2 abr 2018 (dif | hist) . . (-6) . . R6
- 19:24 2 abr 2018 (dif | hist) . . (+1530) . . N R6 (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 (dif | hist) . . (+142) . . Lógica matemática y fundamentos (2017-18) (→Relaciones de ejercicios)
- 19:46 22 mar 2018 (dif | hist) . . (-5) . . Relación 5 (→Relación 5: Sintaxis y semántica de la Lógica de primer orden)
- 19:45 22 mar 2018 (dif | hist) . . (-5) . . Relación 5 (→Relación 5: Sintaxis y semántica de la Lógica de primer orden)
- 18:03 19 mar 2018 (dif | hist) . . (+3054) . . N Relación 5 (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 (dif | hist) . . (0) . . m R5 (Protegió «R5» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 18:02 19 mar 2018 (dif | hist) . . (+3054) . . N R5 (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:01 19 mar 2018 (dif | hist) . . (+136) . . Lógica matemática y fundamentos (2017-18) (→Relaciones de ejercicios)
- 19:27 15 mar 2018 (dif | hist) . . (+210) . . Relación 4
- 15:45 6 mar 2018 (dif | hist) . . (+17 715) . . N Relación 4 (Página creada con '<source lang = "isar"> chapter {* R4: Deducción natural proposicional *} theory R4 imports Main begin text {* ------------------------------------------------------------...')
- 15:45 6 mar 2018 (dif | hist) . . (0) . . m R4 (Protegió «R4» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 15:45 6 mar 2018 (dif | hist) . . (+17 715) . . N R4 (Página creada con '<source lang = "isar"> chapter {* R4: Deducción natural proposicional *} theory R4 imports Main begin text {* ------------------------------------------------------------...')
- 15:44 6 mar 2018 (dif | hist) . . (+60) . . Lógica matemática y fundamentos (2017-18)
- 15:41 6 mar 2018 (dif | hist) . . (+138) . . Lógica matemática y fundamentos (2017-18)
- 13:33 28 feb 2018 (dif | hist) . . (+849) . . N Relación 3 (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 (dif | hist) . . (0) . . m R3 (Protegió «R3» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 13:33 28 feb 2018 (dif | hist) . . (+849) . . N R3 (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 (dif | hist) . . (+132) . . Lógica matemática y fundamentos (2017-18)
- 10:35 26 feb 2018 (dif | hist) . . (-74) . . Relación 2
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).