Contribuciones del usuario
Para Mjoseh (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 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
- 10:34 26 feb 2018 (dif | hist) . . (0) . . Relación 2
- 10:33 26 feb 2018 (dif | hist) . . (+74) . . Relación 2
- 13:33 19 feb 2018 (dif | hist) . . (+1042) . . N Relación 2 (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 (dif | hist) . . (0) . . m R2 (Protegió «R2» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 13:33 19 feb 2018 (dif | hist) . . (+1042) . . N R2 (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:32 19 feb 2018 (dif | hist) . . (+129) . . Lógica matemática y fundamentos (2017-18)
- 10:05 14 feb 2018 (dif | hist) . . (+5) . . Relación 1
- 10:00 14 feb 2018 (dif | hist) . . (-8) . . Relación 1
- 09:59 14 feb 2018 (dif | hist) . . (-1) . . Relación 1
- 09:58 14 feb 2018 (dif | hist) . . (+5) . . Relación 1
- 13:44 12 feb 2018 (dif | hist) . . (0) . . m R1 (Protegió «R1» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 13:44 12 feb 2018 (dif | hist) . . (+4249) . . N Relación 1 (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 (dif | hist) . . (+4249) . . N R1 (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 (dif | hist) . . (+135) . . Lógica matemática y fundamentos (2017-18)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).