Incorrecto.

Presentación del tema: "Incorrecto."— Transcripción de la presentación:

1 Incorrecto

2 TRADUCCIÓN Ejercicio nº9

3 Argumento: Nadie confía en las personas que nunca pagan sus deudas. Todo el mundo cuenta con la confianza de sus familiares. Por lo tanto, cualquier persona que tenga familia paga algunas de sus deudas.

4 Identificación de premisas y conclusión
ETAPA I Identificación de premisas y conclusión

5 Premisa 1: Nadie confia en las personas que nunca pagan sus deudas. Premisa 2: Todo el mundo cuenta con la confianza de sus familiares. Conclusión: Cualquier persona que tenga familia paga algunas de sus deudas.

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

7 Identificación de la forma lógica de la premisa 1
(y 1) Nadie confía en las personas que nunca pagan sus deudas. ¿Qué tipo de aserto introduce? & v   

8  Nadie confía en las personas que nunca pagan sus deudas. T

9  Nadie confía en las personas que nunca pagan sus deudas. Para todo individuo x sucede que (Si x es una persona que nunca paga sus deudas, entonces nadie confía en x).

10 Nadie confía en las personas que nunca pagan sus deudas.
Da lugar a: Todo individuo x es tal que (Si x una persona que nunca paga sus deudas, entonces nadie confía en x). ¿Contiene esta última oración elementos no analizados? Si No

11 Todo individuo x es tal que (Si x una persona que nunca paga sus deudas, entonces nadie confía en x). Si x una persona que nunca paga sus deudas, entonces nadie confía en x. No es simple.

12 Identificación de la forma lógica de la premisa 1
(y 2) Si x una persona que nunca paga sus deudas, entonces nadie confía en x. ¿Qué tipo de aserto introduce? & v   

13  Si x una persona que nunca paga sus deudas, entonces nadie confía en x. T

14  Si x una persona que nunca paga sus deudas, entonces nadie confía en x. Para todo individuo z sucede que (Si x es una persona que nunca paga sus deudas, entonces z no confía en x).

15 Todo individuo x es tal que (Si x una persona que nunca paga sus deudas, entonces nadie confía en x). Da lugar a: Todo individuo x y Todo individuo z son tales que (Si x una persona que nunca paga sus deudas, entonces z no confía en x). ¿Contiene esta última oración elementos no analizados? Si No

16 Todo individuo x y Todo individuo z son tales que (Si x una persona que nunca paga sus deudas, entonces z no confía en x). Si x una persona que nunca paga sus deudas, entonces z no confía en x. No es simple.

17 Identificación de la forma lógica de la premisa 1
(y 3) Si x una persona que nunca paga sus deudas, entonces z no confía en x. ¿Qué tipo de aserto introduce? & v   

18  Si x una persona que nunca paga sus deudas, entonces z no confía en x. T

19  Si x una persona que nunca paga sus deudas, entonces z no confía en x. Basta con que x sea una persona que nunca paga sus deudas, para que z no confíe en x.

20 Todo individuo x y Todo individuo z son tales que (Si x una persona que nunca paga sus deudas, entonces z no confía en x). Da lugar a: Todo individuo x y Todo individuo z son tales que (Si x una persona que nunca paga sus deudas, entonces z no confía en x). ¿Contiene esta última oración elementos no analizados? Si No

21 Todo individuo x y Todo individuo z son tales que (Si x una persona que nunca paga sus deudas, entonces z no confía en x). x una persona que nunca paga sus deudas. z no confía en x. No son simples.

22 Identificación de la forma lógica de la premisa 1
(y 4) x una persona que nunca paga sus deudas. ¿Qué tipo de aserto introduce? & v   

23 & x una persona que nunca paga sus deudas. T

24 x es una persona y nunca paga sus deudas.
& x una persona que nunca paga sus deudas. x es una persona y nunca paga sus deudas.

