Unidad 3

Capítulo 3:
Introducción a la lógica
Curso: MATH-125
Profesor: William M. Figueroa Romero

1
Objetivos de Aprendizaje

• 3.1 Enunciados y cuantificadores

• 3.2 Tablas de verdad y enunciados equivalentes

• 3.4 El condicional y los enunciados relacionados

• 3.5 Análisis de argumentos con diagramas de Euler

• 3.6 Análisis de argumentos con tablas de verdad

2
Enunciados y
cuantificadores
Capítulo: 3
Unidad: 1

3
Enunciados y cuantificadores
Objetivos:
• Distinguir entre enunciados y no enunciados.
• Componer negaciones de enunciados.
• Traducir entre palabras y símbolos.
• Interpretar enunciados con cuantificadores y formular sus
negaciones.
• Encontrar valores de verdad de afirmaciones que involucren
cuantificadores y conjuntos de números.

4
Enunciados
Un enunciado se define como una oración declarativa que es
falsa o verdadera, pero no ambas cosas a la vez.

5
Enunciado Compuesto
Un enunciado compuesto se forma combinando dos o más
enunciados. Las oraciones que forman un enunciado compuesto
se llaman enunciados componentes. Se pueden usar varios
conectores lógicos, como y, o, no y si…entonces, para formar
enunciados compuestos.

6
Ejemplo 1: Determine si un Enunciado
es Compuesto o No
Determine si cada enunciado es compuesto.
a) Usted puede pagarme ahora o puede pagarme después.
b) La pistola es de la marca Smith y Wesson.
c) Si Amanda lo dijo, entonces debe ser verdad.

Solución
a) El conectivo es o. El enunciado es compuesta.
b) Este enunciado no es compuesto porque y es parte del nombre del
fabricante y no un conectivo lógico.
c) El conector aquí es si...entonces. El enunciado es compuesto.
7
Negación
“José tiene una valiosa tarjeta” es un enunciado; la negación de
este enunciado es “José no tiene una valiosa tarjeta”.
La negación de un enunciado cierto lo vuelve falso, y la negación
de un enunciado falso lo vuelve cierto.

8
Ejemplo 2: Formación de Negaciones
Realice la negación de cada enunciado.
a. Esa ciudad tiene un alcalde.
b. La Luna no es un planeta.

Solución

a. Esa ciudad no tiene alcalde.

b. La luna es un planeta.
9
Símbolos de Desigualdad
Utilice estos símbolos de desigualdad para el siguiente ejemplo:

Simbolismo Significado

es menor que

es mayor que

es menor que o igual a

es mayor que o igual

10
Ejemplo 3: Negación de Desigualdades
Obtenga la negación de cada desigualdad. No use el símbolo
con la diagonal ().
a) x  9
b) 3 x  2 y  12

Solución

a. x  9 b. 3 x  2 y  12

11
Símbolos
En el estudio de la lógica se usan símbolos. Los enunciados se
representan con letras, como , o ; los diferentes símbolos para
los conectivos se muestran en la siguiente tabla.

Conector Símbolo Tipo de Enunciado

y Conjunción
o Disyunción
no Negación

12
Ejemplo 4: Conversión de Símbolos a
Palabras
Considere que representa “hoy estamos a ”, y representa “hoy es
martes”. Escriba los siguientes enunciados simbólicos con palabras.
a)
b)
c) {generalmente se expresa como “Ni ni ”}
d)
Solución
a) Hoy estamos a o es martes.
b) Hoy no estamos a y es martes.
c) No es el caso que hoy estamos a o es martes.
13
d) No es el caso que hoy estamos a y es martes.
Cuantificadores
Las palabras todo, toda, cada y ninguno se llaman
cuantificadores universales, mientras que las palabras y
frases como algunos, existe y al menos uno se llaman
cuantificadores existenciales.
Los cuantificadores se usan mucho en matemáticas para indicar
cuántos casos existen de una situación particular.

14
 Formación de Negaciones de
