Relación 2 - Historial de revisiones

Josgutbar en 15:28 5 oct 2014

2014-10-05T15:28:47Z

2014-10-05T15:27:11Z

2014-10-05T09:14:23Z

2014-10-05T09:13:29Z

2014-10-04T08:00:24Z

2014-10-03T12:35:38Z

‎Relación 2: Semántica proposicional

2014-10-03T12:30:32Z

‎Relación 2: Semántica proposicional

2014-10-03T12:26:43Z

‎Relación 2: Semántica proposicional

2014-10-03T12:26:04Z

‎Relación 2: Semántica proposicional

2014-10-03T12:25:27Z

‎Relación 2: Semántica proposicional

@@ Línea 102: / Línea 102: @@
 '''Solución 3:'''
-Para que F -> G sea satisfactible, partiendo de que F es satisfactible ( es decir puede ser "1" en la fórmula anterior ) G debe ser "1" para que la implicación sea "1"
+Para que F -> G sea satisfactible, partiendo de que F es satisfactible ( es decir puede ser "1" en la fórmula anterior ) G debe ser "1" para que la implicación sea "1". Por tanto G es satisfactible.
 ----

← Revisión anterior		Revisión del 15:27 5 oct 2014
Línea 99:		Línea 99:

	'''Solución 2:''' Sí, ya que el único modelo de F, al ser atómica, es 1, y para que F → G sea satisfascible, G no puede dar 0. Por tanto, G tiene que ser satisfascible.		'''Solución 2:''' Sí, ya que el único modelo de F, al ser atómica, es 1, y para que F → G sea satisfascible, G no puede dar 0. Por tanto, G tiene que ser satisfascible.
		+
		+	'''Solución 3:'''
		+
		+	Para que F -> G sea satisfactible, partiendo de que F es satisfactible ( es decir puede ser "1" en la fórmula anterior ) G debe ser "1" para que la implicación sea "1"

	----		----

@@ Línea 75: / Línea 75: @@
 '''Solución 2:''' Uno de los dos carteles dice la verdad, lógicamente es el segundo, puesto que lo dice el enunciado. Por lo tanto, la primera puerta
 no dice la verdad, y el prisionero debería entrar en la puerta 2 si quiere seguir con vida.
 '''Solución 3'''
 Si hacemos el ejemplo con fórmulas tendríamos:

@@ Línea 75: / Línea 75: @@
 '''Solución 2:''' Uno de los dos carteles dice la verdad, lógicamente es el segundo, puesto que lo dice el enunciado. Por lo tanto, la primera puerta
 no dice la verdad, y el prisionero debería entrar en la puerta 2 si quiere seguir con vida.
+'''Solución 3'''
 ----
 '''Ejercicio 3.''' ¿Existe un conjunto S de tres fórmulas tal que de todos los subconjuntos de S sólo uno es consistente?

← Revisión anterior		Revisión del 08:00 4 oct 2014
Línea 55:		Línea 55:

	Al realizar su tabla de verdad, obtenemos que es cierta para algunos casos y falsas para otros, por lo tanto la fórmula es contingente.		Al realizar su tabla de verdad, obtenemos que es cierta para algunos casos y falsas para otros, por lo tanto la fórmula es contingente.
		+
		+	''' Otra solución '''
		+	1. Contingente y satisfactible
		+	2. Contingente y satisfactible
		+	3. Contradicción, por tanto insatisfactible
		+	4. Contingente y satisfactible

	----		----

@@ Línea 38: / Línea 38: @@
 Contradicción, su tabla de verdad siempre vale 0.
-''Comentario:'' Las tablas también se pueden escribir como sigue
+''Comentario:'' Las [http://es.wikipedia.org/wiki/Ayuda:Tablas tablas] también se pueden escribir como sigue
-{|
+{| border="1"
- p || q || fórmula
+| p || q || fórmula
 |-
-|| 0 ||    0
+| 0 || 0 ||    0
 |-
-|| 1 ||    0
+| 0 || 1 ||    0
 |-
-|| 0 ||    0
+| 1 || 0 ||    0
 |-
-|| 1 ||    0
+| 1 || 1 ||    0
 |}

← Revisión anterior		Revisión del 12:30 3 oct 2014
Línea 37:		Línea 37:

	Contradicción, su tabla de verdad siempre vale 0.		Contradicción, su tabla de verdad siempre vale 0.
		+
		+	''Comentario:'' Las tablas también se pueden escribir como sigue
		+
		+	{\|
		+	p \|\| q \|\| fórmula
		+	\|-
		+	0 \|\| 0 \|\| 0
		+	\|-
		+	0 \|\| 1 \|\| 0
		+	\|-
		+	1 \|\| 0 \|\| 0
		+	\|-
		+	1 \|\| 1 \|\| 0
		+	\|}

	'''2ª Solución del 4º apartado:'''		'''2ª Solución del 4º apartado:'''

@@ Línea 30: / Línea 30: @@
 '''2ª Solución del 3º apartado:'''
   p | q | fórmula
 | 0 |    0
@@ Línea 36: / Línea 35: @@
 | 0 |    0
 | 1 |    0
-</pre>
 Contradicción, su tabla de verdad siempre vale 0.

@@ Línea 4: / Línea 4: @@
 '''Nota.''' En todos los ejercicios hay que '''razonar''' la respuesta.
 </div>
 ----
@@ Línea 31: / Línea 30: @@
 '''2ª Solución del 3º apartado:'''
   p | q | fórmula
 | 0 |    0
@@ Línea 36: / Línea 36: @@
 | 0 |    0
 | 1 |    0
+</pre>
 Contradicción, su tabla de verdad siempre vale 0.

@@ Línea 1: / Línea 1: @@
 === Relación 2: Semántica proposicional ===
-<pre style="color: red">
+<div style="color: red">
 '''Nota.''' En todos los ejercicios hay que '''razonar''' la respuesta.
-</pre>
+</div>