MINISTERIO DEDUCACION

Universidad Nacional de Piura

Facultad de Ciencias Sociales y Educación

PROGRAMA NACIONAL DE FORMACIÓN Y

CAPACITACIÓN PERMANENTE

ESPECIALIDAD MATEMATICA

MODULO No 06

ITEM 33

LOGICA

PIURA - 2008
I. DESARROLLO DE CONTENIDOS TEORICO
Definición
La lógica es la disciplina que trata de métodos de razonamiento.
En un nivel elemental, la lógica proporciona reglas y técnicas para
determinar si es o no valido un argumento dado. El razonamiento
lógico se emplea en matemáticas para demostrar teoremas; en
ciencias de la computación para verificar si son o no correctos los
programas; en las ciencias física y naturales, para sacar
conclusiones de experimentos; y en las ciencias sociales y en la
vida cotidiana, para resolver una multitud de problemas.
Ciertamente se usa en forma constante el razonamiento lógico
para realizar cualquier actividad.

II. PROPOSICIONES LOGICAS

Definición:
Una proposición es una oración que puede ser verdadera o falsa pero no
ambas a la vez. La proposición es un elemento fundamental de la lógica.
A continuación se tienen algunos ejemplos de enunciados.
• La tierra es plana.
• -17 + 38 = 21.
• x > y-9.
• El Grau es campeón en la presente temporada de fútbol.
• Hola ¿como estas?
• Lava la ropa por favor.
Las proposiciones se representan por medio de una letra minúscula, dos
puntos y la proposición propiamente dicha. Ejemplo.
p: La tierra es plana.
q: -17 + 38 = 21.
r: El Grau es campeón en la presente temporada de fútbol.
 Los incisos p, q y r sabemos que pueden tomar un valor de verdadero o
falso; por lo tanto son proposiciones lógicas.

Un ejemplo de enunciado abierto es x > y-9, porque el valor de verdadero

o falso depende del valor asignado a las variables x e y en determinado momento.
Los enunciados “Hola ¿como estas?” y “Lava la ropa por favor” no son
proposiciones, ya que no pueden tomar un valor de verdadero o falso, uno de ellos
es un saludo y el otro es una orden por lo tanto son solamente enunciados.

Clases de Proposiciones
Proposición Simple o atómica: formada por un solo sujeto y predicado, es decir
carece de conectores lógicos monódicos o binádicos.
Ejemplo.
Las plantas son seres vivos.
Vanessa y Manuel se aman.
Silvana y Liliana son gemelas.

Proposiciones compuestas o Moleculares: son aquellas que se obtiene al

combinar las proposiciones simples unidas por uno o mas conectores lógicos
(símbolos matemáticos que sirven de enlace) o también aquellas proposiciones
que se pueden representar por lo menos por una variable y la palabra no
(negación).
Ejemplo
El deporte es divertido y ayuda a la salud.
Vanessa y Manuel son profesores de comunicación.
Si el cielo esta nublado entonces lloverá.
Es falso que la matemática sea una ciencia formal.

III. VALOR DE VERDAD

 Se llaman valores de verdad o valores veritativos de una proposición a
sus dos valores posibles: verdadero(V) o falso(F) Estos valores se pueden
esquematizar en una tabla como se muestra a continuación:

Ejemplo:
p: 17-6=11, el valor de verdad de esta proposición es Verdadero (V).
q: Piura es la capital del Perú, el valor de verdad de esta proposición es
Falso (F).

IV. VARIABLES PROPOSICIONALES

Es la representación literal de una proposición simple ó atómica: p, q, r,etc.

V. CONECTORES LOGICOS

Definición: Reciben también la denominación de términos funcionales,

relacionales u operadores; permiten unir o enlazar las proposiciones simples
para formar proposiciones compuestas.

Clases
Monódicos: Son los que afectan a una sola proposición simple (Negador).
Binádicos: Enlazan a dos proposiciones simples (Conjuntor, Disyuntor,
Inclusivo, Disyuntor Exclusivo, Implicador, Replicador, Biimplicador).

A continuación se presentan los principales conectores lógicos:

