(4) Resuelve la validez de los siguientes argumentos mediante diagramas de Venn:

[Ejercicio 36]"Ningún empirista es racionalista. Los positivistas son empiristas. Por tanto, ningún positivista es racionalista.".

Conjuntos de base:

 

E={x/x es Empirista}

R={x/x es racionalista}

P={x/x es positivista}

 

Formalización:

 

1. E ∩ R= Ø

2. P⊆E

 

Combinando ambos:

 

 |= P ∩ R= Ø

 

Solución: el argumento es válido dado que toda la información contenida en la conclusión esta contenida en las premisas.

 

2. [Ejercicio 37]"Algunos matemáticos son rigurosos. Algunos matemáticos fallan en los calculos. Todos los matemáticos que fallan en sus calculos no son rigurosos. Por tanto, Todos los matemáticos rigurosos no fallan en los calculos. "

3. [Ejercicio 38]"Hay creyentes agnosticos y creyentes no agnosticos. Ningún ateo es creyente. Todos los agnosticos son ateos. Por tanto, algún ateo no es creyente ni agnostico."

 

Conjuntos de base:

 

C={x/x es creyente}

G={x/x es agnóstico}

A={x/x es ateo}

 

Formalización:

 

1. C ∩ G  ≠ Ø

2. C - G ≠ Ø

3. A ∩ C = Ø

3. G - A = Ø

 

Combinando las premisas los queda la siguiente representación:

 

 |= A - (C ∩ G) ≠ Ø

Solución: el argumento no es válido dado que toda la información contenida en la conclusión no esta contenida en las premisas.

4. [Ejercicio 39]"Todos los bailarines son egocentricos. Algunos egocentricos les gusta que les miren, aunque hay a otros que no. A los que les gusta son bailarines y a los que no también. Por tanto, Todos los egocentricos son bailarines. "

5. [Ejercicio 40]"Los filósofos son amantes de la sabiduria. Algunos amantes de la sabiduria persiguen el bien. Por tanto, algunos filósofos persigen el bien"

 

Conjuntos de base:

 

F={x/x es Filósofo}

A={x/x es amante de la sabiduria}

P={x/x persigue el bien}

 

Formalización:

 

1. F - A= Ø

2. A ∩ P ≠ Ø

 

Combinando ambas proposiciones:

 |= F ∩ P≠ Ø

 

Solución: el argumento no es válido dado que toda la información contenida en la conclusión no esta contenida en las premisas.

 

¿Quieres conocer al profesor de lógica formal de la Academia LAP? Llevamos más de 8 años preparando esta asignatura.

 

 

Siguiente >>