LÓGICA CUANTIFICACIONAL

2.1 INTRODUCCIÓN

2.2 FUNCIONES PROPOSICIONALES

2.3 CUANTIFICADORES

2.4 CUANTIFICACIÓN RESTRINGIDA

2.5 LEYES DE INTERCAMBIO DE CUANTIFICADORES

2.6 REGLAS DE INFERENCIA

2.7 LA LÓGICA DE LAS RELACIONES

¿Qué es la lógica Cuantificacional?

La lógica cuantificacional estudia la composición íntima de las proposiciones, utiliza nuevos

símbolos, leyes y métodos para establecer la validez de los razonamientos. Esta lógica estudia
de manera más detallada los predicados a través del uso de cuantificadores que expresan
cantidad.

2.1 INTRODUCCIÓN

La lógica formal, al nivel de la lógica de enunciados, sólo puede

analizar formalmente aquellos razonamientos en cuya validez
no desempeña ningún papel la estructura interna de las
proposiciones que la componen.
Hay razonamientos formalmente válidos que no lo son
simplemente en virtud de las conexiones externas entre los
enunciados. Es decir su forma no puede exhibirse tan sólo
mediante letras y conectivos, sino que es preciso penetrar en
la estructura interna del enunciado, para buscar la validez de
la inferencia en cuestión.

Ejemplo:

P: ningún árbol puede hablar.

Q: Juan puede hablar.
Luego,
R: Juan no es un árbol.
La lógica proposicional no puede explicar porqué R se deduce
de P y de Q.

Se trata entonces de construir a partir del cálculo proposicional

nuevos elementos de análisis para poder tener un más
poderoso instrumento de deducción.
Dada una proposición, la lógica cuantificacional distingue en
esta a los individuos y a sus propiedades.

Ejemplo:

Manuel estudia mucho.

Itagüí es un municipio muy próspero.

La savia alimenta las plantas.

En las tres proposiciones anteriores los individuos son:

"Manuel", "Itagüí" y "la savia", ellos coinciden con los sujetos
gramaticales. Las propiedades atribuidas a dichos individuos
son las frases: "estudia mucho", "es un municipio muy
próspero" y "alimenta las plantas", estos coinciden con los
predicados gramaticales.

Este tipo de proposiciones en donde se atribuye una propiedad

a un individuo determinado son las llamadas proposiciones
simples. Los nombres propios hacen referencia a cualquier tipo
de individuos determinados: personas, animales, países, ríos,
etc. y se simbolizarán con letras minúsculas a, b, c …y se
llamarán constantes individuales o términos. Se
llamará predicado a la palabra o frase que hace referencia al
sujeto o término, y se simbolizará con letras mayúsculas: A, B,
C…

Si en el ejemplo anterior se simboliza a:

Manuel, por la letra m.

Itagüí, por la letra i.
La savia, por la letra s.
Estudia mucho, por la letra P.
Es un municipio muy próspero, por la letra R.
Alimenta las plantas, por la letra T. Entonces, la simbolización
de las anteriores proposiciones es:

Pm

Ri

Ts

Las proposiciones simples pueden combinarse mediante

conectivos lógicos para formar proposiciones compuestas tales
como:

"Pedro duerme y María lee"

Que se puede simbolizar así:

Dp ∧ Lm

Ejercicios

Simbolizar:

 O Antonio llega temprano o José se marchará pronto.

 Si el sol es una estrella, tiene luz propia.
 Mario es estudioso e inteligente, pero distraido.
 Si Jesús y Ramiro no llegan temprano, Darío dará comienzo a la
conferencia.

2.2 FUNCIONES PROPOSICIONALES

Considérense las siguientes proposiciones:

Gustavo es médico.

Alvaro es médico.

Enrique es médico.

Estas proposiciones tienen algo en común, y es la propiedad de "ser médico". Esto puede
formularse recurriendo a la expresión "x es médico" en donde x es una variable individual, la
cual indica que el sujeto o término que tiene la propiedad de ser médico es indeterminada. La
expresión "x es médico" no puede considerarse como una proposición puesto que no es en
cuanto tal ni verdadera ni falsa. Aquí x es una variable que toma valores dentro de un
conjunto, llamado conjunto de referencia. Expresiones de esta forma, dadas en términos de
una o varias variables, reciben el nombre de funciones proposicionales.

