I.E.P. "TNTE E.P.

CÉSAR PINGLO CHUNGA"

“UN CESARINO ES Y SERÁ PARA SIEMPRE”
DOCENTE: Lic. FRANKLIN CHUMACERO HUAMÁN

1. PROPOSICIONES CATEGÓRICAS 3.2 CUANTIFICADOR LOGICO EXISTENCIAL

(PARTICULAR): x , se lee; existen “x”, toma
Sirven para establecer relaciones de inclusión o algunos elementos del conjunto.
exclusión ya sea total o parcial entre clases de conjuntos.
a) CUANTIFICADOR LOGICO EXISTENCIAL
2. ELEMENTOS DE LAS PROPOSICIONES AFIRMATIVO: x (Sx  Px) toma algunos
CATEGÓRICAS: elementos de un conjunto para incluirlos.
TRADUCCIÓN VERBAL: Algunos x, hay al
Éstas poseen cuatro elementos: menos un x, existe al menos un x, alguien que
a) CUANTIFICADOR (CUANTOR): Indica si el término sea x, algo que sea x, muchos x, pocos x, la
sujeto se toma en toda su extensión o sólo en mayoría de x, casi todos los x,etc.
parte. Ejemplos:
b) CUANTIFICADOR LOGICO EXISTENCIAL
NEGATIVO: x (Sx  Px) Toma algunos
“Todos los árboles son verdes”
elementos de un conjunto para excluirlos.
“Algunos leones son rabiosos”
Además toma las mismas traducciones verbales
b) SUJETO: Es el término que indica un conjunto o que el existencial afirmativo pero con el verbo
clase. Se le simboliza por “S”.En el ejemplo anterior negado.
los sujetos son: 4. FORMAS TIPICAS O CLÁSICAS DE LAS
PROPOSICIONES CATEGÓRICAS.
“árboles” y “leones”

c) VERBO (NEXO, COPULA): Une el Sujeto y FORMA REPRESENTACION

Predicado, sea en forma afirmativa o negativa. El REPRES. REPRES.
TIPICA SIMBOLICA CON
verbo es el término que está en todas sus formas, LITERAL SIMBOLICA
TIPO CUANTIFICADORES
tiempo, mayormente es el término “SER” en forma
afirmativa o negativa. Todo S es Universal
En el ejemplo anterior, se usa el verbo “SER” en a SaP x (S x  Px )
P Afirmativo
forma afirmativa.

d) PREDICADO: Es el término que indica también un Ningún S Universal

conjunto o clase. Se le simboliza por “P”. e SeP x (S x   Px )
es P Negativo
En el ejemplo anterior, los predicados son: “Verdes”
y “rabiosos”.
Algún S Particular
3. CUANTIFICADORES LOGICOS: Son los símbolos i SiP x (S x  Px )
es P Afirmativo
que determina la cantidad de un conjunto.

3.1 CUANTIFICADOR LOGICO UNIVERSAL: x , se Algún S Particular x (S x   Px )

lee; para todo “x”, toma todos los elementos del o SoP
no es P Negativo
conjunto.

a) CUANTIFICADOR LOGICO UNIVERSAL

AFIRMATIVO: x (S x  Px ); toma todos los 5. REGLAS EN LA FORMALIZACIÓN
elementos del conjunto para incluirlos. CUANTIFICACIONAL:

TRADUCCIÓN VERBAL: Todo x, cada x, a) Si el cuantificador es universal (afirmativo o

cualquier x, cualquiera que sea x, quienquiera negativo) y si la proposición tiene dos
que sea x, todos los x, todo lo que sea x, los x, componentes (sujeto y predicado) y si existen
las x, etc. una negación antes del verbo; esta negación
sale y se coloca al inicio de la formalización.
b) CUANTIFICADOR LOGICO UNIVERSAL b) Si el cuantificador es universal y si la negación
NEGATIVO: x ( S x  Px ); toma todos los va después del verbo está queda.
c) Si el cuantificador es particular (afirmativo o
elementos del conjunto para excluirlos. negativo) y existe negación antes o después del
TRADUCCIÓN VERBAL: Ningún x, nadie x, verbo, la negación se mantiene.
nada x, ni siquiera x. d) Si la proposición tiene un solo componente y
existe una negación antes o después del verbo
este se mantiene.

CALLE ATAHUALPA 703-EL BARRIO EL CARMEN-LA UNIÓN Página 1

6. CASOS PARTICULARES DE FORMALIZACIÓN DE 10. INFERENCIAS INMEDIATAS EN EL CUADRO DE
PROPOSICIONES CATEGORICAS. BOECCIO:

