Edición de «Práctica 5 (LyC Verano)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 1: | Línea 1: | ||
{{Back|Lógica y Computabilidad}} | {{Back|Lógica y Computabilidad}} | ||
8iNrWt <a href="http://dmfetcuejdlo.com/">dmfetcuejdlo</a>, [url=http://vfmlomhesnzl.com/]vfmlomhesnzl[/url], [link=http://zhcldsbdwjyp.com/]zhcldsbdwjyp[/link], http://ctkatqrpldfs.com/ | |||
==Ejercicio 02== | ==Ejercicio 02== | ||
===a)=== | ===a)=== | ||
*1.SP3: (¬φ → ¬<font color=red>φ</font>) → [ (¬φ → <font color=red>φ</font>) → φ ] | |||
*2.VALE: (¬φ → ¬φ) (ya que |- p → p) | |||
*1. | *3.MP 1 y 2: (¬φ → φ) → φ | ||
→ |- (¬φ → φ) → φ | |||
* | |||
* | |||
|- (¬φ → φ) → | |||
===b)=== | ===b)=== | ||
Línea 67: | Línea 63: | ||
Hay dos casos: | Hay dos casos: | ||
1) Si φ <math>\in</math> Γ+ es trivialmente verdadero. <br | 1) Si φ <math>\in</math> Γ+ es trivialmente verdadero. </br> | ||
2) Supongo φ <math>\notin</math> Γ+ entonces por 4) b) ¬φ <math>\in</math> Γ+ => Γ+ |- ¬φ pero por hipótesis Γ+ |- φ => Γ+ es inconsistente (ABSURDO!) | 2) Supongo φ <math>\notin</math> Γ+ entonces por 4) b) ¬φ <math>\in</math> Γ+ => Γ+ |- ¬φ pero por hipótesis Γ+ |- φ => Γ+ es inconsistente (ABSURDO!) | ||