Enunciados Cuantificados

Enunciado Negación
Algunos no lo hacen. (Equivalente: No todos lo
Todos lo hacen.
hacen).
Ninguno lo hace. (Equivalente: Todos no lo
Algunos lo hace.
hacen).

15
Ejemplo 5: Formación de Negaciones
de Enunciados Cuantificados
Obtenga la negación de cada enunciado.
a) Algunos gatos tienen pulgas.
b) Algunos gatos no tienen pulgas.
c) Ningún gato tiene pulgas.

Solución
d) Ningún gato tiene pulgas.
e) Todos los gatos tienen pulgas.
f) Algunos gatos tienen pulgas.

16
Ejemplo 6: Formación de Negaciones
de Enunciados Cuantificados (1 de 3)
Cada mes de la lista tiene 31 días.
• Mucha gente escribiría la negación de este enunciado como "En la
lista no hay meses con 31 días" o "No todos los meses de la lista
tienen 31 días". Pero ninguno de estos enunciados es correcto.
Para ver por qué, observe las tres listas a continuación.
• Lista 1: enero (31), marzo (31), mayo (31)
• Lista 2: agosto (31), septiembre (30), octubre (31)
• Lista 3: febrero (2829), abril (30), junio (30), noviembre (30)

17
 Ejemplo 6: Formación de Negaciones
de Enunciados Cuantificados (2 de 3)
Observe los valores de verdad en la siguiente tabla, y tenga en
mente que “alguno” significa “al menos uno (y posiblemente
todos)”.

Lista 1 Lista 2 Lista 3

Cada mes de la lista tiene 31 días. (Enunciado Inicial) C F F
En la lista no hay meses con 31 días. (Posible Negación) F F C Negación
Todos los meses de la lista no tienen 31 días. (Posible Negación) F F C
Algunos meses de la lista no tienen 31 días. (Posible Negación) F C C

18
Ejemplo 6: Formación de Negaciones
de Enunciados Cuantificados (3 de 3)
Otras maneras de establecer al negación incluyen losiguiente.
• No todos los meses de la lista tienen 31 días.
• No es el caso que todos los meses de la lista tienen 31 días.
• Al menos un mes de la lista no tiene 31 días.

19
Cuantificadores y Conjuntos de
Números
Números naturales o cardinales
Números enteros no negativos
Enteros
Números racionales
Cualquier número racional se puede expresar como un número
con terminación decimal exacta, como , o un número decimal
periódico como
Irracional Sus representaciones decimales no tienen
terminaciones decimales exactas ni periódicas.
Números reales
20
 Ejemplo 7: Determine si los Enunciados
con Cuantificadores son Ciertos o Falsos
Determine si cada enunciado que implica un cuantificador es cierto o falso.
a. Existe un número entero que no es un número natural.
b. Todo entero es un número natural.
c. Todo número natural es un número racional.
d. Existe un número irracional que no es real.

Solución
a. Esto es cierto ( es).
b. Esto es falso; es un número entero, pero no es un número natural.
c. Como todo número natural se puede escribir como una fracción con denominador
igual a este enunciado es cierto.
d. Para ser un número irracional, un número primero debe ser real. Como no podemos
obtener un número irracional que no sea real, este enunciado es falso. (Si
21
pudiéramos obtener al menos uno, el enunciado sería cierto).
Tablas de Verdad y
Enunciados Equivalentes
Capítulo: 3
Unidad: 2

22
Enunciados y cuantificadores
Objetivos:
• Obtener el valor de verdad de una conjunción.
• Obtener el valor de verdad de una disyunción.
• Obtener los valores de verdad para enunciados compuestos.
• Elaborar tablas de verdad para enunciados compuestos.
• Identificación de dos enunciados equivalentes.
• Utilizar las leyes de De Morgan para encontrar negaciones de
enunciados compuestos.

