A.P.

U “El Triunfo” Módulo Teórico

RAZ. LÓGICO
MODULO TEÓRICO

Presentación

El contenido del presente texto tiene como objetivo primordial brindar al postulante la
información competente y necesaria del Razonamiento lógico, facilitando con esto el
aprendizaje del alumno en el nivel Preuniversitario.
La lógica es una materia de estudio sumamente importante como aptitud académica, es por
ello que se debe tener cierto tino en el aprendizaje.
Se ha incluido en este texto todos los temas tomados en el examen de admisión de la UNP,
con claros ejemplos que harán de fácil comprensión la parte teórica y de este modo el
alumno tenga los medios para solucionar cualquier problema de Razonamiento Lógico.

Contenido General
CAPITULO I LÓGICA FORMAL

CAPITULO II FORMALIZACIÓN DE PROPOSICIONES

CAPITULO III VERDAD FORMAL

CAPITULO IV EQUIVALENCIAS LÓGICAS

CAPITULO V CIRCUITOS

CAPITULO VI INFERENCIAS

CAPITULO VII PROPOSICIONES

CAPITULO VIII DIAGRAMAS DE VENN

CAPITULO IX SILOGISMOS ARISTOTÉLICOS

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 1

A.P.U “El Triunfo” Módulo Teórico

LÓGICA FORMAL
Según Mario Bunge: las ciencias se clasifican en ciencias b) Lógica Objetiva: (Dialéctica, general)
formales, aquellas que tienen un objeto de estudio abstracto Estudia la relación: pensar – pensamiento – realidad –
(matemática, lógica) y ciencias factuales o empíricas que lenguaje.
estudian un objeto concreto; se dividen en ciencias naturales
(psicología, física, biología, etc.) y ciencias sociales FUNCIONES DEL LENGUAJE
(sociología, historia, economía, etc.) a) F. Expresiva: La usamos cuando se transmite diversos
estados de ánimo; como expresar deseos, dudas,
¿Qué es la lógica? sentimientos, emociones. No son verdaderas ni falsas.
Es la ciencia que estudia las leyes y métodos para determinar
la validez o corrección de un razonamiento, así como sus Ejemplos:
diferentes tipos.
- Deseos: ¡Quisiera ser presidente!
- Dudas: ¿Voy a estudiar lógica o a jugar play?
*RAZONAMIENTO. (argumento, inferencia) es el - Interjecciones: ¡Arriba Alianza!
resultado de la actividad mental de razonar, es decir, que a - Sentimientos: ¡Juan no imaginas cuánto te amo!
partir de un conjunto de ideas (llamadas proposiciones o
premisas) enlazadas entre sí, se justifica una nueva idea
b) F. Directiva o Apelativa: La usamos cuando nos
(llamada conclusión). Los razonamientos pueden ser válidos
dirigimos a alguien para obtener algo (como una respuesta) o
(correctos, verdaderos) o no válidos (incorrectos, falsos).
para generar una acción, no son verdaderas ni falsas.
Son mandatos, ordenes, súplicos.
* TIPOS DE RAZONAMIENTO: Ejemplos:
Según la cantidad de proposiciones que hay en un
- Preguntas: ¿Cómo te llamas?
razonamiento, éstos se clasifican en Inmediatos (una sola
- Pedidos: ¡Por favor, ayúdenme!
premisa) y Mediatos (más de una premisa).
- Súplicas: Ten piedad de mí, por favor.
- Órdenes: ¡Silencio!
1) RAZONAMIENTO INMEDIATO:
Son razonamientos que partiendo de una sola premisa se C) F. Informativa: Cuando se transmite información o
deduce la conclusión aplicando las equivalencias lógicas. conocimientos acerca de hechos o descripciones del universo.
Se presenta mediante oraciones aseverativas que pueden
Ejemplo: ser verdaderas o falsas.
“Es falso que Rodrigo ni trabaja ni estudia. Podemos concluir
que, Rodrigo trabaja o estudia”. Ejemplos:
Esto es; ~  ~ p ~ q   p  q - La fórmula química del agua es H2O.
- Sullana es una ciudad calurosa.
- Piura no es una ciudad limpia.
2) RAZONAMIENTO MEDIATO:
- 215 > 251
Son aquellos razonamientos que poseen dos o más premisas.
Nota: A la lógica, como ciencia, le interesan sólo
Ejemplo: aquellas oraciones donde el lenguaje cumple la función
“Si Rodrigo estudia, ingresa a la UNP. Sin embargo, Rodrigo informativa.
no ingresó a la UNP. Por lo tanto, Rodrigo no estudió”.

Esto es;   p  q  q   p PRIMERAS DEFINICIONES

Según la calidad de las proposiciones, los razonamientos ENUNCIADO: Es toda expresión lingüística o matemática.
pueden ser inductivos (cuando las premisas representan una Ejemplos: 1.- ¿Cómo estás?
idea particular y la conclusión una idea más general) o
deductivos (cuando las premisas representan una idea 2.- Las piuranas son inteligentes.
general y la conclusión una idea particular)
3.- 7x+y2= 65
DIVISIÓN DE LA LÓGICA
Desde el punto de vista lógico son: 4.- 17591 es un número primo.

a) Lógica Formal (matemática, simbólica, 5.-MVLL obtuvo el premio nobel de literatura.

moderna). Su objeto de estudio es el pensamiento humano,
teniendo en cuenta sólo su estructura. Se divide en: ENUNCIADOABIERTO: Enunciado que posee una o más
- Lógica Proposicional: (Bivalente y polivalente) incógnitas no definidas y no posee la propiedad de ser
- Lógica de Predicados (Cuantificacional). verdadero o falso. También se le llama FUNCIÓN
PROPOSICIONAL.

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 2

A.P.U “El Triunfo” Módulo Teórico

Ejemplos: 1.- x + 3  2y - 5  Enunciados que usan personajes ficticios.

2.- El es profesor de primaria.  Supersticiones, mitos, leyendas, fabulas
3.- Ella es hermana de Carlos.  Metáforas
4.- El poeta fue ovacionado.  Órdenes y súplicas
5.- x+y =2, si x = -1  Pseudoproposiciones
6.- Anochece
7.- Llueve ENUNCIADO CERRADO: Es un concepto que se emplea
para denominar a las proposiciones verdaderas y a veces a
las definiciones.
PROPOSICIÓN: Enunciado que puede ser verdadero o falso,
pero no ambos a la vez. Son considerados proposiciones las
Ejemplo:
oraciones aseverativas, formulas lógicas y matemáticas,
- La biología es la ciencia que trata de los seres vivos,
esquemas lógicos, leyes científicas.
considerándolos en su doble aspecto morfológico y
Ejemplos: fisiológico.
Sen2x + Cos2x=1
<

1.-
p  q  p  q -
- (a+ b )2 = a2 +2ab+ b2

2.- Sen2  Cos 2  1 PSEUDO-PROPOSICIÓN: Es un concepto que se emplea

para denominar a las oraciones incorrectas.
3.- Máncora es un balneario de la costa peruana.
Ejemplo:
4.- El Perú es un país en crecimiento económico. - El Juan Carlos es un cuadrilátero.
- Las hormigas bailan rock.
5.- La gastronomía en el Perú es variada.
LAS PROPOSICIONES SE CLASIFICAN INTERNAMENTE:
Hablar del valor de verdad de una proposición, significa que es a) POR CANTIDAD. Pueden ser:
posible comparar o analizar la información que se trasmite con
 Universal: Se hace mención a todos los elementos de
su coincidencia en la realidad.
un conjunto.
Ejemplo: - Los hombres son fieles.
Por ejemplo, si decimos: - Todo automóvil es petrolero.
- César Vallejo escribió “Trilce”.
- MVLL ganó el premio nobel de literatura en el 2010.  Particular o Existencial: Sólo se hace referencia a
una parte de los elementos de un determinado conjunto.
Evidentemente esta información coincide con la realidad, por Ejemplo: - Algunas mujeres son árbitros.
tanto, decimos que la proposición es verdadera. Por otro lado, - La mayoría de sillas son de madera.
si expresamos:
- Miguel Grau es chileno.  Singular o individual: Proposición donde se
- “La Galatea” es una novela de Jaime Bayly. menciona a un individuo concreto.
Ejemplo: Miguel Grau nació en Piura.
- Lima es la capital del Perú.
Es información que no coincide con la realidad, decimos que la
proposición es falsa. Sin embargo, si expresamos:
b) POR CALIDAD O CUALIDAD. Pueden ser:
- Busg Bunny y el Pato Lucas son amigos.  Afirmativa:
- Atenea fue una diosa. Ejemplo: Pedro estudia mucho.
- 15<16
No tiene sentido hacer comparaciones con la realidad, ya que
son personajes ficticios. De modo que no son proposiciones,  Negativa:
sólo son enunciados. No obstante: Ejemplo: No es el caso que en Piura hace calor.
- Busg Bunny y el Pato Lucas son amigos según los - Ninguna mujer es egoísta.
comic.
- Atenea fue una diosa,según la mitología griega. c) POR MODALIDAD. Pueden ser:
 Apodícticas. (formales, necesarias, analíticas) El
