https://www.glc.us.es/~jalonso/LMF2019/index.php?action=history&feed=atom&title=R8R8 - Historial de revisiones2026-07-23T05:32:14ZHistorial de revisiones para esta página en el wikiMediaWiki 1.31.14https://www.glc.us.es/~jalonso/LMF2019/index.php?title=R8&diff=533&oldid=prevMjoseh en 18:04 3 abr 20192019-04-03T18:04:46Z<p></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<tr class="diff-title" lang="es">
<td colspan="1" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td>
<td colspan="1" style="background-color: #fff; color: #222; text-align: center;">Revisión del 18:04 3 abr 2019</td>
</tr><tr><td colspan="2" class="diff-notice" lang="es"><div class="mw-diff-empty">(Sin diferencias)</div>
</td></tr></table>Mjosehhttps://www.glc.us.es/~jalonso/LMF2019/index.php?title=R8&diff=532&oldid=prevMjoseh en 18:04 3 abr 20192019-04-03T18:04:33Z<p></p>
<p><b>Página nueva</b></p><div><source lang = "isabelle"><br />
chapter {* R8: Argumentación en lógica de primer orden *}<br />
<br />
theory R8<br />
imports Main <br />
begin<br />
<br />
text {*<br />
--------------------------------------------------------------------- <br />
El objetivo de esta relación es formalizar en lógica de primer orden<br />
argumentos expresados en lenguaje natural.<br />
<br />
Antes de escribir la soluciones, comprobar con APLI2 la corrección de la formalización.<br />
<br />
Una vez formalizadas, probar que el razonamiento es correcto, o refutarlo mediante un contraejemplo. <br />
<br />
Las demostraciones pueden hacerse usando Isar o tácticas de prueba.<br />
------------------------------------------------------------------ *}<br />
<br />
text {* --------------------------------------------------------------- <br />
Ejercicio 1. Formalizar el siguiente argumento<br />
Hay estudiantes inteligentes y hay estudiantes trabajadores. Por<br />
tanto, hay estudiantes inteligentes y trabajadores.<br />
Usar I(x) para x es inteligente<br />
T(x) para x es trabajador<br />
------------------------------------------------------------------ *}<br />
<br />
text {* --------------------------------------------------------------- <br />
Ejercicio 2. Formalizar el siguiente argumento<br />
Todos los participantes son vencedores. Hay como máximo un<br />
vencedor. Hay como máximo un participante. Por lo tanto, hay<br />
exactamente un participante. <br />
Usar P(x) para x es un participante<br />
V(x) para x es un vencedor<br />
------------------------------------------------------------------ *}<br />
<br />
text {* --------------------------------------------------------------- <br />
Ejercicio 3. Formalizar el siguiente argumento<br />
Ningún aristócrata debe ser condenado a galeras a menos que sus<br />
crímenes sean vergonzosos y lleve una vida licenciosa. En la ciudad<br />
hay aristócratas que han cometido crímenes vergonzosos aunque su<br />
forma de vida no sea licenciosa. Por tanto, hay algún aristócrata<br />
que no está condenado a galeras. <br />
Usar A(x) para x es aristócrata<br />
G(x) para x está condenado a galeras<br />
L(x) para x lleva una vida licenciosa<br />
V(x) para x ha cometido crímenes vergonzoso<br />
------------------------------------------------------------------ *}<br />
<br />
text {* --------------------------------------------------------------- <br />
Ejercicio 4. Formalizar el siguiente argumento<br />
Todos los robots obedecen a los amigos del programador jefe.<br />
Alvaro es amigo del programador jefe, pero Benito no le<br />
obedece. Por tanto, Benito no es un robot.<br />
Usar R(x) para x es un robot<br />
Ob(x,y) para x obedece a y<br />
A(x) para x es amigo del programador jefe<br />
b para Benito<br />
a para Alvaro<br />
------------------------------------------------------------------ *}<br />
<br />
<br />
text {* --------------------------------------------------------------- <br />
Ejercicio 5. Formalizar el siguiente argumento<br />
Ningún socio del club está en deuda con el tesorero del club. Si<br />
un socio del club no paga su cuota está en deuda con el tesorero<br />
del club. Por tanto, si el tesorero del club es socio del club,<br />
entonces paga su cuota. <br />
Usar P(x) para x es socio del club<br />
Q(x) para x paga su cuota<br />
R(x) para x está en deuda con el tesorero<br />
a para el tesorero del club<br />
------------------------------------------------------------------ *}<br />
<br />
text {* --------------------------------------------------------------- <br />
Ejercicio 6. Formalizar el siguiente argumento<br />
Los aficionados al fútbol aplauden a cualquier futbolista<br />
extranjero. Juanito no aplaude a futbolistas extranjeros. Por<br />
tanto, si hay algún futbolista extranjero nacionalizado español,<br />
Juanito no es aficionado al fútbol.<br />
Usar Af(x) para x es aficicionado al fútbol<br />
Ap(x,y) para x aplaude a y<br />
E(x) para x es un futbolista extranjero<br />
N(x) para x es un futbolista nacionalizado español<br />
j para Juanito<br />
------------------------------------------------------------------ *}<br />
<br />
<br />
text {* --------------------------------------------------------------- <br />
Ejercicio 7. Formalizar el siguiente argumento<br />
Todo aquel que entre en el país y no sea un VIP será cacheado por<br />
un aduanero. Hay un contrabandista que entra en el país y que solo<br />
podrá ser cacheado por contrabandistas. Ningún contrabandista es un<br />
VIP. Por tanto, algún aduanero es contrabandista.<br />
Usar A(x) para x es aduanero<br />
Ca(x,y) para x cachea a y<br />
Co(x) para x es contrabandista<br />
E(x) para x entra en el pais<br />
V(x) para x es un VIP<br />
------------------------------------------------------------------ *}<br />
<br />
<br />
section {* Ejercicios con igualdad *}<br />
<br />
text {* --------------------------------------------------------------- <br />
Ejercicio 8. Formalizar el siguiente argumento <br />
Rosa ama a Curro. Paco no simpatiza con Ana. Quien no simpatiza con<br />
Ana ama a Rosa. Si una persona ama a otra, la segunda ama a la<br />
primera. Hay como máximo una persona que ama a Rosa. Por tanto,<br />
Paco es Curro. <br />
Usar A(x,y) para x ama a y <br />
S(x,y) para x simpatiza con y <br />
a para Ana<br />
c para Curro<br />
p para Paco <br />
r para Rosa<br />
------------------------------------------------------------------ *}<br />
<br />
text {* --------------------------------------------------------------- <br />
Ejercicio 9. Formalizar el siguiente argumento <br />
Todos los filósofos se han preguntado qué es la filosofía. Los que<br />
se preguntan qué es la filosofía se vuelven locos. Nietzsche es<br />
filósofo. El maestro de Nietzsche no acabó loco. Por tanto,<br />
Nietzsche y su maestro son diferentes personas. <br />
Usar F(x) para x es filósofo<br />
L(x) para x se vuelve loco<br />
P(x) para x se ha preguntado qué es la filosofía.<br />
m para el maestro de Nietzsche<br />
n para Nietzsche<br />
------------------------------------------------------------------ *}<br />
<br />
<br />
text {* --------------------------------------------------------------- <br />
Ejercicio 10. Formalizar el siguiente argumento <br />
Eduardo pudo haber visto al asesino. Antonio fue el primer testigo<br />
de la defensa. O Eduardo estaba en clase o Antonio dio falso<br />
testimonio. Nadie en clase pudo haber visto al asesino. Luego, el<br />
primer testigo de la defensa dio falso testimonio. <br />
Usar C(x) para x estaba en clase<br />
F(x) para x dio falso testimonio<br />
V(x) para x pudo haber visto al asesino<br />
a para Antonio<br />
e para Eduardo<br />
p para el primer testigo de la defensa<br />
------------------------------------------------------------------ *}<br />
<br />
<br />
end<br />
<br />
</source></div>Mjoseh