23
Conjunciones
Los valores de verdad de los enunciados componentes se
utilizan para obtener los valores de verdad de los enunciados
compuestos. Los valores de verdad de la conjunción y ,
representada por , se presentan en la tabla de verdad de la
siguiente diapositiva. El conectivo y implica “ambos”.

24
Tabla de Verdad de la Conjunción
pyq
p y q p q
C C C
C F F
F C F
F F F

25
Ejemplo 1: Obtención del Valor de
Verdad de una Conjunción
Considere que representa el enunciado “”, y representa el
enunciado “”. Obtenga el valor de verdad de .

Solución
Falso, debido a que es falsa.

26
Disyunciones
Los valores de verdad de la disyunción , simbolizados , se dan
en la tabla de verdad en la siguiente diapositiva. El conector
implica "cualquiera de los dos".

27
Tabla de Verdad de la Disyunción
𝒑 o𝒒
p o q p q
C C C
C F C
F C C
F F F

28
Ejemplo 2: Obtención del Valor de
Verdad de una Disyunción
Considere que representa “”, y que representa “”. Obtenga la
tabla de verdad de .

Solución
Cierto, debido a que es cierto.

29
Negación
Los valores de verdad de la negación , simbolizada como , están
dados en la siguiente tabla de verdad.

no p

p p
C F
F C

30
Ejemplo 3: Enunciados Matemáticos
Considere que representa el enunciado , representa el enunciado
, y repre­senta . Indique si cada enunciado es cierto o falso.

a)
¿ C ∧ F¿ F∧ C¿ F
b)
= ∨ ¿= ∨¿
= ∨ ¿¿ C
Solución
a) Falso, debido a que es falso
b) Cierto
31
Ejemplo 4: Determine si un Enunciado
Matemático cuantificado es cierto o falso
Determine si el siguiente enunciado es cierto o falso.
Para algún número real

Solución
Como “algunos” es un cuantificador existencial, sólo
necesitamos encontrar un número real que haga que ambos
enunciados componentes sean verdaderos, y es uno de esos
números. El enunciado es cierto según la tabla de verdad de la
conjunción “”.

32
Tablas de Verdad
Utilice el siguiente formato estándar para listar los valores de
verdad posibles en enunciados compuestos que impliquen dos
enunciados componentes.

p q Enunciado Compuesto
C C
C F
F C
F F
33
Ejemplo 5: Construcción de Tablas de
Verdad
Elabore una tabla de verdad para

Solución
p q ~p ~q p
C C F F F F
C F F C C C
F C C F C F
F F C C C F
34
Número de Filas en una Tabla de
Verdad
Un enunciado lógico con enunciados componentes tiene filas
en su tabla de verdad.

35
Método Alternativo de Construcción
de Tablas de Verdad
Después de elaborar un número razonable de tablas de verdad,
algunos prefieren el método corto, donde no es necesario
escribir cada paso.

36
Enunciados Equivalentes
Dos enunciados son equivalentes si tienen el mismo valor de
verdad en todas las situacio­nes posibles.

37
Ejemplo 6: Identificación de Dos
Enunciados Equivalentes (1 de 2)
¿Son equivalentes los dos enunciados siguientes?

p y q
C C F F
C F F F
F C F F
F F C C

38
Ejemplo 6: Identificación de Dos
Enunciados Equivalentes (2 de 2)
¿Son equivalentes los dos enunciados siguientes?

p y q ~p ~q
C C F F F C F
C F F C F C F
F C C F F C F
F F C C C F C

39
Leyes de De Morgan
Para cualquier enunciado p y q:

40
Ejemplo 6: Aplicación de las Leyes de
De Morgan
Obtenga la negación de cada enunciado aplicando las leyes de
De Morgan.
a) Obtuve una A o una B.
b) Ella no lo intentará y él ganará.

Solución
a) No obtuve una A y no obtuve una B.
b) Ella lo intentará o él no ganará.

41
El Condicional y los
Enunciados
Relacionados
Capítulo: 3
Unidad: 4

