Incorrecto. TRADUCCIÓN Ejercicio nº7 Argumento: Hay enfermedades que padece cualquiera que haya estado alguna vez enfermo. Todo el mundo ha sufrido alguna.

Slides:



Advertisements
Presentaciones similares
Seminario: Consecuencia Lógica: modelos y hechos modales Prof. Eduardo Alejandro Barrio 1er cuatrimestre de 2005 Facultad de Filosofía y Letras, UBA.
Advertisements

Seminario: Interpretaciones y Modelos Conjuntistas Profesores Dr Alberto Moretti Dr Eduardo Alejandro Barrio 2do cuatrimestre de 2005 Facultad de Filosofía.
Seminario: Consecuencia Lógica: modelos y hechos modales Prof. Eduardo Alejandro Barrio 1er cuatrimestre de 2005 Facultad de Filosofía y Letras, UBA.
Seminario: Expresividad semántica y lógica de segundo orden Profesores Eduardo Alejandro Barrio y Javier Castro Albano 1er cuatrimestre de 2008 Facultad.
Seminario: “Pensamiento y lenguaje”
Seminario: Todo Prof. Eduardo Alejandro Barrio 1er cuatrimestre de 2006 Facultad de Filosofía y Letras, UBA.
Seminario: Pensamiento y lenguaje Profesora: Dra. Eleonora Orlando 2do. cuatrimestre de 2005 Facultad de Filosofía y Letras, UBA.
Seminario: Paradojas, circularidad y universalidad expresiva Prof. Eduardo Alejandro Barrio 1er cuatrimestre de 2007 Facultad de Filosofía y Letras, UBA.
Seminario: Interpretaciones y Modelos Conjuntistas
Seminario: Interpretaciones y Modelos Conjuntistas Profesores Dr Alberto Moretti Dr Eduardo Alejandro Barrio 2do cuatrimestre de 2005 Facultad de Filosofía.
Seminario: Consecuencia Lógica: modelos y hechos modales Prof. Eduardo Alejandro Barrio 1er cuatrimestre de 2005 Facultad de Filosofía y Letras, UBA.
Seminario: Consecuencia Lógica: modelos y hechos modales Prof. Eduardo Alejandro Barrio 1er cuatrimestre de 2005 Facultad de Filosofía y Letras, UBA.
El método de la deducción
ESTRUCTURA DE DECISION LOGICA
PRUEBAS DE VALIDEZ E INVALIDEZ
Incorrecto. TRADUCCIÓN Ejercicio nº6 Argumento: El oro es un metal. En consecuencia, los buscadores de oro son buscadores de metales.
PROF: JAIME QUISPE CASAS I.E.P.Nº 2874 Ex SISTEMA DE ECUACIONES DE PRIMER GRADO CON TRES VARIABLES.
Noción de lógica Cuantificacional
Álgebra I Prof: Haroldo Cornejo Olivarí.
José Alfredo Cervantes Guzmán UMSNH Coautor: Jesús Rivera
Lógica Temporal. Tablas semánticas.
Incorrecto. TRADUCCIÓN Ejercicio nº5 Argumento: Todo jugador de ajedrez tiene algún maestro al que derrota. Botvinnik es maestro de Karpov y ambos juegan.
Área Académica: Informática
Teoremas de Completitud e Incompletitud de Gödel
Aporte de la Lógica a la Matemática
EXPONENTES Y RADICALES
Esquema asociado a la presencia del negador. Se niega que algo sea el caso: No es el caso que B.
U. Diego Portales Elementos de lógica Prof. Haroldo Cornejo O.
ESTRUCTURA DE DECISION LOGICA
Incorrecto Correcto Incorrecto Correcto TRADUCCIÓN Ejercicio nº3.
LOGICA DE ENUNCIADO LOGICA DE PREDICADO
Campus Estado de México—Raúl Monroy Resolución, la regla de inferencia y el cálculo Raúl Monroy.
2. Asistentes de Pruebas para Lógicos y Matemáticos II
Lógica de proposiciones, deducción natural
Incorrecto. TRADUCCIÓN Ejercicio nº10 Argumento: Cualquier animal de la selva al que todo el mundo tema, teme a alguien. Quien teme a alguien se teme.
Lógica de enunciado La lógica de enunciados o de proposiciones es el nivel más básico de análisis lógico y descansa exclusivamente en las conectivas.
ETAPAS PARA SOLUCIONAR UN PROBLEMA
Federico Marulanda –– IIFs
Proposiciones simples y proposiciones compuestas
Negación: ¬. (También: -, ~ ) Representa la partícula lingüística no o cualquiera otras partículas que incluyan la idea de negación. Al construir la negación.
Tecnologías de las computadoras
Listas Ligadas Simples. Definíción I  Es, en sencillas palabras. un grupo de datos organizados secuencialmente, pero a diferencia de los arreglos, la.
Introducción a la programación
Razón entre dos números
Incorrecto.
ESTRUCTURA DE DECISION LOGICA
Cuando el lenguaje falla…
Incorrecto. TRADUCCIÓN Ejercicio nº8 Argumento: Cualquier guerrero yanomamo es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa.
Incorrecto. TRADUCCIÓN Ejercicio nº4 Argumento: No es cierto que cualquier alquimista sea más sabio que cualquier químico. Los alquimistas son más sabios.
El razonamiento: La lógica
Universidad Autónoma de Chihuahua Facultad de Filosofía y Letras Lógica I semestre Tablas de Verdad.
Aspectos a considerar. 1. Comprensión de las cuestiones de conocimiento 2. Intervención como autor de conocimiento 3. Calidad de las evidencias y fuentes.
Álgebra de conmutación
MÉTODOS DE DEDUCCIÓN (Partes I & II)
Reglas Básicas del Álgebra de Boole
Sistemas Basados en Reglas
Presente un cuestionario con los aspectos mas importantes sobre los
Cómo refutar argumentos
M.S.C. Ivette Hernández Dávila
Lic. Carla Aguirre Montalvo
3. Herramientas de representación de algoritmos
GRAFOS HAMILTONIANOA Subtítulo.
Informática Ingeniería en Electrónica y Automática Industrial
LENGUAJE Es un sistema de signos Los signos pueden ser Naturales Artificiales Icónico- simbólicos Convencionales (culturales) Designado Interprete Poseen.
Tema 4. Reconocemos y analizamos subordinadas adverbiales (I) Textos científicos, jurídico- administrativos y humanísticos. La oración compuesta (II):Reconocemos.
Universidad popular autónoma de Veracruz Bachillerato virtual Nombre: Brenda Lorely Muñoz García Trimestre: I Materia: Matemáticas l Unidad: lll Actividad.
Aspectos a considerar. 1. Comprensión de las cuestiones de conocimiento 2. Intervención como autor de conocimiento 3. Calidad de las evidencias y fuentes.
ESCUELA DE OFICIALES DE LA POLICÍA NACIONAL DEL PERÚ Lic. Kelly Bedón A. Matemática - Informática LÓGICA La Metavariable.
Lógica Simbólica Conceptualización.
Premisa Conclusión Argumento simple Argumentos Argumento Complejo Representación gráfica de los tipos de argumenaciones.
Transcripción de la presentación:

Incorrecto

TRADUCCIÓN Ejercicio nº7

Argumento: Hay enfermedades que padece cualquiera que haya estado alguna vez enfermo. Todo el mundo ha sufrido alguna enfermedad infecciosa. Por lo tanto, hay enfermedades que todo el mundo padece.

ETAPA I Identificación de premisas y conclusión

Premisa 1: Hay enfermedades que padece cualquiera que haya estado alguna vez enfermo. Premisa2: Todo el mundo ha sufrido alguna enfermedad infecciosa. Conclusión: Hay enfermedades que todo el mundo padece.

ETAPA II Identificación de la forma lógica de premisas y conclusión

Identificación de la forma lógica de la premisa 1 (y 1) Hay enfermedades que padece cualquiera que haya estado alguna vez enfermo. ¿Qué tipo de aserto introduce? ¬&v 

Hay enfermedades que padece cualquiera que haya estado alguna vez enfermo.  T

 Hay al menos un x tal que (x (x es una enfermedad que ha padecido cualquiera que haya estado alguna vez enfermo).

Hay enfermedades que padece cualquiera que haya estado alguna vez enfermo. Hay al menos un x tal que (x es una enfermedad que ha padecido cualquiera que haya estado alguna vez enfermo). Da lugar a: ¿Contiene esta última oración elementos no analizados? Si No

x es una enfermedad que ha padecido cualquiera que haya estado alguna vez enfermo. No es simple. Hay al menos un x tal que (x es una enfermedad que ha padecido cualquiera que haya estado alguna vez enfermo).

Identificación de la forma lógica de la premisa 1 (y 2) x es una enfermedad que ha padecido cualquiera que haya estado alguna vez enfermo. ¿Qué tipo de aserto introduce? ¬&v 

x es una enfermedad que ha padecido cualquiera que haya estado alguna vez enfermo. & T

& x es una enfermedad y (todo el que haya estado alguna vez enfermo la ha padecido). x es una enfermedad que ha padecido cualquiera que haya estado alguna vez enfermo.

Da lugar a: ¿Contiene esta última oración elementos no analizados? Si No Hay al menos un x tal que (x es una enfermedad que ha padecido cualquiera que haya estado alguna vez enfermo). Hay al menos un x tal que (x es una enfermedad y (todo el que haya estado alguna vez enfermo la ha padecido)).

Todo el que haya estado alguna vez enfermo la ha padecido. No es simple. Hay al menos un x tal que (x es una enfermedad y (todo el que haya estado alguna vez enfermo la ha padecido)).

Identificación de la forma lógica de la premisa 1 (y 3) Todo el que haya estado alguna vez enfermo la ha padecido. ¿Qué tipo de aserto introduce? ¬&v 

Todo el que haya estado alguna vez enfermo la ha padecido.  T

 Para todo individuo z (Si z alguna vez ha estado enfermo, entonces z ha padecido x). Todo el que haya estado alguna vez enfermo la ha padecido.

Da lugar a: ¿Contiene esta última oración elementos no analizados? Si No Hay al menos un x tal que (x es una enfermedad y (todo el que haya estado alguna vez enfermo la ha padecido)). Hay al menos un x tal que (x es una enfermedad y Todo individuo z (Si z alguna vez ha estado enfermo, entonces z ha padecido x)).

Si z alguna vez ha estado enfermo, entonces z ha padecido x. No es simple. Hay al menos un x tal que (x es una enfermedad y Todo individuo z (Si z alguna vez ha estado enfermo, entonces z ha padecido x)).

Identificación de la forma lógica de la premisa 1 (y 4) Si z alguna vez ha estado enfermo, entonces z ha padecido x. ¿Qué tipo de aserto introduce? ¬&v 

Si z alguna vez ha estado enfermo, entonces z ha padecido x.  T

 Basta con que z haya estado alguna vez enfermo, para que z haya padecido x. Si z alguna vez ha estado enfermo, entonces z ha padecido x.

Da lugar a: ¿Contiene esta última oración elementos no analizados? Si No Hay al menos un x tal que (x es una enfermedad y Todo individuo z (Si z alguna vez ha estado enfermo, entonces z ha padecido x)). Hay al menos un x tal que (x es una enfermedad y Todo individuo z ((Si z alguna vez ha estado enfermo), entonces (z ha padecido x))).

z alguna vez ha estado enfermo. No es simple. Hay al menos un x tal que (x es una enfermedad y Todo individuo z ((Si z alguna vez ha estado enfermo), entonces (z ha padecido x))).

Identificación de la forma lógica de la premisa 1 (y 5) z alguna vez ha estado enfermo. ¿Qué tipo de aserto introduce? ¬&v 

z alguna vez ha estado enfermo.  T

 Hay al menos un w tal que (w (w es una enfermedad y z la ha padecido). z alguna vez ha estado enfermo.

Da lugar a: ¿Contiene esta última oración elementos no analizados? Si No Hay al menos un x tal que (x es una enfermedad y Todo individuo z ((Si z alguna vez ha estado enfermo), entonces (z ha padecido x))). Hay al menos un x tal que (x es una enfermedad y Todo individuo z ((Si Hay al menos un w tal que (w es una enfermedad y z la ha padecido)), entonces (z ha padecido x))).

w es una enfermedad y z la ha padecido. No es simple. Hay al menos un x tal que (x es una enfermedad y Todo individuo z ((Si Hay al menos un w tal que (w es una enfermedad y z la ha padecido)), entonces (z ha padecido x))).

Identificación de la forma lógica de la premisa 1 (y 6) w es una enfermedad y z la ha padecido. ¿Qué tipo de aserto introduce? ¬&v 

w es una enfermedad y z la ha padecido. & T

& w es una enfermedad y z ha padecido w. w es una enfermedad y z la ha padecido.

Da lugar a: ¿Contiene esta última oración elementos no analizados? Si No Hay al menos un x tal que (x es una enfermedad y Todo individuo z ((Si Hay al menos un w tal que (w es una enfermedad y z la ha padecido), entonces (z ha padecido x))). Hay al menos un x tal que (x es una enfermedad y Todo individuo z ((Si Hay al menos un w tal que (w es una enfermedad y z ha padecido w), entonces (z ha padecido x))).

Identificación de la forma lógica de la premisa 2 (y 1) ¿Qué tipo de aserto introduce? ¬&v  Todo el mundo ha sufrido alguna enfermedad infecciosa.

 T

 Para todo individuo x (x (x ha padecido alguna enfermedad infecciosa). Todo el mundo ha sufrido alguna enfermedad infecciosa.

Da lugar a: ¿Contiene esta última oración elementos no analizados? Si No Todo el mundo ha sufrido alguna enfermedad infecciosa. Todo individuo x es tal que (x ha padecido alguna enfermedad infecciosa).

x ha padecido alguna enfermedad infecciosa. No es simple. Todo individuo x es tal que (x ha padecido alguna enfermedad infecciosa).

Identificación de la forma lógica de la premisa 2 (y 2) ¿Qué tipo de aserto introduce? ¬&v  x ha padecido alguna enfermedad infecciosa.

 T

 Hay al menos un w tal que (w (w es una enfermedad infecciosa que x ha padecido). x ha padecido alguna enfermedad infecciosa.

Da lugar a: ¿Contiene esta última oración elementos no analizados? Si No Todo individuo x es tal que (x ha padecido alguna enfermedad infecciosa). Todo individuo x es tal que Hay al menos un w de modo que (w es una enfermedad infecciosa que x ha padecido).

w es una enfermedad infecciosa que x ha padecido. No es simple. Todo individuo x es tal que Hay al menos un w de modo que (w es una enfermedad infecciosa que x ha padecido).

Identificación de la forma lógica de la premisa 2 (y 3) ¿Qué tipo de aserto introduce? ¬&v  w es una enfermedad infecciosa que x ha padecido.

& T

& w es una enfermedad infecciosa y x ha padecido w. w es una enfermedad infecciosa que x ha padecido.

Da lugar a: ¿Contiene esta última oración elementos no analizados? Si No Todo individuo x es tal que Hay al menos un w de modo que (w es una enfermedad infecciosa que x ha padecido). Todo individuo x es tal que Hay al menos un w de modo que ((w es una enfermedad infecciosa) y x ha padecido w).

w es una enfermedad infecciosa. No es simple. Todo individuo x es tal que Hay al menos un w de modo que ((w es una enfermedad infecciosa) y x ha padecido w).

Identificación de la forma lógica de la premisa 2 (y 4) ¿Qué tipo de aserto introduce? ¬&v  w es una enfermedad infecciosa.

& T

& w es una enfermedad y w es infecciosa. w es una enfermedad infecciosa.

Da lugar a: ¿Contiene esta última oración elementos no analizados? Si No Todo individuo x es tal que Hay al menos un w de modo que (w es una enfermedad infecciosa y x ha padecido w). Todo individuo x es tal que Hay al menos un w de modo que ((w es una enfermedad y w es infecciosa) y x ha padecido w).

Identificación de la forma lógica de la conclusión (y 1) ¿Qué tipo de aserto introduce? ¬&v  Hay enfermedades que todo el mundo padece.

 T

 Existe al menos un x tal que (x (x es una enfermedad que todo el mundo padece). Hay enfermedades que todo el mundo padece.

Da lugar a: Hay al menos un x tal que (x es una enfermedad que todo el mundo padece). ¿Contiene esta última oración elementos no analizados? Si No

x es una enfermedad que todo el mundo padece. No es simple. Hay al menos un x tal que (x es una enfermedad que todo el mundo padece).

Identificación de la forma lógica de la conclusión (y 2) ¿Qué tipo de aserto introduce? ¬&v  x es una enfermedad que todo el mundo padece.

& T

& x es una enfermedad y todo el mundo la padece. x es una enfermedad que todo el mundo padece.

Hay al menos un x tal que (x es una enfermedad que todo el mundo padece). Da lugar a: Hay al menos un x tal que (x es una enfermedad y todo el mundo la padece). ¿Contiene esta última oración elementos no analizados? Si No

Todo el mundo la padece. Es equivalente a: Todo el mundo padece x. No es simple. Hay al menos un x tal que (x es una enfermedad y todo el mundo la padece).

Identificación de la forma lógica de la conclusión (y 3) Todo el mundo padece x. ¿Qué tipo de aserto introduce? ¬&v 

 T Todo el mundo padece x.

 Para todo individuo z (z (z padece x). Todo el mundo padece x.

Da lugar a: ¿Contiene esta última oración elementos no analizados? Si No Hay al menos un x tal que (x es una enfermedad y todo el mundo la padece). Hay al menos un x tal que (x es una enfermedad y Todo individuo z es tal que (z padece x).

Hay enfermedades que padece cualquiera que haya estado alguna vez enfermo. Todo el mundo ha sufrido alguna enfermedad infecciosa. Por lo tanto, hay enfermedades que todo el mundo padece. Da lugar a:

Hay al menos un x tal que (x es una enfermedad y Todo individuo z ((Si Hay al menos un w tal que (w es una enfermedad y z ha padecido w), entonces (z ha padecido x))). Todo individuo x es tal que Hay al menos un w de modo que ((w es una enfermedad y w es infecciosa) y x ha padecido w). Por tanto, Hay al menos un x tal que (x es una enfermedad y Todo individuo z es tal que (z padece x).

ETAPA III Construcción del Glosario

Identificación de las relaciones n-arias presentes en el argumento Relaciones unarias (propiedades) (y 1) Hay al menos un x tal que (x es una enfermedad y Todo individuo z ((Si Hay al menos un w tal que (w es una enfermedad y z ha padecido w), entonces (z ha padecido x))). Todo individuo x es tal que Hay al menos un w de modo que ((w es una enfermedad y w es infecciosa) y x ha padecido w). Por tanto, Hay al menos un x tal que (x es una enfermedad y Todo individuo z es tal que (z padece x).

Identificación de las relaciones n-arias presentes en el argumento Relaciones unarias (propiedades) (y 1) Hay al menos un x tal que (x es una enfermedad y Todo individuo z ((Si Hay al menos un w tal que (w es una enfermedad y z ha padecido w), entonces (z ha padecido x))). Todo individuo x es tal que Hay al menos un w de modo que ((w es una enfermedad y w es infecciosa) y x ha padecido w). Por tanto, Hay al menos un x tal que (x es una enfermedad y Todo individuo z es tal que (z padece x). x (y,z,...) es una enfermedad.

Identificación de las relaciones n-arias presentes en el argumento Relaciones unarias (propiedades) (y 1) Hay al menos un x tal que (x es una enfermedad y Todo individuo z ((Si Hay al menos un w tal que (w es una enfermedad y z ha padecido w), entonces (z ha padecido x))). Todo individuo x es tal que Hay al menos un w de modo que ((w es una enfermedad y w es infecciosa) y x ha padecido w). Por tanto, Hay al menos un x tal que (x es una enfermedad y Todo individuo z es tal que (z padece x). x (y,z,...) es una enfermedad.

Identificación de las relaciones n-arias presentes en el argumento Relaciones unarias (y 2) Hay al menos un x tal que (x es una enfermedad y Todo individuo z ((Si Hay al menos un w tal que (w es una enfermedad y z ha padecido w), entonces (z ha padecido x))). Todo individuo x es tal que Hay al menos un w de modo que ((w es una enfermedad y w es infecciosa) y x ha padecido w). Por tanto, Hay al menos un x tal que (x es una enfermedad y Todo individuo z es tal que (z padece x). x (y,z,...) es infecciosa.

Identificación de las relaciones n-arias presentes en el argumento Relaciones unarias (y 2) Hay al menos un x tal que (x es una enfermedad y Todo individuo z ((Si Hay al menos un w tal que (w es una enfermedad y z ha padecido w), entonces (z ha padecido x))). Todo individuo x es tal que Hay al menos un w de modo que ((w es una enfermedad y w es infecciosa) y x ha padecido w). Por tanto, Hay al menos un x tal que (x es una enfermedad y Todo individuo z es tal que (z padece x). x (y,z,...) es infecciosa.

Identificación de las relaciones n-arias presentes en el argumento Relaciones binarias (y 1) Hay al menos un x tal que (x es una enfermedad y Todo individuo z ((Si Hay al menos un w tal que (w es una enfermedad y z ha padecido w), entonces (z ha padecido x))). Todo individuo x es tal que Hay al menos un w de modo que ((w es una enfermedad y w es infecciosa) y x ha padecido w). Por tanto, Hay al menos un x tal que (x es una enfermedad y Todo individuo z es tal que (z padece x).

Identificación de las relaciones n-arias presentes en el argumento Relaciones binarias (y 1) Hay al menos un x tal que (x es una enfermedad y Todo individuo z ((Si Hay al menos un w tal que (w es una enfermedad y z ha padecido w), entonces (z ha padecido x))). Todo individuo x es tal que Hay al menos un w de modo que ((w es una enfermedad y w es infecciosa) y x ha padecido w). Por tanto, Hay al menos un x tal que (x es una enfermedad y Todo individuo z es tal que (z padece x). x (y, z,...) padece (z, w,...).

Identificación de las relaciones n-arias presentes en el argumento Relaciones binarias (y 1) Hay al menos un x tal que (x es una enfermedad y Todo individuo z ((Si Hay al menos un w tal que (w es una enfermedad y z ha padecido w), entonces (z ha padecido x))). Todo individuo x es tal que Hay al menos un w de modo que ((w es una enfermedad y w es infecciosa) y x ha padecido w). Por tanto, Hay al menos un x tal que (x es una enfermedad y Todo individuo z es tal que (z padece x). x, (y, z,...) padece (z, w,...).

Asignación de letras relacionales apropiadas

x es una enfermedad: Ex

Asignación de letras relacionales apropiadas x es una enfermedad: Ex x es infecciosa: Ix

Asignación de letras relacionales apropiadas x es una enfermedad: Ex x es infecciosa: Ix x padece y: Pxy

ETAPA IV Traducción a lenguaje de la Lógica de Primer Orden (LPO)

Substitución de las relaciones n-arias presentes por las letras relacionales correspondientes Hay al menos un x tal que (x es una enfermedad y Todo individuo z ((Si Hay al menos un w tal que (w es una enfermedad y z ha padecido w), entonces (z ha padecido x))). Todo individuo x es tal que Hay al menos un w de modo que ((w es una enfermedad y w es infecciosa) y x ha padecido w). Por tanto, Hay al menos un x tal que (x es una enfermedad y Todo individuo z es tal que (z padece x).

Substitución de las relaciones n-arias presentes por las letras relacionales correspondientes Hay al menos un x tal que (.... y Todo individuo z ((Si Hay al menos un w tal que (.... y....), entonces (....))). Todo individuo x es tal que Hay al menos un w de modo que ((.... y....) y....). Por tanto, Hay al menos un x tal que (.... y Todo individuo z es tal que (....).

Substitución de las relaciones n-arias presentes por las letras relacionales correspondientes Hay al menos un x tal que (Ex y Todo individuo z ((Si Hay al menos un w tal que (Ew y Pzw), entonces (Pzx))). Todo individuo x es tal que Hay al menos un w de modo que ((Ew y Iw) y Pxw). Por tanto, Hay al menos un x tal que (Ex y Todo individuo z es tal que (Pzx).

Substitución de las constantes lógicas presentes por los símbolos correspondientes Conectivas Hay al menos un x tal que (Ex y Todo individuo z ((Si Hay al menos un w tal que (Ew y Pzw), entonces (Pzx))). Todo individuo x es tal que Hay al menos un w de modo que ((Ew y Iw) y Pxw). Por tanto, Hay al menos un x tal que (Ex y Todo individuo z es tal que (Pzx).

Substitución de las constantes lógicas presentes por los símbolos correspondientes Conectivas Hay al menos un x tal que (Ex&Todo individuo z ((Hay al menos un w tal que (Ew&Pzw)  (Pzx))). Todo individuo x es tal que Hay al menos un w de modo que ((Ew&Iw)&Pxw). Por tanto, Hay al menos un x tal que (Ex&Todo individuo z es tal que (Pzx).

Substitución de las constantes lógicas presentes por los símbolos correspondientes Cuantores Hay al menos un x tal que (Ex&Todo individuo z ((Hay al menos un w tal que (Ew&Pzw)  (Pzx))). Todo individuo x es tal que Hay al menos un w de modo que ((Ew&Iw)&Pxw). Por tanto, Hay al menos un x tal que (Ex&Todo individuo z es tal que (Pzx).

Substitución de las constantes lógicas presentes por los símbolos correspondientes Cuantores  x (Ex&  z ((  w (Ew&Pzw)  (Pzx))).  x  w ((Ew&Iw)&Pxw). Por tanto,  x (Ex&  z (Pzx).

Traducción Resultado final Hay enfermedades que padece cualquiera que haya estado alguna vez enfermo. Todo el mundo ha sufrido alguna enfermedad infecciosa. Por lo tanto, hay enfermedades que todo el mundo padece. Da lugar a :  x (Ex&  z ((  w (Ew&Pzw)  (Pzx))).  x  w ((Ew&Iw)&Pxw). Por tanto,  x (Ex&  z (Pzx).