Nombre Significado o Expresiones Verbales Equivalentes
Operador Simbolización
interpretación
Conjuntor Λ Incluso, aunque, pero, además, sino, pΛq
Es un conector binario tambien, así mismo, no obstante, tal como,
(Diádico) que enlaza * así como, sin embargo, a pesar, aun cuando, p*q
dos proposiciones “Y” del mismo modo, de la misma forma,
simples, cuya función & también, así igual que, al mismo tiempo, es p&q
es compatibilizar dos compatible con .
proposiciones. • p y q. p•q
Disyuntor Inclusivo A menos que, o bien , o también , salvo que,
(Débil) o en todo caso, o de lo contrario, o en su
V pVq
Conector binario, de defecto, y/o
función inclusiva, es
“O”
decir se da la
posibilidad de que se poq
+ p+q
den ambas
proposiciones a la vez.
Disyuntor Exclusivo O...o…, o bien…o bien…, o tan solo, o
(Fuerte) únicamente, o (en sentido excluyente).
Conector binario, de ∆ p∆q
función exclusiva, es
decir excluye la opoq
“O…O…”
posibilidad que se den
ambas proposiciones a
la vez.
⊕ p ⊕q
Es la negación del
biimplicador
Implicador Implica, por consiguiente, por cuanto, por
Conector binario, cuya lo tanto, luego, en conclusión, en
función es conectar a consecuencia, de manera que, por ende, de
una proposición “Si… ahí que, se concluye, solo si, en efecto, es
compuesta que es el
→ obvio que, es condición suficiente para. p →q
entonces...”
antecedente(hipótesis)
con otra que es el Si p entonces q
consecuente(tesis)
Replicador Dado que, puesto que, porque, ya que,
Conector que indica siempre que, cuando, si, cada vez que, en
que la operación de ← vista que, de modo que.
“… si…” p←q
implicación esta Estas expresiones se indican entre dos
invertida. variables proposicionales.
p si q
Biimplicador Si y solo si, siempre y cuando, es ↔q
↔ p
Conector binario ,que equivalente, se define lógicamente como, es
desempeña la función idéntico, es lo mismo que
de doble implicador, es “si y sólo si”
decir, es la conjunción
p≡q
de la condicional y su ≡ p si y sólo si q
reciproca.
Negador ˜ “No”… No ,Es falso que ,es inconcebible que, ˜p
Operador monádico, Jamás, Nadie que sea, es absurdo que, es
por que afecta ─ imposible que, es mentira que, no es
─p
mayormente a una innegable que, de ninguna forma se da.
proposicion cambiando ¬ ¬p
su valor de verdad.

FORMALIZACIÓN PROPOSICIONAL
1. Constante y Variable: Una constante lógica es una estructura lógica, de
los cuales existen una gran variedad, y cada parte de la Lógica Formal, se
encarga de estudiarlos y simbolizarlos. A las constantes lógicas o
estructuras lógicas o estructuras del pensamiento, al ser simbolizados en
algún sistema lógico, se les llama “operadores lógicos”.
Ejemplo:
Lógica Estructura Lógica Operador
(1) Proposicional Si … entonces … →
(2) Cuantificacional Todos … son … ∀

Una variable lógica es una proposición o concepto que se

interrelaciona con otros similares por medio de las constantes lógicas. En
los ejemplos anteriores los puntos suspensivos van variables lógicas: En
(1) van proposiciones, en (2) van conceptos.

2. Formalización Proposicional: Es el procedimiento mediante el cual se

identifican proposiciones simples y estructuras lógicas proposicionales
(estudiadas en la unidad anterior), asignándoles a cada uno un
determinado símbolo del lenguaje de Lógica Proposicional organizándolos
con signos de agrupación.

A las proposiciones simples se les reemplaza por variables

proposicionales.

A los operadores lógicos, llamados constantes lógicas, se les

reemplaza, con los símbolos siguientes:
Operador
N° Símbolos
Nombre Forma Básica
1 Negador “no” ¬ - ~
2 Conjuntor “… y …” ∧ •
3 Disyuntor incluyente “… o …” ∨ +
4 Disyuntor excluyente “o … o …” ∨ 
5 Implicador “si … entonces …” 
6 Replicador “… porque …” 
7 Biimplicador “… si y solo sí …” , 
3. Procedimiento de Formalización

Ejemplo:
“Ya que Inicial es un nivel educativo tanto como la primaria o
secundaria, por ello es gratuito y no es educación superior”

Paso 1.- Identificar proposiciones simples y asignarles variables en orden

alfabético.

p: Inicial es un nivel educativo”.

q: La primaria es un nivel educativo.
r: La secundaria es un nivel educativo.
s: Inicial es gratuito.
t: Inicial es educación superior.

Paso 2.- Identificar la estructura formal:

“Ya que …p… tanto como …q… o …r…, por ello …s… y no …t…”

Paso 3.- Escribir la formula lógica(Formalización):

[ p ∧ ( q ∨ r ) ] → ( s ∧ ¬t )
4. Recomendaciones para Formalizar: A continuación te presentamos un
conjunto de recomendaciones que puedes utilizar para formalizar.

El negador:
1. La doble negación de una proposición simple la convierte en una
compuesta.

Ejemplo: “Es mentira que Marleny no es profesor”.

Se formaliza: ¬¬ p

2. La formalización debe ser literal (tal y como está escrita)