Sí son proposiciones. valor de verdad de la proposición puede ser deducida de
forma inmediata y se determina de forma lógica y/o
matemática.
NOTA: No son proposiciones
 Las oraciones interrogativas, exclamativas, Ejemplos:
dubitativas, desiderativas. - El número 2 es par.
 Enunciados abiertos - Todos los hombres son mortales.
 Proverbios -La sangre es roja.
- (a  b)(a  b)  a  b
2 2
 Refranes
 Hechos literarios - El hombre es un mamífero.

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 3

A.P.U “El Triunfo” Módulo Teórico

 Problemáticas. (posibles, problables, plausibles, Más Ejemplos:

futuras) Expresan situaciones posibles (dudas). 1.-Luis y Jaime son primos. (P. Simple)
Determinar el valor de verdad de la proposición no 2.- Luis y Jaime son profesores. (P. Compuesta)
resulta inmediato, se determina a futuro. 3.- Daniel estudia en la UNP. (P. Simple)
4.- Daniel no estudia en la UNP. (P. Compuesta)
Ejemplos:
A. PROPOSICIÓN SIMPLE, ATÓMICA, ELEMENTAL O
- Perú clasificará al mundial de fútbol RUSIA 2018.
BÁSICA: Son aquellas formadas por un solo sujeto y un solo
- Rodrigo ingresará a la Universidad Nacional de Piura.
predicado, es decir que carecen de operadores lógicos. Estas
- El próximo año aumentaran los sueldos.
proposiciones a su vez pueden ser predicativas y relacionales.
 Asertóricas (reales, fácticas, empíricas). Son
1) Proposiciones Simples Predicativas: Atribuyen o
aserciones de hechos. Filosóficamente no se excluye la
afirman una característica respecto a un objeto.
posibilidad de contradicción. Su valor de verdad se
determina comparada con la realidad inmediata. Ejemplos:
Se relacionan con las ciencias fácticas 1.- El número 13 es un número primo.

Ejemplos: 2.- Las plantas tienen clorofila.

- La ciudad de Piura está de aniversario.
- Daniela estudia inglés.
3.- Camila practica ballet.
- Mario Vargas Llosa escribió “Travesuras de la niña
mala”.
- Perú y Bolivia son países limítrofes. 4.- El petróleo es un recurso no renovable.
- El símbolo químico del calcio es Ca.
2) Proposiciones Simples Relacionales: Establecen una
OPERADORES O CONECTORES LÓGICOS relación entre dos o más objetos que tienen una misma
categoría.
La lógica como toda ciencia necesita un lenguaje para expresar
sus resultados. Hasta aquí es necesario definir losoperadores o Ejemplos:
conectores lógicos:
1.- Piura está al sur de Tumbes. (Relación espacial)
Operador monádico
2.- Rodrigo y Katty se aman. (Relación afectiva)
1roEl Negador: Representado por "", que en lenguaje natural
corresponde a la molécula “No” 3.- Carlos es mayor que Juan (Relación comparativa)

Operadores Diádicos o Binádicos 4.- 25<26 (Relación de orden)

5.- x  0, x 
2doEl Conjuntor : "" , que corresponde a la “y”
6.- Junior Y Jaime fueron los últimos en llegar a la reunión
3ro Disyuntor débil, "" , que corresponde a la “o” realizada en Plaza de la Luna.
7.- Marita y Lucia son los dos primeros del examen de
4toImplicador “  " , ”Si…entonces…” admisión abril 2014 de la UNP.

B. PROPOSICIÓN COMPUESTA, MOLECULAR, COLIGATIVA

5to Replicador: “ ”, “…,si…”
O COMPLEJA: Son aquellas que se obtienen al combinar las
proposiciones simples, unidas por uno o más operadores o
6toDisyuntor fuerte: "", “o…o…” conectores lógicos.

7mo Bicondicional: "", “…si y sólo si…” Ejemplos:

1.- Es mentira que, 17 es número compuesto.
2.- 625 es número impar o es un cuadrado perfecto.
LAS PROPOSICIONES SE CLASIFICAN EXTERNAMENTE EN
3.- Miguel juega puesto que Tania duerme y Manuel escucha
DOS CLASES:
música.
SIMPLES Y COMPUESTAS
¿Cómo diferenciar una proposición simple de una 1. Proposición Conjuntiva (  ): Se denomina así a la
compuesta? proposición que presenta el operador binario “y”, el cual
1.- Perú y Ecuador son países sudamericanos. desempeña el papel de compatibilizador de dos
2.- Perú y Ecuador son países vecinos. proposiciones.

Se observa que de la primera oración podemos obtener dos Ejemplo: José es abogado incluso es docente.
ideas: Perú es un país sudamericano y Ecuador es un país Se formaliza: p  q
sudamericano. Sin embargo, esto no es posible con la segunda Es conmutativo: José es docente incluso abogado.
oración. Decimos que la primera es una proposición Se formaliza: q  p
compuesta y la segunda es una proposición simple.

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 4

A.P.U “El Triunfo” Módulo Teórico

2. Proposición Disyuntiva Incluyente - O Débil():Se 6. Proposición Biimplicativa o Bicondicional (): Se

denomina así a la proposición que presenta el operador denomina así a la proposición que presenta el conector
binario “o”, el cual da la posibilidad de que las dos binario “si y sólo si” el cual desempeña la función de doble
proposiciones sean verdaderas a la vez. Cumple la función de condicional. Es decir, la conjunción de la condicional directa
con la inversa. Cualesquiera de las dos proposiciones pueden
3. alternador. ser condición de la otra.
Ejemplo: Diego postula a la Universidad a menos que postule
Ejemplo: Hoy es lunes si y sólo si mañana es martes.
al instituto.
Se formaliza: p q
Se formaliza: p v q.
Es conmutativo: Diego postula al instituto a menos que Es conmutativo. Hoy es martes si y sólo si mañana es lunes:
postule a la Universidad. Se formaliza: q p

Se formaliza: q v p. 7. Proposiciones Negativas ():Se denomina así a la

proposición que presenta el operador monádico “No” el cual
4. Proposición Disyuntiva Excluyente - O Fuerte (  ): permite cambiar el valor de verdad de la proposición.
Se denomina así a la proposición que presenta el operador Estás se obtienen al agregar el adverbio “no”, o una de sus
binario “o”, y excluye la posibilidad de que ambas traducciones verbales a una proposición simple.
proposiciones sean verdaderas a la vez.
Ejemplos: Pedro es doctor:
Ejemplo: Manuel nació en Perú o Ecuador.
Se formaliza: pq Se formaliza: p (proposición simple predicativa)
- Pedro no es doctor
Es conmutativa: Manuel nació en Ecuador o Perú. Se formaliza:  p
Se formaliza: q  p - 2 3  3 2
5. Proposiciones condicionales: Son aquellas oraciones Se formaliza:  p
condicionales, dependiendo de la ubicación de la condición,
pueden ser: 8. Proposiciones Inalternativas: su conector son los
términos “ni…ni…”
a) Proposición Implicativa o condicional directa (): Se
Ejemplo:
denomina así a la proposición que presenta el operador
La Historia ni es formal ni es deductiva
binario “Si… entonces …”, el cual enlaza a una proposición
condicional que es el antecedente con otra proposición que es Se formaliza: p  q
el consecuente o conclusión. Es conmutativa:
La Historia ni es deductiva ni es formal
Ejemplo: - Si me gano la tinka entonces me compraré una Se formaliza: q ↓ p
casa en Máncora.
- Si Juanito está enfermo entonces no vendrá a clases. 9. Proposiciones Incompatibles: Su conector es el
Se formaliza: pq No es conmutativo. término “es incompatible”
b) Proposición Replicativa o condicional inversa(): Se
Ejemplo:
denomina así a la proposición que presenta el operador
“El que la ONPE sea un organismo regional es incompatible
binario “…, si …”. En éstas proposiciones el adverbio “si” o sus
con que fiscalice el sistema electoral”
traducciones verbales siempre están entre las proposiciones,
Se formaliza: p / q
de modo que la condición irá al final de la oración.
Es conmutativa:
Ejemplo: Me compraré una casa en Máncora si me gano la
“El que la ONPE fiscalice el sistema electoral es incompatible
Tinka.
con quesea un organismo regional”
Juanito no vendrá a clases si está enfermo.
Se formaliza: q / p
Se formaliza: pq No es conmutativo.