Cuando en una función proposicional se sustituyen las variables por constantes individuales o
términos específicos, se convierte en proposición. Comúnmente se usarán las letras x, y, z, w
para denotar las variables. La funciones proposicionales pueden negarse y también
combinarse con otras funciones proposicionales o proposiciones simples por medio de los
conectivos.

Ejemplo:

"x es un número racional y z es un número irracional". Se puede simbolizar como:

Qx ∧ Iz.

Si en una forma compuesta hay por lo menos una función proposicional como componente,
entonces toda la forma compuesta es una función proposicional.

Ejemplo:

Ca ∨ (Ab → Px)

es una función proposicional puesto que Px lo es.

Ejercicios

1. Simbolizar las siguientes expresiones e indicar si son funciones proposicionales o

proposiciones:

 Fulano es muy generoso.

 x es par y 6 también.

 x e y son impares.

 2 es un número par y primo.

2. Simbolizar las siguientes expresiones e indicar si son funciones proposicionales o

proposiciones:

 (¬Ab ∧ ¬ BX) ↔ PY ∨ CB.

 (Ba ∧ ¬ Ab) → Cd.

 Cm ∧ Ds.
3. Dadas las siguientes funciones proposicionales, individualizar las variables para obtener
proposiciones verdaderas.

 x es primo impar menor que 10.

 x es un nevado colombiano.

 x divide a z y w.

2.3 CUANTIFICADORES.

Las expresiones:

Todo hombre es mortal.

Algunos hombres son sabios.

Pueden traducirse respectivamente como:

Para todo x, si x es hombre entonces x es mortal.

Existe un x, tal que x es hombre y x es sabio.

Otros giros utilizados para la expresión "para todo x", son:

Todo x

Cualquiera x

Cada x

que se simbolizan por "∀x" y se llama cuantificador universal.

Otros giros utilizados para la expresión "Existe un x" son:

Hay x

Existe x, tal que

Algún x

Algunos x

Que se simbolizan por "∃x" y se llama cuantificador existencial.

Existen tres formas de convertir una función proposicional Px en una proposición a saber:

 Haciendo la sustitución de las variables por un término específico.

  Anteponiendo la expresión "para todo x" o cuantificador universal.

 Anteponiendo la expresión "existe almenos un x" o cuantificador existencial.

El enunciado "existe almenos un x tal que Px" se representa como:

(∃x)(Px)

El enunciado "para todo x, Px" se representa como:

(∀x)(Px).

Al anteponer a la función proposicional Px un cuantificador, se dice que la variable x ha pasado