42
El Condicional y los Enunciados
Relacionados
Objetivos:
• Determinar el converso, inverso y contrapositivo de un
enunciado condicional.
• Traducir enunciados condicionales en formas alternativas.
• Comprender la estructura de lo bicondicional.
• Resumir las tablas de verdad de los enunciados compuestos.

43
Converso, Inverso y Contrapositivo

Enunciado
Si p, entonces q
condicional
Converso Si q, entonces p

Inverso Si no p, entonces no q

Contrapositivo Si no q, entonces no p

44
Tabla de Verdad de los Condicionales

Condicional Converso Inverso Contrapositivo

C C C C C C
C F F C C F
F C C F F C
F F C C C C

45
Ejemplo 1: Determinación de Enunciados
Condicionales Relacionados
Considere el siguiente enunciado condicional.
Si vivo en Wisconsin, entonces levanto nieve.
Ahora determine lo siguiente:
a) el converso b) el inverso c) el contrapositivo

Solución

a) Si levanto nieve, entonces vivo en Wisconsin.

b) Si no vivo en Wisconsin, entonces no levanto nieve.
c) Si no levanto nieve, entonces no vivo en Wisconsin.

46
Equivalencias
Un enunciado condicional y su contrapositivo son equivalentes.
También el con­verso y el inverso son equivalentes.

47
Tabla de Verdad de los Condicionales
Equivalente

Equivalente

Condicional Converso Inverso Contrapositivo

C C C C C C
C F F C C F
F C C F F C
F F C C C C
48
Ejemplo 2: Determinación de Enunciados
Condicionales Relacionados
Para el enunciado condicional obtenga lo siguiente:
a) el converso
b) b) el inverso
c) c) el contrapositivo

Solución
a)
b) , lo cual se simplifica a
c) , lo cual se simplifica a
49
Formas alternativas de “si p, entonces q”
El condicional se puede expresar de varias maneras.

Si , entonces . es suficiente para .

Si , . es necesario para .
implica . Todas las son .
solo si . si .

50
Ejemplo 3: Reformulación de
Enunciados Condicionales
Reescribe cada enunciado en la forma "Si , entonces ".
a) Lo lamentará si yo voy.
b) Hoy es domingo solo si ayer fue sábado.
c) Todos los químicos visten batas de laboratorio.
Solución
a) Si yo voy, entonces lo lamentará.
b) Si hoy es domingo, entonces ayer fue sábado.
c) Si eres químico, entonces usas bata de laboratorio.

51
Ejemplo 4: Conversión de palabras a
símbolos (1 de 2)
Supongamos que representa "Un triángulo es equilátero" y que
representa "Un triángulo tiene tres lados de igual longitud".
Escriba cada uno de los siguientes símbolos.
(a) Un triángulo tiene tres lados de igual longitud solo si es
equilátero.
(b) Un triángulo es equilátero solo si tiene tres lados de igual
longitud.

52
Ejemplo 4: Conversión de palabras a
símbolos (2 de 2)
Solución

(a) Un triángulo tiene tres lados de igual longitud solo si es

equilátero.

(b) Un triángulo es equilátero solo si tiene tres lados de igual

longitud.

53
Bicondicionales
El enunciado compuesto si y solo si (con frecuencia abreviado
como ) se conoce como un enunciado bicondicional. Se
simboliza como , y se interpreta como la conjunción de los dos
condicionales , y .

54
Tabla de Verdad del Bicondicional

p si y solo si q

p q pq
C C C
C F F
F C F
F F C

55
 Ejemplo 5: Determine si un