25 Todo individuo x y Todo individuo z son tales que (Si x una persona que nunca paga sus deudas, entonces z no confía en x). Da lugar a: Todo individuo x y Todo individuo z son tales que (Si (x una persona y nunca paga sus deudas), entonces z no confía en x). ¿Contiene esta última oración elementos no analizados? Si No

26 Todo individuo x y Todo individuo z son tales que (Si (x una persona y nunca paga sus deudas), entonces z no confía en x). x nunca paga sus deudas. z no confía en x. No son simples.

27 Identificación de la forma lógica de la premisa 1
(y 5) x nunca paga sus deudas. ¿Qué tipo de aserto introduce? & v   

28  x nunca paga sus deudas. T

29 Hay al menos un w tal que w es una deuda de x y x nunca la paga.
 x nunca paga sus deudas. Hay al menos un w tal que w es una deuda de x y x nunca la paga.

30 Todo individuo x y Todo individuo z son tales que (Si (x una persona y nunca paga sus deudas), entonces z no confía en x). Da lugar a: Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (x una persona y (w es una deuda de x y x nunca la paga)), entonces z no confía en x). ¿Contiene esta última oración elementos no analizados? Si No

31 Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (x una persona y (w es una deuda de x y x nunca la paga)), entonces z no confía en x). w es una deuda de x y x nunca la paga. z no confía en x. No son simples.

32 Identificación de la forma lógica de la premisa 1
(y 6) w es una deuda de x y x nunca la paga. ¿Qué tipo de aserto introduce? & v   

33 & w es una deuda de x y x nunca la paga. T

34 w es una deuda de x y x nunca paga w.
& w es una deuda de x y x nunca la paga. w es una deuda de x y x nunca paga w.

35 Todo individuo x y Todo individuo z son tales que (Si (x una persona y nunca paga sus deudas), entonces z no confía en x). Da lugar a: Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (x una persona y (w es una deuda de x y x nunca paga w)), entonces z no confía en x). ¿Contiene esta última oración elementos no analizados? Si No

36 Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (x una persona y (w es una deuda de x y x nunca paga w)), entonces z no confía en x). x nunca paga w . z no confía en x. No son simples.

37 Identificación de la forma lógica de la premisa 1
(y 7) x nunca paga w . ¿Qué tipo de aserto introduce? & v   

38 x nunca paga w . T

39 No es el caso que x pague w.
x nunca paga w . No es el caso que x pague w.

40 Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (x una persona y (w es una deuda de x y x nunca paga w)), entonces z no confía en x). Da lugar a: Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (x una persona y (w es una deuda de x y no sucede que x pague w)), entonces z no confía en x). ¿Contiene esta última oración elementos no analizados? Si No

41 Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (x una persona y (w es una deuda de x y no sucede que x pague w)), entonces z no confía en x). z no confía en x. No es simple.

42 Identificación de la forma lógica de la premisa 1
(y 8) z no confía en x. ¿Qué tipo de aserto introduce? & v   

43 z no confía en x. T

44 No es el caso que z confíe en x.
z no confía en x. No es el caso que z confíe en x.

45 Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (x una persona y (w es una deuda de x y x nunca paga w)), entonces z no confía en x). Da lugar a: Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (x una persona y (w es una deuda de x y no sucede que x pague w)), entonces no sucede que z confíe en x). ¿Contiene esta última oración elementos no analizados? Si No

46 Identificación de la forma lógica de la premisa 2
(y 1) Todo el mundo cuenta con la confianza de sus familiares. ¿Qué tipo de aserto introduce? & v   

47  Todo el mundo cuenta con la confianza de sus familiares. T

48  Todo el mundo cuenta con la confianza de sus familiares. Para todo individuo x (Si x es una persona, entonces cuenta con la confianza de sus familiares).

