LÓGICA DE

PREDICADOS
Y SISTEMAS
FORMALES
Capitulo III
Contenido

Predicados y Enunciados cuantificados

Enunciados con cuantificadores múltiples

Argumentos con enunciados cuantificados

INTRODUCCIÓN
Los enunciados compuestos se forman de enunciados
simples más conectores, pero no se puede determinar su
validez en situaciones cotidianas o en matemáticas

Ej:

Todos los hombres son mortales

Sócrates es un hombre
Sócrates es mortal

Para determinar su validez se debe separar los enunciados

en partes (igual que en los sujetos y predicados). Se debe
analizar y comprender palabras como “todos” o “algunos”.
El análisis de los predicados y enunciados cuantificados se
llama cálculo de predicados
El análisis de enunciados compuestos ordinarios se llama
cálculo de enunciados o cálculo proposicional
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
La frase “El es un estudiante universitario” no es un enunciado, porque puede ser verdadero o
falso dependiendo del valor del pronombre El
La frase “x+y es mayor que 0” no es un enunciado porque su valor depende de x y y.

En gramática, predicado se refiere a la parte de la frase que da la información del sujeto

Ej: “James es un estudiante de la UTN”, James es el sujeto y es un estudiante de la UTN es el
predicado.

En lógica los predicados se pueden obtener con la eliminación de todos o algunos nombres de
un enunciado.
Ej: P-> “Es un estudiante de la UTN” y q-> “es un estudiante de”, Py Q son símbolos del
predicado.
Las frases “x es un estudiante de la UTN” y “x es un estudiante en y” se simbolizan como P(x) y
Q(x,y), donde x y y son variables del predicado que toman valores.

Se define un predicado como un símbolo de predicado junto con variables de predicado.

PREDICADOS Y ENUNCIADOS CUANTIFICADOS

Un predicado es una frase que contiene un número finito de variables y se convierte en un

enunciado cuando se sustituyen valores específicos en lugar de las variables.
El dominio de una variable de predicado es el conjunto de todos los valores que se pueden
sustituir en lugar de la variable.

Ej: Determinación de los valores de verdad de un predicado

Sea P(x) el predicado “x2 > x” con dominio del conjunto R (reales). Escriba P(2), P(½) y P (- ½)

P(2): 22 > 2 4>2 verdadero

P(½): (½)2 > ½ 1/4 > ½ falso
P(-½): (-½)2 > -½ 1/4 > -½ verdadero
PREDICADOS Y ENUNCIADOS CUANTIFICADOS

Si P(x) es un predicado y x tiene dominio D, el conjunto de verdad de P(x) es el conjunto de

todos los elementos de D que hacen a P(x) verdadero cuando se sustituyen por x. El conjunto
de verdad de P(x) se denota por {x ϵ D} | P(x)}

Ej: Determinación del conjunto de verdad de un predicado

Sea Q(n) el predicado “n es un factor de 8”. Determine el conjunto de verdad de Q(n) si
a. El dominio de n es el conjunto Z+ de todos los enteros positivos.
b. El dominio de n es el conjunto Z de todos los enteros.

a. El conjunto de verdad es {1, 2, 4, 8} ya que éstos son exactamente los enteros positivos
que dividen a 8 de manera exacta.
b. El conjunto de verdad es {1, 2, 4, 8, -1, -2, -4, -8} porque los enteros negativos -1, -2, -4 y -8
también se dividen entre 8 sin dejar residuo.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS

El Cuantificador Universal

Una forma segura de cambiar predicados en los enunciados es

asignar valores específicos a todas sus variables.
Ej: si x representa el número 35, la frase “x es (exactamente)
divisible entre 5” es un enunciado verdadero ya que 35 = 5 x 7.

Otra forma de obtener enunciados de predicados es agregar

cuantificadores, que son palabras que se refieren a las
cantidades tales como “algunos” o “todos” y nos dicen para
cuántos elementos de un predicado dado es verdadero.

El símbolo Ɐ denota “para todo” y se llama cuantificador

universal. Por ejemplo, otra forma de expresar la frase “Todos los
seres humanos son mortales” es escribir:
Ɐ los seres humanos x, x es mortal.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS

El Cuantificador Universal

Sea H el conjunto de todos los seres humanos, entonces puede

simbolizar el enunciado más formalmente escribiendo
Ɐx ϵ H, x es mortal
que se lee como “Para toda x en el conjunto de todos los seres
humanos, x es mortal”.

Sea Q(x) un predicado y D el dominio de x. Un enunciado

universal es un enunciado de la forma “Ɐx ϵ D, Q(x)”.
Se define como verdadero, si y sólo si, Q(x) es verdadera para
toda x en D.
Se define como falso si y sólo si Q(x) es falso para al menos un x
en D. Un valor para x, para el cual Q(x) es falso se llama un
contraejemplo del enunciado universal.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
El Cuantificador Universal

Ej: Verdad y falsedad de los enunciados universales

a) Sea D = {1, 2, 3, 4, 5} y considere el enunciado
Ɐ x ϵ D, x2 ≥ x
Demuestre que este enunciado es verdadero.
a) Considere el enunciado
Ɐ x ϵ R, x2 ≥ x
Encuentre un contraejemplo para demostrar que este enunciado es falso.

a. Compruebe que “x2 ≥ x” es verdadero para cada x dado en D.

12 ≥ 1, 22 ≥ 2, 32 ≥ 3, 42 ≥ 4, 52 ≥ 5
Por tanto Ɐ x ϵ D, x2 ≥ x es verdadero

b. Contraejemplo: Tome x = ½ . Entonces x está en R (ya que ½ es un número real) y

(½)2 = ¼ ≥ ½
Por tanto Ɐ x ϵ R, x2 ≥ x es falso
 PREDICADOS Y ENUNCIADOS CUANTIFICADOS

El Cuantificador Existencial