Bicondicional es Cierto o Falso
Determine si cada enunciado bicondicional es cierto o falso.
• si y solo si .
• Solución: Cierto (ambos enunciados componentes son verdaderos).
• si y solo si .
• Solución: Falso (un componente es verdadero, uno falso).
• si y solo si .
• Solución: Cierto (ambos enunciados componentes son falsos).
• si y solo si .
• Solución: Cierto (ambos enunciados de componentes son verdaderos).
• si y solo si .
• Solución: Cierto (ambos componentes son falsos).
• Marte es una luna y Júpiter es un planeta.
• Solución: Falso (el primer componente es falso, el segundo es cierto, el enunciado es falso).
56
Resumen de las Tablas de Verdad
Básicas
1. La negación de un enunciado tiene un valor de verdad
opuesto al del enunciado.
2. La conjunción es cierta cuando ambos enunciados son
ciertos.
3. La disyunción es falsa solo cuando ambos enunciados son
falsos.
4. El bicondicional es cierto solo si ambos enunciados tienen el
mismo valor de verdad.
57
Análisis de Argumentos
con Diagramas de Euler
Capítulo: 3
Unidad: 5

58
Análisis de Argumentos con
Diagramas de Euler
Objetivos:
• Definir argumentos lógicos.
• Usar diagramas de Euler para analizar argumentos con
cuantificadores universales.
• Usar diagramas de Euler para analizar argumentos con
cuantificadores existenciales.

59
Argumentos Lógicos
Un argumento lógico está formado por premisas (suposiciones,
leyes, reglas, ideas u observaciones) y una conclusión. En
conjunto, las premisas y la conclusión, forman el argumento.

60
Argumentos Válidos e Inválidos
Un argumento es válido si el hecho de que todas las premisas
sean válidas provoca que la conclusión sea verdadera. Un
argumento que no es válido es inválido y se conoce como
falacia.

61
Argumentos con Cuantificadores
Universales
Se pueden aplicar varias técnicas para verificar si un argumento
es válido. Una de estas es una técnica visual basada en los
diagramas de Euler.

62
Ejemplo 1: Uso de un Diagrama de
Euler para Determinar la Validez (1 de 2)
¿El siguiente argumento es válido?
Todos los gatos son animales.
Botines es un gato.
Botines es un animal.

63
Ejemplo 1: Uso de un Diagrama de
Euler para Determinar la Validez (2 de 2)
Todos los gatos son animales.
Botines es un gato.
Botines es un animal. Animales
Solución
Gatos
El diagrama muestra que x
Botines está dentro de la región
“animales”. El argumento es
válido. x representa a Botines.
64
Ejemplo 2: Uso de un Diagrama de
Euler para Determinar la Validez (1 de 2)
¿El siguiente argumento es válido?
Todos los días soleados son calurosos.
Hoy no hace calor.
Hoy no es un día soleado.

65
Ejemplo 2: Uso de un Diagrama de
Euler para Determinar la Validez (2 de 2)
Todos los días soleados son calurosos.
Hoy no hace calor.
Hoy no es un día soleado. Días calurosos
Solución x
Días
El diagrama muestra que soleados

“hoy” está fuera de la región

“días soleados”. El
argumento es válido. x representa hoy
66
Ejemplo 3: Uso de un Diagrama de
Euler para Determinar la Validez (1 de 2)
¿El siguiente argumento es válido?
Todos los automóviles tienen ruedas.
Ese vehículo tiene ruedas.
Ese vehículo es un automóvil.

67
Ejemplo 3: Uso de un Diagrama de
Euler para Determinar la Validez (2 de 2)
Todos los automóviles tienen ruedas.
Ese vehículo tiene ruedas.
Ese vehículo es un automóvil.
Objetos que
Solución tienen ruedas

El diagrama muestra que x?

Automóviles
“vehículo” puede estar en la
región “automóviles” o fuera x?
de ella. El argumento es x representa “vehículo”
inválido. 68
Ejemplo 4: Uso de un Diagrama de
Euler para Determinar la Validez (1 de 2)
¿El siguiente argumento es válido?
Algunos estudiantes toman café.
Yo soy estudiante.
Yo tomo café.

69
Ejemplo 4: Uso de un Diagrama de
Euler para Determinar la Validez (2 de 2)
Algunos estudiantes toman café.
Yo soy estudiante.
Yo tomo café.
. Solución
Personas que
El diagrama muestra que toman café
¿yo ?
“yo” puede estar en la región Estudiantes
de “personas que toman ¿yo ?
café” o fuera de ella. El
argumento es inválido. 70
Análisis de Argumentos
con Tablas de Verdad
Capítulo: 3
Unidad: 6

