https://www.glc.us.es/~jalonso/LMF2019/api.php?action=feedcontributions&feedformat=atom&user=Migtromol
Lógica matemática y fundamentos (2018-19) - Contribuciones del usuario [es]
2026-07-19T23:25:38Z
Contribuciones del usuario
MediaWiki 1.31.14
https://www.glc.us.es/~jalonso/LMF2019/index.php?title=Relaci%C3%B3n_3&diff=265
Relación 3
2019-03-02T02:47:35Z
<p>Migtromol: </p>
<hr />
<div><br />
=== Relación 3: Deducción natural en lógica proposicional ===<br />
<br />
----<br />
'''Ejercicio 1.''' Demostrar mediante deducción natural:<br />
: {p → r, r → ¬ q} ⊧ ¬(p ∧ q)<br />
----<br />
<br />
'''Solución:''' sofsanfer<br />
<br />
[[Archivo:ej1rel3.png]]<br />
<br />
migtromol<br />
<br />
[[Archivo:Ejercicio3.1.PNG]]<br />
<br />
----<br />
'''Ejercicio 2.''' Demostrar mediante deducción natural:<br />
: ¬p ∧ ¬q ⊧ ¬(p ∨ q)<br />
----<br />
<br />
'''Solución:''' sofsanfer<br />
<br />
[[Archivo:ej2rel3.png]]<br />
<br />
<br />
----<br />
'''Ejercicio 3.''' Demostrar mediante deducción natural:<br />
: p ∨ q ⊧ ¬(¬ p ∧ ¬ q )<br />
----<br />
<br />
'''Solución:''' sofsanfer<br />
<br />
[[Archivo:ej3rel3.png]]<br />
<br />
----<br />
'''Ejercicio 4.''' Demostrar mediante deducción natural:<br />
: ¬ p ∨ ¬ q ⊧ ¬( p ∧ q )<br />
----<br />
<br />
'''Solución:''' sofsanfer<br />
<br />
[[Archivo:ej4rel3.png]]<br />
<br />
----<br />
'''Ejercicio 5.''' Demostrar mediante deducción natural:<br />
: {p → r, r → ¬ q} ⊧ ¬(p ∧ q)<br />
----<br />
<br />
'''Solución:''' sofsanfer<br />
<br />
[[Archivo:ej5rel3.png]]<br />
<br />
<br />
----<br />
'''Ejercicio 6.''' Demostrar mediante deducción natural:<br />
: ⊧ ((p → q) → p)<br />
----<br />
<br />
'''Solución:'''<br />
<br />
<br />
----<br />
'''Ejercicio 7.''' Demostrar mediante deducción natural:<br />
: (p → q) ∨ (q → p)<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 8.''' Demostrar mediante deducción natural:<br />
: p → (q ∧ r) ⊧ (p → q) ∨ (p → r)<br />
----<br />
<br />
'''Solución:''' Antmorlop8<br />
[[Archivo:ej08rel03.png]]</div>
Migtromol
https://www.glc.us.es/~jalonso/LMF2019/index.php?title=Archivo:Ejercicio3.1.PNG&diff=264
Archivo:Ejercicio3.1.PNG
2019-03-02T02:46:13Z
<p>Migtromol: </p>
<hr />
<div></div>
Migtromol
https://www.glc.us.es/~jalonso/LMF2019/index.php?title=Relaci%C3%B3n_3&diff=263
Relación 3
2019-03-02T02:40:21Z
<p>Migtromol: </p>
<hr />
<div><br />
=== Relación 3: Deducción natural en lógica proposicional ===<br />
<br />
----<br />
'''Ejercicio 1.''' Demostrar mediante deducción natural:<br />
: {p → r, r → ¬ q} ⊧ ¬(p ∧ q)<br />
----<br />
<br />
'''Solución:''' sofsanfer<br />
<br />
[[Archivo:ej1rel3.png]]<br />
<br />
<br />
----<br />
'''Ejercicio 2.''' Demostrar mediante deducción natural:<br />
: ¬p ∧ ¬q ⊧ ¬(p ∨ q)<br />
----<br />
<br />
'''Solución:''' sofsanfer<br />
<br />
[[Archivo:ej2rel3.png]]<br />
<br />
<br />
----<br />
'''Ejercicio 3.''' Demostrar mediante deducción natural:<br />
: p ∨ q ⊧ ¬(¬ p ∧ ¬ q )<br />
----<br />
<br />
'''Solución:''' sofsanfer<br />
<br />
[[Archivo:ej3rel3.png]]<br />
<br />
----<br />
'''Ejercicio 4.''' Demostrar mediante deducción natural:<br />
: ¬ p ∨ ¬ q ⊧ ¬( p ∧ q )<br />
----<br />
<br />
'''Solución:''' sofsanfer<br />
<br />
[[Archivo:ej4rel3.png]]<br />
<br />
----<br />
'''Ejercicio 5.''' Demostrar mediante deducción natural:<br />
: {p → r, r → ¬ q} ⊧ ¬(p ∧ q)<br />
----<br />
<br />
'''Solución:''' sofsanfer<br />
<br />
[[Archivo:ej5rel3.png]]<br />
<br />
<br />
----<br />
'''Ejercicio 6.''' Demostrar mediante deducción natural:<br />
: ⊧ ((p → q) → p)<br />
----<br />
<br />
'''Solución:'''<br />
<br />
<br />
----<br />
'''Ejercicio 7.''' Demostrar mediante deducción natural:<br />
: (p → q) ∨ (q → p)<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 8.''' Demostrar mediante deducción natural:<br />
: p → (q ∧ r) ⊧ (p → q) ∨ (p → r)<br />
----<br />
<br />
'''Solución:''' Antmorlop8<br />
[[Archivo:ej08rel03.png]]</div>
Migtromol
https://www.glc.us.es/~jalonso/LMF2019/index.php?title=Relaci%C3%B3n_3&diff=262
Relación 3
2019-03-02T02:38:47Z
<p>Migtromol: </p>
<hr />
<div><br />
=== Relación 3: Deducción natural en lógica proposicional ===<br />
<br />
----<br />
'''Ejercicio 1.''' Demostrar mediante deducción natural:<br />
: {p → r, r → ¬ q} ⊧ ¬(p ∧ q)<br />
----<br />
<br />
'''Solución:''' sofsanfer, migtromol<br />
<br />
[[Archivo:ej1rel3.png]]<br />
<br />
<br />
----<br />
'''Ejercicio 2.''' Demostrar mediante deducción natural:<br />
: ¬p ∧ ¬q ⊧ ¬(p ∨ q)<br />
----<br />
<br />
'''Solución:''' sofsanfer<br />
<br />
[[Archivo:ej2rel3.png]]<br />
<br />
<br />
----<br />
'''Ejercicio 3.''' Demostrar mediante deducción natural:<br />
: p ∨ q ⊧ ¬(¬ p ∧ ¬ q )<br />
----<br />
<br />
'''Solución:''' sofsanfer<br />
<br />
[[Archivo:ej3rel3.png]]<br />
<br />
----<br />
'''Ejercicio 4.''' Demostrar mediante deducción natural:<br />
: ¬ p ∨ ¬ q ⊧ ¬( p ∧ q )<br />
----<br />
<br />
'''Solución:''' sofsanfer<br />
<br />
[[Archivo:ej4rel3.png]]<br />
<br />
----<br />
'''Ejercicio 5.''' Demostrar mediante deducción natural:<br />
: {p → r, r → ¬ q} ⊧ ¬(p ∧ q)<br />
----<br />
<br />
'''Solución:''' sofsanfer<br />
<br />
[[Archivo:ej5rel3.png]]<br />
<br />
<br />
----<br />
'''Ejercicio 6.''' Demostrar mediante deducción natural:<br />
: ⊧ ((p → q) → p)<br />
----<br />
<br />
'''Solución:'''<br />
<br />
<br />
----<br />
'''Ejercicio 7.''' Demostrar mediante deducción natural:<br />
: (p → q) ∨ (q → p)<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 8.''' Demostrar mediante deducción natural:<br />
: p → (q ∧ r) ⊧ (p → q) ∨ (p → r)<br />
----<br />
<br />
'''Solución:''' Antmorlop8<br />
[[Archivo:ej08rel03.png]]</div>
Migtromol
https://www.glc.us.es/~jalonso/LMF2019/index.php?title=Archivo:Ejercicio2.5.PNG&diff=260
Archivo:Ejercicio2.5.PNG
2019-03-02T02:19:53Z
<p>Migtromol: </p>
<hr />
<div></div>
Migtromol
https://www.glc.us.es/~jalonso/LMF2019/index.php?title=Archivo:Ejercicio2.8.PNG&diff=258
Archivo:Ejercicio2.8.PNG
2019-03-02T02:01:57Z
<p>Migtromol: </p>
<hr />
<div></div>
Migtromol
https://www.glc.us.es/~jalonso/LMF2019/index.php?title=Archivo:Ejercicio2.4.PNG&diff=254
Archivo:Ejercicio2.4.PNG
2019-03-01T23:54:41Z
<p>Migtromol: </p>
<hr />
<div></div>
Migtromol
https://www.glc.us.es/~jalonso/LMF2019/index.php?title=Archivo:Ejercicio2.3.PNG&diff=252
Archivo:Ejercicio2.3.PNG
2019-03-01T23:22:14Z
<p>Migtromol: </p>
<hr />
<div></div>
Migtromol