a) Sólo todo A es B = B a A. Se han establecido las siguientes inferencias

b) Solamente los A son B = B a A. inmediatas válidas:
Por equivalencia:
7. OBVERSA

Universal  Universal : a  e AO EI


Existencial  Existencial : i  o I E OA

Se obteniendo manteniendo constante el sujeto y

cantidad, cambiando de calidad a la vocal y negando y 11. LEY DE D MORGAN
complementando el predicado.

1) SaP  Se P x  x
2) SeP  Sa P x  x
3) SiP  So P
4) SoP  Si P  x ( M)  x (M)
 x ( M)  x (M)

8. CONVERSA
12. CONTRAPUERTAS (CONTRAPUESTA)
 Afirmativa  Afirmativa a) CONTRAPUERTA PARCIAL(C.P.)

Negativa  Negativa

PREMISA  OBVERSA  CONVERSA  C.P.

8.1 CONVERSA SIMPLE (LINEAL): Se obtiene
conmutando el sujeto y predicado.
b) CONTRAPUERTA TOTAL (C.T.)
1) SeP  PeS
2) SiP  PiS

8.2 CONVERSA ACCIDENTAL: Válida para inferir pero PREMISA OBVERSA CONVERSA OBVERSA  C. T.
no como equivalente .Se obtiene conmutando sujeto y
predicado, además cambiando la cantidad a la vocal.

1) SaP  PiS 13. DISTRIBUCIÓN DE TERMINOS:

2) SeP  PoS
Un término está distribuido cuando se refiere a la
totalidad de los elementos de una clase.
9. CUADRO DE BOECCIO
TÉRMINO DISTRIBUTIVO

Llamado también cuadro de oposiciones, es un gráfico

atribuido al filósofo medieval Boecio, que muestra las 1. S a P : Todos los S son P (El término distribuido
es el sujeto)
relaciones entre estas cuatro formas típicas de las
proposiciones categóricas (con los mimos términos 2. S e P : Ningún S es P (El sujeto y predicado
están distribuidos)
sujeto y predicado).
3. S i P : Algunos S son P (No hay término
x + x - distribuido)
Contrarias
A E
4. S o P : Algunos S no son P ( El término
Subalternante

Co distribuido es el predicado)
Subalterna

Subalternante

ri a
Subalterna

ntr
a icto
dd
a ict
ntr o ri
Co a

I O
Subcontrarias
x + x -

CALLE ATAHUALPA 703-EL BARRIO EL CARMEN-LA UNIÓN Página 2

 CUESTIONARIO 6. La contraria de la contradictoria de la subcontraria
de: ”Pocos S no son P”, es:
1. Indica la alternativa que represente la formalización a) Algún S es P
de la siguiente proposición categórica: “ Todos los b) Todo P es S
médicos son responsables” c) Ningún S es P
d) Algún S no es P
a) ∀ x(Mx → ¬Rx ) e) Todo S es P

b) ∃ x(Mx ∧ ¬Rx ) 7. La conversa de la obversa de la negación de “Toda

molécula es un átomo organizado”, es:
c) ∃ x(Mx ∧ Rx ) a) Los átomos organizados son moléculas.
d) ∀ x(Mx → Rx ) b) Muchos átomos organizados son moléculas.
c) Varias moléculas son átomos organizados.
e) ∀ x(¬Mx → ¬Rx ) d) Algunos no átomos organizados son moléculas.
e) Ningún átomo organizado es molécula.
2. La proposición: “Todos los deportistas son no
8. “Algunos conceptos son ambiguos” es la conversa
campeones”, tiene como formalización:
accidental de:
a) Todo concepto es ambiguo.
a) ∀ x(Dx ∧ Cx ) b) Ninguna cosa ambigua es concepto.
c) La mayoría de cosas ambiguas son conceptos.
b) ∀ x(¬Dx → Cx ) d) Quienquiera que es ambiguo es concepto.
e) Algunas cosas ambiguas son conceptos.
c) ∀ x(Dx → Cx )
9. Determine la negación de la proposición de la cual
d) ∃ x(Dx ∧ ¬Vx )
se obtuvo la siguiente conversa: “Algunos poetas no
e) ∀ x(Dx → ¬Cx ) son seniles”.
a) Ningún senil es poeta.
b) Algunos seniles son poetas.
3. La formalización de: “La minoría de alcaldes son c) Quienquiera que es poeta no es senil.
honrados” es: d) La mayoría de seniles no son poetas.
e) Varios no seniles no son poetas.
a) ∃ x(Ax ∧ ¬Hx )
10. La obversa de la subalternante de “Algunas playas
b) ∃ x(Ax ∧ Hx ) paiteñas no están contaminadas”, es:
a) ¬(P a C)
c) ∃ x(Hx ∨ Ax )
b) P e C
d) ∀ x(Ax ∧ Hx ) c) P a C
e) ∃ x(Ax ∧ ¬Hx ) d) P a C
e) P i C
4. La proposición: “ Algunos estudiantes trabajan”, es
univalente lógicamente a la proposición: 11. La formalización de: “La minoría de alcaldes no son
no honrados”, es:
a) x  A x  Hx 
1) Hay estudiantes que trabajan.
2) Existen estudiantes que trabajan. b) x  A x  Hx 