“si” se traduce como: “entonces” se traduce

como:
 Cuando Por lo tanto
 Ya que Por ello, Por eso
 Puesto que=pues Así pues
 Porque Es obvio
 Dado que Es Evidente
 Debido a que Implica
 Con tal que Luego
 Siempre que En consecuencia
 En vista de que Por Consiguiente
 Etc.
<

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 5

A.P.U “El Triunfo” Módulo Teórico

FORMALIZACIÓN
Es el proceso por el cual se transforma todo lenguaje natural PRIORIDAD O JERARQUIA DE LOS CONECTIVOS LÓGICOS
en lenguaje simbólico.
Ejemplo: En la formalización de proposiciones se debe tener en cuenta la
Lenguaje natural: Juan es abogado e ingeniero. prioridad que tienen los conectores, funtores u operadores
Lenguaje simbólico o formalizado: p  q lógicos en el siguiente orden: (de menor a mayor)

1) Característica del lenguaje simbolizado. "" ""

a) Es universal.
b) Es estructurado.
c) Es preciso y abreviado.

2) Elementos del lenguaje simbolizado. “  " , “ ”

a) Variables proposicionales.
Representa a cada proposición lógica y sabiendo que
existen dos tipos de proposiciones (simples y "" , ""
compuestas), también existen dos tipos de variables:
 Variables Proposicionales: Son las que representan a
las proposiciones simples y se representan por las letras:
p, q, r, s, …
 Meta-variables: Son las que representan a las ""
proposiciones compuestas y se representan por las letras:
A, B, C, D, …
1ro Negador: "  "
b) Operadores lógicos:
Son los que afectan a las variables proposicionales 2do Conjuntor y disyuntor débil: "" , ""
cambiándoles de calidad y/o uniéndolas entre ellas.
Se clasifican en: 3ro Implicador o Replicador: “  " , “ ”

 Operadores lógicos monódicos: Son aquellos que 4to Disyuntor fuerte: ""
afectan a la proposición cambiándole su calidad, es decir
de afirmada a negada y/o negadas a afirmadas. 5to Bicondicional: ""
Siendo únicamente el NEGADOR.
Nota: Cuando la jerarquía de los conectores es ambigua se tiene
 Operadores lógicos binarios o diádicos:
en cuenta los signos de puntuación, siendo el conectivo
Son:
dominante el que está fuera de todo signo de colección.
El Conjuntor
Los Disyuntores (débil y fuerte). Ejemplo. Es incierto que Martín se case, a menos que viaje a
Los Condicionales (directos o inversos). Francia si obtiene la beca.
Los Bicondicionales.
El Incompatibilizador (Negador Disyuntivo). Variables proposicionales
El Inalternador (Negador Conjuntivo).
p: Martín se casa
c) Signos de agrupación:
Son los que aparte de agrupar las proposiciones y q: Martín viaja a Francia
operadores, también les otorga la jerarquía a los
argumentos. r: Martín obtiene la beca
Luego:
SIMBOLIZACIÓN DE PROPOSICIONES Y EL USO DE
LOS SIGNOS DE AGRUPACIÓN. La formalización es:  p  (q  r)
Simbolizar una proposición compuesta consiste en asignar a
cada proposición simple una variable proposicional, y a cada
conector lógico su respectivo símbolo, teniendo en cuenta la En este ejemplo la ubicación de los signos de agrupación queda
jerarquía de los conectores lógicos o de lo contrario los signos determinada por la coma.
de puntuación (“,” , “;” , “.”) para lo cual se emplea los signos
de colección Ejemplo. Es incierto que Martín se case a menos que viaje a
Francia, si obtiene la beca.
Los signos de colección son:
La formalización es:  (p  q)  r
Paréntesis ( ) ---Corchetes[ ] ---Llave { }

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 6

A.P.U “El Triunfo” Módulo Teórico

En este ejemplo la ubicación de los signos de agrupación queda PRACTICA

determinada por la coma.
I. RELACIONA
Ejemplo. Es incierto que Martín se case a menos que viaje a a. Conjuntiva
Francia si obtiene la beca. b. Disyunción
c. Negación
La formalización es:  [(p  q)  r] d. Condicional
e. Bicondicional
En este ejemplo la ubicación de los signos de agrupación queda
determinada por la jerarquía de los conectores. ( ) Si el antecedente es F su consecuente debe ser F
( ) Contiene el adverbio “no”
Ejemplo. Es incierto que Martín se case a menos que viaje a ( ) “ni”, tanto….como” “pero”, “aunque”
Francia, aunque obtenga la beca. ( ) Admite la posibilidad de las dos alternativas
( ) “puesto que”, “ya que”
La formalización sería:  (p  q  r)
a. Conjuntiva ( ) se simboliza → también puede ser 
b. Disyuntiva ( ) se simboliza con los signos “ “ “”
En este ejemplo dentro del paréntesis existe ambigüedad para c. Condicional ( ) sus signos característicos son “↔” , “≡”
la ubicación de los signos de agrupación, ambos conectores d. Bicondicional ( ) se simboliza “V”
tienen la misma jerarquía. Es necesario agregar un signo de
e. Negación ( ) sus símbolos son “” “.“
puntuación.

Ejemplo: Es incierto que Martín se casa entonces viaja a

Francia porque obtiene la beca.

La formalización sería:  (p  q  r)

En este ejemplo dentro del paréntesis existe ambigüedad para

la ubicación de los signos de agrupación, ambos conectores
tienen la misma jerarquía. Es necesario agregar un signo de
puntuación.

Ejemplo: Si estudias o trabajas entonces tendrás éxito

p: Estudias
q: Trabajas
r: Tendrás éxito.
La formalización sería: (p  q)  r

Ejemplo:

Si los deportistas no consumen drogas, entonces no

fracasarán.
Simbolizando o Formalizando esta proposición molecular
tenemos:
Los deportistas consumen drogas, p
Los deportistas fracasarán, q
Luego:
La formalización es: ( p  q )

Fórmulas bien formadas (f b f)

Un esquema es una fbf, si no hay ambigüedad para determinar

la dominancia de un conector. Las formalizaciones de los tres
primeros ejemplos corresponden a fbf, los últimos no; pues en
el esquema (pqr) no sabríamos si dentro del paréntesis la
proposición es disyuntiva o conjuntiva.

Más ejemplos:
 pqr NO ES f b f
 p  (q  r) fbf
  [(p  q)  r] fbf
  (p  q  r) no es fbf
 pq→r no es fbf

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 7

A.P.U “El Triunfo” Módulo Teórico

1. El Conjuntor: P  Q 3. El Implicador: P  Q , 5. El disyuntor excluyente:  Es inadmisible que P

 P y Q, P también Q PQ P  Q , PQ
 P sólo si Q  Es objetable que P
 P pero Q, P empero Q  P o Q (en sentidos
 Si P entonces Q  Es negable que P
 P incluso Q, P aunque excluyentes)
Q  Si P por consiguiente Q  oPoQ
 Si P por eso Q  Es sofisma que P
 P además Q, P sin  o bien P o bien Q  No acaece que P
 Si P por ello Q  ya bien P ya bien Q
embargo Q  No ocurre que P
 Si P por lo tanto Q  P o sólo Q
 P tal como Q, P así  Si P es obvio que Q  No es el caso que P
como Q  P o solamente Q  No acontece que P
 Si P es evidente que Q  P o únicamente Q
 P al igual que Q (no confundir  Si P en consecuencia Q  De ninguna forma se da
con bicondicional)  P o exclusivamente Q P
 Si P bien se ve que Q  No es equivalente P con
 P al mismo tiempo  De ningún modo P
 Si P así pues Q Q  En forma alguna P