49 Todo el mundo cuenta con la confianza de sus familiares.
Da lugar a: Todo individuo x es tal que (Si x es una persona, entonces cuenta con la confianza de sus familiares). ¿Contiene esta última oración elementos no analizados? Si No

50 Todo individuo x es tal que (Si x es una persona, entonces cuenta con la confianza de sus familiares). Si x es una persona, entonces cuenta con la confianza de sus familiares. No es simple.

51 Identificación de la forma lógica de la premisa 2
(y 2) Si x es una persona, entonces cuenta con la confianza de sus familiares. ¿Qué tipo de aserto introduce? & v   

52  Si x es una persona, entonces cuenta con la confianza de sus familiares. T

53  Si x es una persona, entonces cuenta con la confianza de sus familiares. Para todo individuo z (Si x es una persona y z es un familiar de x, entonces x cuenta con la confianza de z).

54 Todo individuo x es tal que (Si x es una persona, entonces cuenta con la confianza de sus familiares). Da lugar a: Todo individuo x y Todo individuo z son tales que (Si x es una persona y z es un familiar de x, entonces x cuenta con la confianza de z). ¿Contiene esta última oración elementos no analizados? Si No

55 Todo individuo x y Todo individuo z son tales que (Si x es una persona y z es un familiar de x, entonces x cuenta con la confianza de z). Si x es una persona y z es un familiar de x, entonces x cuenta con la confianza de z. No es simple.

56 Identificación de la forma lógica de la premisa 2
(y 3) Si x es una persona y z es un familiar de x, entonces x cuenta con la confianza de z. ¿Qué tipo de aserto introduce? & v   

57  Si x es una persona y z es un familiar de x, entonces x cuenta con la confianza de z. T

58  Si x es una persona y z es un familiar de x, entonces x cuenta con la confianza de z. Basta con que x sea una persona y z sea familiar suyo, para que x cuente con la confianza de z.

59 Todo individuo x y Todo individuo z son tales que (Si x es una persona y z es un familiar de x, entonces x cuenta con la confianza de z). Da lugar a: Todo individuo x y Todo individuo z son tales que (Si x es una persona y z es un familiar de x, entonces x cuenta con la confianza de z). ¿Contiene esta última oración elementos no analizados? Si No

60 Todo individuo x y Todo individuo z son tales que (Si x es una persona y z es un familiar de x, entonces x cuenta con la confianza de z). x es una persona y z es un familiar de x. No es simple.

61 Identificación de la forma lógica de la premisa 2
(y 4) x es una persona y z es un familiar de x. ¿Qué tipo de aserto introduce? & v   

62 & x es una persona y z es un familiar de x. T

63 x es una persona y z es familiar de x.
& x es una persona y z es un familiar de x. x es una persona y z es familiar de x.

64 Todo individuo x y Todo individuo z son tales que (Si x es una persona y z es un familiar de x, entonces x cuenta con la confianza de z). Da lugar a: Todo individuo x y Todo individuo z son tales que (Si x es una persona y z es un familiar de x, entonces x cuenta con la confianza de z). ¿Contiene esta última oración elementos no analizados? Si No

65 Identificación de la forma lógica de la conclusión
(y 1) Cualquier persona que tenga familia paga alguna de sus deudas. ¿Qué tipo de aserto introduce? & v   

66  Cualquier persona que tenga familia paga alguna de sus deudas. T

67  Cualquier persona que tenga familia paga alguna de sus deudas. Para todo individuo x (Si x es una persona y tiene familia, entonces paga alguna de sus deudas).

68 Cualquier persona que tenga familia paga alguna de sus deudas.
Da lugar a: Todo individuo x es tal que (Si x es una persona y tiene familia, entonces paga alguna de sus deudas). ¿Contiene esta última oración elementos no analizados? Si No

69 Todo individuo x es tal que (Si x es una persona y tiene familia, entonces paga alguna de sus deudas). Si x es una persona y tiene familia, entonces paga alguna de sus deudas. No es simple.