El símbolo Ǝ denota “existe” y se llama cuantificador existencial.

Ej; la frase “Hay un estudiante de matemáticas 140” se puede
escribir como
Ǝ una persona p tal que p es un estudiante en Matemáticas 140,
o, más formalmente,
Ǝp ϵ P tal que p es un estudiante en Matemáticas 140,
donde P es el conjunto de todas las personas.

El dominio de la variable del predicado se indica ya sea entre el

símbolo Ǝ y el nombre de la variable o después del nombre de la
variable. Las palabras tal que se insertan justo antes del
predicado. Se pueden utilizar algunas otras expresiones en lugar
de existe como son hay una a, se puede encontrar una a, hay al
menos una, para alguna y por lo menos una. En una frase tal
como “Ǝ m y n enteros tales que m + n = m . n”, se entiende que
el símbolo Ǝ se refiere tanto a m como a n.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
El Cuantificador Existencial

Sea Q(x) un predicado y D el dominio de x. Un enunciado existencial es un enunciado de la

forma “Ǝx ϵ D tal que Q(x)”. Que se define como verdadero, si y sólo si Q(x) es verdadero para
al menos una x en D. Es falso, si y sólo si, Q(x) es falso para toda x en D.

Ej: Verdad y falsedad de los enunciados universales

a) Considere el enunciado
Ǝm ϵ Z+ tal que m2 = m Demuestre que este enunciado es verdadero.
a) Sea E={5,6,7,8} y considere el enunciado
Ǝm ϵ E tal que m2 = m Demuestre que este enunciado es falso.

a. Observe que 12 = 1, así m2 = m es verdadero para al menos un número entero m

Por tanto Ǝm ϵ Z+ tal que m2 = m es verdadero

b. Observe que m2 = m no es verdadero para cualquier entero m del 5 al 8

52 = 25 ≠ 5, 62 = 36 ≠ 6, 72 = 49 ≠ 7, 82 = 64 ≠ 8
Por tanto Ǝm ϵ E tal que m2 = m es falso
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Lenguaje formal versus lenguaje informal

Es importante poder traducir del lenguaje informal al formal cuando se trata de dar sentido a
conceptos matemáticos que son nuevos para usted. Es igualmente importante poder traducir
del lenguaje informal al formal cuando se analiza un problema complicado.

Ej: Traducción del lenguaje formal al informal

Reescriba los siguientes enunciados formales en diferentes formas equivalentes pero de
manera más informal. No utilice el símbolo Ɐ o Ǝ
a) Ɐ x ϵ R, x2 ≥ 0
b) Ɐ x ϵ R, x2 ≠ -1
c) Ǝm ϵ Z+ tal que m2 = m
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Lenguaje formal versus lenguaje informal

Ej: Traducción del lenguaje formal al informal

a) Todos los números reales tienen cuadrados no negativos.

O: Todo número real tiene un cuadrado no negativo.
O: Cualquier número real tiene un cuadrado no negativo.
O: El cuadrado de todo número real es no negativo.

b) Todos los números reales tienen cuadrados que no son iguales a -1.
O: No hay números reales que tengan cuadrados iguales a -1.
(Las palabras ninguno es o no . . . son son equivalentes a las palabras todos no son).

c) Hay un entero positivo cuyo cuadrado es igual a sí mismo.

O: Se puede encontrar al menos un número entero positivo igual a su propio cuadrado.
O: Algún entero positivo es igual a su propio cuadrado.
O: Algunos números enteros positivos son iguales a sus propios cuadrados.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Lenguaje formal versus lenguaje informal

Ej: Traducción del lenguaje informal al formal

Reescriba cada uno de los siguientes enunciados formalmente. Use cuantificadores y
variables.
a. Todos los triángulos tienen tres lados.
b. Ningún perro tiene alas.
c. Algunos programas están estructurados.

a) Ɐ triángulo t, t tiene tres lados.

O: Ɐt ϵ T, t tiene tres lados (donde T es el conjunto de todos los triángulos).

b) Ɐ perro d, d no tiene alas.

O: Ɐd ϵ D, d no tiene alas (donde D es el conjunto de todos los perros).

c) Ǝ un programa p tal que p está estructurado.

O: Ǝp ϵ P tal que p está estructurado (donde P es el conjunto de todos los programas).
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Enunciados condicionales universales

Un argumento razonable puede decir que la forma más importante de enunciado en

matemáticas es el enunciado condicional universal:
Ɐx, si P(x), entonces Q(x)

Ej: Escritura informal de enunciados condicionales universales

Reescriba el siguiente enunciado de manera informal, sin cuantificadores o variables.
Ɐx ϵ R, si x >2, entonces x2 > 4

Si un número real x es mayor que 2, entonces su cuadrado es mayor que 4.

O: Siempre que un número real es mayor que 2, su cuadrado es mayor que 4.
O: El cuadrado de cualquier número real mayor que 2 es mayor que 4.
O: Los cuadrados de todos los números reales mayores que 2 son mayores que 4.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Enunciados condicionales universales

Ej: Escritura formal de enunciados condicionales universales

Reescriba cada uno de los siguientes enunciados en la forma
Ɐ…………………… , si …………………..entonces …………….
a. Si un número real es un número entero, entonces es un número racional.
b. Todos los bytes tienen ocho bits.
c. No hay autobombas de color verde.

a. Ɐ números reales x, si x es un número entero, entonces x es un número racional.

O: Ɐx ϵ R, si x ϵ Z entonces x ϵ Q.
b. Ɐx, si x es un byte, entonces x tiene ocho bits.
c. Ɐx, si x es una autobomba, entonces x no es verde.
 PREDICADOS Y ENUNCIADOS CUANTIFICADOS

Cuantificación implícita
Considere el enunciado
Si un número es un entero, entonces es un número racional.

Este enunciado es equivalente a un enunciado universal. Sin