que Q  En cuanto P por tanto Q  P no biimplica a Q  En modo alguno P
 P del mismo modo Q  De P derivamos Q  P no equivale a Q  No es innegable que P
 P de la misma manera  De P se deriva Q  P o bien necesariamente (triple)
Q  De P deviene Q Q  No es inobjetable que P
 P igualmente Q  De P se concluye Q  No es cierto Que P (triple)
 De P se desprende que equivale a Q
 P asimismo Q  Carece de todo sentido
Q  Sólo P o sólo Q
 P a la vez que Q P
 P implica Q, P luego Q  A lo más uno de los dos
 P es compatible con Q  P es insostenible
 P de allí Q, P de ahí Q P o Q, etc.
 P aún cuando Q  P es rebatible
 Suponiendo que P, Q
 P es refutable
 P mas Q  P da lugar a Q 6. El bicondicional: P  Q ,
 Decir que P es una farsa,
 P sino Q  Apenas P PQ etc.
 P a pesar de que Q inmediatamente Q  P si y sólo si Q
 P tanto como Q  Si de hecho P no se puede  P siempre y cuando Q 8. Inalternador (Negador
negar que Q conjuntor)
 Tanto P como Q  P se define lógicamente
 Si P, Q como Q P  Q  P Q
 Sin que P tampoco Q  Cuando P, Q  P es la definición lógica  No P y no Q
 Cierto que P lo mismo  Porque P, Q de Q  Ni P ni Q
que Q  Siempre que P, Q  P es equivalente a Q  No P ni Q
 Simultáneamente P  Puesto que P, Q  P es igual que Q (no confundir
con Q  Dado que P, Q al conjuntor)
9. Incompatibilizador
 El que P no excluye  Debido a que P, Q (Negador disyuntor)
 P es idéntica a Q
que Q  Ya que P, Q  P es condición necesaria y P Q  P Q
 P no es incompatible  Con tal que P, Q suficiente para Q  P es incompatible con Q
con Q  En vista de que P, Q, etc.  P siempre que y sólo  P no es compatible con
 P no obstante Q 4. El replicador: P  Q , cuando Q Q
 No sólo P sino PQ  Si y sólo si P, entonces Q
también Q, etc.  Sólo si P y sólo si Q
 Sólo si P, Q
 P implica y está
 P si Q implicado por Q
2. El disyuntor  P cuando Q  P no es suficiente y no
incluyente: P  Q  P porque Q es necesario para Q
PoQ  P siempre que Q  P solamente y en el
 P a menos que Q  P puesto que Q único caso que Q
 P pues Q
 A menos que P, Q 7. El negador: P , P
 P dado que Q
 P salvo que Q  P debido a que Q
 Salvo que P, Q a) Negadores internos:
 P ya que Q  No, Nunca, Jamás,
 P excepto que Q  P con tal que Q
 Excepto que P, Q Tampoco, mentira…
 P en vista de Q
 P o incluso Q  P supone que Q b) Negadores externos:
 P o también Q  P cada vez que Q
 P o sino Q  Es falso que P
 P por cuanto Q  Es absurdo que P
 P o a la vez Q  P en razón de Q
 P ya bien Q  Es mentira que P
 P en tanto Q
 P y/o Q  P depende de que
 P y bien, o también Q  Es inaudito que P
ocurra Q  Es inconcebible que P
 Al menos uno de los dos  P se deriva de Q
PoQ  P se sigue de Q
 P alternativamente Q  Es incierto que P
 P está implicado por Q
 P a no ser que Q, etc.  P no implica Q, etc.

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 8

 A.P.U “El Triunfo” Módulo Teórico

VERDAD FORMAL
LAS TABLAS DE VERDAD: Permiten representar un Clasificación de las Tablas de Verdad
razonamiento y determinar su validez, siendo un Consistentes:
razonamiento válido cuando su matriz en una tautología, caso
contrario se dice que el razonamiento es inválido. 1. M. Tautológica (T): Si el resultado final contiene sólo
Número de Filas o Arreglos de una Matriz valores verdaderos.

# filas  2n , donde n es el número de variables 2. M. Contingente (Q): Si el resultado final contiene valores
Número de Fórmulas lógicas diferentes o funciones verdaderos y falsos.
veritativas no equivalentes.
Inconsistente:

# fórmulas  22
n
, donde n es el número de variables 3. M. Contradictoria (): Si el resultado final presenta sólo
valores falsos.
Nota:
 Las letras V y F indican valores verdadero y falso.
 V=1= foco encendido y F=0=foco apagado

Combinaciones Operadores lógicos

Lógicas
Disyuntor Disyuntor Negador Negador
Negador Conjuntor Implicador Replicador Biimplicador
Incluyente Excluyente Conjuntivo Disyuntivo
p q p p q pq pq pq pq pq pq p|q

VV F V V F V V V F F
V F F F V V F V F F V
FV V F V V V F F F V
F F V F F F V V V V V

EQUIVALENCIAS LÓGICAS
PRINCIPIOS LOGICOS TRADICIONALES EJERCICIOS

Los principios lógicos son fundamentos lógicamente válidos A qué principios lógicos corresponden los siguientes
que se expresan en fórmulas tautológicas-. Tradicionalmente enunciados:
son tres: Principio de Identidad, Principio de No 1. José María Arguedas fue escritor o no fue
Contradicción, Principio del Tercero Excluido. escritor_________________________
Enunciaremos los comunes: 2. El verano es caluroso si y sólo si el verano es
caluroso______________________
3. No es el caso que un presidente gobierne y no
1. Principio de Identidad.- “Una proposición es
gobierne_____________________
verdadera si y solo si es Verdadera” ( p  P ) Este Principio
4. Es imposible que llueva y no llueva a la
se fundamenta en la expresión: “una proposición es idéntica
vez______________________________
a sí misma”.
5. Rubén estudia o trabaja o es imposible que estudie y
También se formula “Una proposición se implica a si misma”
trabaje_______________
(p  p).
EQUIVALENCIAS NOTABLES.
2. Principio de No Contradicción.- “Es imposible que
una proposición sea verdadera y no sea verdadera a la vez” 
Dos esquemas moleculares, por ejemplo V y W son
(p  p).
equivalentes cuando unidos por el Bicondicional "  " la
tabla resultante es una tautología. Existen diferentes
3. Principio del Tercero Excluido.- “Una proposición o esquemas equivalentes (leyes lógicas), algunos de ellos muy
es verdadera o es falsa, no existe una tercera posibilidad” (p útiles, a los cuales se les llama equivalencias notables.
 p).

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 9

A.P.U “El Triunfo” Módulo Teórico

1) Ley Conmutativa: 4) Ley de Ídempotencia:

Estas equivalencias nos indican que las conjunciones, las Por esta ley se reducen las variables redundantes a una sola.
disyunciones o bicondicionales, si permiten permutan a sus Se aplica a esquemas conjuntivos y disyuntivos. p  p  p
componentes, sus equivalentes significan lo mismo. p p p
pq  q p pq  q p
pqq p p|q  q| p Ejemplo:
“Chulucanas es la ciudad del mango o Chulucanas es la
pq  q p pqq p ciudad del mango”.

Ejemplo: Es lo mismo decir: “Chulucanas es la ciudad del mango”.

“Estoy enfermo sí sólo sí tengo gripe”. Simbólicamente: p p p

Es lo mismo que: 5) Ley de la Involución:
También conocida como la doble negación, que equivale a
“Tengo gripe sí y sólo sí estoy enfermo”. una afirmación. El número de negaciones que afectan a una
formula o esquema puede eliminarse de par en par.
Simbólicamente: pqq p
~ ~ p  p
2) Ley Asociativa:
Los elementos de igual jerarquía de un esquema conjuntivo, Ejemplo:
disyuntivo débil o fuerte, Bicondicional se pueden agrupar
indistintamente unos con otros. “Es falso que la Lógica no sea una ciencia formal”.
 p  q  r  p  q  r  Es lo mismo decir:
 p  q  r  p  q  r  “La Lógica es una ciencia formal”.
 p  q  r  p  q  r 
Simbólicamente: ~ ~ p  p
 p  q  r  p  q  r 
6) Ley de D’Morgan:
Ejemplo:
“Juan canta y baila, sin embargo, estudia”. Son equivalencias de esquemas conjuntivos y disyuntivos.
Conjunciones no negadas son equivalentes a disyunciones
Es lo mismo que: negadas y viceversa.
“Juan canta, sin embargo, baila y estudia”. p  q   ~ p ~ q 