70 Identificación de la forma lógica de la conclusión
(y 2) Si x es una persona y tiene familia, entonces paga alguna de sus deudas. ¿Qué tipo de aserto introduce? & v   

71  Si x es una persona y tiene familia, entonces paga alguna de sus deudas. T

72  Si x es una persona y tiene familia, entonces paga alguna de sus deudas. Basta con que x sea una persona con familia, para que x pague alguna de sus deudas.

73 Todo individuo x es tal que (Si x es una persona y tiene familia, entonces paga alguna de sus deudas). Da lugar a: Todo individuo x es tal que (Si x es una persona y tiene familia, entonces paga alguna de sus deudas). ¿Contiene esta última oración elementos no analizados? Si No

74 Todo individuo x es tal que (Si x es una persona y tiene familia, entonces paga alguna de sus deudas). x es una persona y tiene familia. x paga alguna de sus deudas. No es simple.

75 Identificación de la forma lógica de la conclusión
(y 3) x es una persona y tiene familia. ¿Qué tipo de aserto introduce? & v   

76 & x es una persona y tiene familia. T

77 x es una persona y x tiene familia.
& x es una persona y tiene familia. x es una persona y x tiene familia.

78 Todo individuo x es tal que (Si x es una persona y tiene familia, entonces paga alguna de sus deudas). Da lugar a: Todo individuo x es tal que (Si x es una persona y tiene familia, entonces paga alguna de sus deudas). ¿Contiene esta última oración elementos no analizados? Si No

79 Todo individuo x es tal que (Si x es una persona y tiene familia, entonces paga alguna de sus deudas). x tiene familia. x paga alguna de sus deudas. No es simple.

80 Identificación de la forma lógica de la conclusión
(y 4) x tiene familia. ¿Qué tipo de aserto introduce? & v   

81  x tiene familia. T

82 Hay al menos un individuo z tal que (z es familiar de x).
 x tiene familia. Hay al menos un individuo z tal que (z es familiar de x).

83 Todo individuo x es tal que (Si x es una persona y tiene familia, entonces paga alguna de sus deudas). Da lugar a: Todo individuo x es tal que (Si x es una persona y hay al menos un z tal que (z es familiar de x), entonces x paga alguna de sus deudas). ¿Contiene esta última oración elementos no analizados? Si No

84 Todo individuo x es tal que (Si x es una persona y hay al menos un z tal que (z es familiar de x), entonces x paga alguna de sus deudas). x paga alguna de sus deudas. No es simple.

85 Identificación de la forma lógica de la conclusión
(y 5) x paga alguna de sus deudas. ¿Qué tipo de aserto introduce? & v   

86  x paga alguna de sus deudas. T

87 Hay al menos un w tal que (w es una deuda de x y x la paga).
 x paga alguna de sus deudas. Hay al menos un w tal que (w es una deuda de x y x la paga).