embargo, no contiene la palabra todos o cada o cualquiera o
cada uno. Para indicar su cuantificación universal esta la
presencia del artículo indefinido un.
Este es un ejemplo de cuantificación universal implícita.

La cuantificación existencial puede ser implícita. Por ejemplo, el

enunciado “El número 24 puede ser escrito como la suma de dos
números enteros pares” se puede expresar formalmente
como “Ǝm y n enteros pares tales que 24 = m + n”.
 PREDICADOS Y ENUNCIADOS CUANTIFICADOS

Cuantificación implícita

La escritura matemática contiene muchos ejemplos de

enunciados cuantificados implícitamente.
Algunos ocurren, como en el primer ejemplo anterior, a través
de la presencia de la palabra uno o un. Otros casos se producen
en el contexto general de una frase que proporciona parte de su
significado.
Por ejemplo, en un curso de álgebra en el que la letra x siempre
se usa para indicar un número real, el predicado
Si x > 2 entonces x2 > 4
se interpreta que significa lo mismo que el enunciado
Ɐ número real x, si x > 2, entonces x2 > 4.
Los matemáticos utilizan a menudo una doble flecha para indicar
simbólicamente la cuantificación implícita.
Por ejemplo, podrían expresar el enunciado anterior como
x > 2 → x2 > 4.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Enunciados condicionales universales

Sean P(x) y Q(x) predicados y supongamos que el dominio común de x es D.

• La notación P(x) → Q(x) significa que cada elemento del conjunto de verdad de P(x) está en
el conjunto de verdad de Q(x), o, equivalentemente, Ɐx, P(x) → Q(x).
• La notación P(x) ↔ Q(x) significa que P(x) y Q(x) tienen conjuntos de verdad idénticos, o
equivalentemente, Ɐx, P(x) ↔ Q(x).

Ej: Uso de → y ↔
Q(n) “n es un factor de 8”,
R(n) “n es un factor de 4”,
S(n) “n < 5 y n ≠ 3”
y supongamos que el dominio de n es Z+, el conjunto de los enteros positivos. Utilice los
símbolos → y ↔ para indicar las relaciones verdaderas entre Q(n), R(n) y S(n).
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Enunciados condicionales universales

1. El conjunto de verdad de Q(n) es {1, 2, 4, 8} cuando el dominio de n es Z+. El conjunto de

verdad de R(n) es {1, 2, 4}. Por tanto, es cierto que cada elemento del conjunto de verdad de
R(n) está en el conjunto de verdad de Q(n), o, equivalentemente, Ɐn en Z+, R(n) → Q(n). Por
tanto R(n) → Q(n), o, equivalentemente
n es un factor de 4 → n es un factor de 8.

2. El conjunto de verdad de S(n) es {1, 2, 4}, que es idéntico al conjunto de verdad de

R(n), o, equivalentemente, Ɐn en Z+, R(n) ↔ S(n). Por tanto R(n) ↔ S(n), o,
equivalentemente,
n es un factor de 4 ↔ n < 5 y n ≠ 3.

Además, ya que cada elemento del conjunto de verdad de S(n) está en el conjunto de
verdad de Q(n), o, equivalentemente, Ɐn en Z+, S(n) → Q(n), entonces, S(n) → Q(n),
o, equivalentemente,
n < 5 y n ≠ 3 → n es un factor de 8.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Negación de Enunciados cuantificados

Para negar el enunciado “Todos los libros son nuevos” se usa la frase “Hay al menos algún
libro que no es nuevo”, porque si por lo menos uno no es nuevo ya se estaría negando el
enunciado.

Negación de un enunciado Universal: La negación de un enunciado de la forma Ɐx en D, Q(x)

es equivalente al enunciado de la forma Ǝx en D tal que ~Q(x).
Simbólicamente: ~(Ɐx ϵ D, Q(x)) ≡ Ǝx ϵ D tal que ~Q(x)

La negación de un enunciado universal (“todos son”) es lógicamente equivalente a un

enunciado existencial (“algunos no son” o “hay al menos uno que no es”).

Negación de un enunciado Existencial: La negación de un enunciado de la forma Ǝx en D tal

que Q(x) es equivalente al enunciado de la forma Ɐx en D, ~Q(x).
Simbólicamente: ~(Ǝx ϵ D tal que Q(x)) ≡ Ɐx ϵ D, ~ Q(x)

La negación de un enunciado existencial (“algunos están”) es lógicamente equivalente a un

enunciado universal (“ninguno está” o “no todos están”).
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Negación de Enunciados cuantificados

Ej: Escriba negaciones formales de los siguientes enunciados:

a. Ɐ primo p, p es impar.
b. Ǝ un triángulo T tal que la suma de los ángulos de T es igual a 200°.

a. Aplicando la regla de la negación de un enunciado Ɐ, puede ver que la respuesta es

Ǝ un primo p tal que p no es impar.
b. Aplicando la regla de la negación de un enunciado Ǝ, se puede ver que la respuesta es
Ɐ triángulo T, la suma de los ángulos de T no es igual a 200°.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Negación de Enunciados cuantificados

Ej: Reescriba el siguiente enunciado formal. Después, escriba negaciones formales e

informales.
Ningún político es honesto.

Versión formal: Ɐ político x, x no es honesto.

Negación formal: Ǝ un político x tal que x es honesto.
Negación informal: Algunos políticos son honestos.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Negación de Enunciados cuantificados

Ej: Escribe negaciones informales para los enunciados siguientes:

a. Todos los programas de computadora son finitos.
b. Algunos hackers son mayores de 40.
c. El número 1 357 es divisible por un número entero entre 1 y 37.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Negación de Enunciados cuantificados

a. El enunciado indica que todos los programas de computadora satisfacen una determinada
propiedad. Para que sea falso, tendría que haber al menos un programa de computadora que
no cumpla la propiedad:
Hay un programa de computadora que no es finito, o, Algunos programas de computadora
son infinitos.