Ejemplo: “ Miguel no es millonario”.

La formalización correcta es: ¬p

El conjuntor:

Cuando se usan comas (,) y el último operador es “y”, las comas se

formalizan como conjunciones.
 Ejemplo:
• “Felipe, Alex y Cinthia son profesores que participan en el
programa PRONAFCAP”.

Se formaliza: p ∧ q ∧ r .

• "Mariátegui fue político, escritor y poeta”.

Se formaliza: p ∧ q ∧ r

Excepción: Cuando en una proposición se utilizan términos

relacionales, aunque utilice el término “y” se considera proposición
simple.

Ejemplo:
• “José y Augusto son vecinos”.
Se formaliza: p

Términos Relacionales
Igual Juntos
Semejante Similar
Contemporáneo Camarada
Vecino Correligionario
Amar Gemelo
Compañero Siamés
Amigo Etc.

El disyuntor incluyente

a) Al igual que la conjunción, las comas seguidas de una “o”, se formalizan

como tal.

Ejemplo: “Daul, Justo o Arnulfo son profesores de PRONAFCAP”.

Se formaliza: p ∨ q ∨ r

VERDAD FORMAL

La verdad formal es aquella que se obtiene evaluando esquemas

moleculares haciendo uso de reglas de conectores lógicos y tablas de verdad.

Esquemas Moleculares
 Podemos clasificar los esquemas moleculares en:

1. Esquemas moleculares por el conector de mayor jerarquía.

2. Esquemas moleculares por la matriz principal.

1. Esquemas moleculares por el conector de mayor jerarquía

Si tenemos en cuenta este criterio los esquemas moleculares son fórmulas

compuestas por variables, operadores lógicos y en algunos casos signos de
agrupación. El nombre del esquema molecular, lo determina el conector de
mayor jerarquía. Para ello debemos tener en cuenta la jerarquía de
conectores lógicos.

Ejemplo:

 p  q Es un esquema molecular condicional.

  p  q  r Es un esquema molecular disyuntivo incluyente o
débil.
 p  q   r  s Es un esquema molecular bicondicional.
  p  q Es un es esquema molecular negativo.

p Esquema molecular negativo.

pq  r En este caso se hace necesario utilizar la

jerarquía de conectores.

Para el último ejemplo del cuadro, el conector de menor jerarquía es el

conjuntor (  ), por ello obtenemos:  p  q   r , que es la formalización
correcta y representa a un esquema molecular implicativo.

2. Esquemas moleculares por la matriz principal

Por ahora sólo mencionaremos que estos esquemas pueden ser:

a. Esquemas tautológicos.
b. Esquemas contingentes.
c. Esquemas contradictorios.

Tablas de Verdad

Sirven para evaluar esquemas moleculares. Este esquema muestra cómo

valores de verdad de proposiciones compuestas dependen de los conectivos
usados y de los valores de verdad de las proposiciones componentes simples.
La siguiente tabla de verdad muestra sus elementos, a un esquema molecular
como ejemplo y a su matriz principal.

Variables p q  p  q  ( p  q)
Arreglos V V V V F V V
V F F V F F F
F V V V V V V
F F V V V V F

Donde el número de arreglos por columna o el número de filas de la matriz,

n.
se calcula mediante la fórmula: 2
n  Número de variables con los que cuenta el esquema molecular.
Para el ejemplo, tenemos dos variables proposicionales, por tanto
tenemos 22=4 arreglos por columna.

V V
V F
F V
F F
Valores para p Valores para q

Para evaluar los esquemas moleculares necesitamos las reglas de

conectores lógicos, los cuales dependen de la combinación de los valores de
verdad de las variables o como resultado de afectarlos.

Tablas de Verdad de los conectores lógicos:

p q  p  q pq pq pq p q pVq pq
V V F F V V V V F V
V F F V F V F V V F
F V V F F V V F V F
F F V V F F V V F V

Regla Práctica:
• V ∧V =V
• F∨F=F
• V → F=F
• F←V =F
• V ↔ V =V , F ↔ F =V
• V ∆V = F , F ∆ F = F
 Ejercicios Propuestos

Dar el valor de verdad resultante

1. V  V  ....
2. F  V  ....
3.  F  V  ....
4. V  F  ....
5. ¬ ( F ∧ V ) = ....
6. V ∨ ¬ F = ....
7. ¬ ( F → ¬V ) ∨ F = ....

Clases de Esquemas Moleculares

Según los resultados que se obtenga en la matriz final en la tabla de

verdad, los esquemas moleculares se clasifican en:

a) Esquemas tautológicos: Se caracterizan porque en su matriz final los

valores son sólo verdaderos(V).

p q  p  q  p  q Como en su matriz principal