Simbólicamente:  p  q  r  p  q  r  p  q   ~ p ~ q 
~  p  q  ~ p ~ q
3) Ley Distributiva:
Es una equivalencia lógica que permite cambiar los ~  p  q  ~ p  ~ q
componentes de un esquema conjuntivo, disyuntivo o
condicional para dar lugar a otros esquemas de absoluta
equivalencia. Ejemplo:

p  q  r    p  q   p  r  “Es falso que sea responsable y estudie”.

p  q  r    p  q   p  r  Es lo mismo decir que:
p  q  r    p  q   p  r  “No soy responsable o no estudio”
p  q  r    p  q   p  r 
Simbólicamente: ~  p  q  ~ p ~ q
Ejemplo:
“Los sabios dicen la verdad; sin embargo, tienen 7) Ley de Contraposición o Contra-recíproca o
problemas con la sociedad o la religión los condena”. Transposición.
Son equivalencias en las cuales los términos o variables de los
Es lo mismo que: esquemas condicionales o bicondicionales se invierten
<
cambiando sus negaciones o afirmaciones por afirmaciones o
“Los sabios dicen la verdad y tienen problemas con la negaciones, respectivamente.
sociedad; o los sabios dicen la verdad y la religión los
condena”.
p  q ~ q ~ p
Simbólicamente: p  q  r    p  q   p  r  Ejemplo: “Si sale la luna entonces es de noche”.

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 10

A.P.U “El Triunfo” Módulo Teórico

Es lo mismo decir: 11) Ley de Identidad:

Una proposición cualquiera llamada “p” es ordenada al lado
“Si no es de noche entonces no sale la luna” de una tautología (V ó 1) o una contradicción (F ó 0).
Simbólicamente: p  q ~ q ~ p p  F  p p V  V
p  F  F p V  p
8) Definición de Implicador:
Son equivalencias entre el condicional y esquemas 12) Barra de Nicod o Flecha de Peirce
conjuntivos o disyuntivos incluyentes. p  q ~ p  ~ q
p  q ~ p  q p  q ~ ( p  q )
p  q ~  p  ~ q  13) Barra de Sheffer
p | q ~ p  ~ q
Ejemplo:
p | q ~ ( p  q )
“Siempre que corro, me canso”.
14) Ley de Exportación.
Es lo mismo decir:
 p  q  r  p  q  r 
“Es falso que, corro y no me canso”.
15) Ley de Permutación.
Simbólicamente: p  q  r  q   p  r 
16) Leyes de Expansión.
p  q ~  p  q
p  p   q ~ q 
9) Ley de Absorción: p  p   q ~ q 
La absorción abrevia la distribución reduciendo el número de p  p   p  q
variables al mínimo en esquemas conjuntivo y disyuntivo
incluyente. Es muy similar a la distribución con la diferencia p  q   p  q
que en la absorción una de las variables se repite.
17) Equivalencias del Bicondicional.

 p   p  q  p p  q   p  q   p  q
 p  q   ~ p  q    p ~ q 
 p   p  q  p
Tipo I  p  q   p  q    ~ p ~ q 
 p   p  q  p p  q ~ p ~ q
 p
  p  q  p p  q ~  p  q 
p  q ~ p  q
p  q  p ~ q
 p   p  q  p  q

 p   p  q  p  q
18) Equivalencias de la Disyunción Fuerte.

Tipo II  p  q   p  q    ~ p ~ q 
 p   p  q  p  q p  q   p ~ q    ~ p  q 
 p pq  pq
   p  q  ~ p ~ q
p  q ~  p  q 
10) Ley de Complemento: p  q ~ p  q
Esta ley es muy similar a la idempotencia con la diferencia p  q  p ~ q
que se aplica a una proposición junto a la negación de la
misma. 19) Otras equivalencias:

p ~ p  V p ~ p  F p  p  V p ~ p  F
~V  F ~ F V p  V  p p  F ~ p
p  p  F p ~ p  V
p  V ~ p p  F  p

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 11

A.P.U “El Triunfo” Módulo Teórico

CIRCUITOS LÓGICOS

Cuando un conmutador está encima o debajo de otro.

<<<

La aplicación de la lógica proposicional en la construcción de

circuitos eléctricos se debe mayormente a Claudio Shannon,
uno de los pioneros en la confección de computadoras. Los Esquema
Proposición Circuito lógico
circuitos eléctricos están formados por conmutadores o Lógico
también llamados interruptores o llaves los cuales son
estructuras que dejan o no dejan pasar la corriente eléctrica.
Un interruptor puede representar a una variable
p oq pq
(reemplazante de una proposición)
En este capítulo se realizará la representación gráfica de todo
esquema lógico y para construir un diagrama lo puedo hacer
mediante: OBSERVACION.

1º Compuertas.
2º Conmutadores. (llave o interruptor) Esquema Circuito
Proposición
Lógico lógico
Sólo estudiaremos los Circuitos Lógicos por conmutadores.
Verdadera V
Aquí hay que resaltar el concepto de un conmutador que es:
“todo elemento físico que tiene como propiedad natural dos
estados, de modo que puede conmutar entre estos dos
estados”
Falso F
Ejemplo:
c) Circuito Mixto: (, )
Conmutador Estados conmutables
Ejemplos
FOCO Encendido y/o apagado q
INTERRUPTOR Cerrado y/o abierto p  (q  r )  p
LLAVE Cerrado y/o abierto r

Estudiaremos aquí los dos circuitos universales que son: p

a) Circuito en serie. la información pasa por un solo p  (q  r ) 

camino.
Corresponde cuando el circuito está en serie o en línea, es q r
decir un interruptor después de otro. El gráfico de un circuito
en serie es la representación de una conjunción en un circuito
eléctrico. Así tenemos lo siguiente: NOTA:
Cualquier fórmula proposicional que tenga sólo los
Cuando un conmutador está a continuación de otro. operadores ,  y , pueden constituir un circuito eléctrico.
Las fórmulas proposicionales con cualquier otro operador
distinto a los mencionados, las transformaremos primero,
Esquema a otra fórmula equivalente que contenga tan solo los
Proposición Circuito lógico
Lógico operadores: ,  y 
pyq pq Ejemplo:
p p
b) Circuito en paralelo. la información pasa por dos o más p  q  ( p  q )  ( p q ) 
caminos.
Los circuitos eléctricos que se adaptan a la disyunción q q
inclusiva son los circuitos en paralelo, estos constan de
interruptores que están unidos en una línea y otros en otra
línea paralela.

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 12

 A.P.U “El Triunfo” Módulo Teórico

INFERENCIAS LÓGICAS
RAZONAMIENTO DEDUCTIVO MEDIATO: Es un Horizontalmente se tiene:
razonamiento donde de un conjunto de proposiciones a) [ (A  B)  A ]  B
llamadas premisas (p1, p2, ..., pn) se obtiene una conclusión b) [ (A  B)  A ]  B
(q) siguiendo un orden. El razonamiento es deductivo si y c) [ (A  B)  B ]  A
sólo si las premisas son evidencias de la verdad de la
conclusión, es decir, si p1, p2, ..., pn son verdaderas entonces q Ejemplo:
es verdadera; cuando se deduce esto se dice que se ha
construido una inferencia. Así pues, toda regla de inferencia P1) Si Venus es un planeta entonces brilla con luz refleja.
es tautológica. Una inferencia es válida si y sólo si la premisa P2) Venus es un planeta
p o conjunción del conjunto de premisas (pi)implica la
conclusión q, esto es:  Venus brilla con luz refleja.
( p1, p2, p3, ..., pn )  q es una tautología. Simbólicamente:
Si la implicación no es una tautología, entonces se dice que la P 1) pq
inferencia es no válida o es una falacia P 2) p
Ejemplo: Determinar si p es una consecuencia válida de: p  q
q; q  r;  r 3.2.2. MODUS TOLLENDO TOLLENS (MTT). Es un
argumento en la que al negar el consecuente se concluye
Solución: Aquí las premisas son:
negando el antecedente. También se le conoce como
p1 : p q; p2 : q  r y p3 :  r Y
“Negando, Niega”. Sólo se da en la operación Implicación ( )
la conclusión q: p
y biimplicación ().
Debemos demostrar que ( p1  p2 p3 )  q es tautología. La
tabla de verdad para este esquema es: a) P1)A  B b) P1)A  B c) P 1) A  B