b. Es equivalente a decir que hay al menos un hacker con la propiedad dada. Para que sea
falso, no hay un solo hacker que pueda tener esa propiedad.
La negación es: No hay hackers informáticos de más de 40, o, Todos los hackers tienen 40 o
menos.

c. Este enunciado tiene un cuantificador de seguimiento. Escrito formalmente:

Ǝ un número entero n entre 1 y 37 tal que 1 357 es divisible entre n.
Su negación es por tanto
Ɐ entero n entre 1 y 37; 1 357 no es divisible entre n.
Una versión informal de la negación es
El número 1 357 no es divisible por cualquier número entero entre 1 y 37.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Negación de Enunciados condicionales universales
La forma de dichas negaciones se puede deducir de hechos que ya se han establecido.

Por definición de la negación de un enunciado para todos,

~(Ɐx, P(x) → Q(x)) ≡ Ǝx tal que ~(P(x) → Q(x))

Pero la negación de un enunciado si-entonces es lógicamente equivalente a un enunciado y:

~(P(x) → Q(x)) ≡ P(x) ꓥ ~Q(x)

Sustituyendo:
~(Ɐx, P(x) → Q(x)) ≡ Ǝx tal que (P(x) ꓥ ~Q(x))

Escrito menos simbólicamente, se convierte en Negación de un enunciado condicional

universal

~(Ɐx, si P(x) entonces Q(x)) ≡ Ǝx tal que P(x) y ~Q(x)

PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Negación de Enunciados condicionales universales

Ej: Escriba una negación formal del enunciado a) y una negación informal del enunciado b).
a. Ɐ persona p, si p es rubio entonces p tiene los ojos azules.
b. Si un programa de computadora tiene más de 100 000 líneas, entonces tiene un error.

a. Ǝ una persona p tal que p es rubio y p no tiene ojos azules.

b. Hay al menos un programa de computadora que tiene más de 100 000 líneas y no tiene
un error.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS

Variantes de los enunciados condicionales universales

Un enunciado condicional tiene un contrapositivo, un converso y un contrario. Las

definiciones de estos términos se pueden extender a los enunciados condicionales
universales.

Considere un enunciado de la forma: Ɐx ϵ D, si P(x) entonces Q(x).

1. Su contrapositivo es el enunciado: Ɐx ϵ D, si ~Q(x), entonces ~P(x).

2. Su converso es el enunciado: Ɐx ϵ D, si Q(x), entonces P(x).
3. Su contrario es el enunciado: Ɐx ϵ D, si ~P(x), entonces ~Q(x).
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Negación de Enunciados condicionales universales

Ej: Contrapositivo, converso y contrario de un enunciado condicional universal

Escriba un enunciado formal y uno contrapositivo informal, converso e contrario del siguiente
enunciado:
Si un número real es mayor que 2, entonces su cuadrado es mayor que 4.

La versión formal de este enunciado es Ɐx ϵ R, si x > 2 entonces x2 > 4.

Contrapositivo: Ɐx ϵ R, si x2 ≤ 4 entonces x ≤ 2.
O: Si el cuadrado de un número real es menor o igual a 4, entonces el número es menor o
igual a 2.

Converso: Ɐx ϵ R, si x2 > 4 entonces x > 2.

O: Si el cuadrado de un número real es mayor que 4, entonces el número es mayor que 2.

Contrario: Ɐx ϵ R, si x ≤ 2 entonces x2 ≤ 4.
O: Si un número real es menor o igual a 2, entonces el cuadrado del número es menor o
igual a 4.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS

Condiciones necesarias y suficientes, sólo si

Las definiciones de necesario, suficiente y sólo si se pueden también extender para aplicarse a
los enunciados condicionales universales.

“Ɐx, r(x) es una condición suficiente para s(x)” significa “Ɐx, si r (x), entonces s(x)”.

“Ɐx, r(x) es una condición necesaria para s(x)” significa “Ɐx, si ~r(x), entonces ~s(x)” o,
equivalentemente “Ɐx, si s(x), entonces r(x)”.

“Ɐx, s(x) sólo si s(x)” significa “Ɐx, si ~s(x), entonces ~r(x)” o, equivalentemente,
“Ɐx, si r(x) entonces s(x)”.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Condiciones necesarias y suficientes, sólo si

Ej: Condiciones necesarias y suficientes:

Reescriba los siguientes enunciados, como enunciados condicionales cuantificados. No utilice
la palabra necesario o suficiente.
a. La forma cuadrada es una condición suficiente para la forma rectangular.
b. Tener al menos 35 años de edad es una condición necesaria para ser presidente de USA.

a. Una versión formal del enunciado es

Ɐx, si x es un cuadrado, entonces x es un rectángulo.
O, en lenguaje informal:
Si una figura es un cuadrado, entonces es un rectángulo.

b. Con un lenguaje formal, podría escribir la respuesta como

Ɐ persona x, si x es menor de 35, entonces x no puede ser Presidente de USA.
O, por la equivalencia entre un enunciado y su contrapositivo:
Ɐ persona x, si x es el Presidente de USA, entonces x tiene al menos 35 años de
edad.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Condiciones necesarias y suficientes, sólo si

Ej: Solo si:

Reescriba el siguiente enunciado como un enunciado universal condicional:
Un producto de dos números es 0 sólo si uno de los números es 0.

Utilizando un lenguaje informal, podría escribir la respuesta como

Si ninguno de los dos números es 0, entonces el producto de los números no es 0.

O, por la equivalencia entre un enunciado y su contrapositivo,

Si un producto de dos números es 0, entonces uno de los números es 0.

PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Forma lógica y equivalencia lógica

En lógica deductiva se tiene el concepto de argumento.

Un argumento es una secuencia de enunciados destinados a demostrar la verdad de una