a ser una variable ligada.
Una proposición de la forma (∀x
Un enunciado de la forma (∃x)(Px) es verdadero cuando al menos un caso de sustitución de la
variable x por un término específico del conjunto de referencia, convierte a Px en un
enunciado verdadero.
Las proposiciones universales pueden aparecer negadas, como en el enunciado: "No todos son
mecánicos". En este caso la simbolización será ¬ (∀x

Las palabras "ningún", "ninguno", "nada", "nadie" corresponden también a enunciados

universales con negaciones, pero de una manera distinta a las proposiciones anteriores. La
proposición "ninguno es mecánico" no equivale a la proposición "no todos son mecánicos"
sino a la expresión "para todo x, x no es mecánico" que se simboliza (∀ x)(¬ M x.

Las proposiciones anteriores pueden estar negadas, como por ejemplo "no es cierto que hay
fantasmas" la cual se simboliza como ¬ (∃ x)(Fx) donde Fx simboliza la expresión "x es un
fantasma". Análogamente a lo que ocurre con los cuantificadores universales, las
proposiciones existenciales puede tener negaciones internas como "algo no es mortal" la cual
se simboliza como (∃ x) (¬ Mx) donde Mx simboliza la expresión "x es mortal".

Ejercicios.

Simbolizar los siguientes enunciados:

1. Todo es perecedero.

2. Hay marcianos.

3. Alguien no es perfecto.

4. No hay cosas sólidas.

5. Si todo es rojo, hay algo rojo.

6. Nada se mueve.

7. No todo es perecedero.
 8. Nada es perecedero.

9. Algunos números negativos no son enteros.

10. Algunos gobiernos no respetan la libertad.

2.4 Cuantificación Restringida.

Existen proposiciones universales o existenciales que poseen, en el lenguaje ordinario,

estructuras simples pero que internamente tienen estructura de proposiciones compuestas.
Así, por ejemplo, la expresión:

"todas las hormigas son insectos"

se puede escribir de una manera plausible así:

"para toda x, si x es hormiga entonces x es insecto"

que se puede simbolizar de la manera siguiente:

(∀x)(Hx → Ix)

donde Hx simboliza la expresión: " x es hormiga", e Ix simboliza la expresión "x es insecto".

Similarmente, al considerar la expresión del lenguaje ordinario:

"hay animales carnívoros"

se observa que se puede escribir como:

"existe almenos un x, tal que x es animal y x es carnívoro"

que se puede simbolizar como:

(∃ x)(A x ∧Cx).
Los anteriores son ejemplos de proposiciones universales y existenciales que tienen más de un
predicado bajo el alcance de un cuantificador.

Ejercicios

Simbolizar los siguientes enunciados:

Hay cisnes negros.

Existen animales carnívoros.

Hay números perfectos.

Existen ciudades de clima frío.

Todos los nevados son colombianos.

Hay cetáceos que son peces.

2.5 LEYES DE INTERCAMBIO DE CUANTIFICADORES.

2.5.1 (∀x)(Px) ⇔ ¬(∃x)( ¬ Px)

2.5.2 (∃x)(Px) ⇔ ¬(∀x)( ¬ Px)

2.5.3 ¬(∀x)(Px) ⇔(∃x)( ¬ Px)

2.5.4¬(∃x)(Px) ⇔ (∀x)( ¬ Px)

Según lo anterior, se tiene que la negación de una proposición existencial es equivalente a la

afirmación de un cuantificador universal cuya función proposicional es la negación de la
primera.

También, decir que (∀x)(Px)es falsa significa entonces ¬ (∀x)(Px)es verdadera y por lo tanto, lo
es (∃ x)( ¬ Px). Este resultado es la base de una regla lógica útil para demostrar que un
enunciado es falso. Esta regla se llama regla del contraejemplo y dice así: Si (∃ x)( ¬ Px) es
verdadera, entonces (∀x)(Px)es falso.

Ejemplo: La afirmación "todos los números primos son impares" es falso porque, "existe un
número primo que no es impar". A dicho número, el dos, se le llama un contraejemplo.

Ejercicios
1. Negar los siguientes proposiciones cuantificadas.

 (∀x)(Cx → Dx).

 (∃x)(Px ∧ Qx).

 (∀x)(Px ∧ Mx).

 (∃x)(Px → Bx).

2. Simbolizar, utilizando el cuantificador existencial las siguientes expresiones.

 Todos aprobamos el curso y disfrutamos las vacaciones.

 Todo cetáceo es un pez.

 Toda hormiga es un insecto.

3. Simbolizar, utilizando el cuantificador universal, las siguientes expresiones.

 Existe al menos una montaña.

 Hay cisnes negros.

 Existen animales carnívoros.

 Hay números perfectos.

2.6 REGLAS DE INFERENCIA Y PROPIEDADES

DISTRIBUTIVAS PARA ENUNCIADOS CUANTIFICADOS

2.6.1 Reglas de lnferencia.

2.6.1.1 Ejemplificación Universal (E.U). Dado un

enunciado verdadero de la forma ( ∀ x)( Px), todo caso de
sustitución de la variable x por constantes de su conjunto de
referencia, da lugar a un enunciado verdadero.

2.6.1.2 Generalización universal (G.U). Si una función

proposicional tiene todos sus casos de sustitución por
constantes de su conjunto de referencia verdaderos, se infiere
la verdad del enunciado (∀ x)( Px).
2.6.1.3 Ejemplificación existencial (E.E). Dado un
enunciado verdadero de la forma (∃x)( Px), se infiere de él un
caso de sustitución de la función proposicional, con la
restricción de que se utilice una constante que no halla figurado
antes dentro de la demostración. Es decir, que no se halla
especificado.

La restricción indicada tiene la función de evitar inferencias

inválidas tales como:

"Algunos hombres son sabios. Luego Pedro es sabio".

1. ( ∃ x)( Hx ∧Sx) / ∴ Sp.

2. Hp ∧Sp por E.E (si no existiera la restricción).
3. Sp por simplificación en 2.

Puesto que la constante p ya ha aparecido en la proposición

que se trata de demostrar, la restricción impide que se la utilice
en el paso 2.

2.6.1.4 Generalización Existencial (G.E). Si una función

proposicional tiene por lo menos uno de sus casos de
sustitución por constantes de su conjunto de referencia
verdadero , se infiere la verdad del enunciado ( ∃ x)( Px).

Nota: Cuando en una demostración haya que aplicar la E.E y

E.U como en el ejemplo siguiente, es necesario aplicar en
primer término E.E que es la regla que tiene restricciones y
luego la E.U puede hacerse en la misma constante sin ningún
problema.
Ejemplo. Mostrar la validez del siguiente razonamiento:

Los perros son vertebrados y mamíferos.

Algunos perros son guardianes.
Luego, algunos vertebrados son guardianes.

1. (∀ x)(Px ⇒ Vx ∧ Mx).
2. (∃ x)(Px ∧ Gx) / ∴ (∃ x)(Vx ∧ Gx).
 3. Pw ∧ Gw E.E en 2 (w es una constante
determinada pero no especificada).
4. Pw ⇒ Vw ∧ Mw E.U en 1.
5. Vw ∧ Mw simplificación en 5.
6. Gw simplificación en 3.
7. Gw ∧ Vw conjunción 6 y 7.
8. (∃ x)(Vx ∧ Gx) G.E en 8.

2.6.2 Leyes distributivas.

2.6.2.1 (∀ x)(Fx ∧ Gx) ⇔ (∀ x)(Fx ) ∧ (∀ x)(Gx)

2.6.2.2 ( ∃ x)(Fx ∨ Gx) ⇔ ( ∃ x)(Fx ) ∨ ( ∃ x)(Gx)

2.6.2.3 (∀ x)(Fx) ∨ (∀ x)(Gx ) ⇒ (∀ x)(Fx ∨ Gx).
2.6.2.4 ( ∃ x)(Fx ∧ Gx) ⇒ ( ∃ x)(Fx ) ∧ ( ∃ x)(Gx ).
2.6.2.5 (∀ x)(Fx ⇒ Gx) ⇒ ((∀ x)(Fx ) ⇒ (∀ x)(Gx).

La implicación reciproca del numeral 2.6.2.3 no es en general

cierta, así por ejemplo, del hecho que todo número real es
racional o irracional no se puede concluir que todos los
números reales sean racionales, o todos los números reales
sean irracionales.

El reciproco del numeral 2.6.2.4 no es en general verdadero.

Así por ejemplo, aunque existen números racionales y existen
números irracionales, no se puede concluir que existan
números que sean racionales e irracionales simultáneamente.

Ejercicios
1) Mostrar la validez del siguiente razonamiento: Ernesto no es
buen fotógrafo, pues los buenos fotógrafos son imaginativos y
Ernesto no lo es en absoluto.
2) Encuentre una conclusión de las siguientes premisas:

 Todos los patos de esta aldea que están marcados con

"B" pertenecen a la señora Bond.
  Los patos de esta aldea nunca llevan collares de encaje
a menos que estén marcados con "B".
 La señora Bond no tiene patos grises en esta aldea.

En los ejercicios 3, 4 y 5 demuestre la validez de la

conclusión, dadas las correspondientes premisas.

3) (∀ x)(Hx → Fx).