71
Análisis de Argumentos con Tablas de
Verdad
Objetivos:
• Usar tablas de verdad para determinar la validez de los
argumentos.
• Reconocer formas de argumento válidas e inválidas.
• Estar familiarizado con los argumentos de Lewis Carroll.

72
Tablas de Verdad
En la sección 3.5 usamos diagramas de Euler para someter a
prueba la validez de los argumentos. Mientras que los diagramas
de Euler funcionan bien para argumentos sencillos, pueden
surgir dificultades con los más complejos. Si las palabras “todo”,
“no” o “alguno” no están presentes, tal vez sea mejor usar tablas
de verdad para probar la validez.

73
 Prueba de la Validez de un Argumento
con una Tabla de Verdad
PRUEBA DE LA VALIDEZ DE UN ARGUMENTO CON UNA TABLA DE VERDAD
Paso 1 Asigne una letra para representar cada enunciado componente del argu­
mento.
Paso 2 Exprese simbólicamente todas las premisas y la conclusión.
Paso 3 Elabore simbólicamente el enunciado del argumento total escribiendo la
conjunción de todas las premisas como el antecedente de un enunciado
condicional, y la conclusión del argumento como el consecuente.
Paso 4 Complete la table de verdad del enunciado condicional elaborado en el
paso 3. Si es una tautología, entonces el argumento es válido; si no, es
inválido.
74
Ejemplo 1: Uso de una Tabla de
Verdad para Determinar la Validez (1 de 2)

Determine si el siguiente argumento es válido o inválido.

Si la puerta está abierta, entonces debo cerrarla.
La puerta está abierta.
Debo cerrarla.

75
Ejemplo 1: Tablas de Verdad (Dos
Premisas) (1 de 3)
Si la puerta está abierta, entonces debo cerrarla.
La puerta está abierta.
Debo cerrarla.
Solución
Consideremos que representa “la puerta está abierta” y
representa “debo cerrarla”.
pq
p
q
76
 Ejemplo 1: Tablas de Verdad (Dos
Premisas) (2 de 3)
 p  q   p   q
Premisa y premisa implica conclusión
La Tabla de Verdad está en la siguiente diapositiva.

77
Ejemplo 1: Tablas de Verdad (Dos
Premisas) (3 de 3)
La siguiente tabla de verdad muestra que el argumento es
válido.
p q  p  q   p   q
C C C
C F C
F C C
F F C

78
Ejemplo 2: Uso de una Tabla de
Verdad para Determinar la Validez
Determine si el siguiente argumento es válido o inválido.
Si puedo evitar los dulces, puedo evitar al dentista.
No puedo evitar al dentista.
No puedo evitar los dulces.

79
Ejemplo 2: Tablas de Verdad (Dos
Premisas) (1 de 3)
Si puedo evitar los dulces, puedo evitar al dentista.
No puedo evitar al dentista.
No puedo evitar los dulces.
Solución
Supongamos que representa "Puedo evitar los dulces" y
representa "Puedo evitar al dentista".
pq
q
p
80
Ejemplo 2: Tablas de Verdad (Dos
Premisas) (2 de 3)
 p  q   q   p

Premisa y premisa implica conclusión

La Tabla de Verdad está en la siguiente diapositiva.

81
Ejemplo 2: Tablas de Verdad (Dos
Premisas) (3 de 3)
La siguiente tabla de verdad muestra que el argumento es
válido.
p q  p  q   q   p
C C C
C F C
F C C
F F C

82
Formas de Argumentos Válidos

Modus Modus Silogismo Razonamiento

Ponens Tollens Disyuntivo Transitivo

pq pq pq pq

p ~q ~p qr
q ~p q pr

83
Formas de Argumentos Inválidos
(Falacias)

Falacia Falacia
del Converso del Inverso