sólo existen valores
V V V V F V V
verdaderos(V) el esquema
V F F V F F F es tautológico.
F V V V V V V
F F V V V V F

b) Esquema contingente: Se caracteriza porque en su matriz final los valores

son verdaderos(V) y falsos(F).

p q  p  q (( (  p 
 q )
V V V V F V V Como existen valores verdaderos
y falsos el esquema es
V F F V F F F
contingente.
F V F F V V V
F F F F V V F

c) Esquemas contradictorios: Se caracterizan porque en su matriz principal

sólo existen valores falsos(F).
 p q (p  q )  (¬ p ∨ q)
V V V F F F F V V
V F V V V F F F F Como todos los valores
F V F F F F V V V son F, entonces el
F F F F V F V V F esquema es
contradictorio.

Ejemplo.
Evaluar el esquema molecular:  p  q    p  q 

p q  p  q  p  q
V V
V F
F V
F F

Ejemplo:

Dadas las siguientes proposiciones:

p: “El dos es número primo”
q: “Los números pares no son primos”.
r: “Todo número elevado al cuadrado es siempre positivo”.

Encontrar el valor de verdad de: [( p  q )  r ]  [(q  r )  p]

Solución:

Paso 1: Definir el valor de verdad de cada proposición.

p: V q: F r: V

Paso 2: Asignar el valor de verdad a las variables

[( p  q )  r ]  [(q  r )  p]
V F V F V V

Paso 3: Aplicar reglas de los conectores de acuerdo a su jerarquía.

[( p  q )  r ]  [(q  r )  p]
V F V F V V
F V
V V
V
 DEDUCCIONES MEDIATAS E INMEDIATAS

Los razonamientos se dividen en deductivas e inductivas.

Razonamiento deductivo: Es el paso de asociación conocida, llamada premisa
(o premisas) a otra asociación ignorada llamada conclusión.

Ejemplos.

1) Si hay vida en la luna, entonces hay atmósfera. No hay atmósfera en la

luna. Luego: No hay vida en la luna.
Este ejemplo es un razonamiento deductivo con dos premisas por lo que
se le llama razonamiento deductivo mediato.

2) No es posible que llueva y nieva. Luego: no llueve o no nieva.

Este ejemplo, posee sólo una premisa por lo que recibe el nombre de
razonamiento deductivo inmediato.

Reglas de la Inferencia Inmediata

Estas reglas son conocidas como equivalencias notables (leyes del

álgebra proposicional).

Consiste en la aplicación de ciertos criterios o principios equivalentes

con la finalidad de encontrar una expresión equivalente a una fórmula dada.

Estos principios son aplicados para simplificar fórmulas proposicionales.

En el siguiente cuadro se presenta las leyes de equivalencia más importantes.

Ley de
Aplicaciones Ejemplo
Equivalencia
La proposición: “Es
falso que la lógica no
p   ( p )  ( p )  p sea una ciencia formal”.
01 Doble negación  p    (  p )       p    p
Es equivalente a:
“La lógica es una
ciencia formal”.

02 Leyes de D   p  q    p   q p  q    p   q 
´Morgan La proposición: “Es
  p  q    p   q p  q    p   q  inadmisible que, ni
Dante ni André son
puntuales”.
Es equivalente a:
“Dante es puntual a no
 ser que André es
puntual”.

La proposición:
“Los médicos curan a los
pacientes pero José
Conmutación Augusto es un paciente”.
03 ( p  q )  (q  p ) ( p  q )  (q  p ) Es equivalente a:
(, ,/, , ,  )
“José Augusto es un
paciente pero los
médicos curan a los
pacientes”.

La proposición:
“Fiorella fue al Puente de
los Suspiros, pero no a la
Plaza de San Martín
aunque estuvo en la
Alameda de los
Asociación ( p  q  r )  [( p  q )  r ]  [ p  (q  r )] Descalzos”
04 (, , ,  ) Es equivalente a:
( p  q  r  s )  [( p  q )  (r  s )]
“Fiorella fue al Puente de
los Suspiros aunque no a
la Plaza de San Martin, e
incluso estuvo en la
Alameda de los
Descalzos”.

La proposición:
“Romy está de viaje.
Pero Ricardo tiene fiebre
o también esta agripado”.
p  (q  r )  ( p  q )  ( p  r ) Es equivalente a:
05 Distribución “Romy está de viaje sin
p  (q  r )  ( p  q )  ( p  r )
embargo Ricardo tiene
fiebre, a menos que, Luis
está de viaje aunque
Ricardo esté agripado”

06 Definición del p  q  p  q p  q  ( p  q) La proposición:

implicador “Si haces la tarea,
entonces ves televisión”.
Es equivalente a:
“No es cierto que, haces
la tarea al mismo tiempo
 no ves televisión”