88 Todo individuo x es tal que (Si x es una persona y hay al menos un z tal que (z es familiar de x), entonces x paga alguna de sus deudas). Da lugar a: Todo individuo x es tal que (Si x es una persona y hay al menos un z tal que (z es familiar de x), entonces hay al menos un w tal que (w es una deuda de x y x la paga). ¿Contiene esta última oración elementos no analizados? Si No

89 Todo individuo x es tal que (Si x es una persona y hay al menos un z tal que (z es familiar de x), entonces hay al menos un w tal que (w es una deuda de x y x la paga). w es una deuda de x y x la paga. No es simple.

90 Identificación de la forma lógica de la conclusión
(y 6) w es una deuda de x y x la paga. ¿Qué tipo de aserto introduce? & v   

91 & w es una deuda de x y x la paga. T

92 w es una deuda de x y x paga w.
& w es una deuda de x y x la paga. w es una deuda de x y x paga w.

93 Todo individuo x es tal que (Si x es una persona y hay al menos un z tal que (z es familiar de x), entonces hay al menos un w tal que (w es una deuda de x y x la paga). Da lugar a: Todo individuo x es tal que (Si x es una persona y hay al menos un z tal que (z es familiar de x), entonces hay al menos un w tal que (w es una deuda de x y x la paga). ¿Contiene esta última oración elementos no analizados? Si No

94 Nadie confía en las personas que nunca pagan sus deudas
Nadie confía en las personas que nunca pagan sus deudas. Todo el mundo cuenta con la confianza de sus familiares. Por lo tanto, cualquier persona que tenga familia paga alguna de sus deudas. Da lugar a:

95 Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (x una persona y (w es una deuda de x y no sucede que x pague w)), entonces no sucede que z confíe en x). Todo individuo x y Todo individuo z son tales que (Si x es una persona y z es un familiar de x, entonces x cuenta con la confianza de z). Por tanto, Todo individuo x es tal que (Si x es una persona y hay al menos un z tal que (z es familiar de x), entonces hay al menos un w tal que (w es una deuda de x y x la paga).

96 Construcción del Glosario
ETAPA III Construcción del Glosario

97 Identificación de las relaciones n-arias presentes en el argumento
Relaciones unarias (propiedades) (y 1) Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (x una persona y (w es una deuda de x y no sucede que x pague w)), entonces no sucede que z confíe en x). Todo individuo x y Todo individuo z son tales que (Si x es una persona y z es un familiar de x, entonces x cuenta con la confianza de z). Por tanto, Todo individuo x es tal que (Si x es una persona y hay al menos un z tal que (z es familiar de x), entonces hay al menos un w tal que (w es una deuda de x y x la paga).

98 Identificación de las relaciones n-arias presentes en el argumento
Relaciones unarias (propiedades) (y 1) Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (x una persona y (w es una deuda de x y no sucede que x pague w)), entonces no sucede que z confíe en x). Todo individuo x y Todo individuo z son tales que (Si x es una persona y z es un familiar de x, entonces x cuenta con la confianza de z). Por tanto, Todo individuo x es tal que (Si x es una persona y hay al menos un z tal que (z es familiar de x), entonces hay al menos un w tal que (w es una deuda de x y x la paga). x (y,z,...) es una persona.

99 Identificación de las relaciones n-arias presentes en el argumento
Relaciones unarias (propiedades) (y 1) Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (x una persona y (w es una deuda de x y no sucede que x pague w)), entonces no sucede que z confíe en x). Todo individuo x y Todo individuo z son tales que (Si x es una persona y z es un familiar de x, entonces x cuenta con la confianza de z). Por tanto, Todo individuo x es tal que (Si x es una persona y hay al menos un z tal que (z es familiar de x), entonces hay al menos un w tal que (w es una deuda de x y x la paga). x (y,z,...) es una persona.

100 Identificación de las relaciones n-arias presentes en el argumento
Relaciones binarias (y 1) Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (x una persona y (w es una deuda de x y no sucede que x pague w)), entonces no sucede que z confíe en x). Todo individuo x y Todo individuo z son tales que (Si x es una persona y z es un familiar de x, entonces x cuenta con la confianza de z). Por tanto, Todo individuo x es tal que (Si x es una persona y hay al menos un z tal que (z es familiar de x), entonces hay al menos un w tal que (w es una deuda de x y x la paga).

101 Identificación de las relaciones n-arias presentes en el argumento
Relaciones binarias (y 1) Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (x una persona y (w es una deuda de x y no sucede que x pague w)), entonces no sucede que z confíe en x). Todo individuo x y Todo individuo z son tales que (Si x es una persona y z es un familiar de x, entonces x cuenta con la confianza de z). Por tanto, Todo individuo x es tal que (Si x es una persona y hay al menos un z tal que (z es familiar de x), entonces hay al menos un w tal que (w es una deuda de x y x la paga). x (y, z,...) es una deuda de y (z, w,...).

102 Identificación de las relaciones n-arias presentes en el argumento
Relaciones binarias (y 1) Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (x una persona y (w es una deuda de x y no sucede que x pague w)), entonces no sucede que z confíe en x). Todo individuo x y Todo individuo z son tales que (Si x es una persona y z es un familiar de x, entonces x cuenta con la confianza de z). Por tanto, Todo individuo x es tal que (Si x es una persona y hay al menos un z tal que (z es familiar de x), entonces hay al menos un w tal que (w es una deuda de x y x la paga). x, (y, z,...) es una deuda de y (z, w,...).

103 Identificación de las relaciones n-arias presentes en el argumento
Relaciones binarias (y 2) Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (x una persona y (w es una deuda de x y no sucede que x pague w)), entonces no sucede que z confíe en x). Todo individuo x y Todo individuo z son tales que (Si x es una persona y z es un familiar de x, entonces x cuenta con la confianza de z). Por tanto, Todo individuo x es tal que (Si x es una persona y hay al menos un z tal que (z es familiar de x), entonces hay al menos un w tal que (w es una deuda de x y x la paga). x (y, z,...) confía en y (z, w,...).

104 Identificación de las relaciones n-arias presentes en el argumento
Relaciones binarias (y 2) Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (x una persona y (w es una deuda de x y no sucede que x pague w)), entonces no sucede que z confíe en x). Todo individuo x y Todo individuo z son tales que (Si x es una persona y z es un familiar de x, entonces x cuenta con la confianza de z). Por tanto, Todo individuo x es tal que (Si x es una persona y hay al menos un z tal que (z es familiar de x), entonces hay al menos un w tal que (w es una deuda de x y x la paga). x, (y, z,...) confía en y (z, w,...).

105 Identificación de las relaciones n-arias presentes en el argumento
Relaciones binarias (y 3) Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (x una persona y (w es una deuda de x y no sucede que x pague w)), entonces no sucede que z confíe en x). Todo individuo x y Todo individuo z son tales que (Si x es una persona y z es un familiar de x, entonces x cuenta con la confianza de z). Por tanto, Todo individuo x es tal que (Si x es una persona y hay al menos un z tal que (z es familiar de x), entonces hay al menos un w tal que (w es una deuda de x y x la paga). x, (y, z,...) paga y (z, w,...).

106 Identificación de las relaciones n-arias presentes en el argumento
Relaciones binarias (y 3) Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (x una persona y (w es una deuda de x y no sucede que x pague w)), entonces no sucede que z confíe en x). Todo individuo x y Todo individuo z son tales que (Si x es una persona y z es un familiar de x, entonces x cuenta con la confianza de z). Por tanto, Todo individuo x es tal que (Si x es una persona y hay al menos un z tal que (z es familiar de x), entonces hay al menos un w tal que (w es una deuda de x y x la paga). x, (y, z,...) paga y (z, w,...).

107 Identificación de las relaciones n-arias presentes en el argumento
Relaciones binarias (y 4) Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (x una persona y (w es una deuda de x y no sucede que x pague w)), entonces no sucede que z confíe en x). Todo individuo x y Todo individuo z son tales que (Si x es una persona y z es un familiar de x, entonces x cuenta con la confianza de z). Por tanto, Todo individuo x es tal que (Si x es una persona y hay al menos un z tal que (z es familiar de x), entonces hay al menos un w tal que (w es una deuda de x y x la paga). x (y, z,...) es familiar de y (z, w,...).

108 Identificación de las relaciones n-arias presentes en el argumento
Relaciones binarias (y 4) Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (x una persona y (w es una deuda de x y no sucede que x pague w)), entonces no sucede que z confíe en x). Todo individuo x y Todo individuo z son tales que (Si x es una persona y z es un familiar de x, entonces x cuenta con la confianza de z). Por tanto, Todo individuo x es tal que (Si x es una persona y hay al menos un z tal que (z es familiar de x), entonces hay al menos un w tal que (w es una deuda de x y x la paga). x, (y, z,...) es familiar de y (z, w,...).

109 Asignación de letras relacionales apropiadas

110 Asignación de letras relacionales apropiadas
x es persona: Px

111 Asignación de letras relacionales apropiadas
x es persona: Px x confía en y: Cxy

112 Asignación de letras relacionales apropiadas
x es persona: Px x confía en y: Cxy x paga y: Axy

113 Asignación de letras relacionales apropiadas
x es persona: Px x confía en y: Cxy x paga y: Axy x es deuda de y: Dxy

114 Asignación de letras relacionales apropiadas
x es persona: Px x confía en y: Cxy x paga y: Axy x es deuda de y: Dxy x es familiar de y: Fxy

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

116 Substitución de las relaciones n-arias presentes por las letras relacionales correspondientes
Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (x una persona y (w es una deuda de x y no sucede que x pague w)), entonces no sucede que z confíe en x). Todo individuo x y Todo individuo z son tales que (Si x es una persona y z es un familiar de x, entonces x cuenta con la confianza de z). Por tanto, Todo individuo x es tal que (Si x es una persona y hay al menos un z tal que (z es familiar de x), entonces hay al menos un w tal que (w es una deuda de x y x la paga).

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

118 Substitución de las relaciones n-arias presentes por las letras relacionales correspondientes
Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (Px y (Dwx y no sucede que Awx)), entonces no sucede que Czx). Todo individuo x y Todo individuo z son tales que (Si Px y Fzx, entonces Czx). Por tanto, Todo individuo x es tal que (Si Px y hay al menos un z tal que (Fzx), entonces hay al menos un w tal que (Dwx y Axw).

119 Substitución de las constantes lógicas presentes por los símbolos correspondientes
Conectivas Todo individuo x y Todo individuo z son tales que (Si Hay Al menos un w tal que (Px y (Dwx y no sucede que Awx)), entonces no sucede que Czx). Todo individuo x y Todo individuo z son tales que (Si Px y Fzx, entonces Czx). Por tanto, Todo individuo x es tal que (Si Px y hay al menos un z tal que (Fzx), entonces hay al menos un w tal que (Dwx y Axw).

120 Substitución de las constantes lógicas presentes por los símbolos correspondientes
Conectivas Todo individuo x y Todo individuo z son tales que (Hay Al menos un w tal que (Px&(Dwx&¬Awx))¬Czx). Todo individuo x y Todo individuo z son tales que (Px&FzxCzx). Por tanto, Todo individuo x es tal que (Px&hay al menos un z tal que (Fzx)hay al menos un w tal que (Dwx&Axw).

121 Substitución de las constantes lógicas presentes por los símbolos correspondientes
Cuantores Todo individuo x y Todo individuo z son tales que (Hay Al menos un w tal que (Px&(Dwx&¬Awx))¬Czx). Todo individuo x y Todo individuo z son tales que (Px&FzxCzx). Por tanto, Todo individuo x es tal que (Px&hay al menos un z tal que (Fzx)hay al menos un w tal que (Dwx&Axw).

122 Substitución de las constantes lógicas presentes por los símbolos correspondientes
Cuantores xz(w(Px&(Dwx&¬Awx))¬Czx). xz(Px&FzxCzx). Por tanto, x(Px&z(Fzx)w(Dwx&Axw).

123 Traducción Resultado final Nadie confía en las personas que nunca pagan sus deudas. Todo el mundo cuenta con la confianza de sus familiares. Por lo tanto, cualquier persona que tenga familia paga alguna de sus deudas. Da lugar a : xz(w(Px&(Dwx&¬Awx))¬Czx). xz(Px&FzxCzx). Por tanto, x(Px&z(Fzx)w(Dwx&Axw).