3) Algún estudiante trabaja. c) x  A x  Hx 

4) Todos los estudiantes trabajan. d) x  A x  Hx 
x  A x  Hx 
Son correctas:
e)
a) 1, 2, 3 b) 2,3 c) 3,4 d) 1,4 e) 1, 2,4
12. Señale la equivalencia de: “Ningún no L no es no M”
a) Es falso que todo M sea L.
5. La formalización de: “ No es verdad que algunos
b) Algún no L no es M.
médicos son cardiólogos” es:
c) No es cierto que algún L sea M.
d) Es imposible que algún L no sea M
a) ¬[ ∃ x ( Mx → Cx ) ] e) Todo M es L.
b ) ∀x( Mx → Cx ) 13. Indicar la conversa lineal de la contradictoria de la
c ) ¬[ ∃ x( Mx ∧ Cx ) ] cbversa de: ”Algún S no es P”, es:
a) Todo S es P
d) ∃x( Cx → Mx ) b) Algún S no es P
c) Ningún S es P
e ) ∃x(¬Mx ∧Cx ) d) Ningún no P es S
e) Algún no S es no P

CALLE ATAHUALPA 703-EL BARRIO EL CARMEN-LA UNIÓN Página 3

14. La contrapuerta total de la contraria de la c) ID – IIC – IIIB – IVA
contradictoria de: “Algunos enlatados son d) IC – IIA – IIID – IVB
procesados”, es: e) IB – IIA – IIID - IVC
a) Ningún enlatado es procesado
b) Algunos enlatados son procesados.
c) Todos los enlatados son procesados.
d) Algunos enlatados son procesados.
e) Todos los no procesados son no enlatados.

15. La subalternante de la obversa de la subcontraria

de: “La minoría de científicos son peruanos”, es:
a) Todos los científicos son no peruanos.
b) Ningún científico es peruano.
c) Cualquier científico es peruano.
d) Ciertos peruanos no son científicos.
e) Ningún peruano es científico.

TAREA DOMICILIARIA

1. La contradictoria de la conversa de la proposición:

“Algunos perfumes importados son perfumes de
marca desconocida”, es:
a) Algunos perfumes de marca desconocida no
son perfumes importados.
b) Algunos perfumes importados son chinos.
c) Ningún perfume de marca desconocida es
perfume importado.
d) Todo perfume de marca desconocida es
perfume importado.
e) Algunos perfumes de marca desconocida son
perfumes importados.

2. La contrapuerta total de la subalternante de: “Todos

los reptiles no son vertebrados”, es:
a) Algún reptil es vertebrado.
b) Todos los vertebrados son reptiles.
c) Algunos vertebrados no son reptiles.
d) Ningún vertebrado es reptil.
e) Algunos no vertebrados no son no reptiles.

3. La conversa de la contraria de la subalternante de la

contrapuerta parcial de: “Algunos peces no son
acuáticos”, es:
a) Todos los peces son acuáticos.
b) Ningún pez es acuático.
c) Algunos peces son acuáticos.
d) Algunos peces no son acuáticos.
e) Algunos peces no son no acuáticos.

4. Son proposiciones equivalentes:

1. Todos los docentes no son profesionales.
2. Cualquier profesional es docente.
3. La minoría de docentes son no profesionales.
4. Algunos no docentes no son profesionales.
5. Existen profesionales que son docentes.
Son correctas:
a) 1, 3 y 4 b) 1 y 2 c) 1 y 3 d) 1, 3 y 5
e) Sólo 1

5. Relacionar las proposiciones y sus tipos:

I. Algunos trabajadores no son bien remunerados.
II. Todos los postulantes son responsables.
III. Ningún europeo es americano.
IV. Pocos docentes son licenciados.
A. Universal afirmativa.
B. Particular negativa.
C. Particular afirmativa.
D. Universal negativa.
a) ID – IIB – IIIC – IVA
b) ID – IIC – IIIA – IVB

CALLE ATAHUALPA 703-EL BARRIO EL CARMEN-LA UNIÓN Página 4