Relación 14 - Historial de revisiones

WikiSysop: Texto reemplazado: «isar» por «isabelle»

2018-07-16T12:27:09Z

Texto reemplazado: «isar» por «isabelle»

Jalonso en 07:22 15 may 2015

2015-05-15T07:22:36Z

Mjoseh en 12:34 11 may 2015

2015-05-11T12:34:06Z

Mjoseh en 12:33 11 may 2015

2015-05-11T12:33:53Z

Mjoseh: Página creada con ''

2015-05-11T12:33:31Z

Página creada con '<source lang = "isar"< </source>'

Página nueva

← Revisión anterior		Revisión del 12:27 16 jul 2018
Línea 1:		Línea 1:
−	<source lang = "~~isar~~">	+	<source lang = "isabelle">
	header {* R14: Argumentación y Deducción natural en lógica de primer orden *}		header {* R14: Argumentación y Deducción natural en lógica de primer orden *}

@@ Línea 44: / Línea 44: @@
-text {* Ej. 27: Todo ejecutivo que sea poeta es un hombre
+text {* Ej. 4: Todo ejecutivo que sea poeta es un hombre
    imaginativo. Todo hombre imaginativo es amante del riesgo. Si todo
    amante del riesgo no es poeta, entonces, ningún poeta es amante del

← Revisión anterior		Revisión del 12:34 11 may 2015
Línea 1:		Línea 1:
−	<source lang = "isar"<	+	<source lang = "isar">
	header {* R14: Argumentación y Deducción natural en lógica de primer orden *}		header {* R14: Argumentación y Deducción natural en lógica de primer orden *}

← Revisión anterior		Revisión del 12:33 11 may 2015
Línea 1:		Línea 1:
	<source lang = "isar"<		<source lang = "isar"<
		+	header {* R14: Argumentación y Deducción natural en lógica de primer orden *}

		+	theory R14
		+	imports Main
		+	begin
		+
		+
		+	text {* Ej. 1: Existe un hombre al que todos desprecian.
		+	(a) Demostrar que existe al menos un hombre que se desprecia a sí mismo.
		+	(b) ¿La conclusión sería cierta en el caso de que sólo supiéramos que
		+	existe un hombre al que algunos desprecian?
		+
		+	Simbología: H(x): x es hombre, D(x,y): x desprecia a y. *}
		+
		+
		+	text {* Ej. 2: Si todas las medicinas están contaminadas, entonces todos los
		+	técnicos negligentes son unos bribones. Si hay medicinas contaminadas,
		+	entonces todas las medicinas están contaminadas y son peligrosas. Todos los
		+	germicidas son medicinas. Sólo los negligentes son distraídos.
		+	(a) Demostrar que si cualquier técnico es distraído y si algunos germicidas
		+	están contaminados, los técnicos son bribones.
		+	(b) ¿Podemos asegurar lo mismo en el caso de que sólo supiéramos que hay
		+	técnicos distraídos?
		+
		+	Simbología: M(x): x es medicina. C(x): x está contaminada,
		+	T(x): x es técnico, N(x): x es un negligente,
		+	B(x): x es un bribón, G(x): x es germicida,
		+	D(x): x es distraído. *}
		+
		+
		+	text {* Ej. 3: Ningún individuo que sea candidato será derrotado si hace una
		+	buena campaña. Todo individuo que se postula es un candidato. Cualquier
		+	candidato que no sea derrotado, será elegido. Todo individuo que sea elegido
		+	hace una buena campaña.
		+	(a) Demostrar que todo individuo que se postula será elegido si y
		+	sólo si hace una buena campaña.
		+	(b) Si algún individuo se postula, ¿habrá candidatos que no sean
		+	elegidos?
		+
		+	Simbología: I(x): x es individuo, C(x): x es candidato,
		+	D(x): x es derrotado, B(x): x hace una buena campaña,
		+	P(x): x se postula, E(x): x es elegido. *}
		+
		+
		+	text {* Ej. 27: Todo ejecutivo que sea poeta es un hombre
		+	imaginativo. Todo hombre imaginativo es amante del riesgo. Si todo
		+	amante del riesgo no es poeta, entonces, ningún poeta es amante del
		+	riesgo.
		+	(a) Demostrar que si todo hombre imaginativo no es poeta, entonces,
		+	ningún ejecutivo es poeta.
		+	(b) ¿Es cierto el recíproco?
		+
		+	Simbología: E(x): x es ejecutivo, P(x): x es poeta, I(x): x es imaginativo,
		+	R(x): x es amante del riesgo. *}
		+
		+	end
	</source>		</source>