(r) P2) B P2)  B P 2)  A

p q r [(p  q)  (q  r)   p
]  A  A  B
V V V V V V F F V V
V V F V V V V V V V
V F V V V V F F V V Sólo en el Biimplicador,
ya que éste es
V F F V F F F V V V
conmutativo
F V V F F V F F V F
F V F F F V F V V F Ejemplo:
F F V V V V F F V F
P1) Dado que los objetos caen entonces existe gravedad.
F F F V F F F V V F P2) No es cierto que existe gravedad.
 Es absurdo que los objetos caen.
Pasos 1 3 2 5 4 7 6
Simbólicamente:
P1) p  q
Como la matriz final (7) es una tautología, la conjunción de
premisas implica a la conclusión, por lo tanto, la inferencia es P2) q
válida, es decir, p sí es una consecuencia válida de p q;  p
q  r;  r .
1.1. REGLAS DE INFERENCIA: Son implicaciones notables y 3.2.3.- SILOGISMO DISYUNTIVO (S D). Es aquel cuya
son: primera premisa la forma una disyuntiva y la segunda la
3.2.1. MODUS PONENDO PONENS (MPP). Es un argumento negación de una proposición de la primera premisa.
en que al afirmar el antecedente. Se concluye afirmando el
consecuente. También se le conoce como “Afirmando, a) P1)A  B b) P1) A  B
Afirma”. Solo se da en la operación de implicación () y
P 2) B P 2)  A
bicondicional (). Su estructura es:
A B
Ley de Inferencia Equivalente
a) P1)A  B b) P1)A  B c) P1)A  B Ejemplo:
P 2) A P 2) A P 2) B P1) Néstor trabaja o estudia.
B B A P2) no trabaja.
 Néstor estudia.
Sólo en el Biimplicador, ya
que éste es conmutativo

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 13

A.P.U “El Triunfo” Módulo Teórico

Simbólicamente: Ejemplo:
P1) p  q
P2) q P1) Sí Juan es libre, es responsable de su conducta.
P2) Si Juan es responsable de su conducta, evita
realizar acciones negativas.
 p
3.2.4. MODUS PONENDO TOLLENS (MPT). “Afirmo, Niego”.  Ya que Juan es libre es evidente que evita realizar
Es un tipo de silogismo donde interviene la disyunción acciones negativas.
excluyente. Si en una premisa se tiene dos proposiciones Simbólicamente:
unidas con la disyunción excluyente, y en otra premisa se P1) p  q
afirma una de ellas, concluimos en la negación de la otra P2) q  r
premisa. (Recuerda que en la disyunción excluyente sólo se  pr
cumple una de dos proposiciones)
3.2.7. TRANSITIVIDAD SIMÉTRICA
a) P 1) A  B b) P1) A  B P1) A  B
P2) B  C
P2) A P 2) B
 AC
 B  A
Ejemplo:
Ejemplo:
P1) El viento sopla si y sólo si llueve
P1) Miguel Grau, nació en Piura o Lima P2) Llueve si y sólo si el cielo está nublado
P2) Miguel Grau nació en Piura
 El viento sopla si y sólo si el cielo está nublado.
 Miguel Grau no nació en Lima
3.2.8. DILEMA CONSTRUCTIVO (DC). El DC consiste en; si la
Simbólicamente: conjunción de dos condicionales; afirmamos los dos
P1) p  q antecedentes disyuntivamente; se puede concluir en la
P2) p afirmación disyuntiva de los consecuentes.
 q
P1) A  B
3.2.5. MODUS TOLENDO PONENS (MTP). “Niego, Afirmo”. P2) C  D
Es un tipo de silogismo donde interviene la disyunción P3) A  C
excluyente. Si en una premisa se tiene dos proposiciones  BD
unidas con la disyunción excluyente, y en otra premisa se
niega una de ellas, concluimos en la afirmación de la otra Ejemplo:
premisa.
P1) Si Segis estudia, será ingeniero
P2) Si Segis trabaja, tendrá dinero
a) P1) A  B b) P1) A  B
P3) Estudia o trabaja
P2)  A P 2) B
 Segis será ingeniero o tendrá dinero.
B A
Simbólicamente:
Ejemplo: P1) p  q
P1) Miguel Grau, nació en Piura o Lima P2) r  s
P2) Miguel Grau no nació en Lima P3) p  r
 Miguel Grau nació en Piura  q s

Simbólicamente: 3.2.9. DILEMA DESTRUCTIVO (DD).El D.D

P1) p  q
P2)  q consiste en; si negamos los dos consecuentes alternamente de
la conjunción de dos condicionales se puede concluir en la
 p
negación alternativa de los antecedentes.
3.2.6. SILOGISMO HIPOTÉTICO PURO (SHP). El SHP
P1) A  B
hace posible extraer como conclusión, otra proposición
P2) C  D
condicional cuyo antecedente sea el de la primera premisa y
cuyo consecuente sea el mismo de la segunda premisa. Esto P3)  B  D
es:   A  C
Ejemplo:
P1)A  B P1) Sí llueve me mojo.
P2) B  C P2) Sí camino, sudaré.
A  C P3) No me mojo o no sudaré.
 No llueve o no camino.

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 14

A.P.U “El Triunfo” Módulo Teórico

Simbólicamente P1) p  q
P2) r  s Ejemplo:
P3)  q  s P1) Piura es una ciudad limpia.
  p  r
 Piura es una ciudad limpia o cuenta con
abundantes recursos agrícolas.

Simbólicamente:
CONJUNCIÓN. Esta regla consiste en; establecidas dos
P1) p
proposiciones cualesquiera, como premisas, se pude dar
como conclusión una proposición que sea la conjunción de las  pq
premisas establecidas.

3.2.12. SIMPLIFICACIÓN. Esta regla consiste en que si en un

P1) A argumento cualquiera tenemos como premisa una
P2) B proposición conjuntiva; podemos dar como conclusión, uno
 AB de sus miembros.

Ejemplo: a) P1) A  B b) P1)A  B

P1) 5 es número impar.
A B
P2) 5 es número entero.
 5 es número impar y también es número Ejemplo:
entero.

Simbólicamente: P1) El cobre y el plomo son conductores de electricidad.

 El cobre es conductor de electricidad.
P1) p
P2) q Simbólicamente:
 pq P1) p  q

 p
3.2.11. ADICIÓN. Esta regla consiste en; dada una
proposición cualquiera que se establece como premisa, se
puede obtener como conclusión una proposición disyuntiva
en la que una de ellas es dada, es decir:
P 1) A
A G

PROPOSICIONES CATEGÓRICAS
1.1. CUANTIFICADORES LÓGICOS

CUANTIFICADOR UNIVERSAL CUANTIFICADOR PARTICULAR

Símbolo:  Símbolo : 
Traducción verbal se lee: Traducción verbal se lee:
Para todo x ; Todo x ; Las x Existe x ; Algunos x; Hay x
Quienquiera que sea x La mayoría de x
Cualquier x; Sea cualquier x La minoría de x
Para cada x Hay exactamente un x
Para cualquier x Existe al menos un x
Para cada una de las x Muchos, Muchísimos x
Cualquier cosa que sea x Pocos, Poquísimos x
Dado cualquier x Casi todo x
Todos, excepto un x
Ningún x (negativo)
Alguien
Nadie (negativo)
Existen
Nada (negativo)
Ni siquiera (negativo)

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 15

A.P.U “El Triunfo” Módulo Teórico

1.2. FORMALIZACIÓN DE PROPOSICIONES 3. Si el cuantificador es particular (afirmativo o negativo), y

existe negación antes o después del verbo, la negación se
Ejemplos: queda.
 LÓGICA PROPOSICIONAL.
a) “Si Walter es Iqueño entonces es peruano” Ejemplo: “Existen políticos que no son honestos”, es lo mismo
decir (equivale) “Existen políticos que son no honestos”
(Obversa). Su formalización cuantificacional es:
Su formalización es: p  q
X ( PX HX)
b) “El tigre es un animal y un felino”
4. Si la proposición tiene un solo componente y existe una
Su formalización es: p  q
negación antes o después de verbo, ésta se queda.
 LÓGICA DE PREDICADOS