(∀ x)( ¬ Gx → ¬ Fx) ∴ (∀ x)(Hx → Gx)

4) (∀ x)(Ix).

(∃ x)(Fx ∧ ¬ Hx) ∧ (∀ x)(Gx). ∴ (∃ x)(Fx ∧ Ix)

5) (∀ x)( ¬ Fx) ⇒ (∀ x)(Gx → Hx).

¬ ( ∃ x)(Fx) ∴ (∃ x)(Hx ∧ ¬ Ix)

(∃ x)(Gx ∧ ¬ Ix)

6) Utilizando las equivalencias con cuntificadores decir a que

enunciados son equivalentes los siguientes:

- Todo es espacial - No todo es espacial.

- Hay cosas espaciales - No hay cosas espaciales.

7) Por medio de las reglas de ejemplificación y generalización

demostrar la validez de los siguientes razonamientos:

 Si todo es espacial o temporal, entonces la tierra está en

movimiento. Todo es temporal. Luego, la tierra está en
movimiento.
 Hernández es estudiante y empleado. Todos los
empleados cobrarán su sueldo y su aguinaldo. Luego
Hernández cobrará su sueldo.
 Las serpientes son reptiles. Los reptiles no son animales
de clima frío. Por lo tanto, las serpientes no son
animales de clima frío.
8) Niegue los siguientes enunciados:

 (∀ x)(Px) ∧ (∃ y)(Uy).
 (∃ x)(Px) ∨ (∀ y)(Uy).
 Si el maestro está ausente, algunos estudiantes no