frase. La frase al final de la secuencia se llama la conclusión y los enunciados anteriores se
llaman premisas. Para tener certeza de la conclusión de un argumento, las premisas deben ser
aceptables.

En lógica, la forma de un argumento se distingue de su contenido. La lógica a veces se define

como la ciencia de la inferencia necesaria o la ciencia del razonamiento.

Ejemplo: “Aunque su contenido es muy diferente, su forma lógica es la misma”.

Ambos argumentos son válidos en el sentido de que si sus premisas son verdaderas, entonces
sus conclusiones también deben ser verdaderas.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Forma lógica y equivalencia lógica

Ejemplos de argumentos:

• Si la sintaxis del programa es defectuosa o si los resultados de la ejecución del programa

dan como resultado una división entre cero, la computadora va a generar un mensaje de
error. Por tanto, si la computadora no genera un mensaje de error, entonces, la sintaxis del
programa es correcta y la ejecución del programa no da como resultado una división entre
cero.

• Si x es un número real tal que x < -2 o x > 2, entonces x2 > 4. Por tanto, si x2 > 4, entonces x
< -2 y x > 2.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Forma lógica y equivalencia lógica

Para mostrar la forma lógica de estos argumentos, utilizamos letras del alfabeto (tal como p, q
y r) para representar las frases componentes y la expresión “no p” se refiere a la frase “Este no
es el caso que p”.

Entonces, la forma lógica común de ambos argumentos anteriores es la siguiente:

Si p o q, entonces r.
Por tanto, si no r, entonces no p y no q.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Ejemplo: Identificación de forma lógica

Complete los espacios en blanco para que el argumento b) tenga que la misma forma que el
argumento a). Después represente la forma más común de los argumentos usando letras para
presentar los enunciados compuestos.

a. Si Jane es una estudiante de la carrera de matemáticas o Jane es una estudiante de la

carrera de ciencia computacional, entonces, Jane tendrá 150 en matemáticas.
Jane es una estudiante de ciencia computacional.
Por tanto, Jane tendrá 150 en matemáticas.

b. Si la lógica es fácil o ______1)______ , entonces _____2)_______ .

Voy a estudiar mucho.
Por tanto, voy a obtener una A en este curso.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Ejemplo: Identificación de forma lógica

1. Voy a estudiar mucho.

2. Voy a obtener una A en este curso.

Forma común:
Si p o q, entonces r.
q.
Por tanto, r.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Enunciados
Un enunciado (o proposición) es una frase que es verdadera o falsa, pero no ambas.

Ej: “Dos más dos son cuatro” y “Dos más dos son cinco”, ambos son enunciados, el primero
porque es verdad y el segundo porque es falso

Ej: No son enunciados:

“Él es un estudiante universitario” (porque depende de la referencia El)
“x+y > 0” (porque depende de los valores de x y y)
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Enunciados compuestos
Hay tres símbolos que se utilizan para construir expresiones lógicas más complicadas a partir
de otras más simples. El símbolo ~ (o también ¬ )denota no, ꓥ denota y V denota o.

Dado un enunciado p, la frase “~p” se lee “no p” o “No es el caso que p” y es la negación de p.
Dado otro enunciado q, la frase “p ꓥ q” se lee “p y q” y se llama conjunción de p y q.
La frase “p V q” se lee “p o q” y se llama disyunción de p y q.

En expresiones que incluyen los tres símbolos, el orden de las operaciones indica que ~ se
realiza primero. Esto se puede controlar usando paréntesis. Los símbolos ꓥ y V se consideran
iguales en orden de operación y para evitar ambigüedades se debe usar paréntesis.

En enunciados se puede encontrar las palabras pero y ni.

“Pero” significa y (Ej: “p pero q” equivale a “p y q”)
“Ni” significa negación (Ej: “ni p ni q” equivale a “~p y ~q”)
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Ej: Traducción de español a símbolos: Pero y Ni-ni

Escriba cada una de las siguientes frases simbólicamente, con h = “Hace calor” y s = “Hay sol”.
a. No hace calor, pero hay sol.
b. No hace calor ni hay sol.

a. La frase dada es equivalente a “No hace calor y hay sol”, que se puede escribir
simbólicamente como ~h ꓥ s.
b. Decir que ni hace calor ni hay sol significa que no hace calor y no hay sol. Por tanto, la frase
dada puede escribirse simbólicamente como ~h ꓥ ~s.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Valores de verdad

Si p es un enunciado variable, la negación de p es “no p” o “No es el caso que p” y se denota

~p. Tiene valores de verdad opuestos a p: si p es verdadera, ~p es falsa, si p es falsa, ~p es
verdadera.
p ~p
V F
F V

Ej: “Hace calor y hay sol” se entiende que es verdadera cuando se satisfacen ambas
condiciones. Si hace calor, pero no hay sol, o si está soleado pero no hace calor, o si ni hace
calor ni está soleado, se entiende que la frase es falsa.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Valores de verdad

Si p y q son enunciados variables, la conjunción de p y q que es “p y q” se denota por p ꓥ q. Es

verdadera cuando y sólo cuando, tanto p como q son verdaderos. Si ya sea p o q es falso, o si
ambas son falsos, entonces p ꓥ q es falso.
p q pꓥq
V V V
V F F
F V F
F F F
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Valores de verdad

Si p y q son enunciados variables, la disyunción de p y q es “p o q”, que se denota por p V q. Es

verdadera cuando ya sea que p sea verdad, o que q sea verdad, o que ambas p y q sean
verdaderas; es falsa sólo cuando p y q son falsas.
p q pVq
V V V
V F V
F V V
F F F
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Valores de verdad

Una forma de enunciado (o forma proposicional) es una expresión formada por enunciados
variables (tales como p, q y r) y conectores lógicos (por ejemplo, ~, ꓥ y V) que se convierten en
un enunciado cuando los enunciados reales se sustituyen por enunciados compuestos
variables.