Ejemplo: Todos no son artistas, se formaliza: x (  Ax ). (aun
Sujeto Precisado: a, b, c, d, .... (Se le representa con cuando la negación esté antes del verbo)
Sujeto no Precisado: x, y letras minúsculas)
1.4. PROPOSICIONES CATEGÓRICAS: Son aquellas que indican
Predicado: A, B, C, D, ... (Se le representa por letras
relaciones de inclusión o exclusión, total o parcial, entre términos
mayúsculas)
que enuncian conjuntos o clases, ya que en su enunciado
tienen alguno de los cuantificadores.
SUJETO PRECISADO (indicado)
Ejemplos:
 El sujeto se representa con letra minúscula (la primera) y “Todas las carpetas son viejas”
como subíndice del predicado. “Algunos niños no son inquietos”
 El (los) predicado(s) se representa con la primera letra en
mayúscula Los términos de estos ejemplos son: Carpetas, viejas, niños e
a) “Si Walter es iqueño entonces es peruano” inquietos.
Se formaliza : I w P w
b) “El tigre es un animal y un felino” 3.5.1. ELEMENTOS DE LAS PROPOSICIONES CATEGÓRICAS
Se formaliza : A t F t Éstas poseen cuatro elementos:
c) Kike es Ingeniero a) CUANTIFICADOR: Indica si el término sujeto se toma en
Se formaliza: Ik toda su extensión o sólo en parte.
Ejemplos:
SUJETO NO PRECISADO
“Todos los árboles son verdes”
a) “Todos los Iqueños son peruanos”
“Algunos perros son negros”
 “Para todo x, si x es Iqueño entonces x es peruano” “La mayoría de alumnos del IDEPUNP son adolescentes”
Se formaliza: x (I x Px )
b) SUJETO: Es el término que indica un conjunto o clase. Se
b) “Algunos animales son felinos” le simboliza por “S”.
 “Existe un x tal que x es un animal y x es felino” En el ejemplo anterior los sujetos son: “árboles”, “perros” y
Se formaliza:  x (Ax Fx ) “alumnos”

c) Existen ingenieros c) VERBO: Une el Sujeto y Predicado, sea en forma

afirmativa o negativa. El verbo es el término que está en todas
Se formaliza :  x ( Ix )
sus formas, tiempo, mayormente es el término “SER” en
forma afirmativa o negativa.
1.3. REGLAS EN LA FORMALIZACIÓN CUANTIFICACIONAL En el ejemplo anterior, se usa el verbo “SER” en forma afirmativa.
1. Si el cuantificador es universal (afirmativo o negativo) y si
la proposición tiene dos componentes (sujeto y predicado) y
si existen una negación antes del verbo; ésta negación sale y d) PREDICADO: Es el término que indica también un
se coloca al inicio de la formalización. conjunto o clase. Se le simboliza por “P”.
En el ejemplo anterior, los predicados son: “Verdes”, “Negros”
Ejemplo: “Todos los políticos no son honestos” y “Adolescentes”.
Equivale a: No todos los políticos son honestos (La negación
sale) CANTIDAD DE UNA PROPOSICIÓN CATEGÓRICA: Es el
Se formaliza: X ( PX HX) número de elementos del término sujeto mencionado en una
proposición categórica.
2. En el caso anterior, si la negación va después del verbo, Según la cantidad, las proposiciones categóricas se clasifican
ésta queda. en: Universales y particulares. Serán universales, aquellas en
cuyo sujeto se menciona a la totalidad de sus elementos; y
Ejemplo: “Todos los políticos son no honestos” particulares, aquellas en cuyo sujeto se menciona sólo una
Como la negación está después del verbo, se formalizaría así: parte de sus elementos.
X ( PX HX), que equivale a (se lee): “Ningún político es
honesto”

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 16

A.P.U “El Triunfo” Módulo Teórico

Ejemplos: Proposición afirmativa.

“Todos los profesores son estudiosos” Proposición universal “Ninguna araña es insecto”
“Algunos alumnos son deportistas” Proposición particular Proposición negativa.
“Ningún vertebrado es insecto” Proposición universal
“Algunos profesores no son ingenieros”
Proposición negativa.
CALIDAD O CUALIDAD DE UNA PROPOSICIÓN CATEGÓRICA:
Es la que determina si la proposición es afirmativa o negativa
3.5.4 FORMAS TÍPICAS DE LAS PROPOSICIONES
a través del verbo. CATEGÓRICAS: son las clases de proposiciones que se
Ejemplos:
distinguen, teniendo en cuenta su cantidad y cualidad
simultáneamente. Son las cuatro siguientes:
“Los Zorros son astutos”

REPRESENTACION
FORMA
TIPICA

REPRESENTACION REPRESENTA-CION
TIPO SIMBOLICA CON
LITERAL SIMBOLICA
CUANTIFICADORES

Universal
A Todo S es P SaP x (S x Px )
Afirmativo
Universal
E Ningún S es P SeP x (S xPx )
Negativo
Particular
I Algún S es P SiP x (S x Px )
Afirmativo
Particular x (S x Px )
O Algún S no es P SoP
Negativo

Las vocales “A, E, I, O”, que designan estas formas típicas, El término distribuido es “Gatos” pues se refiere a la
provienen de las vocales de las palabras latinas: totalidad de ellos, en cambio no está distribuido “felinos”,
“Aff I rmo” y “NEgO”. pues la proposición no se refiere a la totalidad de estos
Por esta razón: Las proposiciones “A” e “I” son afirmativas. animales.
Las proposiciones “E” y “O” son negativas.
ESQUEMA DISTRIBUTIVO
INCLUSIÓN Y EXCLUSIÓN
A: Inclusión total I: Inclusión parcial
E: Exclusión total O: Exclusión parcial

3.5.5 DISTRIBUCIÓN DE TÉRMINOS: Un término está

distribuido cuando se refiere a la totalidad de los elementos
de una clase. A: Todos los S son P (El término distribuido es el sujeto)
E: Ningún S es P (El sujeto y predicado están distribuidos)
Ejemplo: “Todos los gatos son felinos” I: Algunos S son P (No hay término distribuido)
O: Algunos S no son (El término distribuido es el predicado)

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 17

A.P.U “El Triunfo” Módulo Teórico

3.6 CUADRO DE BOECIO

S aPSeP
x + x - Ejemplo:
Contrarias “Todo actor es profesional”. Equivale a:
A E “Ningún actor es no profesional”

Subalternante
Subalternante

Co
Subalterna

ri a

Subalterna
ntr
a icto
a
dd
ict
SePS aP
ntr o ri Ejemplo:
Co a
“Ningún materialista es idealista”. Equivale a:
“Todo materialista es no idealista”
I O
Subcontrarias
x + x - SiPS oP
Ejemplo:
Llamado también cuadro de oposiciones, es un gráfico “Algunos mamíferos son voladores”. Equivale a:
atribuido al filósofo medieval Boecio, que muestra las “Algunos mamíferos no son no voladores”
relaciones entre estas cuatro formas típicas de las
proposiciones categóricas (con los mimos términos sujeto y
predicado). S oPSiP
Ejemplos: Ejemplo:
“Algunos universitarios no son trabajadores”. Equivale
a) La contradictoria de “E” es I. a:
b) La subalternante de la contradictoria de “I” es A. “Algunos universitarios son no trabajadores”
c) La subcontraria de la subalterna de la subalternante de
“O” es I.
3. La Conversión
Es un mejoramiento que trabaja entre proposiciones de la
3.7. DEDUCCIONES INMEDIATAS EN EL CUADRO DE
misma calidad. Consiste en cambiar el sujeto por predicado y
BOECIO
viceversa. Las conversas son de dos clases:
1. Negación de Cuantificadores
Este razonamiento trabaja a nivel de proposiciones A. Conversas Simples
contradictorias (A con O) y E con I). Es una EQUIVALENCIA
donde la negación de una proposición es igual a su respectivo Es una EQUIVALENCIA donde no varía la cantidad.
contradictorio.

A  O x (Sx Px) x (Sx Px) S ePPeS ; x (SxPx) x (PxSx)

Ejemplo: Ejemplo:
“Todo político es locuaz”. Equivale a: “Ningún animal es racional”. Equivale a:
“Es falso que algunos políticos no sean locuaces” “Ningún ser racional es animal”
S i P  Pi S ; x (Sx Px) x (Px Sx)
Ejemplo:
O  A x (Sx Px) x (Sx Px) “Algunos libros son culturales”. Equivale a:
Ejemplo: “Algunas cosas culturales son libros”
“Algunos actores no son veraces”. Equivale a:
“Es falso que todo actor es veraz” B. Conversas Accidentales