terminan su tarea.
 Si hay motín, alguien es muerto.

9) La argumentación que se presenta a continuación es

obviamente invalida. Señalar dentro de "la prueba" donde
esta el error.

"Algunos gatos son animales; algunos perros son animales;

en consecuencia, algunos gatos son perros".

Deducción: 1. (∃ x)(Gx ∧ Ax).

2. (∃ x)(Px ∧ Ax) / ∴ (∃ x)(Gx ∧ Px)

3. Gw ∧ Aw E.E en 1.

4. Pw ∧ Aw E.E en 2.

5. Gw Simplificación en 3.

6. Pw Simplificación en 4.

7. Gw ∧ Pw Conjunción en 5 y 6.

8. (∃ x)(Gx ∧ Px) G.E en 7.

10) Identificar y explicar todos los errores cometidos en la

siguiente "prueba".

(∀ y)(∃ x)(Fx ∨ Gy) / ∴ (∃ x) (∀ y) (Fx ∨ Gy)

Prueba: 1. (∀ y)(∃ x)(Fx ∨ Gy ) hipótesis

2. (∃ x)(Fx ∨ Gy) E.U en 1.

3. Fx ∨ Gy E.E en 2.

4. (∀ y)(Fx ∨ Gy) G.U en 3.

5. (∃ x)(∀ y)(Fx ∨ Gy ) G.E en 4.

2.7 LA LÓGICA DE LAS RELACIONES.

2.7.1 Funciones proposicionales binarias.

A un predicado puede ir unido más de un sujeto o término, como por ejemplo:

"Platón fue alumno de Sócrates"

Este tipo de predicados expresa una relación entre los objetos o términos. Aquí vemos dos
términos que son Platón y Sócrates; sin embargo en este caso los términos no ocupan el lugar
del sujeto gramatical puesto que "Sócrates" hace parte del predicado gramatical.

Cuando, como en el ejemplo, la relación se hace entre dos individuos, se le llama binaria o
diática. Otras relaciones pueden establecerse entre tres o más individuos. Por ejemplo: "x está
entre a y b". La proposición "Platón fue alumno de Sócrates", la cual se simboliza Aps o pAs es
el resultado de una sustitución dentro de la función proposicional:

"x fue alumno de y"

esta función proposicional se simboliza Axy o xAy.

Cuando se efectúa la sustitución es necesario conservar el orden en la escritura de acuerdo a

que el término que entra a sustituir la variable ocupe el lugar de ésta. Por ejemplo, si en lugar
de escribir Aps escribimos Asp, la proposición será.:

"Sócrates fue alumno de Platón"

Cuando se tiene una función proposicional en dos variables, es posible convertirla en una
proposición sustituyendo cada una de las variables por un término especifico o añadiendo un
cuantificador a cada variable.

Las siguientes son las diferentes maneras de obtener una proposición a partir de una función
proposicional dada.