La tabla de verdad para un enunciado dado presenta los valores de verdad que corresponden
a todas las posibles combinaciones de los valores de verdad de sus enunciados compuestos
variables.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Valores de verdad

Ej: Construya la tabla de verdad para la forma de enunciado (p V q) ꓥ ~ (p ꓥ q). Considere que
cuando se utiliza o en su sentido exclusivo, el enunciado “p o q” significa “p o q pero no
ambos” o “p o q y no ambos p y q”, que se traduce en símbolos como (p V q) ꓥ ~ (p ꓥ q).
Esto a veces se abrevia como p ⊕ q o p XOR q.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Valores de verdad

p q pVq pꓥq ~(p ꓥ q) (p V q) ꓥ ~ (p ꓥ q)

V V V V F F
V F V F V V
F V V F V V
F F F F V F
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Valores de verdad

Ej: Construya una tabla de verdad para la forma de enunciado (p ꓥ q) V ~r

p q r pꓥq ~r (p ꓥ q) V ~r
V V V V F V
V V F V V V
V F V F F F
V F F F V V
F V V F F F
F V F F V V
F F V F F F
F F F F V V
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Tautologías y contradicciones

Una tautología es una forma de enunciado que siempre es verdadera, independientemente de

los valores de verdad de los enunciados individuales sustituidos por sus enunciados variables.
Un enunciado cuya forma es una tautología es un enunciado tautológico.

Una contradicción es una forma de enunciado que siempre es falso, independientemente de

los valores de verdad de los enunciados individuales de los enunciados variables sustituidos.
Un enunciado cuya forma es una contradicción es un enunciado contradictorio.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Valores de verdad

Ej: Demuestre que el enunciado de la forma p V ~ p es una tautología y que el enunciado de

la forma p ꓥ ~p es una contradicción.

p ~p pV~p p ꓥ ~p
V F V F
F V V F
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Resumen de las equivalencias lógicas: En cualquier enunciado variable dado p, q y r, con una
tautología t y una contradicción c, son válidas las siguientes equivalencias lógicas
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Enunciados condicionales

Sean p y q los enunciados. Una frase de la forma “Si p entonces q” se denota simbólicamente
por “p → q”; p se llama la hipótesis y q se llama la conclusión.

Por ejemplo, considere el enunciado siguiente:

Si 4 686 es divisible entre 6, entonces 4 686 es divisible entre 3
4 686 es divisible entre 6: hipótesis
4 686 es divisible entre 3: conclusión
Esta frase se llama condicional ya que la verdad del enunciado q está condicionado a la verdad
del enunciado p.

→ es un conector, como ꓥ o V, que se puede utilizar para unir enunciados para crear nuevos
enunciados. Por tanto, para definir p → q como un enunciado, tenemos que especificar los
valores de verdad para p → q. La definición formal de los valores de verdad para → (si-
entonces) se basa en su sentido cotidiano, intuitivo.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Enunciados condicionales

Si p y q son enunciados variables, el condicional de q por p es “si p, entonces q” o “p implica

q” y se denota p → q. Es falso cuando p es verdadero y q es falso, en cualquier caso es
verdadero. Llamamos a p la hipótesis (o antecedente) de la condicional y a q la conclusión (o
consecuente).

p q p→q
V V V
V F F
F V V
F F V
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Enunciados condicionales

Ej: Construya una tabla de verdad para la forma de enunciado p V ~q → ~p.

p q ~p ~q p ꓥ ~q p V ~q → ~p
V V F F V F
V F F V V F
F V V F F V
F F V V V V
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Enunciados condicionales

Ej: Utilice tablas de verdad para mostrar la equivalencia lógica de las formas de enunciado
• pVq→r
• (p → r) ꓥ (q → r)

p q r pVq p→r q→r p V q→ r (p → r) ꓥ (q → r)

V V V V V V V V
V V F V F F F F
V F V V V V V V
V F F V F V F F
F V V V V V V V
F V F V V F F F
F F V F V V V V
F F F F V V V V
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Enunciados condicionales

La equivalencia lógica de “si p entonces q” y “no p o q” se utiliza ocasionalmente en el

lenguaje cotidiano.
p → q ≡ ~p V q

La negación de “si p, entonces q” es lógicamente equivalente a “p y no q”.

~( p → q) ≡ p ꓥ ~q
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Enunciados condicionales

Ej: Escriba las negaciones de cada uno de los siguientes enunciados:

a. Si mi automóvil está en el taller de reparaciones, entonces no puedo ir a clase.
b. Si Sara vive en Atenas, entonces, ella vive en Grecia.

a. Mi automóvil está en el taller de reparaciones y puedo ir a clase.

b. Sara vive en Atenas y no vive en Grecia. (Sara podría vivir en Atenas, Georgia; Atenas,
Ohio; o Atenas, Wisconsin.)
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Enunciados bicondicionales
Si p y q son enunciados, p sólo si q significa “si no q entonces no p” o, equivalentemente, “si p,
entonces q”.

Dados los enunciados de variables p y q, el bicondicional de p y q es “p si y sólo si q” y se

denota por p ↔ q. Es verdadero, si tanto p como q tienen los mismos valores de verdad y es
falso si p y q tienen valores de verdad opuestos. Las palabras si y sólo si a veces se abrevian
como iff.
p q p↔q
V V V
V F F
F V F
F F V
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Enunciados bicondicionales

Orden de operaciones para los operadores lógicos

1. ~ Primero evalúe las negaciones.
2. ꓥ, V Segundo evalúe ꓥ, V. Cuando ambos están presentes, el paréntesis puede ser
necesario.
3. →, ↔ Tercero evalúe →, ↔ . Cuando ambos están presentes, el paréntesis puede
ser necesario.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Funciones proposicionales y predicados

Enunciado bicondicional

Ej: sí y sólo si, dice que “p si y sólo si, q” debe significar lo mismo que decir tanto “p si q”
como “p sólo si q”. Demuestre con una tabla de verdad

