Diferencia entre revisiones de «Relación 3»
De Lógica matemática y fundamentos (2018-19)
m |
|||
| (No se muestran 33 ediciones intermedias de 12 usuarios) | |||
| Línea 7: | Línea 7: | ||
---- | ---- | ||
| − | '''Solución:''' sofsanfer | + | '''Solución:''' sofsanfer, luiporpir, paurinara |
[[Archivo:ej1rel3.png]] | [[Archivo:ej1rel3.png]] | ||
| − | migtromol | + | migtromol, nurgomvar, matcarcar, roccorcor |
[[Archivo:Ejercicio3.1.PNG]] | [[Archivo:Ejercicio3.1.PNG]] | ||
| Línea 20: | Línea 20: | ||
---- | ---- | ||
| − | '''Solución:''' sofsanfer, migtromol | + | '''Solución:''' sofsanfer, migtromol, luiporpir, nurgomvar, matcarcar, paurinara, roccorcor |
[[Archivo:ej2rel3.png]] | [[Archivo:ej2rel3.png]] | ||
| Línea 30: | Línea 30: | ||
---- | ---- | ||
| − | '''Solución:''' sofsanfer, migtromol | + | '''Solución:''' sofsanfer, migtromol, luiporpir, nurgomvar, matcarcar, paurinara, roccorcor |
[[Archivo:ej3rel3.png]] | [[Archivo:ej3rel3.png]] | ||
| Línea 39: | Línea 39: | ||
---- | ---- | ||
| − | '''Solución:''' sofsanfer, migtromol | + | '''Solución:''' sofsanfer, migtromol, luiporpir, nurgomvar, matcarcar, paurinara, roccorcor |
[[Archivo:ej4rel3.png]] | [[Archivo:ej4rel3.png]] | ||
| Línea 48: | Línea 48: | ||
---- | ---- | ||
| − | '''Solución:''' sofsanfer | + | '''Solución:''' sofsanfer, migtromol, luiporpir, nurgomvar, paurinara, roccorcor |
[[Archivo:ej5rel3.png]] | [[Archivo:ej5rel3.png]] | ||
| Línea 58: | Línea 58: | ||
---- | ---- | ||
| − | '''Solución:''' | + | '''Solución:''' luiporpir, sofsanfer |
| + | |||
| + | [[Archivo:ej6_rel3.jpg]] | ||
| Línea 67: | Línea 69: | ||
'''Solución:''' | '''Solución:''' | ||
| + | |||
| + | josgutde3 | ||
| + | |||
| + | Usaremos dos lemas en la demostración: | ||
| + | : '''Lema 1.''' ¬(F → G) ⊧ F ∧ ¬G | ||
| + | : [[Archivo:lema_1.jpg]] | ||
| + | : '''Ley de De Morgan.''' ¬(F ∨ G) ⊧ ¬F ∧ ¬G | ||
| + | : [[Archivo:lema_2.jpg]] | ||
| + | |||
| + | : Ahora podemos demostrar que ⊧(p → q) ∨ (q → p) | ||
| + | : [[Archivo:ej7rel3_2.jpg]] | ||
| + | |||
| + | |||
| + | sofsanfer | ||
| + | |||
| + | [[Archivo:ej7rel3sofsanfer.png]] | ||
| + | |||
---- | ---- | ||
| Línea 73: | Línea 92: | ||
---- | ---- | ||
| − | '''Solución:''' Antmorlop8 | + | '''Solución:''' Antmorlop8, luiporpir, nurgomvar, sofsanfer |
| − | [[Archivo: | + | |
| + | [[Archivo:ejercicio8.jpg] | ||
Revisión actual del 16:44 11 abr 2019
Relación 3: Deducción natural en lógica proposicional
Ejercicio 1. Demostrar mediante deducción natural:
- {p → r, r → ¬ q} ⊧ ¬(p ∧ q)
Solución: sofsanfer, luiporpir, paurinara
migtromol, nurgomvar, matcarcar, roccorcor
Ejercicio 2. Demostrar mediante deducción natural:
- ¬p ∧ ¬q ⊧ ¬(p ∨ q)
Solución: sofsanfer, migtromol, luiporpir, nurgomvar, matcarcar, paurinara, roccorcor
Ejercicio 3. Demostrar mediante deducción natural:
- p ∨ q ⊧ ¬(¬ p ∧ ¬ q )
Solución: sofsanfer, migtromol, luiporpir, nurgomvar, matcarcar, paurinara, roccorcor
Ejercicio 4. Demostrar mediante deducción natural:
- ¬ p ∨ ¬ q ⊧ ¬( p ∧ q )
Solución: sofsanfer, migtromol, luiporpir, nurgomvar, matcarcar, paurinara, roccorcor
Ejercicio 5. Demostrar mediante deducción natural:
- {p → r, r → ¬ q} ⊧ ¬(p ∧ q)
Solución: sofsanfer, migtromol, luiporpir, nurgomvar, paurinara, roccorcor
Ejercicio 6. Demostrar mediante deducción natural:
- ⊧ ((p → q) → p)
Solución: luiporpir, sofsanfer
Ejercicio 7. Demostrar mediante deducción natural:
- (p → q) ∨ (q → p)
Solución:
josgutde3
Usaremos dos lemas en la demostración:
- Lema 1. ¬(F → G) ⊧ F ∧ ¬G
- Ley de De Morgan. ¬(F ∨ G) ⊧ ¬F ∧ ¬G
- Ahora podemos demostrar que ⊧(p → q) ∨ (q → p)
sofsanfer
Ejercicio 8. Demostrar mediante deducción natural:
- p → (q ∧ r) ⊧ (p → q) ∨ (p → r)
Solución: Antmorlop8, luiporpir, nurgomvar, sofsanfer
[[Archivo:ejercicio8.jpg]