La proposición:
“Lima es la capital
peruana y Lima es la
07 Idempotencia pp p p p  p capital peruana”.
Es equivalente a:
“Lima es la capital
peruana”.
La proposición:
“Silvana trabaja aunque
08 Complemento p p  F p  p V Silvana no trabaja”.
Es equivalente a:
una proposición falsa.
p V  p p V  V
09 Identidades
pF  F pF  p

 CIRCUITOS LÓGICOS A CONMUTADORES

Representación de circuitos mediante operaciones proposicionales.

 ELEMENTOS: INTERRUPTOR O CONMUTADOR

Es la llave o palanquita que permite el paso o interrupción de la corriente
eléctrica. Los conmutadores son representados por las variables
proposicionales que pueden ser verdaderos o falsas.
a. Circuito cerrado:

(Foco encendido) en donde A=V ó 1

b. Circuito abierto:

(Foco apagado) en donde A=F ó 0

 CLASES
Circuito en serie
Representación gráfica

A B
 Representación simbólica (AB)

Circuito en paralelo
Representación gráfica
A
B

Representación simbólica (AB)

Circuito serie – paralelo

Representa a un esquema molecular y viceversa.
Representación gráfica

B
∼
C

D E

Representación simbólica [A(BC)](DE)

 SIMPLIFICACIÓN DE CIRCUITOS

Para simplificar circuitos le sugerimos los siguientes pasos:

1. Si el circuito está dado en forma gráfica lo primero será formalizarlo.
2. Haciendo uso de las leyes lógicas deberás proceder a la simplificación de
aquella expresión obtenida del gráfico.

Nota: Deberás recordar la mayor cantidad de reglas posibles para que puedas
simplificar, ten presente que todas las reglas son importantes, con lo cual debes
cuidar no olvidar ninguna.

CAP. VII: INFERENCIAS

LÓGICAS
 IMPLICACIÓN LÓGICA
Existe implicación lógica cuando una fórmula “A” unida a otra fórmula “B” a
través de una condicional, siendo “A” el antecedente y “B” el consecuente, el
resultado es una tautología. Una implicación lógica no es lo mismo que una
condicional; será implicación solo cuando se trata de un esquema
TAUTOLÓGICO, si no es tautológico (consistente o contradictorio), Se dirá que
simplemente es un esquema condicional.

 DEFINICIÓN DE INFERENCIAS LÓGICA:

Son esquemas condicionales tautológicos, por lo que representa inferencias
válidas. En consecuencia, teniendo la (s) premisa la(s) podemos derivar
inmediatamente su respectiva conclusión.
Forma canónica
P1: ……………..
P2. ……………..Premisas

Pn: ……………..

∴ C Conclusión

Forma lineal de una inferencia:

( P1 ∧ P2 ∧, …… ∧ Pn ) → C

premisas conclusión

 RAZONAMIENTO DEDUCTIVO MEDIATO

Es un razonamiento donde de un conjunto de premisas se obtiene una
conclusión siguiendo un orden, si se trata de una tautología la inferencia es
valida.

 REGLAS DE INFERENCIA
Son implicaciones notables y son:

I. Modus Ponendo Ponens (MPP)

En una fórmula condicional si se afirma el antecedente entonces se concluye
con la afirmación del consecuente

a) p → q b) p ↔ q
p p
 ∴q ∴q

II. Modus Tollendo Tollens (MTT)

En una fórmula condicional, si se niega el consecuente, se concluye negando el
antecedente.
a) p→q b) p ↔ q
∼q ∼q
∴ ∼p ∴ ∼p

III. Silogismo Disyuntivo (SD)

Es una fórmula disyuntiva inclusiva si se niega una de sus partes componentes
se concluye la afirmación del otro componente.
a) p ∨ q b) p∨ q
∼q ∼p
∴p ∴q

IV. Silogismo Hipotético Puro (SHP)

Se tienen dos premisas condicionales en donde el consecuente de la primera
es antecedente de la segunda se concluye en otra condicional, donde el
antecedente será el antecedente de la primera y el consecuente será el
consecuente de la segunda
p → q
q → r
∴p → r
V. Dilema constructivo (DC)
p → q
r → s
p ∨ r
∴q ∨ s
VI. Dilema Destructivo (DD)
p → q
r → s
∼q ∨ ∼ s
∴∼p ∨ ∼ r
VII. Conjunción
P
q
 ∴p∧q

VIII. Adición
P
∴p∨q

IX. Simplificación
a) p ∧ q
∴p
b) p∧q
∴q

CAP. VIII: PROPOSICIONES

CATEGÓRICAS

 DEFINICIÓN: La lógica predicativa llamada también lógica de predicados