Es una IMPLICACIÓN (en un solo sentido) en la que cambia la

E  I x (Sx Px) x (Sx Px) cantidad universal por particular.
Ejemplo:
“Ningún sacerdote es pecador”. Equivale a:
“Es falso que algunos sacerdotes son pecadores” S a P  P i S ; x (Sx Px) x (Px Sx)
Ejemplo:
“Toda novela es dramática”. Luego,
I  E x (Sx Px) x (Sx Px) “Algo dramático es novela”
Ejemplo:
“Algunos profesores son matemáticos”. Equivale a:
“No es cierto que ningún profesor es matemático” S e PPoS ; x (Sx Px) x (Px
2. La Obversión (Equipotencia)
S x)
Trabaja a nivel de proposiciones contrarias (A con E) y Ejemplo:
subcontrarias (I con O). Es una EQUIVALENCIA que consiste “Ningún técnico es profesional”. Luego,
en cambiar el predicado por su complemento. “Algunos profesionales son técnicos”

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 18

A.P.U “El Triunfo” Módulo Teórico

4. La Contraposición: Existen dos clases de inferencias por A. Contrapuesta Total (CT): Se caracteriza porque la
contraposición que son: Contraposición Parcial y conclusión respecto de la premisa tiene el sujeto y el
Contraposición Total. predicado permutados y negados a la vez. Conociendo la CP
(Contrapuesta Parcial) válidas de una proposición se le aplica
A. Contrapuesta Parcial (CP): Resulta de aplicar a una la OBVERSA y se obtiene la Contrapuesta Total.
proposición categórica la OBVERSA y luego la CONVERSA. CP +COBVERSA = CT
OBVERSA + CONVERSA = CP CP OBV
 ( S a P)  ( P e S )  ( P a S ) CT Simple
obv conv
 ( S a P)  ( S e P)  ( P e S ) CP Simple CP OBV
 ( S a P)  ( P o S )  ( P i S ) CT por Accidente
obv conv
 ( S a P)  ( S e P)  ( P o S ) CP por accidente 
CP OBV
( S e P)  ( P i S )  ( P o S ) CT por Accidente
obv conv CP OBV
 ( S e P)  ( S a P)  ( P i S ) CP por accidente  ( S o P)  ( P i S )  ( P o S ) CT Simple
obv conv CP
 ( S o P)  ( S i P)  ( P i S ) CP Simple  ( S i P)  No tiene CT
obv conv
 ( S i P)  ( S o P)  No tiene CP

DIAGRAMAS DE VENN
Lógica Booleana Cuadro de Boeccio para una clase

Es la representación de clases (conjuntos) en forma de Todos son S Ningún es S

diagramas (diagramas de Venn) y su forma literal con U S S
fórmulas algebraicas. S
S
Nomenclatura:

S P

Siendo S = la clase sujeto P = la clase predicado S S

S x S
x
U
S U = la clase universal, aquí Algunos son S Algunos no son S
S puede o no tener
elementos.
Cuadro de Boeccio para dos clases

U U = la clase universal, aquí

S
S   (hay elementos).
x

U U = la clase universal, aquí

S   (no hay elementos).
S

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 19

A.P.U “El Triunfo” Módulo Teórico

Notas:
3. Proposición: “Todo no S es P”
 Cuando el cuantificador es universal y el verbo (ser o estar) Forma típica: _
está negado, la negación se coloca delante del cuantificador. SaP
 Si el sujeto y/o predicado está negado, en las formas típicas,
las negaciones se colocan como barra horizontal encima de
cada letra(complemento).
 Son conmutativos la forma típica “e” , “i”

1. Proposición: “todo no S es no P”

Forma típica: _ _
SaP

Forma Boleana:
___ ___
S  P  Φ.

4. Proposición: “Algún no S es P“
Forma típica: _
Forma Boleana: SiP
S P  
2. Proposición: “Algunos no S son no P”

Forma típica: _ _
SiP

Forma Boleana:
S P  

Forma Boleana:
___ ___
S  P  Φ.
1

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 20

A.P.U “El Triunfo” Módulo Teórico

SILOGISMOS ARISTOTÉLICOS
CONCEPTO: Un silogismo aristotélico es una inferencia 6) De dos premisas particulares no hay conclusión.
mediata formado por tres proposiciones categóricas de las
cuales dos son premisas y una es conclusión.
Ejemplo: hallar la conclusión de:
P1: Premisa Mayor Premisa Mayor: Algunos detalles son importantes.
P2: Premisa Menor Premisa Menor: Todos los detalles son mensajes.
Solución: Formalizando
C: Conclusión Premisa Mayor: D i I PA
Ejemplo: Premisa Menor: D a M UA
P 1: M e P Conclusión :MiI PA
P 2: S i M
La conclusión es: Algunos mensajes son importantes.
C: S o P
NOTA: la conclusión obtenida, no necesariamente es válida,
NOTA: debido a que debe ser analizada por los métodos de validez.
P: Término mayor
M: Término medio II. FIGURAS: Son las distintas posiciones que toma el
S: Término menor término medio en las premisas; de acuerdo a esto existen 4
figuras:
CARACTERÍSTICAS DE UN SILOGISMO

- Presenta solamente tres proposiciones: Premisa mayor,

Premisa menor y Conclusión.
- Presenta tres términos: término mayor, término menor y
término medio.
- El término medio sólo aparece en ambas premisas, más
nunca en la conclusión.
- El sujeto de la conclusión es el término menor y aparece
en la premisa menor.
- El predicado de la conclusión es el término mayor y
aparece en la premisa mayor.

I. REGLAS BÁSICAS: Sirven para concluir sin garantizar la

validez del silogismo.
La conclusión está siempre en menor cantidad o calidad.

1. U U P P
U P U P
U P P No válido Ejemplo:

2. A A N N P1: D i I III Es de figura

A N A N P2: D a M
A N N No válido
MODOS: son todas las combinaciones posibles que se pueden
Donde: hacer con las 4 vocales en un silogismo aristotélico.
U: Universal A: Afirmativa Existen un total de 256 modos posibles, pero sólo 15 de estos
P: Particular N: Negativa son válidos y que han sido demostrados.

NOTAS: Ejemplo:
1) El término medio debe estar distribuida al menos en una P1: D i I El modo
de las premisas. P2: D a M iai
2) No puede haber en la conclusión ningún término C: M i I
distribuido que no lo esté también en las premisas.
3) De dos premisas afirmativas se concluye únicamente otra Ejemplo:
premisa afirmativa. P1: M e P El modo
4) De dos premisas negativas no se concluye nada. P2: S i M eio
5) La conclusión sigue siempre a la premisa más débil; la C: S o P
particular o la negativa

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 21

A.P.U “El Triunfo” Módulo Teórico

TABLA DE MODOS VALIDOS

FIG. MODO PALABRA LATINA

AAA BARBARA
EAE CELARENT
I AII DARII
EIO FERIO

EAE CESARE ES VÁLIDO ES VÁLIDO NO ES VÁLIDO

AEE CAMESTRES
II 3. POR INFERENCIAS LÓGICAS: Se aplican las reglas de
EIO FESTINO
inferencia.
AOO BAROCO
NOTA:
AII DATISI a)SaP  S  P
IAI DISAMIS
III
OAO BOCARDO b)SeP  S  P
EIO FERISON c)SiP  S  P
d)SoP  S  P
AEE CAMENES
IV IAI DIMATIS
EIO FRESISON

III. MÉODOS PARA DETERMINAR LA VALIDEZ DE LOS

SILOGISMOS:

1. POR FIGURAS Y MODOS: consiste en identificar la figura y

el modo. Si el modo pertenece a la figura, entonces el
silogismo es válido.
Ejemplo:
AeP - figura IV
PiB - modo: e i o
 válido
BoA

2. POR DIAGRAMAS DE VENN: Se grafican solo las premisas

y la conclusión debe resultar graficada automáticamente.
Si esto ocurre el silogismo es válido, caso contrario el será no
valido.
Ejemplo:

1.

_
P1 : PaM  P  M  
P2 :MeS  M  S  
P1: {3; 4}
P2: {5; 6}
C : SeP  S  P  
P3: {3; 6}
Silogismo válido

2. Graficar por diagramas de Venn:

P1: P a M P1: M i P P1: Pe M

P2: S e M P2: M a S P2: M a S

C: S e P C: S i P C: S e P

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 22