Contribuciones del usuario
Para Mjoseh (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 10: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)
- 10:06 14 may 2018 (dif | hist) . . (0) . . m R11 (Protegió «R11» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 10:05 14 may 2018 (dif | hist) . . (+4) . . R11
- 10:04 14 may 2018 (dif | hist) . . (+1) . . R11
- 10:04 14 may 2018 (dif | hist) . . (+3) . . R11
- 10:04 14 may 2018 (dif | hist) . . (+1) . . R11
- 10:03 14 may 2018 (dif | hist) . . (-8) . . R11
- 10: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...')
- 10:02 14 may 2018 (dif | hist) . . (+127) . . Lógica matemática y fundamentos (2017-18)
- 15: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)
- 15:17 7 may 2018 (dif | hist) . . (0) . . m R10 (Protegió «R10» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 15:16 7 may 2018 (dif | hist) . . (-1) . . R10
- 15: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₂ ...')
- 15:16 7 may 2018 (dif | hist) . . (+100) . . Lógica matemática y fundamentos (2017-18)
- 12: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)
- 12:00 27 abr 2018 (dif | hist) . . (0) . . m R9 (Protegió «R9» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 11:59 27 abr 2018 (dif | hist) . . (-1) . . R9
- 11:59 27 abr 2018 (dif | hist) . . (-1) . . R9
- 11: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 ...')
- 11:58 27 abr 2018 (dif | hist) . . (+111) . . Lógica matemática y fundamentos (2017-18)
- 09: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)
- 09:24 11 abr 2018 (dif | hist) . . (0) . . m R8 (Protegió «R8» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 09: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...')
- 09:23 11 abr 2018 (dif | hist) . . (+106) . . Lógica matemática y fundamentos (2017-18)
- 11: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 ...')
- 11:19 5 abr 2018 (dif | hist) . . (0) . . m R7 (Protegió «R7» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 11: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 ...')
- 11:18 5 abr 2018 (dif | hist) . . (+210) . . Lógica matemática y fundamentos (2017-18)
- 18: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...')
- 18:25 2 abr 2018 (dif | hist) . . (0) . . m R6 (Protegió «R6» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 18:25 2 abr 2018 (dif | hist) . . (-6) . . R6
- 18: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...')
- 18:24 2 abr 2018 (dif | hist) . . (+142) . . Lógica matemática y fundamentos (2017-18) (→Relaciones de ejercicios)
- 18:46 22 mar 2018 (dif | hist) . . (-5) . . Relación 5 (→Relación 5: Sintaxis y semántica de la Lógica de primer orden)
- 18:45 22 mar 2018 (dif | hist) . . (-5) . . Relación 5 (→Relación 5: Sintaxis y semántica de la Lógica de primer orden)
- 17: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 ...')
- 17:02 19 mar 2018 (dif | hist) . . (0) . . m R5 (Protegió «R5» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 17: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 ...')
- 17:01 19 mar 2018 (dif | hist) . . (+136) . . Lógica matemática y fundamentos (2017-18) (→Relaciones de ejercicios)
- 18:27 15 mar 2018 (dif | hist) . . (+210) . . Relación 4
- 14: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 {* ------------------------------------------------------------...')
- 14:45 6 mar 2018 (dif | hist) . . (0) . . m R4 (Protegió «R4» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 14: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 {* ------------------------------------------------------------...')
- 14:44 6 mar 2018 (dif | hist) . . (+60) . . Lógica matemática y fundamentos (2017-18)
- 14:41 6 mar 2018 (dif | hist) . . (+138) . . Lógica matemática y fundamentos (2017-18)
- 12: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 ∧...')
- 12:33 28 feb 2018 (dif | hist) . . (0) . . m R3 (Protegió «R3» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 12: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 ∧...')
- 12:33 28 feb 2018 (dif | hist) . . (+132) . . Lógica matemática y fundamentos (2017-18)
- 09:35 26 feb 2018 (dif | hist) . . (-74) . . Relación 2
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).