Está en la página 1de 4

Ejercicios resueltos de árboles semánticos: Cómo crear

contraejemplos.
Academia Virtual de Filosofía L.A.P. (Lógica, Argumentación y Pensamiento)

Nota: realizo el ejercicio apuntado las dos notaciones, la de Garrido y la de Pilar Castrillo. La
primera entre paréntesis y la segunda no.

1. la invalidez de los siguientes argumentos, es decir, construya un contraejemplo para


cada uno de los argumentos propuestos.

√ -1. Vx¬Fx

√-2. ¬¬VxFx

√3. VxFx (DN2) α 2

a 4.¬Fa (VV1) δ1

a 5. Fb (VV3) δ3

Abierto, ya que en 5 no se puede sustituir la variable x por la constante “a” ya que aparecen
antes en el ejercicio.

√-1. Vx (Fx -->Gx)

√-2. ¬Vx(Fx ^ Gx)

a 3. Fa -->Ga (VV1) δ1

a 4. ¬(Fa ^Ga) ( FV2) γ2

5.1. ¬Fa (V3) 5.2. Ga (V3) β3

6.11¬Fa (F^4) 6.12 ¬Ga (F^4) 6.21 ¬Fa (F^4) 6.22¬Ga (F^4) β4

ABIERTO ABIERTO ABIERTO X (5.2,6.22)

Material docente diseñado por ADRIÁN LÓPEZ GÓMEZ ©


Ejercicios resueltos de árboles semánticos: Cómo crear
contraejemplos.
Academia Virtual de Filosofía L.A.P. (Lógica, Argumentación y Pensamiento)

He empezado por aplicar VV como he explicado en la heurística de la resolución de los


ejercicios de árboles semánticos. Si no lo hubiera hecho así no podría haber mantenido la
constante “a” durante todo el ejercicio.

2. Demuestre la invalidez de los siguientes argumentos, es decir, construya un


contraejemplo para cada uno de los argumentos propuestos.

√ -1.Λx(Px --> Vy Ryx)

√ -2.Pa

√-3.¬Rba

a 4.Pa --> Vy Rya (VΛ1) γ1

5.1 ¬Pa (V-->4) 5.2. Vy Rya (V4) β4

c 6.2. Rca (VV5.2) δ5.2

X (2, 5.1) Abierto

No podemos sustituir la variable x por la constante b y así entrar en contradicción porque la b


ya está en una proposición anterior. Y si ha salido antes en el árbol no se puede sustituir x por
ella.

Material docente diseñado por ADRIÁN LÓPEZ GÓMEZ ©


Ejercicios resueltos de árboles semánticos: Cómo crear
contraejemplos.
Academia Virtual de Filosofía L.A.P. (Lógica, Argumentación y Pensamiento)

3. Demuestre la invalidez de los siguientes argumentos, es decir, construya un


contraejemplo para cada uno de los argumentos propuestos.

√-1. Vx(Px v Qx)

√-2. ΛX(Qx --> Rx)

√-3. ¬Vx(Px v ¬Rx)

a 4. Pa v Qa (VV1) δ1

a 5. Qa --> Ra (VΛ2) γ2

a 6. ¬(Pa v ¬Ra) (FV3) γ3

7.¬Pa (Fv6) α6

8.Ra (Fv6) α6

9.1. Pa (Vv4) 9.2. Qa (Vv4) δ4

X (7, 9.1) 10.21. ¬Qa (V-->5) 10.22 Ra (V-->5) β5

X(9.2,10.21) ABIERTO

Material docente diseñado por ADRIÁN LÓPEZ GÓMEZ ©


Ejercicios resueltos de árboles semánticos: Cómo crear
contraejemplos.
Academia Virtual de Filosofía L.A.P. (Lógica, Argumentación y Pensamiento)

4. Realiza el árbol semántico del siguiente ejercicio e interprete los resultados obtenidos.

√-1. Λx(Fx -->¬Gx)

√-2. Λx(¬Hx --> Gx)

√-3. ¬Vx¬Fx

√-4. ¬ΛxHx

a 5.¬Ha (FΛ4) δ4

a 6.¬¬Fa (FV3) γ3

7. Fa (DN6) α6

a 8-.¬Ha -->Ga (VΛ2) γ2

a 9. Fa -->¬Ga (VΛ1) γ1

10.1.Ha (V-->8) 10.2 Ga (V-->8) β8

X (5,10.1) 11. 21 ¬Fa (V-->9) 11.22 ¬Ga (V-->9) β9

X(7, 11.21) X(10.2, 11.22)

Material docente diseñado por ADRIÁN LÓPEZ GÓMEZ ©

También podría gustarte