Logica De Las Preposiciones

1. Traduzca las siguientes proposiciones de lenguaje ordinario a la estructura de una proposición categórica y determine el tipo de proposición:

a) Las arepas de maíz son deliciosas.

Todas las arepas de maíz son deliciosas: proposición A: universal afirmativa

b) Hay seres de negro corazón.

Algunos seres no son de negro corazón: propocicion O: particular negativa

c) Cada cual se labra su destino.

Todos se labran su destino: proposición A: Universal afirmativa

d) Sólo entran gratis los menores de dos años.

Ninguno entra gratis mayor de 2 años: proposición E: Universal negativa

e) Si se es parrandero, se es colombiano.

Todos los colombianos es parrandero: propocicion A: Universal afirmativa

f) No es verdad que algunos planetas no tenga vida.

Algunos planetas no tienen vida proposición O: Particular negativa

g) Los triángulos son figuras geométricas.

Todos los triángulos son figuras geométricas: proposición A: Universal afirmativa

h) Pocas personas gustan de comer vegetales

Algunas personas personas gustan de comer vegetales: proposición I: Particular afirmativa

i) Los animales carnívoros que no son domésticos.

Algunos carnívoros no son domésticos: proposición: O: Particular negativa

2. A partir de las siguientes proposiciones establezca qué tipo de proposición son y construya la proposición solicitada de acuerdo al tipo de relación de oposición que se pide, determinando con ello el valor de verdad correspondiente (V, F, I)

Ejemplo:

Algunos morrales son azules (F). Contradicción.

Entonces, para establecer una contradicción debo construir una proposición E (universal negativa), dado que la proposición del ejemplo es I (particular afirmativa): ningún morral es azul o todo morral es no azul. Si el valor de verdad de la I es F (falso), entonces el valor de verdad de la E será V, de acuerdo a la regla.

• (O)Algunos hongos no son venenosos (V). Subcontraria.

O-I /particular negativa –particular afirmativa

(I) Algunos hongos son venenosos

(Indeterminado F/v)

• (E)Ningún árbol es de hierro (F). Contraria.

A-E /universal afirmativa –universal negativa

(A)Todo árbol es de hierro

(Indeterminado f/v)

• Todas las ardillas son voladoras (F). Subalterna.

(A) Todas las ardillas son voladoras (V)

A-I/ universal afirmativa-particular afirmativa

• (I)Algunas ardillas son voladoras(V)

• (I) Algunos estudiantes son inteligentes (V). Contradictoria.

E-I /universal negativa –particular afirmativa

(E) Ningún estudiante es inteligente (F)

• (E)Ningún estudiante es juicioso (V). Subalterna.

E-O /universal negativa –particular negativa

(O)Algunos estudiantes no son juiciosos (V)

• (A)Todos los libros son de papiro (V). Contraria.

A-E/ universal afirmativa –universal negativa

(E)Ningún libro son de papiro (F)

Indeterminado (f/v)

(O)Algunas casas no son de ladrillo (F). Subcontraria.

I-O /particular afirmativa –particular negativa

(I) Algunas casas son de ladrillo (V)

• (I)Algunos perezosos son animales (F). Contradictoria.

E-I/universal negativa –particular afirmativa

(E)Ningún perezosos son animales (V)

3. A partir de las siguientes proposiciones establezca qué tipo de proposición son, cuál relación de oposición se presenta y determine si el valor de verdad de la segunda corresponde o no al valor real (V, F, I)

Ejemplo:

Todos los perros son animales (F) y Algunos perros no son animales (F). Si se fijan bien la relación de oposición es entre una A (universal afirmativa) y una O (particular negativa). Dicha relación es de contradicción y de acuerdo a la regla, el valor de verdad de la segunda es incorrecto (no pueden ser V o F al mismo tiempo). Así, podemos decir que: i) tipo de proposición categórica: A y O; ii) la relación de contradicción; iii) el valor de verdad de O debería ser V

• Todas las embarazadas son mujeres (V) (A)Universal afirmativa

Algunas mujeres embarazadas son mujeres (V) (I)Particular afirmativa

A-I Subalternancia, si corresponde

• Algunos tigres son rayados (F) (I)Particular afirmativa

Algunos tigres no son rayados (V) (O) Particular negativa

I-O Subcontrariedad , si corresponde

• Ningún computador es blanco (F) (E)Universal negativa

• todos los computadores son blancos (I) (A)Universal afirmativa

A-E indeterminado f/v, si corresponde

• Algunas gallinas ponen huevos (V) (I)Particular afirmativa

Ninguna gallina pone huevos (F) (E) Universal negativa

E-I contradicción si corresponde

...