R10 - Historial de revisiones

Mjoseh: Protegió «R10» ([edit=sysop] (indefinido) [move=sysop] (indefinido))

2014-12-03T18:12:30Z

Protegió «R10» ([edit=sysop] (indefinido) [move=sysop] (indefinido))

Mjoseh en 18:12 3 dic 2014

2014-12-03T18:12:16Z

Mjoseh en 18:11 3 dic 2014

2014-12-03T18:11:46Z

Mjoseh: Página creada con '=== Relación 10: Temas 1 a 8 === ---- '''Ejercicio 1.''' Formalizar el siguiente argumento:
Quien desprecia a todos los fanáticos desprecia también a todos los ...'

2014-12-03T18:10:44Z

Página creada con '=== Relación 10: Temas 1 a 8 === ---- '''Ejercicio 1.''' Formalizar el siguiente argumento: <blockquote> Quien desprecia a todos los fanáticos desprecia también a todos los ...'

Página nueva

=== Relación 10: Temas 1 a 8 ===

----
'''Ejercicio 1.''' Formalizar el siguiente argumento:
<blockquote>
Quien desprecia a todos los fanáticos desprecia también a todos los políticos. Alguine no desprecia a un determinado político. Por consiguiente, hay un fanático al que no todo el mundo desprecia.
</blockquote>

Nota: Comprobar la formalización con [http://bit.ly/1pkvwsf APLI2].
----

'''Solución:'''

----
'''Ejercicio 2.''' En el lenguaje con igualdad L = { a, f } , siendo f un símbolo de función
de aridad 1 y a una constante, se consideran las siguientes fórmulas:
: F_1 = ∀ x [ f ( x ) = a ] ,
: F_2 = ∀ x ∀ y [ f ( x ) = f ( y ) → x = y ] ,
: F_3 = ∀ x [ x = a → ∃ y [ f ( y ) = x ]] .

Decidir si alguna de estas fórmulas es consecuencia lógica de las dos restantes.

----

'''Solución:'''

----
'''Ejercicio 3.''' Probar por deducción natural
: ∀x ∀ y (P(y) → Q(x)) ⊢ ∃y P(y) → ∀x Q(x)

----

'''Solución:'''

----
'''Ejercicio 4.''' Decidir, mediante tableros semáticos, si la fórmula
: (p ∧ q ⇔ p ∨ q) → (p → q)

es una tautología.

----

'''Solución:'''

----
'''Ejercicio 5.''' Decidir, por resolución, si la fórmula p ↔ p ∨ r es consecuencia lógica de la fórmula q → p ∧ r.
----

'''Solución:'''

← Revisión anterior	Revisión del 18:12 3 dic 2014
(Sin diferencias)

@@ Línea 4: / Línea 4: @@
 '''Ejercicio 1.''' Formalizar el siguiente argumento:
 <blockquote>
-Quien desprecia a todos los fanáticos desprecia también a todos los políticos. Alguine no desprecia a un determinado político. Por consiguiente, hay un fanático al que no todo el mundo desprecia.
+Quien desprecia a todos los fanáticos desprecia también a todos los políticos. Alguien no desprecia a un determinado político. Por consiguiente, hay un fanático al que no todo el mundo desprecia.
 </blockquote>

@@ Línea 15: / Línea 15: @@
 '''Ejercicio 2.''' En el lenguaje con igualdad L = { a, f } , siendo f un símbolo de función
 de aridad 1 y a una constante, se consideran las siguientes fórmulas:
-: F_1 = ∀ x [ f ( x ) = a ] ,
+: F = ∀ x [ f ( x ) = a ] ,
-: F_2 = ∀ x ∀ y [ f ( x ) = f ( y ) → x = y ] ,
+: G = ∀ x ∀ y [ f ( x ) = f ( y ) → x = y ] ,
-: F_3 = ∀ x [ x = a → ∃ y [ f ( y ) = x ]] .
+: H = ∀ x [ x = a → ∃ y [ f ( y ) = x ]] .
 Decidir si alguna de estas fórmulas es consecuencia lógica de las dos restantes.
@@ Línea 36: / Línea 36: @@
 ----
 '''Ejercicio 4.''' Decidir, mediante tableros semáticos, si la fórmula
-: (p ∧ q ⇔ p ∨ q) → (p → q)
+: (p ∧ q ↔ p ∨ q) → (p → q)
 es una tautología.

R10 - Historial de revisiones

Mjoseh: Protegió «R10» ([edit=sysop] (indefinido) [move=sysop] (indefinido))

Mjoseh en 18:12 3 dic 2014

Mjoseh en 18:11 3 dic 2014

Mjoseh: Página creada con '=== Relación 10: Temas 1 a 8 === ---- '''Ejercicio 1.''' Formalizar el siguiente argumento: Quien desprecia a todos los fanáticos desprecia también a todos los ...'

Mjoseh: Página creada con '=== Relación 10: Temas 1 a 8 === ---- '''Ejercicio 1.''' Formalizar el siguiente argumento:
Quien desprecia a todos los fanáticos desprecia también a todos los ...'