pq pq
q ~p
p ~q

84
Ejemplo 3: Tablas de Verdad (Más de
Dos Premisas) (1 de 5)
Determine si el argumento es válido o inválido.
Si Ana va a esquiar, entonces Isa se quedará en casa. Si Isa no
se queda en casa, entonces Zoé jugará juegos de video. Zoé no
jugará juegos de video. Entonces, Ana no irá a esquiar.
Solución
Considere que representa “Ana va a esquiar,” representa “Isa
se quedará en casa”, y representa “Zoé jugará juegos de video”.

85
Ejemplo 3: Tablas de Verdad (Más de
Dos Premisas) (2 de 5)
Tenemos p  q
q  r
r
p

Esto lleva al enunciado

 p  q    q  r   r   p.

86
Ejemplo 3: Tablas de Verdad (Más de
Dos Premisas) (3 de 5)
p q r  p  q    q  r   r   p
C C C C
C C F F
C F C C
C F F C
F C C C
F C F C
F F C C
F F F C
87
 Ejemplo 3: Tablas de Verdad (Más de
Dos Premisas) (4 de 5)
C C C C F C F F F C
C C F C F C C C F F
C F C F C C F F F C
C F F F C F C F F C
F C C C F C F F C C
F C F C F C C C C C
F F C C C C F F C C
F F F C C F C F C C
88
Ejemplo 3: Tablas de Verdad (Más de
Dos Premisas) (5 de 5)
Como la columna final no contiene solamente Cs, el enunciado
no es una tautología. Este argumento es inválido.

89
Argumentos de Lewis Carrol
Por falta de un clavo, se perdió la herradura. Por falta de la herradura, se
perdió el caballo. Por falta del caballo, se perdió al jinete. Por falta del jinete,
se perdió la batalla. Por perder la batalla, se perdió la guerra.
Por lo tanto, por falta de un clavo, se perdió la guerra.

Cada línea de la estrofa se puede escribir como un enunciado de la forma si...

[Link] ejemplo, la primera línea se puede expresar como “si se pierde
un clavo, entonces se pierde al herradura”. La conclusión “por falta de un
clavo, se perdió al guerra” se
deriva de las premisas, porque se aplica el uso repetitivo de al ley de
transitividad. Argumentos como el utilizado por Lewis Carroll en el siguiente
ejemplo con frecuencia toman una forma similar.
90
Ejemplo 4: Argumentos de Lewis
Carroll (1 de 3)
Dé una conclusión que genere un argumento válido para las
siguientes premisas.
Los bebés son ilógicos.
Nadie menosprecia a quien puede manejar un cocodrilo.
Las personas ilógicas son menospreciadas.
Solución
Se escribe cada premisa en al forma si… entonces…
Si usted es un bebé, entonces es ilógico.
Si usted puede manejar un cocodrilo, entonces usted no es
menospreciado.
Si usted es ilógico, entonces usted es menospreciado.
91
Ejemplo 4: Argumentos de Lewis
Carroll (2 de 3)
Considere que representa “usted es un bebé”, representa
“usted es ilógico”, representa “usted puede manejar un
cocodrilo”, y corresponde a “usted es menospreciado”.
Con estas letras, los enunciados se pueden escribir
simbólicamente como:
p ~ q
r ~ s
~ q  s.

92
Ejemplo 4: Argumentos de Lewis
Carroll (3 de 3)
Comenzando con y usando un contrapositivo podemos obtener:
p  q = Si usted es un bebé, entonces es ilógico.

~qs = Si usted es ilógico, entonces usted es menospreciado.

s ~ r . =Si usted es menospreciado, entonces usted no puede manejar un cocodrilo.

El uso repetido del razonamiento

p ~ r , transitivo da la conclusión:
=Si eres un bebé, entonces no puedes manejar un cocodrilo.

lo que conduce a un argumento válido.

En palabras, la conclusión es “Si eres un bebé, entonces no

puedes manejar un cocodrilo”. 93