Sea Axy: "x fue alumno de y"

 Platón fue alumno de Sócrates; que se denota Aps.

 Todos fueron alumnos de todos; que es (∀ x)(∀ y)(Axy).

 Todos fueron alumnos de algunos; que es (∀ x)(∃ y)(Axy).

 Algunos fueron alumnos de todos; que es (∃ x)(∀ y)(Axy).

 Algunos fueron alumnos de algunos; que es (∃ x)( ∃ y)(Axy).

  Juan fue alumno de todos; que es (∀ y)( Ajy).

 Juan fue alumno de Algunos; que es (∃ y)(Ajy).

 Todos fueron alumnos de Sócrates; que es (∀ x)( Axs).

 Algunos fueron alumnos de Sócrates; que es (∃ x)( Axs).

2.7.2 Leyes del Cálculo de Relaciones.

2.7.2.1 Negación de expresiones con varios cuantificadores.

1. ¬ (∀ x)(∀ y)(Rxy) ⇔ (∃ x)(∃ y)(¬ Rxy).

2. ¬ (∃ x)(∃ y)(Rxy) ⇔ (∀ x)(∀ y)(¬ Rxy).

3. ¬ (∀ x)(∃ y)(Rxy) ⇔ (∃ x)(∀ y)(¬ Rxy).

4. ¬ (∃ x)(∀ y)(Rxy) ⇔ (∀ x)(∃ y)(¬ Rxy).

Para hacer la negación de la fórmula (∀ x)( ∃ y)( Rxy) de sigue el siguiente proceso: Sea Sx la
función proposicional ( ∃ y)( Rxy), luego la fórmula se puede expresar

(∀ x)( Sx) cuya negación es ( ∃ x)( ¬ Sx), ahora, como Sx es ( ∃ y)( Rxy) se da que

¬ Sx ⇔ ¬ ( ∃ y)( Rxy) ⇔ (∀ y)( ¬ Rxy).

Se obtiene entonces el siguiente resultado:

¬ (∀ x)(∃ y)( Rxy) ⇔ (∃ x)(∀ y)(¬ Rxy).

2.7.2.2 Propiedades conmutativas de los cuantificadores

1. (∀ x)(∀ y)(Rxy) ⇔ (∀ y)(∀ x)(Rxy).

2. (∃ x)( ∃ y)(Rxy) ⇔ (∃ y)( ∃ x)(Rxy).

3. (∃ x)(∀ y)(Rxy) ⇒ (∀ y)(∃ x)(Rxy).

El siguiente ejemplo demuestra que el reciproco del tercer numeral es falso.

Se sabe: "para cada número natural n, existe un natural k, tal que n < k ", o sea que

(∀ n)(∃ k)( n < k ), es un enunciado verdadero. Sin embargo, el siguiente enunciado

"existe un número natural k, tal que para todo número natural n se cumple que
n < k", o sea (∃ k)(∀ n)( n < k ), es un enunciado falso, pues no existe un número natural que
sea mayor que todos los números naturales.

2.7.3 Lógica de la identidad.

2.7.3.1 Introducción. En español se usa con frecuencia alguna forma del verbo "ser" entre dos
términos, para indicar que nombran o se refieren a una misma cosa.

Por ejemplo:

"Simón Bolívar fue el primer presidente de Colombia".

Esto significa, que Simón Bolívar nombra o indica lo mismo que " primer presidente de
Colombia". Así si s representa a Simón Bolívar y p al primer presidente de Colombia este
enunciado se puede simbolizar como:

s=p

El signo = (igual) se denomina también signo de identidad.

Sin embargo, el verbo "ser" se usa también en otro sentido, por ejemplo:

"Simón Bolívar fue un hombre valiente".

Aquí sería incorrecto decir que Simón Bolívar nombra o indica lo mismo que "hombre
valiente".

Debe tenerse presente que el signo de identidad se coloca entre términos que son nombre de
la misma cosa. Así, dos objetos aunque tengan una apariencia tan igual que no se distingan,
son sin embargo distintos, es decir no idénticos. Decir que dos objetos son iguales, significa
que son el mismo objeto, no que son tan análogos que no se distinguen.

2.7.3.2 Axiomas do la Lógica de la identidad.

1) (∀ x)(x = x). (todo objeto es igual a si mismo).

2) (∀ x)(∀ y)(x = y ⇔ y = x) (simetría).

3) (∀ x)(∀ y)(∀ z)(x = y ∧ y = z ⇒ x = z) (transitividad).