p q p→q q→p p↔ q (p → q) ꓥ (q→ p)

V V V V V V
V F F V F F
F V V F F F
F F V V V V
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Argumentos válidos y no válidos (Fórmulas bien formadas)

En las matemáticas y en lógica un argumento es una secuencia de instrucciones que terminan

en una conclusión. Se debe determinar si un argumento es válido, es decir, si la conclusión se
deduce necesariamente de los enunciados anteriores. Esta decisión sólo depende de la forma
de un argumento, no de su contenido.

La forma lógica de un argumento puede abstraerse de su contenido. Por ejemplo, el

argumento
Si Sócrates es un hombre, entonces Sócrates es mortal.
Sócrates es un hombre.
∴ Sócrates es mortal.
En la forma resumida:
Si p, entonces q
p
∴q
Una forma de argumento se llama válida si y sólo si, una vez que se sustituyen los enunciados
que hacen todas las premisas verdaderas, la conclusión también es verdadera.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Argumentos válidos y no válidos (Fórmulas bien formadas)

Un argumento es una secuencia de enunciados y una forma de argumento es una secuencia

de formas de enunciado. Todos los enunciados en un argumento y todas las formas de
enunciado en una forma de argumento, a excepción de la final, se llaman premisas (o
suposiciones o hipótesis). El enunciado final o forma de enunciado se llama la conclusión.

El símbolo ∴, que se lee “por tanto”, se coloca normalmente justo antes de la conclusión.

Decir que una forma de argumento es válida significa que no importan qué argumentos
particulares sean sustituidos por los enunciados variables en sus premisas, si las premisas
resultantes son todas verdaderas, entonces la conclusión también es verdadera.

Decir que un argumento es válido significa que su forma es válida.

PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Argumentos válidos y no válidos (Fórmulas bien formadas)

En un argumento válido, lo verdadero de su conclusión se deduce necesariamente o

inevitablemente o por la forma lógica sólo de lo verdadero de sus premisas.

Es imposible tener un argumento válido con premisas verdaderas y una falsa conclusión.

Cuando un argumento es válido y sus premisas son verdaderas, se dice que lo verdadero de la
conclusión se infiere o se deduce de lo verdadero de las premisas. Si una conclusión “no es
necesariamente así”, entonces no es una deducción válida.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Argumentos válidos y no válidos (Fórmulas bien formadas)

Prueba de la validez de una forma de argumento

1. Identifique las premisas y la conclusión de la forma de argumento.

2. Construya una tabla de verdad que muestre los valores de verdad de todas las premisas y
la conclusión.

3. Un renglón de la tabla de verdad en el que todas las premisas son verdaderas se llama un
renglón crítico.

Si hay un renglón crítico en el que la conclusión es falsa, entonces es posible que un

argumento de la forma dada tenga premisas verdaderas y una conclusión falsa, por lo que la
forma del argumento es no válida. Si la conclusión en cada renglón crítico es verdadera,
entonces la forma del argumento es válida.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Argumentos válidos y no válidos (Fórmulas bien formadas)

Ej: Determine si la siguiente forma de argumento es válida o no válida con una tabla de
verdad, indique qué columnas representan las premisas y cuáles representan la conclusión.

Indicar los valores de verdad para la conclusión en los renglones en que todas las premisas
son verdaderas (los renglones críticos), porque los valores verdaderos de la conclusión en
otros renglones son irrelevantes para la validez o no validez del argumento.

p → q V ~r
q→pꓥr
∴p→r
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Argumentos válidos y no válidos (Fórmulas bien formadas)

Ej:
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Reglas de inferencia
Una regla de inferencia es una forma de argumento, que es válida.

Modus ponens y Modus tollens

Una forma de argumento que consiste en dos premisas y una conclusión se le llama un
silogismo. La primera y segunda premisas se llaman la premisa mayor y la premisa menor,
respectivamente.
La forma más famosa del silogismo en lógica se llama modus ponens. Tiene la siguiente forma:
Si p entonces q.
p
∴q
Este es un argumento de esta forma:

Si la suma de los dígitos de 371 487 es divisible entre 3, entonces 371 487 es divisible
entre 3.
La suma de los dígitos de 371 487 es divisible entre 3.
∴ 371 487 es divisible por 3.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Reglas de inferencia

Modus ponens y Modus tollens

El término modus ponens en latín significa “método de afirmación” (la conclusión es una
afirmación). El modus ponens es una forma válida de argumento si no hay otra razón que la de
confirmar el acuerdo entre la definición formal de validez y el concepto intuitivo.

El primer renglón es el único en la que ambas premisas son verdaderas y la conclusión de ese
renglón también es verdadera. De ahí que la forma del argumento es válida.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Reglas de inferencia

Modus ponens y Modus tollens

Ahora consideremos otra forma de argumento válido llamada modus tollens. Tiene la
siguiente forma:

Si p entonces q
~q
∴ ~p

Un ejemplo del modus tollens es:

Si Zeus es humano, entonces Zeus es mortal.

Zeus no es mortal.
∴ Zeus no es humano.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Reglas de inferencia

Modus ponens y Modus tollens

Una explicación de la validez del modus tollens utiliza la demostración por contradicción. Dice
así:

Supongamos
1) Si Zeus es humano, entonces Zeus es mortal, y
2) Zeus no es mortal.
¿Zeus necesariamente debe ser no humano?
¡Sí!
Porque, si Zeus fuera humano, entonces por 1) iba a ser mortal.
Pero por 2) no es mortal.
Por tanto, Zeus no puede ser humano
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Reglas de inferencia

Modus ponens y Modus tollens

Modus tollens es latín y significa “método de la negación” (la conclusión es una negación). La
validez del modus tollens es que se puede demostrar que se deduce del modus ponens, junto
con el hecho de que un enunciado condicional es lógicamente equivalente a su contrapositivo.
O se puede establecer formalmente usando una tabla de verdad.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Reglas de inferencia