realiza un análisis interno de la proposiciones con el fin de poder determinar la
validez de los razonamientos haciendo uso de formulas Booleanas y los
diagramas de Venn.
En el estudio de la estructura interna de las proposiciones la lógica predicativa
va a encontrar la relación entre clase, mas específicamente de clase sujeto y
de clase predicado.

 PROPOSICIONES CATEGÓRICAS
Noción: Son aquellas proposiciones que afirman o niegan que la clase sujeto
está incluida en la clase predicado de manera parcial o total.

Clasificación de las Proposiciones Categóricas

A. Según su cantidad
1. Universales: Son aquellas proposiciones en las cuales se hace referencia
a la totalidad de la clase sujeto en relación con la clase predicado.
Ejemplo:
Todo investigador es estudioso.
Ningún insecto es mamífero.
 2. Particulares: Son aquellas proposiciones en las cuales se hace referencia
a una parte de la clase sujeto en relación con la clase predicado.
Ejemplo:
Algún escritor es poeta.
Algún filósofo no es idealista.

B. Según su Cualidad
Cuando afirman o niegan una relación.
1. Afirmativas: Son aquellas en las cuales se afirman una relación.
Ejemplo:
Algún obrero es trabajador.
Todo gato es felino.
2. Negativas: Son aquellas en las cuales se niega una relación.
Ejemplo:
Algún médico no es abogado.
Ningún vegetariano es carnívoro.

Combinando los dos criterios de clasificación, obtendríamos los siguientes tipos de

proposiciones categóricas.

A. Universales Afirmativas: Son aquellas proposiciones en las clases se

establece una relación de inclusión total entre el sujeto y el predicado.
Ejemplo:
Todo peruano es americano.
B. Universales Negativas: Son aquellas proposiciones en las cuales se
establece una relación de exclusión total entre el sujeto y el predicado.
Ejemplo:
Ningún orangután es cocodrilo.
C. Particulares Afirmativas: Son aquellas proposiciones en las cuales se
establece una relación de inclusión parcial entre el sujeto y el predicado.
Ejemplo:
Algún profesor es crítico .
D. Particulares Negativas: Son aquellas proposiciones en las cuales se
establece una relación de exclusión parcial entre el sujeto y el predicado.
Ejemplo:
Algún biólogo no es deportista.

Cuantificador Universal
 Símbolo: ∀x
Traducción Verbal Se lee
Para todo x
Quienquiera que sea x
Para cada x Todo x
Para cualquier x Las x
Cualquier x Para cada
una de las x

Cuantificador Particular
Símbolo: ∃x
Traducción Verbal Se lee
Existe x Algunos
x
Hay x La
mayoría de x
Pocos x Hay
exactamente un x
Algunos x Casi todo
x
La mayoría de x Existe al
menos un x

 FORMALIZACIÓN DE PROPOSICIONES CATEGÓRICAS

Elementos de formalización:
1) El cuantificador que se presenta por una “∀” cuando es de cantidad universal y
“∃” cuando es de cantidad particular.
2) El símbolo “x” que es la variable individual y que presenta el universo del
discurso.
3) Las variables predicativas o letra predicativa que está representada por la
primera letra del predicado.
Ejemplo:
“Todos son abogados”; la variable predicativa es “A”.
4) Los operadores proposicionales, se usa cuando la fórmula tiene dos
predicados; siendo los operadores “→”; “∨” cuando es universal y “∧” cuando
es particular.

 Criterios para la formulación

1º Identificar el cuantificador, si es de cantidad universal se usará “∀” y si es de
cantidad particular se usará “∃”.
2º Identificar el verbo copulativo; si es afirmativo se leerá “es” y si es negativo se
leerá “no es”.
3º Elegir la variable predicativa para asignarlo con la primera letra en que
comienza el término predicativo,.
Ejemplo: Mamífero = M; Vertebrado = V, Cetáceo = C.
Si es una fórmula con dos predicados cuyos términos comienzan en igual letra;
se designará eligiendo la segunda letra del segundo predicado.
Ejemplo:
“Todos los metales son maleables”,
Se formaliza: ∀x (Mx → Ax)
4º Utilizar el operador respectivo cuando es de dos predicados; siendo “→” y “∨”
cuando es de cantidad universal afirmativa y “→ ∼” cuando es universal
negativo, así mismo el operador “∧” cuando es de cantidad particular afirmativa
y “∧ ∼” cuando es particular negativa.
5º Identificar si la variable individual está traducido; está seguirá siendo “x”.

 EQUIVALENCIAS DE CUANTIFICADORES CON UN PREDICADO

1) ∼∀x (Px) ≡ ∃x (∼Px)
2) ∼ ∃x (Px) ≡ ∀x (∼Px)
3) ∼ ∃x (∼Px) ≡ ∀x (Px)
4) ∼ ∀x (∼Px) ≡ ∃x (Px)

 EQUIVALENCIAS DE CUANTIFICADORES CON DOS PREDICADOS

