Mitómanos y Veraces

Definiciones

▪ Los mitómanos:
M = { x ∈ M / x siempre miente }
▪ Los veraces:
V = { x ∈ V / x siempre dice la verdad }
▪ Los normales:
N={x∈N/x∉M ʌ x∉V}
Axiomas

1. Si x ∈ V y x dice P, entonces P
2. Si x ∈ M y x dice P, entonces ~P
3. Las categorías M, V y N son excluyentes entre sí:

o Si x ∈ V ⇒ x ∉ M
o Si x ∈ M ⇒ x ∉ N
o Si x ∈ N ⇒ x ∉ V

4. ∀ x , x ∈ M ó x ∈ V ó x ∈ N
Simbología

La expresión: Ana afirma que Beto es Mentiroso., se escribe

simbólicamente:
a af b ∈ M,

Carlos no es Veraz se escribe simbólicamente: c ∉ V

Ejemplo 1

▪ Determine la validez de la conclusión a partir de las premisas

planteadas. Use una demostración directa para tal efecto

1. a af b ∈ M Conclusión Justificación
1
2. b af c ∈ M
2
3. c ∉ V
3
4. a ∈ V
c∈N
Ejemplo 2

▪ Determine la validez de la conclusión a partir de las premisas

planteadas. Use una demostración directa para tal efecto

1. a af b ∈ V Conclusión Justificación
1
2. b af c ∈ V
2
3. c af a ∉ V
3
4. c∉ V 4
c∈N
La demostración indirecta o
reducción al absurdo
establece como hipótesis la
negación de la conclusión
Ejemplo 3

▪ Determine la validez de la conclusión a partir de las premisas

planteadas. Use una demostración indirecta para tal efecto

1. a af b ∈ M Conclusión Justificación
1
2. c af a ∈ M
2
3. b ∈ M
3
c∉V 4
 Ejemplo 4

▪ Determine la validez de la conclusión a partir de las premisas planteadas.

Use una demostración indirecta para tal efecto

Ana dice que Beto es Normal. Beto dice que Ana no es Normal.
Ana es Mentirosa. Entonces Beto es Veraz.
Ejemplo 4

▪ Determine la validez de la conclusión a partir de las premisas

planteadas. Use una demostración indirecta para tal efecto

Conclusión Justificación
1. a af b ∈ N 1
2. b af a ∉ N 2
3
3. a ∈ M
4
b∈V
5
Use una demostración directa para determinar la validez de la conclusión a
partir de las premisas planteadas.

A. B.
1. a af b ∈ M 1. a af b ∈ N
2. b af a ∈ V 2. b af a ∉ N
3. a ∈ M . 3. a ∈ M .
b∈N b∈V
C. Ana afirma que Beto es veraz. Beto D.
afirma que Carlos es veraz. Carlos afirma 1. a af b ∈ M
que Ana no es veraz. Beto es veraz. 2. b af c ∈ M
Entonces Ana es Normal. 3. c af a ∈ M
4. a ∈ M .
b∈N
Use una demostración indirecta para determinar la validez de la conclusión
a partir de las premisas planteadas.

A. B.
1. a af b ∈ M 1. a af b ∈ M
2. b af a ∉ M 2. b af c ∈ M
3. b ∈ V . 3. c af a ∉ V
a∈N 4. a ∈ V .
c∈N
C. Ana dice que Beto es mentiroso. Beto dice que D.
Carlos es mentiroso. Carlos afirma que Ana no es 1. a af b ∉ V
veraz. Ana es mentirosa. Entonces Beto es 2. c af b ∈ N
Normal. 3. c ∈ V
4. a ∉ N .
a∈V