Modus ponens y Modus tollens

Ej: Utilice el modus ponens o el modus tollens para llenar los espacios en blanco de los
siguientes argumentos para que se conviertan en inferencias válidas.

a) Si hay más palomas que casilleros, por lo menos dos palomas se posan en el mismo
casillero.
Hay más palomas que casilleros.
∴ _______________________________________________ .

b) Si 870 232 es divisible entre 6, entonces es divisible entre 3.

870 232 no es divisible entre 3.
∴ _______________________________________________.

a. Al menos dos palomas se posan en el mismo casillero. por el modus ponens

b. 870 232 no es divisible entre 6. por el modus tollens
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Reglas de inferencia

Generalización
Las siguientes formas de argumento son válidas y se utilizan para hacer generalizaciones :
p
∴pVq

q
∴pVq
La primera: si p es verdadero, entonces, más generalmente, “p o q” es verdadero para
cualquier otro enunciado q.

Ejemplo: Contar a los estudiantes con coeficiente intelectual alto en la escuela. Pregunta que
piensan de José y le dicen que es un joven muy inteligente. Razona de la siguiente manera:
José es un joven muy inteligente.
∴ (en general) José es un joven muy inteligente o José es un adulto muy inteligente.
Sabiendo que tener un coeficiente intelectual alto significa joven o adulto muy inteligente,
agrega a José a la lista.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Reglas de inferencia

Especialización
Las siguientes formas de argumento son válidas y se utilizan para hacer especialización :
pꓥq
∴p

pꓥq
∴q
Cuando se clasifican objetos de acuerdo con alguna propiedad, con frecuencia se sabe mucho
más de ellos que si tienen o no esa propiedad. Cuando esto sucede, descarte la información
no necesaria y concéntrese en la propiedad particular de interés.
Ejemplo, Se está buscando una persona que sepa algoritmos gráficos. Ana sabe tanto análisis
numérico como algoritmos gráficos. Razona de la siguiente manera:
Ana sabe análisis numérico y Ana sabe algoritmos gráficos.
∴ (en particular) Ana sabe algoritmos gráficos.
En consecuencia, es la persona indicada
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Reglas de inferencia

Eliminación
Las siguientes formas de argumento son válidas:
pVq
~q
∴p

pVq
~p
∴q
Estas formas de argumento tienen sólo dos posibilidades y si se puede descartar una, la otra
debe ser el caso.
Ejemplo, Para un determinado número x se sabe que,
x–3=0 o x + 2 = 0.
Si también se sabe que x no es negativo, entonces x ≠ -2, por lo que
x + 2 ≠ 0.
Por eliminación, entonces puede concluir que
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Reglas de inferencia

Transitividad

La siguiente forma de argumento es válida:

p→q
q→r
∴p→r

Muchos argumentos en matemáticas contienen cadenas de enunciados si-entonces. Del

hecho de que un enunciado implica un segundo y el segundo implica un tercero, se puede
concluir que el primer enunciado implica el tercero.

Por ejemplo:
Si 18 486 es divisible entre 18, entonces 18 486 es divisible entre 9.
Si 18 486 es divisible entre 9, entonces la suma de los dígitos de 18 486 es divisible entre 9.
∴ Si 18 486 es divisible entre 18, entonces la suma de los dígitos de 18 486 es divisible entre 9.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Reglas de inferencia

Demostración por división en casos

La siguiente forma de argumento es válida:
pVq
p→r
q→r
∴r

Con frecuencia se sabe que una cosa u otra es verdad. Si puede demostrar que en cualquier
caso se deduce una conclusión verdadera, entonces, esta conclusión también debe ser
verdadera. Por ejemplo, supongamos que sabemos que x es un número real dado distinto de
cero. La propiedad de tricotomía de los números reales, dice que cualquier número es
positivo, negativo o cero. Por tanto (por eliminación) usted sabe que x es positivo o que x es
negativo. Puede deducir que x2 > 0 argumentando de la siguiente manera:
x es positivo o x es negativo.
Si x es positivo, entonces x2 > 0.
Si x es negativo, entonces x2 > 0.
2
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Reglas de inferencia

Ej:

Está a punto de salir para la universidad en la mañana y descubre que no tiene sus lentes.
Sabe que los siguientes enunciados son verdaderos:

a) Si yo estaba leyendo el periódico en la cocina, entonces, mis lentes están sobre la mesa de
la cocina.
b) Si los lentes están sobre la mesa de la cocina, entonces los vi en el desayuno.
c) No he visto mis lentes en el desayuno.
d) Yo estaba leyendo el periódico en la sala o estaba leyendo el periódico en la cocina.
e) Si yo estaba leyendo el periódico en la sala entonces, mis lentes están sobre la mesa del
café.

¿Dónde están los lentes?

PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Reglas de inferencia
Ej:
RK = Yo estuve leyendo el periódico en la cocina.
GK = Mis lentes están sobre la mesa de la cocina.
SB = Vi mis lentes en el desayuno.
RL = Estuve leyendo el periódico en la sala.
GC = Mis lentes están sobre la mesa del café.
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Reglas de inferencia
Contradicciones y argumentos válidos
El concepto de contradicción lógica se puede utilizar para hacer inferencias a través de una
técnica de razonamiento llamada regla de contradicción. Supongamos que p es algún
enunciado cuya verdad quiere deducir.

Regla de contradicción: Si puede mostrar que la suposición de que el enunciado p es falso

conduce lógicamente a una contradicción, entonces se puede concluir que p es verdadera.

Ej: Con una tabla de verdad, muestre que la siguiente forma de argumento es válida:
~ p → c, donde c es una contradicción
∴p
PREDICADOS Y ENUNCIADOS CUANTIFICADOS
Reglas de inferencia
Resumen de las reglas de inferencia