1) ∀X (Px → Qx) ≡ ∼ ∃x (Px ∧ ∼ Qx)
2) ∀x (Px → ∼ Qx) ≡ ∼∃x (Px ∧ Qx)
3) ∃x (Px ∧ Qx) ≡ ∼∀x (Px → ∼ Qx)
4) ∃x (Px ∧ ∼ Qx) ≡ ∼ ∀x (Px → Qx)
De esto concluimos que:

A ≡ ∼ O
E = ∼ I
I ≡ ∼ E
O ≡ ∼ A
 CUADRO DE BOECIO
 Subalternante

Subalternante
Contrarias
A E

Subalterna
Subalterna

I Subcontrarias O

 FORMAS TÍPICAS DE LAS PROPOSICIONES CATEGÓRICAS – SIMBOLIZACIÓN

FORMA REPRESENTA REPRESENTA TIPO REPRESENTACIÓ

TIPICA CIÓN LITERAL CIÓN N SIMBÓLICA
SIMBÓLICA CON
CUANTIFICADOR
ES
A Todo S es P SaP Universal ∀x (Sx→Px)
Afirmativo
E Ningún S es P SeP Universal ∀x (Sx→¬Px)
Negativo
I Algún S es P SiP Particular ∃x (Sx∧Px)
Afirmativo
O Algún S no es P S o P Particular ∃x (Sx∧¬Px)
Negativo

A: Inclusión total

A: Inclusión total
E: Exclusión total
I: Inclusión Parcial
O: Exclusión Parcial

PROBLEMAS PROPUESTOS
Practiquemos en el aula
 1. Si Hallar el valor de verdad de:
:   : p  q   p  : p      r  s   q
es verdadera. ¿Cuáles son   A  201  A  127    
 A  107   A  193   A  11  A  254   
los valores de s, p, r y q
respectivamente. a) V
a) VFFF b) F
b) VFVV
c) A  202 
c) FVFF
d) FVVV d) A  128 
e) VVVF
e) No se puede determinar
2. Si se sabe que la siguiente
afirmación es no verdadera: 5. Utilizar la tabla de verdad
“No es cierto que si puedo para determinar la
comer entonces puedo ordenación de la matriz
beber, por lo tanto no puedo principal de:
leer”. “Si se cumplen las demandas
Se puede concluir: de los terroristas, entonces
a) Leo. será vulnerada la legalidad.
b) Como. Si las demandas de los
c) Bebo. terroristas no se cumplen,
d) a y b. entonces serán asesinadas
e) Bebo y no leo. personas inocentes. Por lo
tanto, o bien se vulnerará la
3. Al simbolizar: legalidad o serán asesinadas
“El hombre es personas inocentes”
libre si y sólo si controla sus a) FVVFFVVV
sentimientos. Si controla sus
sentimientos entonces es b) FVFVVVFV
libre. Si no controla sus c) VFFFVVFF
sentimientos entonces se
d) FVVVFVVV
enamora. Si se enamora
entonces no es libre”. Su e) VFFFVFFF
matriz principal es:
a) VVVFVFVV 6. Simplificar la siguiente
b) FVFFFFVF fórmula:
:  : p   : q  p  
c) FVFFFVVF
d) VVVVVVVV
a) : p: q
e) FVFVFVFV b) : p: q
c) 
: p  : q

4. Dado el siguiente esquema: d) :  p  : q

e) p  q
  p   q  : r     : s   t  : u     v  w

Y sea A(n) el valor

de verdad en la fila “n” de la
matriz principal del esquema 7. Simplificar:
:  q  : r    p  : p
anterior.
 a) p que el sol es el centro del
b) q universo.
c) p  q 4. El sol tal como la tierra
d) F son el centro del universo según
e) V lo afirma el heliocentrismo como
el geocentrismo,
8. Reducir al máximo la respectivamente.
siguiente proposición: 5. Ni el sol ni la
   p  q  p 
 :  q  p   :  p  : q tierra son el centro del universo,
según la realidad.
a) : pq
Son ciertas:
b) :  p  q
c) pq a) 1 y 2.
d) pq b) 2 y 3.
e) :  p  q
c) 3 y 4.
d) 4 y 5.
9. La fórmula proposicional:
______________________________ e) Todas.
_____________

  A  B    B A  
__ ___ ___
 B
  
 
 
11. Simplificar el siguiente
Equivale a: circuito:
a) B
b) : B

c) B B

d) : A

e) A B

10.“El geocentrismo afirma que

la tierra es el centro del
 p