4) (c = d),⇒ (Pc ⇔ Pd). (regla de la identidad).

Intuitivamente, el axioma cuatro dice: Si dos objetos son iguales, entonces verifican las mismas
propiedades.

Ejemplo: Simbolizar el siguiente razonamiento, y mostrar que la inferencia es válida

deduciendo la conclusión.

 Eduardo podía haber visto el coche del asesino.

 Ricardo fue el primer testigo de la defensa.

 O Eduardo estaba en la fiesta o Ricardo dio testimonio falso.

 En efecto, nadie en la fiesta pudo haber visto el coche del asesino.

  Por tanto el primer testigo de la defensa dio testimonio falso.

Sean:

Ve: Eduardo pudo haber visto el coche del asesino.

r = p: Ricardo fue el primer testigo de la defensa.

Fe: Eduardo estaba en la fiesta.

Tr: Ricardo dio testimonio falso.

(∀ x)(Fx ⇒ ¬ Vx): nadie en la fiesta pudo haber visto el coche del asesino.

Entonces:

1. Ve premisa.

2. r = p premisa.

3. Fe ∨ Tr premisa.

4. (∀ x)( Fx ⇒ ¬ Vx) premisa.

5. Fe ⇒ ¬ Ve E.U. en 4.

6. Ve ⇒ ¬ Fe contrarrecíproco en 5.

7. ¬ Fe RV1 en 1 y 6.

8. Tr regla de disyunción 3 y 7.

9. Tp regla de identidad en 2 y 8.

Ejercicios

1) Determine el valor de verdad de las siguientes proposiciones, donde el conjunto de

referencia es el de los números naturales.

(∀ m)(∃ n)(m < n). (∀ m)( ∀ n)(m < n).

(∀ n)(∃ m)(m < n). (∀ n)(∀ m)(m < n).

(∃ n)(∀ m)(m < n). (∃ m)(∃ n)(m < n).

(∃ m)(∀ n)(m < n). (∃ n)( ∃ m)(m < n).

2) Considérese la proposición:

(∀ m)(∃ n)(m + n = 7).

 ¿ Es verdadera la proposición si el conjunto de referencia es N?

 ¿ Es verdadera la proposición si el conjunto de referencia es Z ?

3)Sea P: (∀ x)(∀ y)( x < y ⇒ (∃ z)( x < z < y ) ).

- Determine el valor de verdad de P si el conjunto de referencia es R .

- Determine el valor de verdad de P si el conjunto de referencia es Z .

4) Negar las siguientes proposiciones sin utilizar el conectivo lógico ¬ antes de

cuantificadores.

 (∃ x)(∀ y)(Pxy ⇒ Qxy).

 (∃ y)(∀ x)(Px ∧ ¬ Qy).

5) Muestre mediante un contraejemplo, que la implicación lógica:

(∃ x)(∀ y)(Pxy) ⇒ (∀ x)(∃ y)(Pxy).

es falsa.

6)Muestre que la implicación lógica:

(∀ x)(∃ y)(Pxy) ⇒ (∃ y)(∀ x)(Pxy).

Es falsa, buscando un caso en el cual la proposición falla.

7) En cada caso muestre que los siguientes pares de fórmulas son equivalentes.

(∃ x)(∀ y)(y ≥ 0 ⇒ y > x) y (∃ x)(∀ y)(y > x ∨ ¬ (y ≥ 0)).

(∃ x)(∀ y) (¬ (y > x)) y (∃ x)( ¬ (∃ y)(y > x)).

8) ¿En cuáles de las siguientes oraciones se usa el verbo "ser" en el sentido de identidad?

 Los niños son maravillosos.

 García Márquez es el autor de "Cien años de Soledad".

 Lucho Herrera es un gran ciclista.

 El 12 de octubre es el día de la raza.

Bibliografía
http://aprendeenlinea.udea.edu.co/boa/contenidos.php/8b077438024e1bddfbc83706da8049
f2/138/1/contenido/contenido/capitulo_02.html

https://www.google.ca/search?q=logica+cuantificacional&source=lnms&sa=X&ved=0ahUKEwj
V1JmD6bvhAhVJnlkKHQPnBAIQ_AUICSgA&biw=1366&bih=657&dpr=1