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 ©