universo sin embargo para el
heliocentrismo es el sol, a no
ser que para el  q r
heliocentrismo el centro del
q  q
universo es el sol”, equivale
a: r q  r
1. La tierra es el centro del
universo, según el r r
geocentrismo.
2. El sol en efecto es el
centro del universo como lo a) : p : q : r
afirma el heliocentrismo.
3. Es absurdo que sea falso b) : pq r
que heliocentrismo afirma
c) : p : q r

27
d) : p: q r

e) : p  : q : r

12. Simplificar el siguiente

circuito:

p
q  p
p q q

p
p p p
p  r
q r
r q
 p  q
Su esquema lógico es:

r a) : p
a)
b) pq
c) qp
b) d) qp
r e) : q

p
p q
c)

d) 14. Diseñar el respectivo circuito

reducido para:
e)
“Hay desocupación es
condición necesaria para que
no hay fuentes de trabajo;
13. Al simplificar el siguiente esto es condición necesaria
circuito: para que al iniciar programas
de inversión es suficiente que
no hay desocupación”

p  q
a)

 q
b)

p q
c)

d)

28
 p Se infiere deductivamente:
a) ~ p ~ t
q
b) ~ p ~ q
e) c) ~ t  r
q d) ~ q
p e) p
r

15. En el siguiente circuito: 18. Si:

P1 : : p  : q
P2 : : q  (r  s)
Foco  p r
P3 : (t  r)  p
 q ¿Qué se infiere?
q a) t : s
 p b) : ts
c) t s
El foco está encendido. d) t : s
Los estados de las llaves p, r, q e) : ts
respectivamente son:
a) Apagado, encendido, 19. Los ingenieros son
encendido. profesores a menos que
b) Encendido, encendido, también matemáticos. Los
encendido. mismos son empresarios
excepto que tengan capital.
c) Encendido, apagado,
Sin embargo los ingenieros
encendido.
no son profesores o tampoco
d) Encendido, apagado, empresarios. Luego:
apagado. 1. Si no tiene capital los
e) Apagado, apagado, ingenieros, son
encendido. matemáticos
2. Los ingenieros no son
16. De las siguientes premisas matemáticos o no tienen
formales: capital.
P1: s  q 3. Son matemáticos o
P2: t  ~q también tengan capital, los
P3: ~ t  r ingenieros.
4. No tienen capital salvo
Se infiere deductivamente:
que no sean matemático los
a) q ingenieros.
b) : s 5. Es mentira que los
c) ~ r  t ingenieros no sean matemáticos
d) r  s y no tengan capital
e) T Son absolutamente falsas:
a) 2, 4
17. De las siguientes premisas b) 1, 2, 4
formales: c) 1, 3, 5
P1: s ~ w d) 2, 3, 5
P2: t  u e) Solo 5
P3: u  w
P4: (p  q)  (s  r)

29
20. Si los compuestos son así como no se produce
isómeros, tienen la misma un fenómeno llamado
fórmula molecular. Si la electrólisis.
diferencia de potencial entre 4. Es innegable que los
los electrones es compuestos tengan la
suficientemente elevada, se misma fórmula molecular
produce un fenómeno o también que se
llamado electrólisis. A menos produzca un fenómeno
que los compuestos sean llamado electrólisis.
isómeros, la diferencia de 5. Los compuestos son
potencial entre los electrones isómeros o la diferencia
es suficientemente elevada de potencial es elevada.
1. Los compuestos son Son ciertas
isómeros o la diferencia a) 1y2
del potencial entre los b) 3y4
electrones es grande. c) 1y5
2. Los compuestos tienen la d) 2y4
misma fórmula molecular e) 2y3
y se produce un
fenómeno llamado
electrólisis.
3. Es absurdo que los
compuestos no tienen la
misma fórmula molecular

30
Bibliografía

1. Matemáticas Universitarias, 3º ed., México: Mc Graw-Hill.

2. AYRES, Frank (1991): Teoría y problemas de álgebra moderna, México:
D.F: McGRAW-HILL.
3. BLAS, Jerónimo (1983) Matemáticas I, Lima: Instituto Matemático Superior
Beta.
4. CARRANZA, César (1993) Matemática básica, Lima: CONCYTEC.
5. FIGUEROA, Ricardo (2006): Matemática básica I, 9ª ed., Lima: RFG.
6. GÓMEZ, Pedro (1995): Matemática básica, México: Iberoamérica.
7. MEDINA, Mario (1987): Matemática 1000 problemas, Lima: San Marcos.
8. PINZÓN, Álvaro (1973): Conjuntos y estructuras, México: Harla, S.A. de
C.V.
9. POLYA, George (1965) Cómo plantear y resolver problemas, México D.F.:
Trillas.
10. SANTIVÁÑEZ, José (1988): Aritmética, Lima: Grafotécnica editores e
impresores.

31