RL Teoría 1

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.

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.

 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.

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:
“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.
<

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 { }

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
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

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.

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).

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”.

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

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
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.

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

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.

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)

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”

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)

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”

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

S   (no hay elementos).
S

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

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

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

Jr. Cuzco Nº 323 – Piura. Teléfono: 301308 – RPM 984071898
[email protected] Academia Premium
MATEMÁTICA PREMIUM… La clave para tu ingreso
LÓGICA
INTRODUCCIÓN A LA LÓGICA
La palabra lógica proviene del griego antiguo λογική B) Objeto Cognoscente: Objeto de la realidad que
(logike), que significa «intelectual, dialéctico, puede ser concreto (cuidad), abstracto
argumentativo», que a su vez deriva de λόγος (logos), (números) o psicológico (sentimientos).
«palabra, pensamiento o razón».
C) Pensar: Proceso u operación mental, intelectual
La lógica es la ciencia que se encarga de exponer las generadora de pensamientos o ideas acerca del
leyes, modos y formas del razonamiento. Se trata de una mundo.
ciencia formal que no tiene contenido, pero que se dedica
al estudio de las formas válidas de inferencia. Es decir, Formas de  Forma de
trata del estudio de los métodos y principios utilizados pensar pensamiento
para distinguir el razonamiento correcto del incorrecto.  Aprehensión  Concepto
 Juzgar  Juicio
En otras palabras, la lógica es:
 Razonar  Razonamiento
El conjunto de conocimientos que tienen por
D) Pensamiento: Producto o resultado del proceso
objeto la enunciación de las leyes que rigen los
de pensar (concepto, juicio y razonamiento).
procesos del pensamiento humano; así como
de los métodos que han de aplicarse al
E) Lenguaje: Medio para explicar, materializar,
razonamiento y la reflexión para lograr un
manifestar, comunicar o expresar nuestros
sistema de raciocinio que conduzca a
pensamientos.
resultados que puedan considerarse como
certeros o verdaderos.
EL LENGUAJE
1) OBJETO DE ESTUDIO DE LA LÓGICA:
Es el mecanismo que vincula a los individuos y de
A) El pensar: Es un mecanismo o actividad alguna manera condiciona al pensamiento. Es un
cognoscitiva gracias a la cual el ser humano sistema de signos y reglas.
(SUJETO COGNOSCENTE) puede formar
PENSAMIENTOS al interactuar con un objeto de Existen dos tipos de lenguaje:
la realidad (OBJETO COGNOSCIBLE); para 1) Los Lenguajes Naturales: Son aquellos que
luego manifestar estos pensamientos utilizando han creado de forma espontánea y son formas
su LENGUAJE. de comunicación que todos los seres humanos
aprendemos en el seno de la comunidad, entre
B) El pensamiento: Está conformado por todos los estos tenemos:
objetos conceptuales. El pensamiento es a) El Lenguaje gestual: Por ejemplo: levantar
representación de todo aquello que tomamos las manos, fruncir el ceño, sacar la lengua,
por realidad. etc.
b) El lenguaje verbal: Se les conoce como
El pensamiento humano está conformado por idiomas. Por ejemplo: el español, el alemán,
tres formas: el inglés, etc.
1) Concepto: Unidad elemental o más
sintetizada del pensamiento. Por ejemplo: 2) Los Lenguajes Artificiales: Son aquellos que
“hombre”, “carpeta”, etc. se han creado de forma consciente para algún
2) Juicio: Afirma o niega característica o fin práctico, estos son:
propiedades del concepto. Por ejejmplo: “El a) Lenguaje terminológico: Que se
gato es un felino”, “la matemática es una caracteriza por utilizar términos como
ciencia”, etc. categorías construidas con rigor teórico. Por
3) Razonamiento (raciocinio): Se caracteriza ejemplo: “Célula” en Biología, “átomo” en
por ser generador de conocimiento nuevo o Física, “conducta” en Psicología.
conocido a partir de los que ya conocemos. b) Lenguaje formalizado: Que utiliza
Por ejemplo: “Si estudias y practicas determinados símbolos para simplificar
matemáticas entonces resolverás expresiones del lenguaje científico. Por
problemas; sabemos que no resuelves ejmplo: “E = m.v2”en Física, “H2O” en
problemas. Por lo tanto no estudia o no Química, “pq” en Lógica.
practicas matemáticas”.
3) DIVISIÓN DE LA LÓGICA:
2) ELEMENTOS QUE INTERVIENEN EN EL ACTO DE
PENSAR: A) Lógica Formal (matemática, simbólica,
moderna): Estudia el pensamiento humano
A) Sujeto Cognoscente: Es el ser humano, quien teniendo en cuenta sólo su estructura. Se divide
es el único ser capaz de realizar la actividad de en: Lógica Proposicional (Bivalente y polivalente
pensar. (Modal y Difusa)) y Lógica de Predicados
(Cuantificacional, tradicional o clasial).
Jr. Cuzco Nº 323 – Piura. Teléfono: 301308 – 984071898

2
PREMIUM… La clave para tu ingreso MATEMÁTICA
B) Lógica Objetiva (dialéctica, general): Estudia
la relación pensar – pensamiento – realidad – Universal (General) 
lenguaje, es decir estudia el pensamiento Específico o particular
humano teniendo en cuenta sólo su contenido
de tal manera que nuestros pensamientos Ejemplo:
tengan correspondencia en la realidad. 1. Ningún inteligente se enamora.
2. Algún honesto se enamora.
4) CIENCIA: Es un conjunto de conocimientos bien -------------------------------------------
definidos que se obtienen a través de un proceso  Todas estudian matemática.
científico. Las ciencias se clasifican en:
c) Razonamiento transductivo: Las
A) Ciencias formales: Aquellos que su objeto de
premisas y conclusión tienen mismo
estudio abstracto, ideal, mental, racional,
grado de generalidad.
preciso, exacto, artificial, universal, etc.
 Lógica
Particular  Particular
 Matemática
Universal  Universal
B) Ciencias fácticas (experimentales): Aquellas Específico  Específico
en que su objeto de estudio es concreto,
material, real, etc. Ejemplo:
Histórica 1. Luisa es menor que Ana.
 CC.SS Economía 2. Ana es menor que Angie.
Geografía -------------------------------------------
etc.  Luisa es menor que Angie.
Física NOTA IMPORTANTE: La validez de

 CC.NN Biología una estructura (fórmula lógica) se
Química determina si se sujeta o no a las reglas
o leyes de la lógica.
Nota: La lógica se ubica dentro de las ciencias
formales, entonces todo lenguaje lógico se Cumple Regla Razonamiento Válido
caracteriza por ser preciso, exacto, formal,
simbólico, artificial, universal, etc.
No Cumple Razonamiento Válido
5) RAZONAMIENTO: Un razonamiento se caracteriza
porque a través de él se obtiene nuevos 2) Por el número de premisas:
conocimientos a partir de un conjunto de premisas
(informaciones) que ya conocemos. a) Razonamiento inmediato: Cuando la
conclusión se obtiene directamente de
A) Características: una sola premisa.
 Debe ser concluyente.
 La conclusión debe extraerse de las P1: Premisa
premisas. C : conclusión
 La propiedad más importante es la validez o
corrección lógica (Ley de inferencia). Ejemplo:
1. Ningún es diastraídos (premisa)
B) Clases de razonamientos: Se clasifican -------------------------------------------
teniendo en cuenta dos criterios.  No hay distraídos (conclusión)
1) Por la forma de argumentar: b) Razonamiento mediato: Cuando la

a) Razonamiento inductivo: Cuando la conclusión se obtiene de dos o más
conclusión tiene más generalidad que premisas.
las premisas (lo utilizan las ciencias
P1: Premisa 1
fácticas).
P2: Premisa 2
Específico o particular 
Universal (general) Pn: Premisa n
Ejemplo: C : conclusión
1. Jennifer estudia matemática.
2. Mary estudia matemática. Ejemplo:
3. Paola estudia matemática. 1. Todo espía es inteligente. (premisa
------------------------------------------- 1)
 Todas estudian matemática. 2. Todo militar es espía. (premisa
2)
b) Razonamiento deductivo: Cuando las -------------------------------------------
premisas son universales y la  Todo militar es inteligente.
conclusión específica (lo utilizan las (conclusión)
ciencias formales).

3
LÓGICA
DEFINICIÓN:
Se define el término Lógica, como la ciencia que estudia el pensamiento humano o sea facilitar la aplicación de métodos
o procesos basados en definiciones, leyes y reglas para inferir con verdad y validez.
1) LÓGICA FORMAL
A) DEFINICIÓN:  A, es un alumno de la “Von Humboldt”
Es la disciplina que estudia el razonamiento o  Sen 45º = y
deducción de un enunciado. Estudia las expresiones
clasificándolas en enunciados, enunciados abiertos, 2) Enunciado Cerrado:
enunciados cerrados, seudoproposiciones y Es toda definición (Proposición verdadera),
proposiciones, considerando su forma. conceptos, fórmulas, identidades.
Ejemplo:
ENUNCIADOS Y PROPOSICIONES  La lógica formal se define como la disciplina
que estudia el razonamiento o deducción de
1.1 LENGUAJE: un enunciado.
Es el medio para explicitar, materializar, manifestar o espacio
expresar (decir) nuestros pensamientos.  Velocidad 
tiempo
1.2 FUNCIONES DEL LENGUAJE:  La Biología estudia los seres vivos.
a) Informativas: Comunica expresiones V o F (es 1.4) PROPOSICIÓN .

proposición).
Ejemplo: “PREMIUM” es un centro pre 1.4.1) DEFINICIÓN:
universitario. Es el enunciado que tiene la característica
b) Expresiva: Comunica emociones, sentimientos fundamental de la unicidad de valor de verdad
y estados de ánimo. No es verdadera ni falsa (no (o V o F, pero nunca ambas
es proposición). Ejemplo: ¡La paz sea contigo! simultáneamente).
c) Directiva: Comunica órdenes de mandato. No Generalmente son oraciones declarativas o
es verdadera ni falsa (no es proposición). informativas.
Ejemplo: Tienes que estudiar en “PREMIUM”.
Ejemplo:
1.3) ENUNCIADO .  Túpac Amaru fue presidente de EE.UU.
 Sen /3 = 1/2
1.3.1) DEFINICIÓN:  La luna es un planeta.
Es cualquier expresión “matemática” o lingüística.  x2 – y2 = (x + y)(x – y)
Usualmente es toda frase u oración.  Sen2 + Cos2 = 1
 p  (q  r)
Ejemplos:
 ¡Socorro! ORACIONES:
 ¿Quién es crecer? - Aseverativas: (afirman o niegan algo). Si es prop.
 Santa Rosa de Lima es milagrosa. - Dubitativas: Expresan duda. No es prop.
 ¿Dónde nació Fujimori? - Desiderativas: (indican deseo). No es prop.
 El área de círculo es r2 - Imperativas o exhortativas: (Expresan mandato,
consejo o ruego). No es prop.
1.3.2) CLASES DE ENUNCIADOS
SON PROPOSICIONES
1) Enunciado Abierto: - Las oraciones aseverativas.
Es toda expresión que contiene variable (s) - Las leyes científicas.
implícitas o explícitas, las cuales al ser - Las fórmulas matemáticas.
sustituidas por valores distintos se convierten en - Las fórmulas y/o esquemas lógicos.
expresiones verdaderas o falsas. - Los enunciados cerrados o definidos.
NO SON PROPOSICIONES
“Mario es un - Los hechos o personajes literarios.
niño” ¿es un - Los proverbios, modismos y refranes.
enunciado - Creencias religiosas, supersticiones y mitos.
abierto? - Enunciados abiertos o indefinidos.
Ejemplos: - Las interrogaciones.
 x + y = 10 - Las órdenes.
 xN - Las exclamaciones.
 x es un número par - Los deseos, dudas y súplicas.

4
1.4.2) SEUDO PROPOSICIÓN: CLASES DE PROPOSICIONES
Expresión no real. ¡Yupi! 2.1) CLASES DE PROPOSICIONES
¡Qué fácil! 1) P. SIMPLES O ATÓMICAS: (singulares o no

compuestas)
Son aquellas formadas por un solo sujeto y
predicado, es decir, que carecen de todo
conector lógico (negación, conjunción,
Ejemplos: disyunción débil, fuerte, biimplicativa, etc.) sean
 César viaja a la luna en caballo. monádicos o binádicos.
 Los chanchos vuelan.
 La pizarra habla inglés. Se dividen en:
1.4.3) PROPIEDADES DE LAS PROPOSICIONES a) P. S. Predicativas: S es P.

Atribuyen o afirman una característica respecto a
CALIDAD, un objeto.
CANTIDAD
CUALIDAD
MODALIDAD  Vargas Llosa es autor de la obra “La casa
verde”.
UNIVERSAL () ASERTÒRICA
AFIRMATIVA  Carlos está bailando.
PARTICULAR () APODÌCTICA  La glándula hipófisis se aloja en la silla
turca.
SINGULAR NEGATIVA  Humala es un guerrero.
PROBLEMÀTICA
(un solo sujeto)
 La geodesia estudia las dimensiones de la
tierra.
1) ASERTORICA: Su valor de verdad se
 Los hechos sísmicos son temporales.
determina comparando con la realidad
inmediata. Son hechos realizados.
Ejemplo: b) P.S. Relacionales: S es P. ó S1  S1 R .
- Miguel Grau nació en Piura. Establecen una relación entre dos o más sujetos
- San Martín proclamó la que tiene una misma categoría gramatical.
Independencia del Perú.  Perú y Ecuador son países limítrofes.
 María y Manuela son primas.
2) APODÍCTICA: Su valor de verdad se  Piura está al norte de Chiclayo.
determina por análisis lógico o  Jésica es mayor que Luis.
propiedades matemáticas.  Lizbeth ama a Carlos.
Ejemplo:
- Todo limeño es peruano. 2) P. COMPUESTAS O MOLECULARES:
- 10 < 20 + 1 (coligativas o no atómicas)
Son aquellos que tienen uno o más conectores
3) PROBLEMÁTICA: Su valor de verdad no lógicos ya sea monádicos o binádicos.
puede determinarse inmediatamente, (Ejemplo: Negativas, conjuntivas, disyuntivas,
requiere de cierto tiempo. biimplicativas, etc).
Ejemplo:  La luna es blanca además amarilla. (P.C.
- Perú campeonará el próximo Conjuntiva)
mundial.  O Tudela está vivo o Tudela está muerto.
- Ingresaré el próximo examen de (P.C. Disyuntiva Excluyente)
admisión  20  14  2 (P.C. Conjuntiva)
2) FORMALIZACION DE PROPOSICIONES
2.1 DEFINICIÓN Se asignan en forma correlativa alfabética.
Proceso mediante el cual llevamos una proposición
2) SÍMBOLOS DE AGRUPACIÓN:
verbal hacia una proposición formal (fórmula o
Se usan para agrupar a las proposiciones.
esquema lógico) utilizando para ello un lenguaje
simbólico. Tenemos:
a) Paréntesis : ( )
2.2 SÍMBOLOS LÓGICOS b) Corchetes : [ ]
c) Llaves : { }
1) VARIABLE PROPOSICIONAL:
Son los símbolos que sirven para representar las 3) CONECTORES LÓGICOS:
proposiciones simples o “atómicas. Son los símbolos que se usan para relacionar
Para denotarlos empleamos las primeras y las proposiciones, es decir forman proposiciones
últimas letras del abecedario. compuestas a partir de las proposiciones
Se usan en el siguiente orden: p, q, r, s, t, etc. o simples. Se clasifican en:
A, B, C, D, E, etc.

5
a) Monádicos: Afectan a una sola variable y
Operador binario a través del cual se
solo es la negación (~).
incluye, se da la posibilidad de que se den
Ejemplo: Un triángulo no tiene 4 lados  ~p
ambas proposiciones a la vez.
- El negador: (~) Símbolos: A  B, A + B
Es un operador o conectivo monádico  AoB
porque afecta mayormente a una  A a menos que B
proposición simple cambiándole su valor de  A salvo que B
veracidad (V o F)  A o también B
 a menos que A, B
Símbolos: ~A, A, –A, A  A excepto que B, etc.
Traducción verbal: Se lee de diversas  A y/o B
formas.
- El Implicador o condicional directa:
 No A, nunca A, jamás A, tampoco A
Operador binario que conecta, enlaza a una
 Es absurdo que A
proposición que es el antecedente con otra
 Es falso que A
proposición que es el consecuente o
 Es inconcebible que A conclusión.
 Es imposible que A
 No ocurre que A Símbolos: A  B, A  B, A  B
 No es verdad que A Traducción Verbal: Se lee:
 No es el caso que A
 Es mentira que A  Si A entonces B
 Es inadmisible que A  Ya que A bien se ve que B
 No acaece que A  Cuando A así pues B
 No es innegable que A  Siempre que A por consiguiente B
 Carece de todo sentido que A  Con tal de que A es obvio que B
 De ninguna forma se da A  Como quiera que A por lo cual B
 Es erróneo que A  En el caso de que A en tal sentido B
 Es incorrecto que A  De A inmediatamente B
 Es incierto que A  En virtud de que A es evidente B
 Nadie que sea A, etc.  Dado A por eso B
 A implica B
* Donde A = proposición simple o
 Toda vez que A en consecuencia B
compuesta.
 En la medida que A de allí B
b) Binádicos: Afectan a dos o más variables y  En cuanto A por tanto B
son:  En el caso de A en este caso B
 De A deviene B
- El Conjuntor: ()  De A derivamos B
Conector binario o diádico (enlaza dos  De A deducimos (inferimos, llegamos,
proposiciones simples), que desempeña el concluimos) en B
papel de compatibilizador de dos  A impone B
proposiciones verdaderas.  A es condición suficiente para B, etc.
 A sólo si B
Símbolos: A , A  B, A . B
Traducción Verbal: Se lee: - Replicación o condicional inversa:
 AyB Símbolo: A  B
 A también B
 A pero B  A porque B
 A del mismo modo B  A pues B
 A aunque B  A cada vez que B
 A sin embargo B  A, . Si B
 A tal como B  A dado que B
 A incluso B  A se concluye (deduce, infiere o
 A al igual que B sigue) de B, etc.
 A es compatible con B  A ya que B
 Tanto A como, cuando B  A siempre que B
 A así como B  A puesto que B
 Siempre ambos A, con B  A supone que B
 No sólo A también B  A a condición de que B
 A no obstante B, etc  A en vista de que B, etc.
 A esta implicado B
- El Disyuntor Débil o Incluyente: - Disyuntor fuerte o excluyente:

6
Operador binario que excluye la posibilidad
IMPLICADOR V/S REPLICADOR
de que se den ambas proposiciones a la
vez. También se llama contravalorador por
Cuando el condicionador va al inicio
ser la negación del biimplicador o
equivalorador. (implicativas). A  B.
SI  condicionador
Ejemplo: siempre
cuando
 Miguel Grau es piurano o limeño.
dado
 La luna es un planeta o satélite.
tanto
 10 es par o impar.
ya que
pues SINÒNIMOS
Símbolos: A \ B, A  B, A > --- < B, A para
 B, A  B, A  B porque
debido
Traducción verbal: en vista
puesto
 oAoB
 A o sólo B  Cuando el condicionador va al centro
 o bien A o bien B (replicativas).
 A o solamente B AB
 A o B (en sentido excluyente)
 A o únicamente B
Otros:
- El Biimplicador, Bicondicionador o
Equivalorador:  Negador Conjuntor: ()
A  B  ~A  ~B
Operador binario que desempeña la función “Ni A, ni B”
de doble implicador. Es decir es la “Ni A, no B”
conjunción de la condicional (A  B) y su “No A, no B”
recíproca (B  A). Así:
 Negador Disyuntor: (/), ()
(A  B) será equivalente a: (A  B)  (B  A / B  ~A  ~B
A). Con la cual queda cerrada la flecha por “Ni A o no B”
ambos lados: . “No A o ni B”
“No A o no B”
Ejemplo:
“Lizbeth ingresa a la UNP. Si y sólo si
estudia en la PREMIUM”. 4) CONECTOR DOMINANTE: Es aquel que está
fuera de todo signo de colección. La jerarquía de
La doble implicación se entenderá así: mayor a menor es:
Si Lizbeth ingresa a la UNP entonces
estudia en la PREMIUM y, si Lizbeth estudia 
en la PREMIUM entonces ingresará a la 
UNP. 

Símbolos: A  B, A  B
, /
OJO: , 
Traducción verbal:
~
SUFICIENTE  NECESARIA
 A si y sólo si B
(Causa) (Efecto)
 A es equivalente, equivale a B
 A siempre y sólo cuando B. Ejemplo:
 A por lo cual y según lo cual B
 A se define como B A es Cond. Suficiente para B
 A es lo mismo que B Suficiente es A para B AB
 A si de la forma B Para A es necesario B
 A es idéntico a B
A es Cond. Necesaria para B
 A igualmente entonces (es igual
Necesario es A para B AB
entonces) a B
Para A es suficiente B
 A cada vez que y solo si B
 A es equipotente a B, etc.

7
3) VERDAD FORMAL
3.1 DEFINICIÓN: Conector dominante
Es el capítulo de la Lógica en el que se evalúa la (mayor jerarquìa)
verdad o falsedad de las proposiciones (de un p q (p  ~q)  (q  ~p)
esquema lógico), mediante tablas de verdad u otro
método abreviado. V V V F F F V V F
V F V V V F F F F
3.2 TABLA DE VERDAD: F V F F F V V F V
Nos permite representar un razonamiento y hallar F F F F V F F V V
sus valores veritativos.
 Número de combinaciones:
Siendo FFVF la matriz o resultado final
C = 2n .
3.3 CLASES DE ESQUEMAS:
a) Tautológicos: Cuando todos los valores de
n : Número de variables proposicionales verdad de la matriz final son verdaderos.
(V  1  encendido). Se denota por
 E = 2C – 2, E = esquemas contingentes no
equivalentes. b) Contradictorios: Cuando todos los valores de
Observa verdad de la matriz final son falsos.
Ejemplo: el ejemplo (F  0  apagado). Se denota por 
(p  ~q)  (q  ~p)
Para nuestro ejemplo: c) Contingencia: Cuando la matriz final está
n = 2 (Variables proposicionales) compuesta por lo menos de un valor verdadero y
C = 22 = 4 combinaciones uno falso. Se denota por Q.
TABLAS DE VERDAD DE LOS CONECTORES LÓGICOS

p q pq pq pq pq pq pq pq p/q
V V V V V F V V F F
V F F V F V F V F V
F V F V V V F F F V
F F F F V F V V V V
VF = V VV = V
Claves VV = V FF = F VF = F FV = F FF = V V/V = F
FV= V FF=V
4) EQUIVALENCIAS LÓGICAS
4.1 DEFINICIÓN:
La Equivalencia Lógica es una relación que existe entre dos proposiciones que tienen sus matrices finales
idénticas, de tal manera que al unirlas biimplicativamente su resultado es una tautología.
4.2 LEYES DE LA LÓGICA PROPOSICIONAL:

Son un conjunto de identidades que permiten simplificar o transformar los esquemas lógicos a otros equivalentes.
Importante aprenderlas teóricamente según la nota de cada recuadro.
LEY CONMUTATIVA CONTRAPOSICIÓN O CONTRARECÍPROCA

Todos los conectores son conmutativos excepto la Invierta las variables, niéguelas ambas y repita el
implicación () y replicación (). conector lógico.
pqqp pqqp p  q  ~q  ~p
pqqp pqqp (transposición) p  q  ~q  ~p
pqqp pqqp p  q  ~q  ~p
LEY ASOCIATIVA DEFINICIÓN DE IMPLICADOR
Se usa cuando los conectores lógicos enlazantes Se niega el antecedente la flechita (, ) se
son iguales. transforma en "" y el consecuente se repite.
(p  q)  r  p  (q  r) p  q  ~p  q
(p  q)  r  p  (q  r) p  q  ~(p  ~q)
(pq)r  p(qr) pqqp
LEY DISTRIBUTIVA DEFINICIÓN DE BIIMPLICADOR
Se usa cuando los conectores lógicos son p  q  (p  q)  (q  p)
diferentes. p  q  (p  q)  (~p  ~q)
p  (q  r)  (p  q)  (p  r) p  q  ~(p  q)
p  (q  r)  (p  q)  (p  r)  ~p  q
p  (q  r)  (p  q)  (p  r)  p  ~q
p  (q  r)  (p  q)  (p  r)

8
IDEMPOTENCIA LEY DE COMPLEMENTO
Un conjunto unido o intersectado consigo mismo Un conjunto unido a su complemento da el universo.
da el mismo conjunto. Un conjunto interceptado con su complemento da
ppp vacío.
ppp p  ~p  V ~V = F
p  ~p  F ~F = V
LEY DE DOBLE NEGACIÓN O INVOLUCIÓN IDENTIDAD

~~p  p pFp pVV
pFF pVp
LEY DE MORGAN DEFINICIÓN DE DISYUNCIÓN FUERTE

p  q  ~(~p  ~q) p  q  (p  q)  (~p  ~q)
p  q  ~(~p  ~q) p  q  (p  ~q)  (~p  q)
~(p  q)  ~p  ~q  p / q p  q = ~(p  q)
~(p  q)  ~p  ~q  p  q = ~p  q
p  ~q  ~(~p  q)  ~(p  q) = p  ~q
LEY DE ABSORCIÓN I LEY DE ABSORCIÓN II

(p  q)  p  p (~p  q)  p  p  q
(p  q)  p  p (~p  q)  p  p  q
p  (p  q)  p p  (~p  q)  p  q
LEY DE EXPORTACIÒN LEY DE MUTACIÓN

(p  q)  r  p  (q  r) p  (q  r)  q  (p  r)
Ejemplos:
“El hombre no ha
 Siempre que corro, me canso  No corro o me canso. tejido la red de la
pq  ~p  q vida, es sólo una
hebra de ella”
 Es falso que sea responsable y estudie  No soy responsable o no estudie.
~(p  q)  ~p  ~q
5) CIRCUITOS LÓGICOS
5.1 DEFINICIÓN: a) Circuito abierto b) Circuito cerrado
Es la representación gráfica de un esquema lógico Foco apagado Foco encendido
formal.
Son modelos de funciones lógicas aplicados
fundamentalmente al campo de la electrónica,
cibernética e informática con fines de toma de
decisiones, es decir, para ejecutar tareas, ordenadas A
A
por un computador. Conmutador cerrado
Conmutador abierto
(No pasa información) (pasa información)
Están formados por conmutadores o interruptores AFó0 AVó1
que dejan o no pasar la corriente.
5.2 CLASES DE CIRCUITOS:
 Circuito en serie:
Representación simbólica Representación gráfica A
AB A B 
B
 Circuito en paralelo:
Representación simbólica Representación gráfica
A A
AB 
B
B

9
 Circuito mixto:
Representación simbólica Representación gráfica A
A B
a) (A  B)  C  C B
A
A B C
b) (A  B  C)  D  B D
D C
B C A
A
c) {A  [(B  C)  D] }  E D  B D E
E
C
6) REGLAS DE INFERENCIA
6.1 DEFINICIÓN: 2) Los Silogismos
Son aquellas implicaciones notables que sirven de
modelo para obtener una conclusión lógica a partir I) Silogismo Disyuntivo (SD)
de un conjunto de premisas.
Esquemas:
6.2 ESQUEMA: a) P1 : p  q b) P1 : p  q
P2 : ~q P2 : ~q
P1 : Premisa 1 C:p C:p
P2 : Premisa 2
P3 : Premisa 3 II) Silogismo Hipotético Puro (SHP)
‫׃‬
Pn : Premisa n Esquema:
ARTIFICIO DE SIMPLIFICACIÓN
C: Conclusión ó (p1  p2  p3  ...  pn)  C P1 : p  q
(es válida si la inferencia es verdadera o tautológica) P2 : q  r A1 : p = p , q = q , r = r , ...
C:pr A2 :  ,  ,  ,  , 
Como: P1  P2  P3  ...  Pn están
unidas por conectores iguales, es 3) Los Dilemas A3 : ~ =  =  , ~ = ~
decir conjuntores, siempre es posible A4 : para “DD” pq
asociar y conmutar las premisas, en I) Dilema los “~” se rs
cualquier forma deseada o Constructivo quedan ~ q  ~ s
conveniente. (DC)
~ p  ~ r
Esquema:
1) Los Modus P1 : p  q A5 : premisas con “A”
P2 : r  s p  q p  q
I) Modus Ponendo Pones (MPP) P3 : p  r p q
C:qs Si p = común Si: q = común
Esquemas:
II) Dilema A6 : p
Destructivo pX  ~p  X
a) P1 : p  q b) P1 : p  q c) P1 : p  q  ~X  p
P2 : p P2 : p P2 : q (DD)
 ~p / ~X
C:q C:q C:p P1 : p  q
P2 : r  s
II) Modus Tollendo Tollens (MTT) P3 : ~q  ~s
C : ~p  ~r
Esquemas:
4) Ley de Conjunción
a) P1 : p  q b) P1 : p  q c) P1 : p  q
P2 : ~q P2 : ~q P2 : ~p Esquema:
C : ~p C : ~p C : ~q P1 : p
P2 : q
C:pq

10
5) Ley de Adición o nuevo factor 7) Ley de Modus Ponendo Tollendo (MPT):
Esquema: (Afirmando niego)
P1 : p Esquema:
C:px P1 : p  q pq
x = cualquier expresión P2 : p q
C : ~q ~p
6) Ley de Simplificación
Esquema: 8) Ley de Modus Ponendo Tollendo (MPT):
P1 : p  q (Afirmando niego)
C1 : p Esquema:
C2 : q P1 : p  q pq
P2 : ~p ~q
C:q p
7) PROPOSICIONES CATEGÓRICAS
7.1) DEFINICIÓN:
Son aquellas que establecen una relación de  Hay exactamente un x
inclusión o exclusión ya sea total o parcial entre sus  Al menos un x existe
elementos.  Existe a lo más un x
 Existe siquiera un x
7.2) CUANTIFICADORES LÓGICOS:  Existe por lo menos un x
Determinan la cantidad de una proposición
 Pocos x
categórica y son:
d) Cuantificador Existencial Negativo:
a) Cuantificador Universal Afirmativo:
Símbolo: x:  ~
Símbolo: x : 
Traducción Verbal:
Traducción Verbal:
Son las mismas lecturas del Existencial Afirmativo
 Para todo x más un negador
 Para cualquier x
 Sean todos los x
 Quienquiera que sea x 7.3) ELEMENTOS FORMALES:
 Todo lo que sea x
 Para cada x Son fundamentalmente 4, gramaticalmente hablando.
 Cualquiera que sea x
 Cualquier cosa que sea x 1) El Cuantificador:
 Todos los x Que indica la cantidad del conjunto de clase. De tal
 Los x, las x forma que será universal si empieza la proposición
con el término todos; o será particular si empieza
b) Cuantificador Universal Negativo: con el término algunos. Se representan por los
símbolos ya indicados.
Símbolo : x,  ~
Traducción Verbal: 2) El término sujeto:
Que puede ser cualquier término gramatical, tal como
 Ningún por ejemplo: "animales", "hombres", "vegetales". Se
 Nada presenta como "S".
 Nadie
3) La cópula, nexo o verbo:
c) Cuantificador Existencial Afirmativo: Que mayormente es el término "ser" en su forma
afirmativa o negativa: no son.
Símbolo: x 
4) El término predicativo:
Traducción Verbal: Se lee:
Que nos indica otro conjunto o clase y que establece
una relación, atributo del término sujeto. Se
 Algunos x
representa con "P".
 Hay al menos un x que
 Existe al menos un x Ejemplo:
 Alguien, algo, alguno que sea x Todo alumno de la Von Humboldt es estudioso
 Existe cuando menos un x Cuantificador Sujeto Cópula Predicado
 Existe a lo sumo un x
 Tantos, ciertos, muchos, la mayoría de x

11
7.4) FORMAS TÍPICAS DE LAS PROPOSICIONES CATEGÓRICAS:
Caso
Forma literal Forma cuantificacional Forma simbólica R[S-P] Tipo
s
Todos los S son P
A x (Ax  Bx) SaP IT U+
SaP
Ningún S es P
E x (Ax  -Bx) SeP ET U~
SeP
~
Algún S es P
I x (Ax  Bx) SiP IP P+
SiP
Algún S no es P
O x (Ax  - Bx) SoP EP P–
SoP
IT = Inclusión total ; ET = Exclusión total
Ejemplo 1:
Algunos alumnos son buenos.
AIB
Se formaliza x ( Ax  Bx )
Nota 01:
o = Todo S no es P  No todo S es P  ~ (S a P)
 = SoP
i = Ningún S no es P  No ningún S es P  ~(S e P)
SiP
Nota 02: (equivalencias) Nota 04: Ejemplo 1:

a  ~0 e  ~i SaP P a S La subcontraria de la subalterna de:
0  ~a i  ~e SePPeS
SiPPiS Ningún alumno es flojo.
Nota 03: A E F
SoP P o S
  ~ H: Sujeto F: Predicado
  ~
Empezaremos siempre por la derecha, encontrando
primero la subalterna de "e" que es "o". Luego la
Nota 05: (conversa) Nota 06: (obversas) subcontraria de "o" que es "i"
SaPPiS Sa P SeP
SePPeSóPoS Se P SaP Subalterna Subcontraria
SiPPiS Si P =SoP E O I
S o P   (no existe) So P =SiP
Representando lingüísticamente será:
I: "Algunos alumnos son flojos"
Ejemplo 2:
Es falso que ningún alumno es bueno Ejemplo 2:
La contradictoria de la contraria de la subalternante
de :
Se formaliza: ~ [ x ( Ax  ~Bx)] Algún alumno es estudioso.
~ (A e B)  AiB Subalternante Contraria Contradictoria

I a e I
Representando literalmente  Algunos alumnos son
buenos. La representación literal es la misma expresión.
7.5) CUADRO DE BOECIO: 7.6) INFERENCIA CON UN PREDICADO EN UN

UNIVERSO FINITO:
A E a) x (Px)
Pa  Pb  Pc  ...
b) x (Px)
Pa  Pb  Pc  ...
I O
c) ~x (Px)
~Pa  ~Pb  ~Pc  ...

12
d) ~x (Px) 2) Formalización para casos particulares.
~Pa  ~Pb  ~Pc  ...
 Sólo todo A es B = B a A.
Ejemplos:  Solamente los A son B = B a A.
La conclusión de la proposición es un universo finito
de: 3) DISTRIBUCIÓN DE TÉRMINOS:
 Existen peruanos.
 Marco es peruano o Peto es peruano salvo Un término está distribuido cuando se refiere a la
Liliana es peruano y/o Carlos es peruano. totalidad de los elementos de una clase.
 Todos son estudiosos. Ejemplo: “Todos los tigres son felinos”.

 Raúl es estudioso y Juan es estudioso incluso
Rosa es estudiosa. El término disribuido es “Tigres” pues se refiere a la
totalidad de ellos, en cambio no está distribuido
 Es falso que algunos son cantantes.
“felinos”, pues la proposición no se refiere a la
 Gabriel no es cantante además Juan no es
totalidad de estos animales.
cantantes.
 Es absurdo que cada uno sea poeta. TÉRMINO DISTRIBUTIVO
 Pedro no es poeta o César no es poeta.
1) S a P: Todos los S son P (el término distribuido
NOTAS: es el sujeto)
1) Cuadro de posibilidades lógicas de Boecio.
2) S e P: Ningún S es P (el sujeto y predicado
1  0 están distribuidos)
0a e 1 
0 0
    3) S i P: Algunos S son P (no hay término
distribuido)
1  0
 0i 4) S o P: Algunos S no son P (el término distribuido
o 1 
1  1  es el predicado)
   
8) DIAGRAMAS DE VENN
8.1) DEFINICIÓN:
Estudia la relación entre las clases o predicados de una proposición categórica, pero, de manera gráfica visual,
utilizando para ello Diagramas de Venn.
SaP : U+ TÍPICA LITERAL CUANTIFICACIONAL BOOLEANA DIAG. VENN RELACIÓN
S P
Todo, cada, SaP Todo S es P x( Sx  Px) SP   IT
cualquier, los
S P
quienquiera, las SeP Ningún S es P x( Sx ~ Px) SP   ET
S P
SeP: U~ SiP Algún S es P x( Sx  Px) SP   x IP
S P
SoP Algún S no es P x( Sx  ~ Px) SP   x EP
Ningún, nada,
nadie, nisiquiera
Todo S no es P  ~ ( SaP)  SoP  SP    x
Ningún S no es P  ~ ( SeP)  SiP  SP   

SiP: P+ x
Algún, pocos, CONTRADICTORIAS CONVERSAS OBVERSAS CONMUTACIONES

hay muchos, SaP ~ ( SoP) SaP  PiS SaP  SeP SaP  PaS SiP  PiS
hartos,
bastante, casi SeP  ~ ( SiP ) PeS ( LIN ) SeP  SaP SeP  PeS SoP  PoS
SeP
todo, al menos SiP ~ ( SeP) PoS ( ACC ) SiP  SoP CUADRO DE BOECIO
uno, existe
SoP ~ ( SaP) SiP  PiS SoP  SiP CONTRARIAS
SoP  No tiene
SUBALTERNANTE
SUBALTERNA
~
SoP: P
CONTRADICTORIAS
Contrapuerta total (PC)  O.C.O (PC)
Lecturas del “i”
SUBCONTRARIAS
+ NO Contrapuerta parcial (PC)  C.O (PC)

13
S P
Ejemplo 1: Ningún no S es no P  S e P  S P =  
P
Ejemplo 2 : Todos son P  P =  
9) SILOGISMOS ARISTOTÉLICOS
9.1) DEFINICIÓN:
Los silogismos son estructuras argumentativas que se caracterizan porque constan de dos premisas y una
conclusión (las cuales son proposiciones categóricas: A, E, I, U, O). El objetivo en un silogismo es encontrar una
conclusión.
1) Estructura: Donde:
Premisa mayor : PM = M P S = Sujeto o término menor
Premisa menor : Pm = S M P = Predicado o término mayor
Conclusión : C = S P M = Término medio
2) Figuras:
I) M P II) P M III) M P IV) P M

S M S M M S M M
S P S P S P S P
3) Reglas:
a) Jerarquía de los casos:
A>E>I>O
OJO: En la conclusión se toma el caso de menor jerarquía.
Ejemplo: P1 : M e P Figura : I
P2 : S a M Modo : eae
C:SeP Validez : válido
b) E modo EIO es válido en todas las figuras.

Ejemplo: P1 : P e M Figura : II
P2 : S i M Modo : eio
C:SoP Validez : válido
c) Silogismo válido o no válido

Ejemplo: P1 : M a P  M  P  (por MPP)
P2 : S i M  S  M
C:SiP  S  P (válido)
Ejemplo: P1 : M a P  M  P (No se puede aplicar una

P2 : S o M  S  ~M Prop. de inferencia)
C:SoP  no válido
4) Modos del silogismo: 5) Reglas:

I Figura II Figura III Figura IV Figura U A A U N E
AAA EAE AII AEE U A N E N E
EAE AEE IAI IAI U A N E N.V N.V
AII EIO OAO EIO
EIO AOO EIO
Así los modos válidos Se memorizaban cantando

De la primera figura AAA, EAE, AII, EIO BARBARA, CELARENT, DARII, FERIO
De la segunda figura EAE, AEE, EIO, AOO CESARE, CAMESTRES, FESTINO, BAROCO
DARAPTI, DISAMIS, DATISI, FELAPTON,
De la tercera figura AAI, IAI, AII, EAO, OAO, EIO
BOCARDO, FERISON
BAMALIP, CAMENES, DIMATIS, FESAPO,
De la cuarta figura AAI, AEE, IAI, EAO, EIO
FRESISON

14
Curso: Razonamiento Lógico Ciclo Pre U - Verano 2023
ASESORAMIENTO N° _____
LÓGICA FORMAL a) 1, 2 y 5 b) 1y 2 c) 1, 2, y 3
d) 3 y 4 e) 4 y 5
1) Son proposiciones elementales:
1. Vóley peruano. 6) Son proposiciones disyuntivas incluyentes:
2. En el siglo XX la temperatura media de nuestro 1. Mario está casado con Ana o Rosa.
planeta aumentó 0,6°C 2. Mariana es inteligente a la vez bonita.
3. Los gatos negros traen mala suerte. 3. Lester es cocinero o policía.
4. 52 4. La puerta está abierta o cerrada.
5. 52 = (-5)2 5. Lorena Ramos es modelo o cantante.
a) 2,5 b) 2, 3, 4 a) 1, 3 y 5 b) 2 y 5 c) 3 y 5
c) 2, 3, 5 d) 1,4 e) 1,5 d) 1, 3 y 4 e) 2, 3, 4 y 5
2) Son proposiciones relacionales: 7) De las siguientes expresiones, son proposiciones simples

1) 2 > 3 relacionales:
2) -1 y 0 son números enteros. 1. La calle Junín se encuentra entre la avenida
3) 1 y 2 son números consecutivos. Loreto y la calle Cuzco.
4) Un kilo no equivale a 1000 gramos. 2. Existe poca capa de Ozono.
5) El pentágono tiene cinco ángulos agudos. 3. Sólo sé que nada se.
a) 1,2,3 b) 1,3 4. 25 = 4 2 + 3 2
c) 4,5 d) 2,3 e) 3, 4 y 5 5. El agua se evapora por el calor.
Son ciertas:
3) De las proposiciones: a) 1 y 2 b) 2 y 3
1. José de San Martín y Simón Bolívar fueron c) 3 y 4 d) 1 y 4 e) 2 y 5
contemporáneos.
2. El punto de congelación del agua es de 0ºC y el de 8) Son proposiciones verdaderas:
ebullición es de 100ºC. 1. La luna es un planeta.
3. El polo negativo y positivo se atraen. 2. César Vallejo nació en Lambayeque.
4. El agua alcanza su densidad máxima a una 3. El valor absoluto de un número negativo siempre
temperatura de 4ºC sin embargo se expande al es positivo.
congelarse. 4. Ningún número entero es múltiplo de tres.
5. La albúmina es una proteína plasmática. 5. Todos los alumnos de Idepunp estudian medicina.
Son conjuntivas: Son ciertas:
a) 1,2,3 b) 2,3,5 a) 1 y 2 b) 3
c) 1,2,5 d) 2,4 e) 1,2,3,5 c) 2, 3 y 4 d) 5 e) 1, 3 y 5
4) De las siguientes oraciones, cuáles cumplen con la 9) Son proposiciones:

función Imperativa 1. x + y − z = 20
1) ¡Lava los platos!
(a + b)
2
2) Javier, dame ese libro 2. = a2 + b2 + 2ab
3) ¡Saluda a tu primo! 3. a + 8 = 14 , donde a = 6
4) ¡No hagas ningún ruido! 4. Donde hubo fuego, cenizas quedan.
5) Haga primero las tareas. Son ciertas:
a) Sólo 3 b) 1, 2 y 5 a) 2 y 3 b) 3 y 4
c) sólo 4 d) 3 y 4 e) 1,2 3, 4 y 5 c) 1, 2 y 3 d) 4 e) 2, 3 y 4
5) Son pseudoproposiciones: 10) “El 26 de agosto se celebra el día del café peruano”, es:
1. El triángulo es inteligente a) Sólo enunciado.
2. Eduardo es un numero racional b) Enunciado abierto.
3. A es la capital del Perú. c) Proposición simple.
4. X+3=0. d) Enunciado cerrado.
5. San Marcos es la Universidad más antigua de e) Proposición compuesta.
América.
Jr. Cuzco Nº 323 – Piura. 301308 984071898 – 933013077 - 956532917

www.academiapremium.edu.pe Academia Premium 1
… La clave para tu ingreso RAZ. LÓGICO
11) Son proposiciones disyuntivas incluyentes: 18) Son enunciados abiertos:
1. Hoy es lunes o martes. 1) x es profesor de la U.N.P.
2. César Vallejo fue poeta o dramaturgo. 2) 5x+2y = 10 cuando x= 3, y = -2
3. 7 es número primo o compuesto. 3) x+3y = 8
4. César Vallejo nació en Lima o en París. 4) Él es un abogado egresado de la UNP.
5. Mario Vargas Llosa escribió “La fiesta del chivo” o Son ciertas:
“Conversación en la Catedral” a) 1, 3 y 4 b) 2, 3 y 4
c) 1, 2, 3, 4 y 5 d) 3 e) 1
a) 1, 3 y 5 b) 1 y 5
c) 1, 2 y 5 d) 2 y 5 e) 1, 2, 4 19) Son proposiciones lógicas, cuya característica es de ser
plausibles:
12) Son proposiciones falsas: 1. El SIDA será curado en 10 años.
1. Sen 2 = Sen 4 2. Nijash en 2 años terminara su carrera.
2. 81/3 = 2 3. El Perú es un mendigo sentado en un banco de oro.
3. 1 es número primo. 4. Lucha si quieres vivir.
4. 3 + 2 = -|-3| + |2 | 5. En cinco años Juan será profesional.
5. La hormiga es un insecto que vive en sociedades. Son correctas:
a) 1, 2 y 5. b) 1 y 5.
a) 1, 3 4 b) 3,4 c) 1, 2 y 4. d) 2.
c) 2,3,4 d) 2,4 e) Sólo 5 e) 1, 2, 3, 4 y 5.
13) Son proposiciones atómicas: 20) Son proposiciones individuales:

1. No es cierto que diez sea número par. 1. Algunos médicos son cardiólogos.
2. Perú y Bolivia son países democráticos. 2. Todos los hombres mueren.
3. Perú y Bolivia no son países fronterizos. 3. El Manu es un parque nacional.
4. El argón es el tercer gas más abundante en la 4. Ningún hombre es inmortal.
atmósfera de la tierra.. 5. El cometa Halley se acerca a la tierra cada 76 años.
Son innegablemente ciertas:
a) 1,2,3 b) 1,2,3,4 a) 3 y 5 b) 2 y 4 c) 1, 3 y 5
c) 1,2,4 d) Sólo 4 e) 1,4 d) 3 e) 1, 2, 3, 4 y 5
14) De las siguientes expresiones, ¿Cuál ejemplifica un 21) De las siguientes expresiones:
enunciado abierto? 1. x2 + 2x + 1 = 0
a) Isaac Newton es un escritor 2. 82/3 = 4
b) x=2 3. Me pierdo en tu mirada.
c) 29<3 4. Log 1000
d) Mario es estudioso. 5. Log 1000 = 3
e) La pizarra baila. No es cierto que no sean solo enunciados:
a) 3 y 4 b) 1 y 5
15) Son proposiciones conjuntivas: c) 1, 2 y 5 d) 1, 2 y 3 e) 1, 2, 3 y 4
1. Silvia es inteligente, sin embargo es floja.
2. Miguel Grau fue marino y Peruano 22) En las siguientes expresiones:
3. La carpeta es de madera o metal. 1. ¿Cómo son las vacaciones del mejor jugador del
4. Estas soltera o casada. mundo?
5. No solo bailo sino también canto. 2. Los niños prodigio del siglo XX
3. El que escribe en el alma de un niño escribe para
a) 1 ,2y 5 b) 2, 3 y 4 c) 2 y 4 siempre.
d) 1, 2, 3 y 4 e) 1, 3 y 5 4. El tercer domingo de agosto se celebra el Día del
Niño.
16) No son proposiciones ni enunciados abiertos: 5. Está lloviendo en la selva peruana y hace mucho
1. ¿Postulas a Matemática? frío.
2. Los arácnidos tiene el cuerpo segmentado. Son sólo enunciados:
3. El ozono filtra los rayos ultravioletas. a) 4 y 5 b) 1, 2 y 4
4. Hamlet quiso vengar la muerte de su padre. c) 1 y 4 d) 1, 2 y 3 e) 1, 2, 3 y 4
5. Alonso come demasiado.
Son ciertas: 23) De las oraciones:
a) 1, 2 y 3 b) 1 y 4 1. Ollantay es un drama escrito originalmente en
c) 2, 3 y 4 d) 3, 4 y 5 e) 5 quechua clásico.
2. Ollantay y Cusi Coyllur se amaron.
17) En las siguientes expresiones: 3. La cultura Wanka apareció entre el 1200 y el 1400
1. El amor. de nuestra era.
2. Debes conocer más de las enfermedades mamarias. 4. El pueblo Wanka se caracterizó por su carácter altivo
3. Cada año, más de 4 mil casos de cáncer son y belicoso.
detectados en el Perú. 5. Martín Adán no es el seudónimo de Rafael de la
4. ¿Hay cura para el asma? Fuente Benavides.
5. En 1950, los químicos británicos inventaron los gases Es falso que no son proposiciones compuestas:
nerviosos, más tóxicos, que se evaporan lentamente. a) Sólo 3 b) 4 y 5
Son sólo enunciados: c) Sólo 4 d) 2 y 4 e) 1, 2 y 3
a) 3 y 5 b) 1, 2 y 4
c) 2, 3 y 4 d) 3 e) 1, 2, 3, 4 y 5
Jr. Cuzco Nº 323 – Piura. 301308 984071898 – 933013077 - 956532917

… La clave para tu ingreso RAZ. LÓGICO
24) De las siguientes oraciones, cuáles cumplen con la 29) Son proposiciones predicativas:
función directiva: a) Perú está al lado occidental de Sudamérica.
1. Está lloviendo en Lima y hace mucho frío. b) Las líneas de Nazca son consideradas el Calendario
2. ¿Pero por qué no te sientas? astronómico más grande del planeta.
3. ¡Ábreme la puerta, Damiana! c) Perú está al sur de Ecuador.
4. Que tengas muy buen día. d) a y b
5. Lávate la cara e) a, b y c
a) sólo 2 b) 2, 3 y 5 30) Son proposiciones predicativas:

c) sólo 4 d) 1 y 4 e) 2 y 3 1) El acento prosódico es la mayor intensidad con que
se pronuncia oralmente una sílaba.
25) Son proposiciones falsas: 2) La sílaba acentuada se llama tónica y las no
1. Sen30° = Cos60° acentuadas átonas.
2. Se llama circunferencia al lugar geométrico de los 3) La sílaba átona no es la sílaba pronunciada más
puntos del plano que equidistan de un punto fijo fuerte en una palabra.
llamado centro.´ 4) Todas las lenguas humanas tienen pronombres.
3. Una función cuadrática es una función polinómica de 5) Los verbos no varían según la persona, el número o
grado tres. el tiempo gramatical.
4. Se llama triángulo equilátero al que tiene dos lados Son ciertas:
iguales. a) 1 y 4 b) Sólo 1
5. En el triángulo, Se llama ortocentro al punto de c) 1, 2 y 4 d) 2, 3 y 4 e) 2, 3 y 5
intersección de las alturas
31) Son proposiciones disyuntivas incluyentes:
No son inciertas: 1. “La casa de cartón” fue escrita por Martín Adán o
a) 1 y 2. b) 1, 2 y 5 Ciro Alegría.
c) 1, 2 y 3 d) Sólo 5 e) 3 y 4 2. Carlos postulará a la UNP o la UDEP.
3. En algunos lugares hace frío y/o cae nieve.
26) Son proposiciones verdaderas: 4. “acueducto” es una palabra grave o esdrújula.
1. Una anécdota es un cuento extenso que narra un 5. “acueducto” es una palabra tónica o sólo átona.
incidente interesante o entretenido. a) 1 y 4 b) 1, 2 y 4
2. El cuento es una narración breve de carácter c) 2 y 3 d) 1, 4 y 5 e) 2, 3 y 4
ficcional protagonizada por un grupo reducido de
personajes y con un argumento sencillo. 32) De los enunciados:
3. Las fábulas son composiciones literarias breves en 1. 4 y 5 son números consecutivos.
las que los personajes casi siempre son animales u 2. 30º y 60º son ángulos agudos.
objetos. 3. 30º y 60º son ángulos complementarios.
4. La sílaba átona es la sílaba pronunciada más fuerte 4. Perú y Ecuador son países fronterizos.
en una palabra. 5. 4 y 5 son números positivos.
Son ciertas: Son proposiciones simples relacionales:
a) 1, 2, 3, 4 b) Sólo 1 a) sólo 1 b) 1, 3 y 4
c) 1, 2 y 4 d) 2, 3 y 4 e) 2 y 3 c) Sólo 4 d) 1 y 4 e) 2 y 5
27) Son enunciados abiertos: 33) Es una proposición compuesta:

1. Aquellas artes que implican objetos tridimensionales, a) Los taladores ilegales suelen desarrollar sus
como la escultura y la arquitectura, son llamadas actividades en bosques que concentran una gran
artes plásticas. riqueza biológica.
2. Aquel ingresó a la Facultad de Economía de la b) La UNP fue fundada el 03 de marzo de 1961 con el
U.N.P. nombre de Universidad Técnica de Piura.
3. Ella, Alejandra es la mejor diseñadora gráfica. c) Si el abono orgánico es de color oscuro entonces
4. La Mona Lisa es uno de los cuadros más absorberá más las radiaciones solares.
reconocidos de occidente. d) Flor y María son hermanas.
5. P es el país donde más se promociona la artesanía e) 2 y 4 son números pares consecutivos.
Son ciertas: 34) ¿En qué alternativa encontramos una proposición

a) 1, 3 y 4 b) 2, 3 y 4 molecular?
c) 2 y 5 d) 3, 4 y 5 e) Sólo 2 a) Publicidad y propaganda.
b) Los anuncios publicitarios son parte fundamental de
28) No son proposiciones lógicas: cualquier compañía.
1) Niños hiperactivos. c) Los anuncios publicitarios que operan de forma
2) La bisectriz divide un ángulo en dos partes iguales. eficaz pasan por 4 fases: atención, interés, deseo y
3) El perímetro es la medida del contorno de una figura acción.
geométrica. d) El grafiti es una técnica pictórica de muy reciente
4) El perímetro de un círculo es una circunferencia. creación y consiste en pintar con pintura de spray en
5) La bisectriz y la mediana se fueron de paseo.. paredes, objetos urbanos, medios de transporte
urbanos y otros elementos de la ciudad.
Son ciertas: e) ¿Cómo hacer un afiche publicitario?
a) 1, 4 y 5 b) 1 y 5
c) 2, 3 y 4 d) 2 y 3 e) 3 y 4
Jr. Cuzco Nº 323 – Piura. 301308 984071898 – 933013077 - 956532917

SEMANA Nº 01
TEMA: “Lógica Formal
Padre de la lógica Aristóteles
a) ENUNCIADO: Es toda frase u oración (puede
LÓGICA tener o no tener valor de verdad)
Ejemplos:
La lógica es la ciencia autónoma que estudia el ➢ ¿Viva el futbol gol Perú?
pensamiento humano, utilizando y deduciendo un ➢ ¡Donde ver Perú vs Australia!
conjunto de principios, reglas y leyes; para producir ➢ Karina es una docente Universitaria.
razonamientos correctos o válidos. ➢ x+2 y+4
EL LENGUAJE b) SOLO ENUNCIADO: Enunciado que no tiene
valor de verdad (mitos, leyendas, personajes
Es el mecanismo que vincula a los individuos y de literarios, refranes, creencias religiosas; etc)
alguna manera condiciona al pensamiento. Es un Ejemplos:
sistema de signos y reglas. ➢ 2y + 5
➢ A caballo regalado no se le mira el diente
FUNCIONES DEL LENGUAJE: ➢ ¡Estoy feliz!
➢ A+b+c+d
Tenemos tres funciones básicas desde el punto de ➢ M+n+p
vista lógico
1. Función Expresiva o Emotiva (no transmite c) ENUNCIADO ABIERTO: Enunciado que posee
conocimiento): sirve para expresar una o más variables no definidas que no posee
sentimientos, estados de ánimo, emociones la propiedad de ser verdadero o falso. También
como la ira, alegría, tristeza, miedo. (No tiene se le llama función proposicional.
valor de verdad, ni V y ni F Ejemplos:
Ejemplo: ➢ x 9
¡Qué alegría encontrarte! ➢ Ella es muy hermosa
Que calor ➢ Ellos juegan en la selección peruana de
Que día tan maravilloso futbol.
2. Función Directiva o Imperativa: (Genera acción, ➢ a+b+c < 5
Conlleva una respuesta) (imperativa, ➢ A es una fruta deliciosa.
prescriptiva) sirve para dar mandatos, órdenes
y/o pedidos. Su objetivo es influir en la conducta d) SEUDO PROPOSICIÓN: Son oraciones en donde
de los demás. No tiene valor de verdad (ni V, ni al sujeto se le atribuye un predicado que no
F). Su objeto es influir en la conducta de los corresponde con la realidad.
demás. Representan algo irreal, pues no se puede
Ejemplo: comprobar en la realidad.
¿No puedes comer aquí ? Ejemplos:
Mas lento ➢ La luna baila con el sol
Vete al mercado ➢ El triángulo es honesto
➢ Le circulo y rectángulo se fueron a la fiesta.
3. Función Informativa o Descriptiva (Es la función
que le interesa a la lógica, transmite e) PROPOSICIÓN (proposición lógica): Enunciado
conocimiento): (denotativa, descriptiva): Sirve que puede ser verdadero o falso, pero no ambos
para describir o explicar la realidad. Transmiten a la vez.
conocimientos. Comunica información conocida Ejemplos:
o nueva que tiene valor de verdad único (o bien ➢ El agua hierve a 100 grados Celsius.
V; o bien F) ➢ Cos (x + y) = Cos x Cos y – Sen x Sen y
Ejemplo: ➢ Los ángulos opuestos por el vértice son
La segunda guerra mundial dejo un saldo de iguales
muertos fenomenal en Europa. ➢ Las pinturas de Picasso no me gustan
L a nueva colección de zapatos es fina, pero a la ➢ El 9 es factor del 81
vez muy elegante. ➢ La música clásica es la más antigua del
mundo.
LOGICA FORMAL
f) ENUNCIADO CERRADO: Es una proposición que
se admiten como verdad universal sin
La lógica formal es la ciencia que estudia el demostración. (Identidades matemáticas,
pensamiento humano considerando sólo su lógicas, definiciones y leyes científicas)
ESTRUCTURA, y clasifica las expresiones en:
Docente: Maribel R. Yarlequé Zavaleta Asignatura: Razonamiento Lógico Modalidad:

Regular - Ciencias Seguimos siendo
Turno: …… Semana: 01 tu ingreso directo
SEMANA Nº 01
TEMA: “Lógica Formal
Ejemplo: a) Asertóricas: (reales, fácticas, empíricas):
✓ “p → q  q → p ”. (V). Es una Ley Cuando su valor de verdad se verifica
lógica. comparando con la realidad material
✓ Log (A.B) =Log (A) + Log (B)”. (V). Es una inmediata. (La mayoría son proposiciones
Identidad matemática. relacionadas con las ciencias fácticas)
✓ A+B = B+A (v) . Es ley conmutativa Ejemplo:
✓ Los ángulos opuestos por el vértice son ✓ El Perú tiene 1.285.215,60 km² de
iguales. superficie (V) (Geografía).
PROPIEDADES DE LA PROPOSICIÓN (propiedades b) Apodícticas (formales, necesarias,

diferenciales o intrínsecas) analíticas): Su valor de verdad se verifica
mediante análisis lógico (cosas obvias) o
1. CANTIDAD: Por el número de elementos. matemático. (Son proposiciones
relacionadas con las ciencias formales)
a) Universales (generales): Toma todos los Ejemplo:
elementos (extensión) de un conjunto ya sea ✓ “La suma de los ángulos internos de un
para incluir o excluir. polígono de “n” lados es 180°(n-2)” (V)
(Geometría)
Ejemplo: ✓ “Los millonarios tienen mucho dinero”
✓ “Todos los estudiantes postulan a la (V) (lógica)
universidad”
✓ “Ningún niño es distraído” c) Problemáticas: (posibles, probables,
✓ Todas las mujeres son tranquilas. plausibles, futuras): Son oraciones futuras.
✓ Todos los hombres son honestos. Ejemplo:
Dentro de 2 años Laura terminara el
b) Particulares (existenciales): Toma algunos colegio.4
(como mínimo un elemento y como máximo
todos menos uno) elementos ya se para incluir CLASES DE PROPOSICIONES
o excluir de un conjunto.
Ejemplo: A. PROPOSICIÓN SIMPLE (ATÓMICA O
ELEMETAL): Son oraciones que no se pueden
✓ Algunos hombres trabajan dividir, no tiene conector. Estas proposiciones a
✓ Pocos jóvenes estudian Física su vez pueden ser predicativas y relacionales.
✓ Algunos hombres estudian educación a) PROPOSICIONES PREDICATIVAS: Atribuyen
inicial. o afirman una característica respecto a un
solo sujeto.
c) Individuales (singulares): Toma elementos Ejemplo:
específicos, conocidos de un conjunto. La UNP es una institución pública.
Ejemplo: Liliana es profesora de danzas
Mirian es bióloga
✓ Mariana trabaja en la municipalidad de Carmen Inelia es secretaria
Piura.
✓ Euler es doctor. b) PROPOSICIONES RELACIONALES:
Establecen una relación entre dos o más
2. CALIDAD (cualidad): Cuando analizamos el sujetos que tienen una misma categoría
verbo de la proposición. gramatical (hermanos, primos, gemelos,
juntos, consecutivos, < , >, =, norte, sur,
a) Afirmativas: Verbo afirmado (son, es, este). Ejemplo:
están) ✓ 30 - 4 = 10+3
Ejemplo: Cesar es estudiante de medicina ✓ Mariana y Carlos son esposos.
de la UNP. ✓ Rita y pedro son hermanos
✓ Carlos y Alejandro estudian juntos en
b) Negativas: Verbo negado (no son, no es, no IDEPUNP.
están) ✓ Gianluca Lapadula ,Edison flores y
Ejemplo: Mariana no estudia aritmética Christian Cueva juegan juntos en la
selección Peruana
3. MODALIDAD: Cuando analizamos el valor de
verdad (V o F) de la proposición:

SEMANA Nº 02
TEMA: “FORMALIZACIÓN DE PROPOSICIONES
Símbolos: A→ B, A  B, A  B
Traducción Verbal: Se lee:
Conectores Lógicos Si A entonces B
A por consiguiente B
Ya que A bien se ve que B
EL CONJUNTOR Con tal que A es obvio que B
Cuando A así pues B
Símbolos: A  B, A . B, A&B, AxB Toda vez que A en consecuencia B
Traducción Verbal: se lee: Ya que A es evidente B
AyB A implica o impone a B
A incluso B para A es necesario B
A es compatible con B A es suficiente para B
A aún cuando B suficiente es A para B
A del mismo modo B es necesario para A, B
A no obstante B para A es necesario B
Tanto A como, cuando B De A deviene B
Siempre ambos A con B De A derivamos B
A sino B A implica B
No sólo A sino también B Como quiera que A por lo cual B
A asimismo B En el caso que A en tal sentido B
A a pesar de B De A deducimos (inferimos, concluimos, llegamos) B
A a la vez B
A igualmente B EL BIIMPLICADOR
Simultáneamente A con B
(EQUIVALORADOR)
A pero (aunque, empero, sin embargo) B
A incluso, tal como, al igual que, también B
Símbolos: A  B, A  B
A más B
A aunque B Traducción Verbal: Se lee:
A si y solo si B
A siempre y cuando B
EL DISYUNTOR INCLUYENTE (DÉBIL) A es idéntica a B
A es igualmente que B
Símbolos; A  B, A + B A cada vez que y sólo si B
Traducción Verbal: se lee: A es equivalente a B
A o B (Incluyente) A es condición necesaria y suficiente para B.
A a menos que B A siempre que y sólo cuando B
a menos que A, B
A salvo que B CONDICIONAL INVERSA
A y bien, o también B
A excepto B
(EL REPLICADOR)
A o incluso B (a la vez, asimismo, etc.)
A a no ser que B
A y/o B
Símbolos: A B, A  B, B → A
al menos uno de los dos A o B Traducción Verbal: Se lee:
A o en todo caso B A si B
A alternativamente B, etc A porque B
A siempre que B
Para A es suficiente B
EL DISYUNTOR EXCLUYENTE (FUERTE)
A puesto que B
Símbolos: A  B, A  B, A  B A dado que B
A  B, > - - < B, A  B A supone que B
Traducción Verbal: se lee: A pues B
OAoB A en vista que B
O bien A o bien B A ya que B
A o B (en sentidos excluyentes) A cada vez que B
A o solamente B sólo si A entonces B
A o únicamente B sólo si A, B
A o sólo B A si B
A no es equivalente a B solamente (únicamente,
No es equivalente A con B necesariamente) si A
A no biimplica a B entonces B
A no es equivalente A debido a que B
A cuando B
A con la condición que B
CONDICIONAL DIRECTA (EL
es suficiente para A, B
IMPLICADOR)

SEMANA Nº 02
TEMA: “FORMALIZACIÓN DE PROPOSICIONES
EL NEGADOR
Símbolos: -A, A, A, A´, A
Traducción Verbal: se lee

No A,
Nunca A
Jamás A
Es absurdo que A
Es inconcebible que A
No ocurre que A
No es cierto que A
Es imposible que A
No es verdad que A
Es mentira que A
Es inadmisible que A
No acaece que A
De ninguna forma se da A
Es erróneo que A
Es incierto que A
Nadie que sea A
Es incorrecto que A
No siempre que A
No es que A
Es modo alguno A
En forma alguna A
es objetable que A
es rebatible A
es incoherente que A

SEMANA Nº 04
TEMA: “EQUIVALENCIAS LÓGICAS I “
EQUIVALENCIAS LÓGICAS i) Una proposición se repite de manera
opuesta.
ii) Respuesta: Proposición externa y la otra
Son identidades lógicas que sirven para transformar no común.
o simplificar esquemas en otros equivalentes. Es p  (p  q)  p  q
una relación que existe entre 2 esquemas que tiene p  (p  q)  p  q
sus matrices finales idénticas, de tal manera que al
unirlas biimplicativamente () su resultado es e) Doble Negación (involución)
tautología.
Ejemplo: Consiste en agregar o quitar negaciones de
p q pq  p  q manera par.
V V V V F V V pp
V F F V F F F
F V F V V F V f) Ley de Morgan: Sólo (,).
F F V V V V F
Cuando tengamos esquemas conjuntivos o
disyuntivos débiles negados externamente o
Matriz final sin negar.
(tautología) 1) (p  q)  p  q  p | q
 Los esquemas son equivalentes. 2) (p  q)   p   q  p  q
LEYES DE EQUIVALENCIA
3) p  q  ( p   q)
4) p  q  ( p  q)
a) Ley Conmutativa
g) Definición de Implicador
Todos los conectores menos los condicionales
son conmutativos. Se permutan (cambiar el
(Debemos ubicar el antecedentes y
orden) las variables sin afectan el resultado.
consecuente). Negamos el antecedente,
1) p  q  q  p
cambiamos el implicador (flecha) en disyunción
2) p  q  q  p
débil y el consecuente permanece constante.
3) p  q  q  p
4) p  q  q  p p → q  p  q
5) p  q  q  p
6) p | q  q | p
pqpq
b) Ley Asociativa
h) Definición del Biimplicador
Sólo (,,, ). Cuando los conectores son
iguales. Asociar es agrupar de manera Es la conjunción de condicionales, o también
conveniente unos con otros. disyunción de conjunciones.
1) p  q  r  (p  q)  r  p  (q  r) p  q  (p → q)  (q → p)
 (p  q)  (q  p)
2) p  q  r  (p  q)  r  p  (q  r)  (p  q)  (p  q)
3) p  q  r  (p  q)  r  p  (q  r)
i) Definición de Disyunción Fuerte
4) p  q  r  (p  q)  r  p  (q 
r) Es la negación de la biimplicación.
c) Ley Distributiva p  q  (p  q)  (q  p)
 (p  q)  (p  q)
Sólo (, , →, →)
Es repartir la proposición externa a cada una de j) Ley Contraposición
las proposiciones internas.
1) p  (q  r)  (p  q)  (p  r) Sólo (→,), se conmutan las variables,
2) p  (q  r)  (p  q)  (p  r) manteniendo las flechas constantes y negando
3) p → (q  r)  (p → q)  (p → r) ambas variables.
4) p → (q  r)  (p → q)  (p → r) 1) p → q  q → p
5) 2) p  q  q  p
d) Ley de Absorción
Sólo (, ); se utiliza para reducir esquemas. k) Ley de Complemento
1. Absorción I:
i) Una proposición se repite de manera Sólo (, ), se utiliza para proposiciones
idéntica. opuestas por su signo.
ii) Respuesta: Proposición que se repite. 1) p  p  F (contradicción)
p  (p  q)  p 2) p  p  V (tautología)
p  (p  q)  p
l) Ley de Idempotencia
2. Absorción II:

SEMANA Nº 04
TEMA: “EQUIVALENCIAS LÓGICAS I “
Sólo (, ), se utiliza para eliminar la
redundancia.
1) p  p  p
2) p  p  p
m) Ley identidad
Sólo (, ), se utiliza para proposiciones junto

a esquemas (tautológicos = V) o
(contradictorios = F).
1) p  V  p
2) p  V  V
3) p  F  F
4) p  F  p
NOTE 5:
1. Relación: “” y “”
a) p  q  (p  q)
 p  q
 p  q
 p  q
b) p  q  (p  q)
 p  q
 p  q
 p  q
2. Otras identidades:
a) p  p  V
p  p  F
pp F
p  p  V
b) p Vp
p  F  p
p  V  p
p F p

SEMANA Nº 06
TEMA: Circuitos Lógicos
CIRCUITOS LÓGICOS
Son las representaciones graficas de los esquemas moleculares o atómicos. Son modelos de funciones
lógicas aplicadas fundamentalmente al campo de la electrónica y la cibernética. Existen dos tipos de
circuitos.
1. CIRCUITOS LÓGICOS: El valor de verdad de una proposición puede asociarse al pasaje de la

corriente en un circuito eléctrico controlado por un interruptor.
2. ELEMENTOS:
➢ Conmutador (llave): Permite pasar o no información o corriente en un sistema. Es representados

por las variables proposicionales. También se le conoce como interruptor.
Los interruptores tienen sólo dos estados:
a) C. Cerrado: Pasa información o corriente
  V T 1 (Foco encendido)
b) C. Abierto: No pasa información o corriente.
  F  ⊥0  (foco apagado)
➢ Cables: representado por las líneas, que indican el camino por donde circula la corriente eléctrica; por
lo tanto, estás se pueden deslizar, alargar, etc.
➢ Foco: El objetivo del circuito es encender o apagar el foco u otro dispositivo. El foco tiene sólo dos
estados:
3. TIPOS DE CONEXIÓN
A. CIRCUITO EN SERIE (CONJUNCIÓN): Los interruptores están conectados en serie, cuando

pertenecen al mismo cable (misma línea de acción), es decir uno a continuación de otro (en
secuencia). Consideremos dos interruptores p y q, conectados en serie: La información pasa por
un solo camino (alternativa) y el conector principal es
p
. pq p–q  q  p
B. CIRCUITO EN PARALELO: (DISYUNCIÓN DÉBIL): Los interruptores están conectados en

paralelo, cuando la corriente tiene más de un camino para circular y llegar hasta el foco, cuando
hay varias alternativas. Consideremos dos interruptores conectados en paralelo.
p p
pq   p
q q
q
C. CIRCUITO SERIE – PARALELO: Representa a un esquema molecular y viceversa.
Representación gráfica

SEMANA Nº 06
TEMA: Circuitos Lógicos
Representación Simbólica
B
A
C [ A  (B  C)]  (D  E)
D E
RECOMENDACIONES:
1. Para graficar circuitos
Los esquemas deben estar sólo en términos de “” y “”, para el resto de conectores aplicar
equivalencias de tal manera que lo expresa en “” y “” como principales.
p p
Ejemplo: p  q  (p  q)  (p  q) 
q q
2. Simplificación de circuitos: Para simplificar circuitos se sigue los siguientes pasos:
1. Si el circuito está dado en forma gráfica lo primero será formalizarlo.

2. Haciendo uso de las leyes de equivalencias lógicas deberás proceder a la simplificación de la
expresión obtenida del gráfico.

SEMANA Nº 09
TEMA: “Proposiciones Categóricas “
Proposiciones Categóricas
Las proposiciones categóricas Sirven para establecer relaciones de inclusión o exclusión ya sea
total o parcial entre clases o conjuntos.
También están definidas como el estudio de la estructura interna de la proposición
1. Cuantificadores Lógicos: Son los símbolos que determinan la cantidad de un conjunto.
a) C. L. Universal: x, se lee; para todo “x”, Toma todos los elementos del conjunto.
a.1) C.L. Universal Afirmativo: x (Sx→Px); toma todos los elementos del conjunto para
incluirlos.
Traducción verbal:
✓ Todo x
✓ Cada x
✓ Cualquier x
✓ Cualquiera que sea x
✓ Quienquiera que sea x
✓ Todos los x
✓ Todo lo que sea x
✓ Los x, las x, etc
Ejemplo:
✓ Los Jóvenes son tranquilos: x(Jx → Tx)
a.2) C.L. Universal Negativo: x (Sx→Px); Toma todos los elementos de un conjunto
para excluirlos.
Traducción verbal:
✓ Ningún x
✓ Nadie x
✓ Nada x
✓ Ni siquiera x
Ejemplo:
✓ Ningún niño es tranquilo: x (Nx→Tx)
b) C. L. Existencial (particular): x, se lee existen “x”.Toma algunos elementos del

conjunto.
b.1) C.L. Existencial afirmativo: x (SxPx); Toma algunos elementos de un conjunto

para incluirlos.
Traducción Verbal:
✓ Algunos x
✓ Hay x
✓ Existe al menos un x
✓ Alguien, algo, alguno que sea x
✓ Muchos, varios, casi todos x
✓ Tantos, muchos, la mayoría de x
✓ Hay exactamente un x
✓ Al menos un x existe
✓ Existe siquiera un x
✓ Casi todo x
✓ Pocos x, etc.

SEMANA Nº 09
Ejemplo:
✓ Por menos una mujer es celosa: x (Mx Cx)
b.2) C.L. Existencial Negativa: x (SxPx); Toma algunos elementos del conjunto
para excluirlo. Además, toma las mismas traducciones verbales que el existencial
afirmativo, pero con el verbo negado.
Ejemplo:
✓ Muchas mujeres no trabajan: x (MxTx)
REGLA PARA PROPOSICIONES UNIVERSALES:

“Cuando tengamos proposiciones universales (afirmativa o negativas) y el verbo este negado,
esta negación actúa como externa”.
Ejemplo:
✓ Todo abogado no es honesto: x (Ax→Hx)
1. CASOS PARTICULARES DE FORMALIZACIÓN DE PROPOSICIONES CATEGORICAS.

a) Sólo todo A es B = B a A.
b) Solamente los A son B = B a A.
Formas Típicas (clásicas o antiguas) de Las Proposiciones Categóricas:
a) a → S a P  Todo S es P  x (Sx→Px)
b) e → S e P  Ningún S es P  x (Sx→Px)
c) i → S i P  Algún S es P  x (SxPx)
d) o → S o P  Algún S no es P  x SxPx)
REPRESENTACIÓN
FORM
REPRESENTACIÓ SIMBÓLICA CON

TÍPICA
REPRESENTAC
N TIPO CUANTIFICADORES
IÓN LITERAL
SIMBÓLICA
A
a Todo S es P SaP Universal Afirmativo x (S x → Px )
e Ningún S es P SeP Universal Negativo x (S x →  Px )

Particular
i Algún S es P SiP x (S x  Px )
Afirmativo
x (S x   Px )
o Algún S no es P SoP Particular Negativo
NOTA
Relaciones (INCLUSIÓN Y EXCLUSIÓN)

1. S a P=Inclusión total
2. S e P= Exclusión total
3. S i P=Inclusión parcial
4. S o P= Exclusión parcial
2. Inferencias Inmediatas:
a) Teoremas de Morgan:
1) x x

SEMANA Nº 09
2) x x
3) x (Px) x (Px)
4) x (Px) x (Px)
b) Por Negación:
1) S a P (S o P)
2) S e P (S i P)
3) S i P(S e P)
4) S o P (S a P)
Universal → Universal : a  e
c) Obversa (Equipotencia): 
Existencial → Existencial : i  o
Se obteniendo manteniendo constante el sujeto y cantidad, cambiando de calidad a
la vocal y negando y complementando el predicado.
1) S a P  S e P
2) S e P  S a P
3) S i P  S o P
4) S o P  S i P
 Afirmativa → Afirmativa
d) Conversa: 
Negativa → Negativa
d.1.) Conversa Simple (lineal): Se obtiene conmutando el sujeto y predicado.

1) S e P  P e S
2) S i P  Pi S
d.2) Conversa Accidental: Válida para inferir, pero no como equivalente. Se obtiene
conmutando sujeto y predicado, además cambiando la cantidad a la vocal
1) S a P → Pi S
2) S e P → P o S
NOTA: S o P → No tiene conversa válida.
e) Cuadro de Boecio (cuadro de tradicional de oposición): Llamado también cuadro

de oposiciones, es un gráfico atribuido al filósofo medieval Boecio, que muestra
las relaciones entre estas cuatro formas típicas de las proposiciones categóricas.
A E
I O

SEMANA Nº 10
TEMA: “Diagramas de Venn “
Representación gráfica de proposiciones
categóricas. forma booleana
1. Elementos: b) S e P  S P = ;
a) Las Rayas (zona sombreada)
Sirven para representar zonas vacías,
representaremos las proposiciones U
universales (a, e). forma booleana
S P
= c) S i P  S P  ; x
b) Las “x”
Sirve para representar zonas donde
existen elementos; representaremos las forma booleana S P
proposiciones existenciales (i, o).
x= d) S o P  S P  ; x
Ejempl:
S CASOS PARTICULARES
1. = ✓ Proposición: “Todo no S es no P”
S P
S
2. x  U
S a P S e P  P eS  P aS
S
3. → No definida
Mediante el Álgebra de Boole: S  P = 
✓ Proposición: “Todo no S es P”
2. Método para diagramar (llevar a forma
booleana)
i) Intersectar las clases o conjuntos.
=  ; sólo (a, e)
ii) Hacer S a P S e P
  ; sólo (i, o)
Mediante el Álgebra de Boole: S P = 
iii) Negar o complementar el segundo 1. Validez de Inferencias por

conjunto (predicado) Sólo (a, o) Diagramas de Venn.
Cuando al diagramar las premisas la
3. Diagramando: conclusión se puede leer en el gráfico
forma booleana (es decir resulta graficada).
4. Validez de Inferencias por Diagramas de
a) S a P  S P = Venn.
Cuando al diagramar las premisas la
conclusión se puede leer en el gráfico (es
decir resulta graficada).
S P
Ejem:
P1: M e P  M  P =
P2: S a M  S  M = 
C: S e P  S  P =

SEMANA Nº 11
TEMA: “Silogismos Aristotélicos “
Son inferencias mediatas formadas por tres proposiciones categóricas, de las cuales 2 son
premisas y 1 es conclusión.
P1: M a P  Premisa mayor

P2: S a M  Premisa menor
C: S a P  Conclusión
Además: S: Término menor

P: Término mayor
M: Término medio
a) Reglas Básicas: Sólo sirven para concluir sin garantizar la validez. La conclusión está
siempre en menor cantidad o calidad.
NOTE: a = U.A; e = U. N; i = E. A; o = E. N.
1) U 2) U 3) A 4) A 5) E
U E A N E
U E A N No válido
6) N
N
No válido
b) Figuras: Son las distintas posiciones que toma el término medio en las premisas; existen 4
figuras.
I) P1: M P II) P1: P M

P2: S M P2: S M
C: S P C: S P
III) P1: M P IV) P1: P M

P2: M S P2: M S
C: S P C: S P
c) Modos: Todas las combinaciones posibles que se pueden hacer con las cuatro vocales en
un silogismo aristotélico. Existen un total de 256 modos posible y sólo 15 válidos
demostrables en matemática moderna.
I) DARII (AII) II) FESTINO (EIO)

FERIO (EIO) CESARE (EAE)
BARBARA (AAA) CAMESTRES (AEE)
CELARENT (EAE) BAROCO (AOO)
III) DATISI (AII) IV) CAMENES (AEE

DISANIS (IAI) DIMARIS (IAI)
BOCARDO (OAO) FRESISON (EIO)
FERISON (EIO)
Docente: Maribel R. Yarlequé Zavaleta Asignatura: Razonamiento Lógico Modalidad: Regular

- Ciencias
Seguimos siendo
SEMANA Nº 11
TEMA: “Silogismos Aristotélicos “
NOTE: Los nombres son una manera práctica para aprender los modos, ya que el modo es
solo la combinación de de vocales.
d) Métodos para determinar validez de silogismos:
1. Por figuras y modos
Ejemplo: P1: K e T
P2: X a K
C: X e T
✓ Fig. I
✓ Modo: e a e  I
Por lo tanto es Válido.
2. Por Diagramas de Venn:
Se grafican las premisas y la conclusión debe resultar graficada.
Ejemplo: P1: B a C  B  C = 
P2: C e A  C  A = 
C: A e B  A  B=
 Es válido
3. Por Inferencias: Se aplican las reglas de inferencia.
Recordar: a) S a P  S → P
b) S e P  S → P
c) S i P  S  P
d) S o P  S  P
Ejemplo: P1: C a B  C → B
P2: A a C  A → C
C: A a B  A → B (S.H.P.)
 Es válido

- Ciencias
Seguimos siendo
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

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.

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.

 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.

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:
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:
“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.
<

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 { }

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”
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
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

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.

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
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).

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”.

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

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
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
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.

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
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

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.

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)

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
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”

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)

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”

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

S
S   (hay elementos).
x

S   (no hay elementos).
S

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

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

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

SEMANA Nº 03
TEMA: “VERDAD FORMAL
El objetivo principal es encontrar los valores de verdad de la proposición (V = verdadero, o F=

falso). Para ello utilizaremos tablas de verdad o algún otro método.
1. LAS TABLAS DE VERDAD: Es una matriz de columnas y filas que permiten representar un
razonamiento y hallar su validez.
Esquema:
VARIABLES (n) ESQUEMA LÓGICO
2n Matriz de verdad
Nº de combinaciones Del esquema
• Las letras V – F indican valores de verdadero y falso.

• V = 1, F = 0
2. CLASIFICACIÓN DE LAS TABLAS DE VERDAD POR LA NATURALEZA DE SU MATRIZ

DE VERDAD:
TAUTOLOGIA
CONTRADICTORIO(inconsistencia) CONSISTENTE O
(V = T = 1 = foco encendido)
(F = ⊥ = 0 = foco apagado)) CONTINGENTE(Q)
Si el resultado final contiene sólo Si el resultado final presenta sólo valores Si el resultado final contiene
valores verdaderos. falsos. valores verdaderos y falsos.
3. TABLAS DE VERDAD DE LOS CONECTORES LÓGICOS
REGLAS DE OPERACIÓN
CONECTIVOS SIMBOLICAMENTE VALORES DE VERDAD

Sólo: V  V = V; en otro caso “F”
Conjunción pq
Sólo: F v F = F; en otro caso “V”
Disyunción Incluyente pq
Sólo: VF
= V; en otro caso “F”
Disyunción Excluyente pq FV
Sólo: V → F = F; otro caso “V”

Implicación p→q
Sólo: F  V = F; en otro caso “V”
Replicación pq
Sólo: VV
Biimplicación p q FF
Flecha de Nicod o Negación Sólo: F  F = V; en otro caso “F”

pq
Conjuntiva
Barra de shaefer o Sólo: V | V = F; en otro caso “V”
pq
Negación Disyuntiva
Negación p V=F
Para formar una tabla de verdad debemos tener en cuenta lo siguiente:

SEMANA Nº 03
TEMA: “VERDAD FORMAL
• La combinación de las proposiciones responde a la forma 2n donde “n” es el número
de proposiciones simples.
Ejemplo:
• Con dos variables: 4 arreglos
• Con tres variables: 8 arreglos
• Con cuatro variables: 16 arreglos
• Con cinco variables: 32 arreglos
• Con seis
EN RESUMEN:
p qpqpqp→qpqpqpqpqp|q
VV V V V V F V F F
VF F V F V V F F V
FV F V V F V F F V
FF F F V V F V V V

SEMANA Nº 07
TEMA: “Inferencias Lógicas I “
a) Inferencias Inmediatas: Cuando la conclusión se obtiene directamente de una sola
premisa.
P1: premisa 1
C: Conclusión
b) Inferencias Mediatas: Cuando la conclusión se obtiene de dos o más premisas.
P1: premisa 1
P2: premisa 2
Pn: premisa n
C: conclusión
En forma equivalente
(P1 P2 … Pn) → C
LEYES DE INFERENCIA LÓGICA
I. MODUS (→, , )
a) Modus Ponendo Ponens (M.P.P) “Método afirmando afirma”:Es un argumento en

que al afirmar el antecedente. Se concluye afirmando el consecuente. También se le
conoce como “Afirmando, Afirma”. Solo se da en la operación de implicación (→) y
1) P1: p → q 2) P1: p  q
P2: p P2: q
q p
3) P1: p ← q 4) P1: p  q
P2: q P2: p
p q
b) Modus TollendoTollens (M.T.T.) “Método Negando Niega”: Es un argumento en la

que al negar el consecuente se concluye negando el antecedente. También se le conoce
como “Negando, Niega”. Sólo se da en la operación Implicación (→ ) y biimplicación ().
1) P1: p → q 2) P1: p  q
P2: q P2: p
 p  q
3) P1: p ← q 4) P1: p  q
P2: p P2: q
 q  p

- Ciencias
Seguimos siendo
SEMANA Nº 07
II. Silogismos:
a) Silogismos Disyuntivo (S.D.) Solo: “v,”: Si una proposición se niega la otra se

afirma.
1) P1: p  q 2) P1: p v q
P2: p P2: q
 q  p
3) P1: p  q 4) P1: p v q
P2: q P2: p
 p  q
b) MODUS PONENDO TOLLENS (M.P.T). “Afirmo, Niego”: Es un tipo de silogismo donde

interviene la disyunción excluyente. Si en una premisa se tiene dos proposiciones unidas con
la disyunción excluyente, y en otra premisa se afirma una de ellas, concluimos en la negación
de la otra premisa. (Recuerda que en la disyunción excluyente sólo se cumple una de dos
proposiciones)
1) P1: p  q 2) P1: p  q
P2: p P2: q
 q  p
c) Silogismos Hipotético Puro (S.H.P.): El SHP hace posible extraer como conclusión, otra
proposición condicional cuyo antecedente sea el de la primera premisa y cuyo consecuente
sea el mismo de la segunda premisa. (Esta ley es llamada también ley de transitividad)
 →, ,  
 →, ,  
 
1) P1: p → q 2) P1: p  q P1: q  p
P2: q → r P2: q  r  P2: q  r
 p→r  pr  pr
III. Ley de Conjunción (adjunción); sólo (): Si se tienes dos proposiciones cualesquiera,
como premisas, se puede dar como conclusión una proposición que sea la conjunción de
las premisas establecidas.
P1: p
P2: q
pq
IV. Ley de Simplificación; “sólo ()”: Se elige cualquiera de las dos o también las dos
posibilidades.
P1: p  q
C1: p
C2: q
V. Ley de Adición (nuevo factor); sólo “v”: 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.

- Ciencias
Seguimos siendo
SEMANA Nº 07
P1: p ; “x” cualquier proposición
pvx
VI. Dilemas  →, ,  
 →, ,  
 

    

VII.
A) Dilema Constructivo (D.C): Dadas dos proposiciones condicionales; si afirmamos los
dos antecedentes disyuntivamente; se puede concluir en la afirmación disyuntiva de los
consecuentes.
P1: p → q
P2: r → s
P3: p v r
 q vs
B) Dilema Destructivo (D.D.): Dadas dos proposiciones condicionales; si negamos los

dos consecuentes alternativamente; se puede concluir en la negación alternativa de los
antecedentes.
P1: p → q
P2: r → s
P3: q vs
 p v r
NOTA:
Ley de absurdo: TRANSITIVIDAD SIMÉTRICA
P1: p → (q q) P1: p  q

P2: q r
 p  p r

- Ciencias
Seguimos siendo
A.P.U. “EXITUS” Ciclo 2014
Todo es energía x (Ex)
RAZONAMIENTO
LÓGICO
MÓDULO
TEORICO
Piura : Calle Arequipa #300 - Telf. 331669/323644 www.academiaexitus.edu.pe
Sullana : Calle Leoncio Prado #226 Telf. 501094 [email protected]
Piura : Calle Arequipa #300 - Telf. 331669/323644 www.academiaexitus.edu.pe 1

INTRODUCCION
El presente texto tiene por objetivo facilitar la comprensión de razonamiento lógico, para
ello se está utilizando información precisa y clara de manera que cualquier estudiante
entienda, ya que es un curso muy importante como aptitud académica en todos los niveles
educativos para así tener pensamientos correctos o validos, se recomienda a los
estudiantes:
 Leer cuidadosamente y analíticamente cada tema en su parte teórica.
 Entrenarse en la repetición de los ejemplos desarrollado, haciendo ejemplos parecidos
he ir comprendiendo y asimilando el procedimiento lógico seguido.
 Tratándose de reglas propiedades o leyes, estas deben ser memorizadas y
comprendidas en su aplicación.
Por esto el objetivo que nos proponemos básicamente es que el estudiante de cualquier
nivel, ejercite y desarrolle su actividad intelectual ayudándose de la reflexión y el correcto
manejo de las reglas leyes lógicas, he inicie su educación rigurosa y disciplinada a nivel
intelectual que le permita acoplarse coherentemente a la investigación científica.
“Ideas for life in the planet"

Sir Kings

LÓGICA
(Padre de la lógica Aristóteles)
La lógica es la ciencia autónoma que estudia el 2. Lenguaje Artificial: Aquel que se ha creado por
pensamiento humano, utilizando y deduciendo un el hombre en forma consciente con fines
conjunto de principios, reglas y leyes; para producir prácticos para conocer y transformar el mundo.
razonamientos correctos o válidos.
Ejemplo:
El pensamiento humano está conformado por tres  Lenguaje de las Ciencias.
formas:  Lenguaje Terminológico.
 Lenguaje Formalizado (Lenguaje lógico
1. Concepto: Unidad elemental o más sintetizada del
yo matemático)
pensamiento: Por ejemplo:” hombre”, “carpeta”, etc.
 FUNCIONES DEL LENGUAJE: Tenemos tres
2. Juicio: Afirma o niega característica o propiedades
funciones básicas desde el punto de vista lógico.
del concepto. Por ejemplo: “El gato es un felino”, “la
matemática es una ciencia”, etc.
1. Función Expresiva o Emotiva (no transmite
conocimiento) Sirve para expresar emociones,
3. Razonamiento (Raciocinio): Se caracteriza por ser
sentimientos o estados de ánimo del hombre. No
generador conocimiento nuevo o conocido a partir de
tiene valor de verdad (ni V, ni F)
los que ya conocemos. Por ejemplo:
“Si estudias y practicas matemáticas entonces
Ejemplo:
resolverás problemas; sabemos que no resuelves
 ¡Feliz día!
problemas. Por lo tanto no estudia o no practicas
 “Deseo viajar a Miami”.
matemáticas”
 “Viva la paz mundial ”
 ¿Si supieras cuanto te estimo?
ELEMENTOS QUE INTERVIENEN EN EL ACTO DE
PENSAR
2. Función Directiva o Imperativa: (Genera
acción, Conlleva una respuesta) Sirve para dar
a) Sujeto Cognoscente: Es el ser humano, quien es el
órdenes, mandatos, pedidos o súplicas. No tiene
único ser capaz de realizar actividad de pensar.
valor de verdad (ni V, ni F). Su objeto es influir
en la conducta de los demás.
b) Objeto Cognoscente: Objeto de la realidad que
puede ser concreto (cuidad), abstracto(números) o
Ejemplo:
psicológico (Sentimientos)
 ¡Debes ingresar a la universidad!
 ¿Quién es Jennifer?
c) Pensar: Proceso u operación mental, intelectual
 Préstame tu ordenador, por favor
generadora de pensamientos o ideas acerca del
mundo.
3. Función Informativa o Descriptiva (Es la
función que le interesa a la lógica, transmite
Formas de pensar  Forma de pensamiento
conocimiento): Sirve para describir o explicar la
realidad. Comunica información conocida o
 Aprehensión  Concepto nueva que tiene valor de verdad único (o V; o F)
 Juzgar  Juicio
 Razonar  Razonamiento Ejemplo:
 “Los celulares son smart”
d) Pensamiento: Producto o resultado del proceso de  “Paris es una ciudad del Reino Unido”
pensar (concepto, juicio y razonamiento).  “313 es un numero capicúa”
e) Lenguaje: Medio para explicar, materializar, DIVISIÓN DE LA LÓGICA
manifestar, comunicar o expresar nuestros
pensamiento. a) Lógica Formal (matemática, simbólica, moderna)
 TIPOS DE LENGUAJE Estudia el pensamiento humano teniendo en cuenta
sólo su estructura. Se divide en. Lógica
1. Lenguaje Natural: Aquel que existe de manera Proposicional (Bivalente y polivalente (Modal y
espontánea. Difusa)) y Lógica de Predicados (Cuantificacional,
tradicional, clasial).
Ejemplo:
 Lenguaje Gestual.
 Lenguaje Verbal.
 Lenguaje mímico.

b) Lógica Objetiva (dialéctica, general) 2. Razonamiento Deductivo: Cuando las premisas

Estudia la relación pensar-pensamiento-realidad- son universales y la conclusión específica ( Lo
lenguaje, es decir estudia el pensamiento humano utilizan las ciencias formales)
teniendo en cuenta sólo el su contenido de tal
manera que nuestros pensamientos tengan Universal (General) Específico o particular
correspondencia en la realidad
Ejemplo:
 CIENCIA 1. Ningún inteligente se enamora
Es un conjunto de conocimientos bien definidos que 2. Algún honesto se enamora
------------------------------------------
se obtienes atreves de un proceso científico. Las
ciencias se clasifican en:
 Algunos honestos no son inteligentes
3. Razonamiento Transductivo: Premisas y
1. Ciencias Formales: Aquellos que su objeto de conclusión tienen mismo grado de generalidad.
estudio abstracto, ideal, mental, racional preciso
exacto, artificial, universal, etc. Particular  Particular.
Universal  Universal.
 Lógica Específico  Específico.
 Matemática
Ejemplo:
1. Luisa es menor que Ana
2. Ciencias Fácticas (experimentales): Aquellas en 2. Ana es menor que Anguie
que su objeto de estudio es concreto, material, real, ---------------------------------------------
etc.  Luisa es menor que Anguie
Histórica
 CC.SS Economía
Geografía
NOTA IMPORTANTE:
Etc.
 La validez de un estructura (formula lógica) se
Física determina si se sujeta o no a las regla o leyes
 CC.NN. Biología de la lógica.
Química
Cumple Regla  Razonamiento  Valido
Nota: La lógica se ubica dentro de las ciencias formales,
entonces todo lenguaje lógico se caracteriza por ser; No cumple Razonamiento  Invalido
preciso, exacto, formal, simbólico, artificial, universal, etc.
b) Por el número de premisas:
 RAZONAMIENTO
Un razonamiento se caracteriza porque a través de el
1. Razonamiento Inmediato: Cuando la
se obtiene nuevos conocimientos a partir de un
conjunto de premisas (Informaciones) que ya
conclusión se obtiene directamente de una sola
conocemos. premisa.
 Características : P1: Premisa

 Debe ser concluyente. C: conclusión
 La conclusión debe extraerse de las premisas.
 La propiedad más importante es la validez o Ejemplo:
corrección lógica (Ley de inferencia) 1. Ningún es distraídos (premisa)
---------------------------------------
 Clases de razonamientos: Se clasifican teniendo  No hay distraídos (Conclusión)
en cuenta dos criterios.
2. Razonamiento Mediato: Cuando la conclusión
a) Por la forma de argumentar: se obtiene de dos o más premisas.
1. Razonamiento Inductivo: Cuando la conclusión P1: Premisa 1
tiene más generalidad que las premisas. (lo P2: Premisa 2
utilizan las ciencias fácticas)
Pn: Premisa n
Específico o particular  Universal (General)
C: Conclusión
Ejemplo:
1. Jennifer estudia matemática. Ejemplo:
2. Mary estudia matemática. 1. Todo espía es inteligente (premisa 1)
3. Paola estudia matemática. 2. Todo militar es espía (premisa 2)
-------------------------------------- -------------------------------------------------------
 Todas estudian matemática.  Todo militar es inteligente (conclusión)

CAPITULO I
LÓGICA FORMAL
La lógica formal es la ciencia que estudia el Ejemplo:
pensamiento humano considerado sólo su  logb N  X  N  b x , b  0, b  1, N  0 .
ESTRUCTURA, y clasifica las expresiones en:
Enunciado, sólo enunciado, enunciado abierto, Seudo -  El tiranosaurio al igual que todos los terópodos,
proposición, proposición y enunciado cerrado. no eran bípedos.
 Los números naturales son enteros.
a) Enunciado: Toda expresión lingüística o matemática  Sen(2 X )  2SenXCosX
(puede tener o no valor de verdad).
f) Enunciado Cerrado: Es una proposición que se
Ejemplo: admite como verdad universal sin demostración.
 “El EURO es una moneda la unión europea ” Aquí están las identidades matemáticas, lógicas,
 x+y=7 definiciones y leyes científicas.
 La tecnología y la cibernética.
 “Japón tiene tecnología militar y civil “ Ejemplo:
 “Los ángeles son divinos”. o
 “El Angulo recto mide 90 ”. (V) Es por las
b) Solo Enunciado: Enunciado que no tiene valor de definiciones elementales de la geometría.
verdad (ni V, ni F); aquí están los lenguajes
expresivos y directivos; oraciones interrogativas,  “p  q  q  p ”. (V) Es una Ley lógica.
dubitativas, desiderativas, creencias religiosas,
también personajes literarios o ficticios, refranes,  Log (A.B)=Log (A) + Log (B)”. (V) Es una
sinsentidos, etc. Identidad matemática.
Ejemplo: GENERALIDADES
 ¿Cómo se origino la tierra?
 ¡Te extraño tanto, aunque tú no lo creas! SON No son Proposiciones
 a+b
 “ojos que no ven, corazón que no siente” PROPOSICIONES
(SON SOLO ENUNCIADOS)
c) Seudo Proposición: Es un solo enunciado absurdo,
sin sentido y no pertenece al mundo real (ni V, ni - Las oraciones - Los hechos o personajes ficticios
F). aseverativas, - Los proverbios, modismos o
declarativas o refranes
Ejemplo: afirmativas - Creencias religiosas,
- Las leyes científicas supersticiones y mitos
 Los gatos hablan ingles. - Las fórmulas en - Las interrogaciones
 La luna está formada de queso. general - Las órdenes imperativas
- Los esquemas lógicos - Las interjecciones
d) Enunciado Abierto (función proposicional): Es un - Las enunciados - Frases célebres
enunciado formado por variables implícitas (el, ella, cerrados o definidos - Los deseos, dudas y súplicas
ellos,…) o explícitas(x, y, z,…a, b, c,…). Admite
doble valor de verdad a la vez al reemplazar las
variables por datos conocidos.
PROPIEDADES DE LA PROPOSICIÓN
( propiedades diferenciales o intrinsicas)
Ejemplo: Toda proposición tiene 3 propiedades:
 a+b=8
 Ella estudia ingeniería. 1. CANTIDAD: Por el número de elementos.
 Él es doctor en matemática.
a) Universales (generales): Toma todos los
e) Proposición: Enunciado que tiene único valor de elementos (extension) de un conjunto ya sea
verdad (o V, o F) respecto a una realidad. Son para incluir o excluir.
oraciones (aseverativas o declarativas) que tienen
sentido por sí solas, cumplen función informativa del Ejemplo:
lenguaje.  “Los hombres son fieles”.
 “Todo animal es mortal”
 “Ningún abogado es honesto”

b) Particulares (existenciales): Toma algunos Ejemplo:

(como mínimo un elemento y como máximo
todos menos uno) elementos ya se para incluir  La suma de los ángulos internos de un
o excluir de un conjunto. polígono de n lados es 180°(n-2) (V)
(Geometría)
Ejemplo:
 “La mayoría de celulares son coreanos”.  Los millonarios tienen mucho dinero (V)
 “Hay policías que no son honestos”. (lógica)
 “Casi todo abogado es corrupto”
 La sangre es color rojo (v) (Lógica )
c) Individuales (singulares): Toma elementos
específicos, conocidos o puntuales de un c) Problemáticas: (posibles, probables,
conjunto. plausibles, futuras): son oraciones futuras.
Ejemplo: Ejemplo:
 Angelina Jolie es actriz americana.
 Facebook es una red social.  Dentro de 1000 años el agua se extinguirá.
 Steve Jobs fue fundador de Apple.  Aprobare el simulacro de examen.
2. CALIDAD (cualidad): Cuando analizamos el verbo CLASES DE PROPOSICIONES

de la proposición.
1. Proposiciones Simples (atómicas, elementales,
a) Afirmativas: Verbo afirmado (son, es, están) básicas, monadicas): Aquellas que no llevan
conectores lógicos (no se pueden separar).
Ejemplo:
 Todo Smartphone es tecnología de punta. Estas se dividen en:
 Vancouver esta en Canadá. a. Proposiciones simples Predicativas: Son
oraciones con sujeto y predicado.(tienen un solo
b) Negativas: Verbo negado(no son, no es, no sujeto y un solo predicado)
están)
Ejemplo:
Ejemplo:
 La tierra no es esfera.  La UNP es una institución pública.
 El pez no es carnívoro.  CNN es un medio de información internacional.
 Ningún país tiene armas químicas.
3. MODALIDAD: Cuando analizamos el valor de b. Proposiciones Simples Relacionales: Cuando

verdad (V o F) de la proposición: dos o mas sujetos están racionados por algún
término relacional (dependiente). Es decir
a) Asertóricas: (reales, fácticas, empíricas): S1 R S2 ó S1 y S2 R
Cuando su valor de verdad se verifica
comparando con la realidad material inmediata. ALGUNOS TÉRMINOS RELACIONALES SON:
Estas proposiciones describen hechos
concretos. (La mayoría Son proposiciones
relacionadas con las ciencias fácticas) Amigos, compadres…
Juntos, limítrofes.
Ejemplo: Gemelos, trillizos…
 El Perú tiene 1.285.215,60 km² de superficie Hermanos, primos…
(V) (Geografía). Términos Relacionales Enamorados.
Esposos.
 “Harvard” es nombre de una universidad Consecutivos.
inglesa ( F)( Historia) , ,, , , 
Norte, sur, este,..
 Los ribosomas de encargan de la digestión Etc.
celular. (V) (Biología)
b) Apodícticas (formales, necesarias,

analíticas): Estas proposiciones expresan OJO
verdades o hechos evidentes. Su valor de La “y” no siempre es un conjuntor (conector lógico),
verdad se verifica mediante análisis lógico pues a veces sólo actúa como un relacionante.
(cosas obvias) o matemático. (Son proposiciones
relacionadas con las ciencias formales)

Ejemplo: Algunas traducciones verbales del conjuntor son:

 Luisa y Karla son hermanas. Sean “A” y “B” proposiciones cualesquiera.
 30 - 4 = 10+3
 Chile está al norte de Perú.  AyB  No sólo A también B
 A además B  Siempre ambos A con
Nota: En el primer ejemplo anterior se simboliza con  A sin embargo B B
la variable “p” por ser simples ya que el término  A al igual que B  A también B
“HERMANAS” actúa como relacional (termino  A así como B  A aunque B
Dependiente). 
 A no obstante B A pero B
 A de la misma  A tal como B
2. Proposiciones Compuestas (coligativas,
manera B  A incluso B
moleculares, complejas): Aquellas proposiciones
que tienen uno o más conectores lógicos.  Tanto A como B  A es compatible con B
 Conector Lógico o constante lógica: Es un

operador que sirve para enlazar, conectar o unir
proposiciones elementales. Ejemplo:
 La historia es una ciencia fáctica así como la
matemática es una ciencia ideal.
CLASES DE CONECTORES  Angelina Jolie es actriz no obstante es
directora de cine.
a) Conectores Lógicos Monadicos: Es el conector
que enlaza una sola proposición.
2. Disyuntivas: Conector que plantea alternativa.
Ejemplo:
2.1 Disyunción Débil (incluyente):”p  q” se lee
La negación: Se simboliza () se lee (no) “p” o “q”. Es una proposición que permite o
incluye alternativas, es decir admitir la
Algunas traducciones verbales de la negación posibilidad ambas proposiciones a la vez en
son:
algún momento.
Consideremos “A” un proposición cualquiera
Algunas traducciones verbales de la disyunción
incluyente son:
 No A  De ninguna forma se da
 Nunca A que A
Sean “A” y “B” proposiciones cualesquiera.
 Jamás A  Es erróneo que A
 Tampoco A  Es incorrecto que A
 AoB  A excepto que B
 Es absurdo que A  Es incierto que A
 A salvo que B  A a menos que B
 Es inconcebible que A  En forma alguna A
 A menos que A, B  A o también B
 Es imposible que A  En modo alguno A
Ejemplo:
 El sir Kings es matemático o filosofo.
 La historia salvo que la geografía sean ciencias
Ejemplo:
fácticas.
Jennifer no es contadora: “A”
2.2 Disyuntiva Fuerte (excluyente o
cotravalorador): “p  q” se lee o “p” o “q”.
Es una proposición que admite que ocurra una
sola alternativa (casos excluyentes: estado civil,
b) Conectores Lógicos Binádicos (diádicos):
edad, estatura, etc.)
Conectores que enlazan dos o más proposiciones
elementales. Son todos los conectores menos la
Algunas traducciones verbales de la disyunción
negación (, , , , , ).
excluyente son:
1. La conjunción: “p  q” se lee ”p y “q”. Es una Sean “A” y “B” proposiciones cualesquiera.
proposición que permite que ocurran sucesos
simultáneos (juntos). Desempeña el papel de
 bien A o bien B  Ya bien A ya bien B
compatibilizador entre dos proposiciones.
 OAoB  A o solamente B
 A o B ( excluyente)  A o sólo B
 A o únicamente B

Ejemplo: 3.2. Replicador (Condicional Indirecto):
 Adriana Lima es casada o soltera. (sentido “p  q” se lee p” si “q”:

excluyente)
 O estudias en la UNP o estudias en la UDEP.
Algunas traducciones verbales del replicador son:
3. Condicionales: Es un conector que tiene relación de Sean “A= efecto” y “B= Causa” proposiciones
dependencia (Causa, efecto).
 A si B  A dado que B
3.1. Implicador (Condicional Directa):  A es condición necesaria  A ya que B
“p  q” se lee Si “p” entonces “q” para B  A puesto que B
 A porque B  A es condición de
Algunas traducciones verbales de la implicación son:  A se concluye de B que B
Sean “A= causa” y “B= efecto” proposiciones  A siempre que B  A en vista de B
 A es insuficiente para B  A pues B
 Si A entonces B  A es condición  A cada vez que B  A no implica a B
 Cuando A así pues B suficiente para B
 Con tal que A es obvio que  Ya que A bien se
B ve que B Ejemplo:
 En el caso de que A en tal  Siempre que A por  Viajo a Hawai dado que tengo dinero.
sentido B consiguiente B  Obtengo nota 20 en vista de que estudio en
 En virtud de que A es  Toda vez que A en casa.
evidente B consecuencia B
 Dado A por eso B  En la medida que A 4. Bicondicional (equivalorador): “p  q” se lee
 En cuanto A por tanto B de allí B “p” si y solo si “q”, Desempeña el papel de doble
 De A deviene B  En el caso de A en condicional. Llamada también la igualdad lógica.
 A sólo si B este caso B
 De A deducimos  De A derivamos B Algunas traducciones verbales de implicación son:
(inferimos, llegamos, Sean “A” y “B” proposiciones
concluimos) en B
 A si y sólo si B  A es lo mismo que B
Ejemplo:  A es equivalente a B  A si de la misma
 A siempre que y sólo forma B
 Si estudio entonces apruebo mis exámenes. cuando B  A es idéntico a B
 Ya que estudiamos en EXITUS; ingresamos a la  A por lo cual y según lo  A es condición
universidad. cual B suficiente y necesaria
 A se define como B para B
Ejemplo:
 Los animales comen carne por lo cual y según
lo cual son carnívoros.
 Resuelvo problemas de matemática si y solo si
postulo a ingeniería

CAPITULO II
FORMALIZACIÓN DE PROPOSICIONES
Es un proceso de transformar textos en esquemas  LA NEGACION:
lógicos (formula lógica), de tal manera que las formulas
solo presente variables, símbolos de agrupación y a. Negador Simple (Interna): “p” se leen no “p”.
conectores lógicos. Por lo general niega una proposición simple
Ejemplo: Ejemplo:
“CNN es un canal de noticias obstante ESPN es canal de
deportes”
El leopardo no es canino: “ A”
Se formaliza: p  q
Dónde: p= CNN es un canal de noticias .
b. Negación Externa: Niegan una o más
q= ESPN es canal de deportes.
proposiciones.
 =…no obstante…
Elementos Formales: REGLA PARA NEGACIONES EXTERNAS:
1. Variables Proposicionales: Son letras tomadas en Las negaciones externas comúnmente tienen la
orden correlativo que sirven para representar terminación “que” y generan símbolos de
proposiciones elementales sin considerar su valor de agrupación después de la terminación “que” y cierra
verdad. el símbolo generado cuando en el texto encuentra
p, q, r, … signos de puntuación (“.”, “,” y “;”).
A, B, C, …
A1, A2; A3, ….. Ejemplo:
2. Símbolos de agrupación: Sirven para separar y
agrupar proposiciones. Se generan cuando en un
1. Es mentira que no domino física a salvo que no
domine lógica.
texto encontramos signos de puntuación (“.”, “,” y
“;”); también cuando hay negadores externos y al Formula: (p  q)
aplicar jerárquica de conectores (ausencia de signos 2. Es objetable que trabajo en UNP, sin embargo
de puntuación). realizo deporte.
a) Paréntesis ( ) Formula: p  q
b) corchetes  
c) Llaves { }
TRADUCCIÓN VERBAL DE LOS
3. Conectores Lógicos: Operadores que sirven para CONECTIVOS:
conectar o enlazar proposiciones simples.
“”, “”, “”, “”, “”, “”, “”, “”
Sea “P” y “Q” proposiciones
OPERACIÓN 1. El conjuntor
SÍMBOLO LECTURA
LÓGICA
Símbolos: , , &
La conjunción  "y"
Traducción verbal se lee:
La disyunción PyQ
débil  "o"
P incluso Q
La disyunción P pero Q
fuerte ,  , , "o ... o ... "
P aunque Q
P al igual que Q
La implicador  "Si ... entonces... "
P tal como Q
El replicador  " ... si ..." P tanto que Q
P también Q
La bicondicional  "... si y sólo si ... " P así como Q
P vemos que también Q
La negación  , " no " P al mismo tiempo que Q
La negación P sin embargo Q
conjuntiva (flecha " Ni ... ni ... "
de Nicod)  P es compatible con Q
La negación P aun cuando Q
Disyuntiva (barra " No ...o no ... " P al mismo modo Q
de Sheffer)  P de la misma manera Q

P no obstante Q Ya que P es evidente Q

P sino Q De P derivamos Q
No sólo P sino también Q P implica Q
P asimismo Q Si P, Q
P a pesar de que Q Cuando P, Q
P a la vez que Q Como P, Q
P igualmente Q De P, Q
P de la misma manera Q Suponiendo que P, Q
Sin que P tampoco Q P sólo si Q
Cierto que P lo mismo que Q Sólo P si Q
Simultáneamente P con Q P es condición suficiente de Q
P más aún Q Una condición necesaria para P es Q
P además Q Como quiera que P por lo cual Q, etc.
P a la par que Q
P aun cuando Q 5. El replicador
P igualmente Q, etc.
Símbolos: , 
2. El disyuntor incluyente
Símbolos: , P si Q
Sólo si P, Q
Traducción verbal se lee: P porque Q
PoQ P siempre que Q
P a menos que Q Es condición necesaria P para Q
A menos que P, Q P para Q
P salvo que Q Para P es suficiente Q
P y bien, o también Q P puesto que Q
P excepto que Q P dado que Q
P o incluso Q P supone que Q
P o a la vez Q P pues Q
P ya bien Q P en vista de Q
P y/o Q P como Q
P a no ser Q, etc. P por cuanto Q
P debido a que Q
3. El disyuntor excluyente P cada vez que Q
P en razón de Q
Símbolos:  , , , , P en tanto Q
Para P es suficiente Q, etc.
oPoQ 6. El bicondicional
o bien P o bien Q
P o Q (en sentidos excluyentes) Símbolos: , 
P o solamente Q
P o únicamente Q
P o sólo Q
P si y sólo si Q
P no es equivalente a Q P siempre y cuando Q
No es equivalente P con Q
P se define lógicamente como Q
P no biimplica a Q, etc.
P es equivalente a Q
P es igual que Q
4. El implicador
P es idéntica a Q
Símbolos: , , CPQ P es condición necesaria y suficiente para Q
P siempre que y sólo cuando Q
P porque y sólo porque Q
Traducción verbal se lee: P entonces y sólo entonces
Si P entonces Q
Siempre que P por consiguiente Q
Ya que P bien se ve que Q
Con tal P es obvio que Q
Cuando P así pues Q
Toda vez que P es consecuente Q
Dado P por eso Q
En cuanto P por tanto Q
Cada vez que P consiguientemente Q

7. El negador De donde:
__
Símbolos: ~, P , ─P , P , NP p= viajo a Brasil.
q= estudiare doctorado en matemáticas
Traducción verbal se lee: r= conoceré sus playas.
Si … entonces… = 
a) Negadores internos: A la vez =
No P Por lo tanto, su formalización será: p  (q  r)
Nunca P
Jamás P NOTA: Caso contrario se tiene en cuenta los signos de
puntuación, siendo el conectivo dominante el que está
b) Negadores externos: fuera de todo signo de colección.
Es absurdo que P
Es inconcebible que P Ejemplo:
Es negable que P
No es el caso que P Es absurdo que Luisa se case, a menos que viaje a
De ninguna forma se da P
Japón si obtiene la visa de trabajo.
Es incierto que P
Es objetable que P
En modo alguno P De donde:
Es inadmisible que P
No acaece que P p= Luisa se casa.
No acontece que P, etc. q= Luisa viaja a Japón.
r= Luisa obtiene la visa de trabajo.
NOTAS: Es absurdo que =  ( … )
1. Flecha Nicod: A menos que =
(Negador conjuntor, inalternador) …si… =
Símbolos: A  B  A  B
 Luego su formalización es:  p  (q  r)
Ni “A” ni “B” 4. La proposición “p” o “q”, no siempre es débil (p q)
No “A” ni “B” ya que hay que analizar el sentido de la información.
Ni “A”, no “B”
Ejemplo:
Ejemplo:
 Amanda nació en Rusia o Brasil: “p  q”
“Angelina ni juega ni baila”: AB
5. Condicional:
2. Barra de Sheffer:
(Negador disyuntor, incompatibilizador, negación
alternativa): A B
Símbolos: AB  A  B - Antecedente - Consecuente
- Causa - Efecto
Traducción verbal se lee: - Cond. Suficiente - Cond. Necesaria
No “A” o no “B” - Cond. Innecesaria - Cond. Insuficiente
Ni “A” o ni “B”
Observaciones:
Ejemplo: “
“Luisa no viaja o no va la discoteca”: AB  Del enunciado proposicional, la proposición que
es suficiente, irá señalada con el inicio de la
3. JERARQUÍA DE CONECTORES. Se utiliza cuando flecha (la cola)
en un texto no hay signos de puntuación para
generar símbolos de agrupación.  Del enunciado proposicional, la proposición que
es necesaria, irá señalada con el fin de la flecha
(la cabeza)
Ejemplos:
1. A es condición suficiente para B = AB

Ejemplo 2. Para B es suficiente A = BA
3. Necesario es A, para B = AB
“si viajo a Brasil en entonces estudiare doctorado en 4. Suficiente es B, para A = BA
matemáticas a la vez conoceré sus playas”

EJEMPLO DE APLICACIÓN: Identificar los conectores:
1. “Habrá equilibrio en la balanza de pagos es idéntico Dado que :

a que todos los contribuyentes pagan sus Alternativamente : 
impuestos, en razón de que el Perú es un país Nunca :
progresista”. Se formaliza: No obstante :
Solución: Luego la formalización es: (pq)  (pr)
Identificar las proposiciones simples: 3. “Puesto que no es inobjetable que Marco viaje al
p=Habrá equilibrio en la balanza de pagos Ecuador no obstante a EE.UU., por lo tanto obtendrá
q=Todos los contribuyentes pagan sus impuestos. su visa; aunque no viajará a Ecuador”. Su
r=El Perú es un país progresista formalización es:
Identificar los conectores:

Resolución:
Es idéntico a que = 
En razón de que =  Identificar proposiciones simples:
La coma: En este caso nos indica agrupación de la
1era información (…), p=Marco viaja al Ecuador
q= Marco viaja a EE.UU
Luego la formalización es: (p  q)  r r= Obtendrá su visa
2. “La piscina está temperada dado que hay Identificar los conectores:
calefacción alternativamente la piscina nunca está
temperada no obstante habrá concurso de Puesto que… por lo tanto…: 
natación”. No es inobjetable que:   (…)
Se formaliza: No obstante: “”
Solución: Aunque: “
Identificar las proposiciones simples: Luego su formalización es: [  (p  q)  r]  p

p: La piscina está temperada
q: Hay calefacción.
r: Habrá concurso de natación

CAPITULO III
VERDAD FORMAL
El objetivo principal es encontrar los valores de verdad 3. Clases de Esquemas Lógicos: (Por su matriz
de la proposición (V = verdadero, o F= falso). Para ello final)
utilizaremos tablas de verdad o algún otro método. a. Esquema Tautológico: Cuando su matriz final
Tabla de Verdad: Nos permite representar un razonamiento tiene sólo valores verdaderos (V).
y hallar sus valores veritativos (valores verdaderos o Se denota: V = T = 1 = (foco encendido)
falsos).
b. Esquema Contradictorio (inconsistencia):
Ejemplo
Cuando su matriz final tiene sólo valores falsos
(F).
pq pq
VV F Variables Esquema Se denota: F =  = 0 = (foco apagado)
VF V En general Proposiciones Lógico
FV V Posibilidades Matriz c. Esquema Contingente (consistencia): Cuando
FF F 1 Lógicas 2 final su matriz final tiene verdadero (V) y falsos (F).
Matriz final (principal o Se denota: Q
Solución)
4. Reglas de Operación
1. Número de Combinaciones
(Posibilidades lógicas) a. Negación:
p p
C = 2n, n: # de variables
V F
F V
Ejemplo: Hallar el número de posibilidades lógicas Matriz final
del siguiente esquema.(p  q)  p  (qr)
b. Conjunción: “p  q”
Solución: Sólo: V  V = V; en otro caso “F”
n = 3  C = 2 3= 8
NOTA : c. Disyunción débil (incluyente): “p  q”
1. .Número de matrices finales diferentes Sólo: F v F = F; en otro caso “V”
(funciones veritativas)
d. Implicador: “p  q”
Sólo: V  F = F; otro caso “V”
MF = 2C, C = 2n, n: # de variables
e. Replicador: “p  q”
Sólo: F  V = F; en otro caso “V”
2. Número de matrices finales diferentes y
contingentes f. Disyunción fuerte
Sólo: V  F
FV
MF y contingentes = 2C - 2
g. Biimplicador: “p  q”
Sólo: V  V
Ejemplo: Dado es esquema. (p  q)  p  (qr) FF
h. Flecha de Nicod: “p  q”
Hallar:
Sólo: F  F = V; en otro caso “F”
a) El numero de matrices finales diferentes
Solución: i. Barra de shaefer: “p | q”
n = 3  C = 2 3= 8 Sólo: V | V = F; en otro caso “V”
Luego, Matrices diferentes =28= 256 EN RESUMEN:
b) El numero de matrices finales diferentes y p qpqpqpqpqpqpqpqp|q
consistentes. VV V V V V F V F F
Solución: VF F V F V V F F V
n = 3  C = 23 = 8 FV F V V F V F F V
FF F F V V F V V V
Luego, Matrices diferentes y contingentes =28 - 2= 254

EJEMPLOS DE APLICACIÓN: Luego el esquema es : V

1. Hallar la tabla de verdad del esquema:
( p  q)  (q  p)
4. Si la proposición (pq) v (rs) es falsa, hallar
los valores de verdad de las variables:
Solución: a) VVVV b) VVFF
Para nuestro ejemplo: n = 2 Variables proposicionales c) VVVF d) VFVF e) VVFV
C = 22 = 4 combinaciones o posibilidades lógicas.
Resolución:
p q (p  q)  (q  p) Método del cangrejo:
V V V F F V V V F (p  q) v (r  s)

V F V F
V F V V V F F F F
F F
F V F F F V V F V
F F F F V V F V V F
Luego: p=V, q= V, r= F, s= V
Siendo VFVV la matriz solución o matriz final Recomendación: Iniciamos del dato del problema
hacia arriba.
2. Hallar la tabla de verdad del argumento: “Si No olvidar:
estudias, podrás ingresar a la universidad. Pero si no  p=V
estudias, no podrás ingresar a la universidad” será :  q = F  q = V
Solución: Formalizando tenemos:  r = V  r = F
(p  q)  (p  q)  s = F  s = V
p q (p  q)  (p  q)
5. De: [(p  q) | r]  s = Verdadero, hallar los valores de
V VV V V V F V F p, q, r y s. Son:
V FV F F F F V V
F VF V V F V F F Resolución:
F FF V F V V V V Método del cangrejo:
[(p  q) | r]  s
Pasos 1 5 2 4 3
F F V F
 Su tabla de verdad es: VFFV

3. Dadas las siguientes proposiciones : V
 p = La independencia del Perú fue el 28 de julio de F

1821
 q = “El 5 no es numero racional “ V
 r= La Universidad Nacional de Piura fue creada ¡No olvidar!
como Universidad Técnica de Piura (UTP) el 3 de FF=V
marzo de 1961. V|V=F
Encontrar el valor de verdad de la siguiente fórmula:
{ [( p  q) → r ]  [( q  r )  p ]} Luego: p=F, q= F, r= V , s= F
Solución:
p=V
q= F
r =V
{[( p  q ) → r ]  [( q  r )  p ]} “La educación no es preparación para la vida, la

V F F V educación es la vida misma“
F V V V Sir Kings
V V
V

CAPITULO IV
Son identidades lógicas que sirven para transformar o Ejemplo:
simplificar esquemas en otros equivalentes. Es una 1. Estudias y/o vas a la discoleca.
relación que existe entre dos esquemas que tiene sus
matrices finales (tablas de verdad) idénticas, de tal Equivale a decir: “Vas a la discoteca y/o estudias”
manera que al unirlas biimplicativamente () su resultado Simbólicamente: p  q  q  p
es tautología.
2. Merly domina matemática si y solo si estudia en la
Ejemplo: facultad de matemática.
p q pq  p  q
V V V V F V V Equivale a decir: Merly estudia en la facultad de
V F F V F F F matemática si y solo si domina matemática.
F V F V V F V Simbólicamente: p  q  q  p
F F V V V V F
b) Ley Asociativa :Sólo (,,  , ). Cuando los
Matriz final conectores son iguales se puede agrupar de manera
(Tautología) conveniente unos con otros mediante símbolos de
agrupación “ ( ), [ ], { }”.
 Los esquemas son equivalentes. 1) (p  q)  r  p  (q  r)
2) (p  q)  r  p  (q  r)
 PRINCIPIOS LÓGICOS: Son leyes formales del 3) (p  q)  r  p  (q  r)
pensamiento que indican la verdad o falsedad de
4) (p  q)  r  p  (q  r)
ciertas proposiciones sin recurrir a la realidad. Son
tautologías. Los principios lógicos tradicionales Ejemplo:
son:  Kathy estudia algebra no obstante lógica, sin
embargo estudia geometría.
1. Principio de Identidad (Reflexividad): Equivale a decir: Kathy estudia algebra, sin
Descubierto por Parménides, establece que “Una embargo estudia lógica y geometría.
proposición sólo es idéntica a sí misma”. Se Simbólicamente: (p  q)  r  p  (q  r)
expresa por:
pp ypp c) Ley Distributiva: Sólo (, , , ): Es repartir
la proposición externa a cada una de las
2. Principio de no Contradicción: Descubierto por proposiciones internas.
Platón. Establece que, “Es imposible que una
proposición puede ser verdadera y falsa a la vez”. 1) p  (q  r)  (p  q)  (p  r)
 ( p   p) 2) p  (q  r)  (p  q)  (p  r)
3) p  (q  r)  (p  q)  (p  r)
3. Principio del Tercio Excluido: Descubierto por 4) p  (q  r)  (p  q)  (p  r)
Aristóteles “Establece que: Una proposición o es
verdadera o es falsa, no hay una tercera Ejemplo:
posibilidad”. Se expresa por:  Los sabios dicen la verdad; sin embargo, tienen
problemas con la sociedad o la religión los
pp
condena.
LEYES DE EQUIVALENCIA Equivale a decir: Los sabios dicen la verdad y
Sean p, q y r, proposiciones cualesquiera: tienen problemas con la sociedad; o los sabios
dicen la verdad y la religión los condena.
a) Ley Conmutativa: Todos los conectores menos los
Simbólicamente: p   q  r   p  q   p  r
condicionales son conmutativos. Conmutar es
permutar (cambiar el orden) las variables sin afectan d) Ley de Absorción
el resultado. Sólo (, ); se utiliza para reducir esquemas.
1) p  q  q  p 1. Absorción I:
2) p  q  q  p i) Una proposición se repite de manera idéntica.
3) p  q  q  p ii) Respuesta: Proposición que se repite.
4) p  q  q  p
5) p  q  q  p p  (p  q)  p
6) p | q  q | p p  (p  q)  p

Ejemplo: Simbólicamente: p  q   p q
Estudias en la UNP, no obstante estudias en la UNP
salvo que estudias en la UDEP. h) Definición del Biimplicador: Es la conjunción de
condicionales.
Equivale a decir: Estudias en la UNP. p  q  (p  q)  (q  p)
Simbólicamente: p  (p  q)  p  (p  q)  (q  p)
2. Absorción II:  (p  q)  (p  q)
Ejemplo:
i) Una proposición se repite de manera opuesta. La honradez el valor moral si y solo si es un valor ético.
ii) Respuesta: Parte externa y la otra no común.
p  (p  q)  p  q Equivale a decir: si la honradez el valor moral, es valor
p  (p  q)  p  q ético; pero si es valor ético, es valor moral.
Simbólicamente: p  q  p  q)  (q  p)
Ejemplo:
 Natasha es abogada, excepto que no es i) Definición de Disyunción Fuerte: Es la negación
abogada al igual que es policía. de la biimplicación.
Equivale a decir: Natasha es abogada excepto p  q  (p  q)  (q  p)
que es policía.  (p  q)  (p  q)
Simbólicamente: p  (p  q)  p  q
Ejemplo:
e) Doble Negación (involución): Consiste en agregar  Sofía estudia economía o solamente ingeniería.
o quitar negaciones de manera par.
pp  Equivale a decir: Sofía estudia economía pero
Ejemplo: no ingeniería, salvo que estudie ingeniería pero
 Es mentira que la biología no estudia los seres no encomia.
vivos.
Simbólicamente: p  q  (p  q)  (q  p)
Equivale a decir: La biología estudia los
seres vivos. j) Ley Contraposición. Sólo (,):
Simbólicamente:  (  p )  p Se conmutan las variables, manteniendo las flechas
constantes y negando ambas variables.
f) Ley de Morgan: Sólo (,). Cuando tengamos
1) p  q  q  p
esquemas conjuntivos o disyuntivos débiles
2) p  q  q  p
negados externamente o sin negar.
Ejemplo:
1) (p  q)  p  q  p | q  Si pones atención, aprenderás más pronto.
2) (p  q)   p   q  p  q
3) p  q  ( p   q) Equivale a decir: Ya que no aprendes pronto,
4) p  q  ( p  q) entonces no pones atención.
Ejemplo: Simbólicamente: p  q   q   p
1. Es absurdo que sea trabaje y estudie. k) Ley de Complemento. Sólo (, ): Se utiliza para
Equivale a decir: No trabajo o no estudio proposiciones opuestas por su signo.
Simbólicamente: pqpq
1) p  p  F (contradicción)
2. “La luna es satélite y el sol es una estrella”.
2) p  p  V (tautología)
Equivale a decir: Es absurdo que la luna no es
satélite o el sol no es una estrella. Ejemplo:
Simbólicamente: p  q  ( p   q)  Estudio en la UNP y no es estudio en la UNP.
g) Definición de Implicador Equivale a decir: F (contradicción).
(Debemos ubicar el antecedentes y consecuente). Simbólicamente: p  p  F (contradicción)
Negamos el antecedente (Cola), cambiamos el
implicador (flecha) en disyunción débil y el l) Ley de Idempotencia. Sólo (, ): Se utiliza para
consecuente (Punta) permanece constante. eliminar la redundancia (proposiciones repetidas).
p  q  p  q
1) ppp
2) ppp
Note: p  q  p   q
Ejemplo:
 Machu Picchu es una ciudadela inca o es
ciudadela inca.
Ejemplo: Equivale a decir: Machu Picchu es una
 Si estudio a conciencia, ingreso a la universidad. ciudadela inca.
Equivale a decir: No estudio a conciencia o Simbólicamente: p p p
ingreso a la universidad.

m) Ley identidad. Sólo (, ): Se utiliza para Aplicando leyes de equivalencia:
proposiciones junto a esquemas (tautológicos = V) o = (p  q) D´Morgan
(contradictorios = F).  p v q Del de Implicación
1) p  V  p = p  q
2) p  V  V Equivale a: Puesto que la materia se crea así pues no
3) p  F  F se destruye
4) p  F  p
Ejemplo: 2. Dado: P @ q (p t)p
 Estudio matemática pura, no obstante Estudio en Simplificar: [(p  q) @ (q  p)] @ (p  q)
la UNP o no es estudio en la UNP. Solución:
Equivale a : Estudio matemática pura. Del dato aplicando equivalencias:
Simbólicamente: p  V  p p @ q  (p  t )  p (ABSORCION I)
NOTE :  p@q p
 Como vemos “@” representa a un operador lógico
1. Relación: “” y “” que elimina el 2do término y deja el 1ero.
a) p  q  (p  q)
 p  q Luego aplicando esta operación al esquema:
 p  q  [(p  q) @ (q  p)] @ (p  q)
 p  q
b) p  q  (p  q) (p  q) @ (p  q)
 p  q
 p  q  (p  q)
 p  q  p v q
2. Otras identidades: Equivale a: p v q

a) p  p  V 3. “Cuando obtenga mi título entonces ingreso a la
p  p  F carrera magisterial, pero no ingreso a la carrera
pp F magisterial; luego no obtuve mi título”.
p  p  V Resolución:
b) p  V  p Formalicemos el texto y luego simplificamos:
p  F  p p: Obtengo mi título
p  V  p q: Ingreso a la carrera magisterial.
pF p Cuando… entonces…: 
Luego:   [(p  q)  q]  p
3. Ley de Mutación:
p  (q  r)  q  (p  r)
 [(p  q)  q]  p
4. Ley de Exportación:
(p  q)  r  p  (q  r) Implicación
5. RELACION LOGICA-CONJUNTOS:  [(p v q)  q]  p
Complemento ABS II
Universal: Vacío: Unión: Intercepción:
Conjuntos
U    de p: P  (p  q)  p
Lógica V F   P Implicación
 (p  q) v p
EJEMPLO DE APLICACIÓN Morgan

 (p v q) v p
1. “Es objetable que la materia se crea a la vez se
destruya”, equivale a: Asoc.
Solución:  (p v p) v q
Formalicemos la expresión:
p: La materia se crea Complemento
q: La materia se destruye. Vvq
Es objetable que:  (…)
A la vez:  Identidad
 (p  q)
 V  Tautología

CAPITULO V
CIRCUITOS LÓGICOS
Son las representaciones graficas de los esquemas c) Circuito Mixto: Sólo (, )
moleculares o atómicos. Son modelos de funciones q
lógicas aplicadas fundamentalmente al campo de la p  (q  r)  p
electrónica y la cibernética. Existen dos tipos de circuitos. r
. Nota: (En algunas universidades del país hacen circuitos
CIRCUITOS LÓGICOS: El valor de verdad de una a compuertas lógicas)
proposición puede asociarse al paso de la corriente (o
COMPUERTAS LÓGICAS:(Electrónica Moderna)
información) en un circuito eléctrico controlado por un
interruptor.
ELEMENTOS:
1. Conmutador (llave o Interruptor): Permite pasar o
no información o corriente en un sistema. Están
representados por las variables proposicionales.
También se le conoce como interruptor.
Los interruptores tienen sólo dos estados:
a) Conmutador Cerrado: Pasa información o
corriente
 V T 1 (Foco encendido)
b) Conmutador Abierto: No pasa información o

corriente.
 F   0  (Foco apagado)
 Cables: representado por las líneas, que indican el

camino por donde circula la corriente eléctrica; por lo
tanto estás se pueden deslizar, alargar, etc.
 Foco: El objetivo del circuito es encender o apagar
el foco u otro dispositivo. El foco tiene sólo dos
estados(encendido o apagado)
2. Clases de Circuito ( A conmutadores):
a) Circuito en Serie: La información pasa por un
solo camino ( alternativa) y el conector principal
es “(CONJUNCION = )
p
pq p–q  q  p
RECOMENDACIONES:
q
1. Para graficar circuitos los esquema deben estar
sólo en términos de “” y “”, para el resto de
b) Circuito en Paralelo: La información pasa por conectores aplicar equivalencias de tal manera que
dos o más caminos (alternativas) y el conector lo expresa en “” y “” como principales.
principal es “(DISYUNCIÓN DÉBIL= V)”.
Ejemplo: p  q  (p  q)  (p  q)
p p
pq   p p p

q q
q q q

2. Simplificación de circuitos: Para simplificar  (p  q)  q

circuitos se sigue los siguientes pasos:
1. Si el circuito está dado en forma gráfica lo D` Morgan
primero será formalizarlo.
 (p v q)   q (ABSORCION I)
2. Haciendo uso de las leyes de equivalencias
lógicas deberás proceder a la simplificación de  q
la expresión obtenida del gráfico. 2. A un electricista se le encarga diseñar el siguiente
circuito:
NOTA: Deberás recordar la mayor cantidad p
de reglas posibles para que puedas
simplificar, ten presente que todas r
las reglas son importantes, con lo
cual debes cuidar no olvidar p q r
ninguna.
r q
Ejemplo
Hallar el esquema equivalente: El presupuesto del circuito mostrado es S/. 140,
reducir el presupuesto utilizando para ello las
p equivalencias lógicas ¿Cuánto se ahorró?
p q q
r Solución:
Formulemos el circuito aplicamos leyes de
Solución: equivalencia:
Formulemos el circuito:
 (p v r) v {[(p  q) v r]  (r v q)}
 p  q  (p v q v r)
Distributiva
Asociando convenientemente:  (pvr) v {[(pvr)  (qvr)  (r vq)]}
 p  {q  [q v (p v r)]}
Asociativa
ABSORCIÓN I
 (pvr) v {(pvr)  [(qvr) (rvq)]}
pq
ABSORCION I
3. Formalizar:
pvr
A B A  El circuito mínimo necesita sólo 2 conmutadores.
* Costo de cada conmutador:
Costo inicial 140
A   S / .20
Conmutadores iniciales 7
B Entonces el costo mínimo es:

2 x 20 = S/.40
Su formalización es: (A  B  A) v (A v B) Ahorró: S/. (140 – 40) = S/. 100
 Además tienes 2 variables proposicionales y 5
llaves (conmutadores). 3. Representar simbólicamente el circuito:
r
EJEMPLOS DE APLICACIÓN p
1. Hallar la expresión equivalente que representa al ~q
circuito:
(p  q)
q ~p
(p  q) q Solución:
r  Circuito en serie: Conjunción (  )
 Circuito en paralelo: Disyunción ( v )
Solución:
1º Se sitúa: p
Formulemos el circuito:
2º p se encuentra en serie con, r el cual está
(p  q)  [(p  q) v r]  q en paralelo con ~q: (r  ~q)
Asociando. 3º Luego 1º 2º se encuentra en paralelo con, q

luego en serie con ~p (q  ~p) :
 {(p  q)  [(p  q) v r]} q [p(r~q)](q~p)
ABSORCION I

CAPITULO VI
Son implicaciones lógicas (esquema condicional b) Modus TollendoTollens (M.T.T.) “Método
tautológico), que sirven para inferir o concluir en un nuevo Negando Niega”: Es el método que niega el
conocimiento utilizando leyes y reglas válidas para obtener antecedente (cola de la flecha) de una proposición
conclusiones correctas a partir de un conjunto de premisas o condicional.
datos. Las leyes inferencia al ser sometidas a tablas de
verdad su matriz final es una tautología. 1) P1: p  q Si negamos el
P2: q consecuente,
también negamos el
a) Inferencias Inmediatas: Cuando la conclusión se  p antecedente
obtiene directamente de una sola premisa.
P1: premisa 1
C: Conclusión Si una proposición
2) P1: p  q se niega, la otra
b) Inferencias Mediatas: Cuando la conclusión se también se niega.
P2: p
obtiene de dos o más premisas.  q
P1: premisa 1
P2: premisa 2 Ejemplo:
P1: Si estudio es obvio que ingresare a la UNP
Pn: premisa n P2: No ingrese a la UNP.
C: conclusión  No estudie.
En forma equivalente Simbólicamente:

P1: p  q
(P1 P2 … Pn)  C P2:  q
p
LEYES DE INFERENCIA LOGICA.
II. Silogismos:
I. MODUS (, , ) a) Silogismos Disyuntivo (S.D.) Solo: “v,”: Si una
a) Modus PonendoPonens (M.P.P) “Método proposición se niega la otra se afirma.
afirmando afirma”: Es el método que afirma el
consecuente (punta de la flecha) de una 1) P1: p  q 2) P1: p v q
proposición condicional. P2: p P2: q
 q  p
1) P1: p  q Si afirmamos el
P2: p antecedente, también
Ejemplo:
q afirmamos el
consecuente
P1: Luisa está cantando o bailando.
P2: No está bailando.
Si una proposición
 Luisa está cantando.
2) P1: p  q se repite, la otra
P2: q también se repite. Simbólicamente:
p P1 : p  q
P2: q
Ejemplo:
p
P1: Si tengo dinero entonces compro un auto.
P2: Tengo dinero.
b) MODUS PONENDO TOLLENS (MPT). “Afirmo,
Niego”: Si en una premisa se tiene dos proposiciones
 Compare un auto.
excluyentes, y en otra premisa se afirma una de ellas,
concluimos en la negación de la otra premisa.
Simbólicamente:
P1: p  q a) P1: p  q b) P1: p  q
P2: p P2: p P 2: q
q  q  p

Ejemplo: Ejemplo:
P1: Hoy es lunes o martes.
P2: Hoy es lunes P1: Ana es empresaria y licenciada en matemática.
Hoy es martes  Ana es empresaria.
Simbólicamente: Simbólicamente: P1: p  q

 p
P1: p  q
P2: p V. Ley de Adición (nuevo factor); “sólo “v””: Dada una
 q proposición cualquiera que se establece como premisa,
se puede obtener como conclusión una proposición
c) Silogismos Hipotético Puro (S.H.P.): El SHP hace disyuntiva en la que una de ellas es dada, es decir.
posible extraer como conclusión, otra proposición
condicional cuyo antecedente sea el de la primera P1: p ; x cualquier proposición
premisa y cuyo consecuente sea el mismo de la pvx
segunda premisa.(Esta ley es llamada también ley de
transitividad) Ejemplo:
, ,   P1: Talara es una ciudad petrolera.

, ,   Talara es una ciudad petrolera o turística.
 
.
, ,  
1) P1: p  q 2) P1: p  q P1: q  p
P2: q  r P2: q  r  P2: q  r VI.

Dilemas , , 

 pr  pr  pr
 
    
Ejemplo:
A) Dilema Constructivo (DC): Dadas dos
proposiciones condicionales; si afirmamos los dos
P1: Sí estoy atento en clase, aprendo lógica.
antecedentes disyuntivamente; se puede concluir en la
P2: Si aprendo lógica, ingresare a la universidad. afirmación disyuntiva de los consecuentes.
Si estoy atento en clase, ingresare a la UNP. P1: p  q SI tomamos antecedente

Simbólicamente: P2: r  s afirmados en disyunción
débil, obtengo consecuentes
P3: p v r
P1: p  q en disyunción débil
P2: q  r  q vs
C: p  r
Ejemplo:
III. Ley de Conjunción (adjunción); sólo ( ):Si se tienes
P1: Si Karla estudia, ingresa a la UNP.
dos proposiciones cualesquiera, como premisas, se
P2: Si Karla trabaja, tendrá dinero
puede dar como conclusión una proposición que sea la
P3: Estudia o trabaja
conjunción de las premisas establecidas.
Karla Ingresara a la UNP o tendrá dinero
P1: p
P2: q
B) DilemaDestructivo (D.D.): Dadas dos
pq
proposiciones condicionales; si negamos los dos
consecuentes alternativamente; se puede concluir en la
Ejemplo: negación alternativa de los antecedentes.
P1: Los matemáticos dominan lógica. P1: p  q

P2: Los matemáticos dominan geometría. P2: r  s Si tomamos los
consecuentes negados en
P3: q vs disyunción débil, obtengo
Los matemáticos dominan lógica ademas Geometría C: p v r
antecedentes negados en
disyunción débil
IV. Ley de Simplificación; “sólo ( )”:Se elige cualquiera

de las dos o también las dos posibilidades. Ejemplo:
P1: Sí llueve, me mojo.
P1: p  q P2: Sí camino, sudaré.
C1: p P3: No me mojo o no sudaré.
C2: q
No llueve o no camino.

NOTA: Solución:
1. Ley de absurdo: Formalicemos las premisas:

Llegas temprano: T
P1: p  (q q) Te atenderán: A
Ganas el concurso: G
 p Te premiarán: P
EJEMPLO DE APLICACIÓN: P1: T  A

P2: G  P Dilema constructivo
1. Si se siente frío además llueve es obvio que es invierno. P3: T v G
Pero al ser invierno se deduce que habrá gripe así  AvP
como resfríos. Por tanto:
a) Si es invierno entonces habrá gripas y resfríos. “Te premiarán salvo que te atenderán”
b) Los resfríos y gripes se deducen del frío así como Rpta. (d)
del invierno.
c) Es falso que sólo el invierno produce 3. De las siguientes premisas formales:
inmediatamente resfríos y gripas. P1: r→~s
d) Se siente frio no obstante llueve eso implica que P2: r
habrá gripe así como resfríos. . P3: ~s→q
e) b y c P4: q→~n
Se infiere deductivamente en la siguiente conclusión
Solución: lógica formal
Se siente frío: F
Llueve: LL a) q b) r c) ~n d) ~s e) ~r
Es invierno: I
Habrá gripa: G
Habrá resfríos: R Solución:
P1: (F  LL)  |
P1 : r→~s
P2: |  (G  R)
P2 : r
C: (F  LL)  (G  R) ... (S.H.P.)Rpta. (d)
P3 : ~s→q
P4 : q→~n
5 : ~s ( M.P.P en 1 y 2 )
2. “Si llegas temprano, te atenderán. Si ganas el concurso
6 :q ( M.P.P en 3 y 5 )
te premiaran pero, llegas temprano o ganas el
7 : ~n ( M.P.P en 4 y 6 )
concurso”. Se concluye:
a) Ganaste el concurso
b) Ganas el concurso o sólo te premiarán.
Rpta. (d)
c) Llegas tarde a la vez ganaste el concurso.
d) Te premiarán salvo que te atenderán.
e) N.A.

CAPITULO VII
PROPOSICIONES CATEGORICAS
(Lógica de predicados)
Sirven para establecer relaciones de inclusión o
exclusión ya sea total o parcial entre clases o conjuntos.
a.1) C.L. Universal Afirmativo: x (SxPx);
toma todos los elementos del conjunto para
También están definidas como el estudio de la estructura
incluirlos.
interna de la proposición
Ejemplo: Traducción verbal:

 Cualquier número es abstracto: x (NxAx)  Todo x
 Cada x
 Cualquier x
1. Elementos Formales  Cualquiera que sea x
 Quienquiera que sea x
a) Cuantificador (Cuantor): El término que indica  Todos los x
la cantidad de una clase o conjunto. De tal  Todo lo que sea x
 Los x, las x, etc
manera que será “universal” si la proposición
empieza con el término “Todo y Ninguno” será
“particular o existencial, si empieza con el Ejemplo:
término “Alguno”.
 Los matemáticos son científicos : x (Mx  Cx)
b) Sujeto“S”: Es una clase o conjunto cualquiera.
a.2) C.L. Universal Negativo: x (SxPx);
Ejemplo: Toma todos los elementos de un conjunto para
excluirlos.
 Hombre
 Mujer Traducción verbal:
 Estudiante.  Ningún x
 Nadie x
c) Copula (nexo, verbo): Es aquel que enlaza el  Nada x
sujeto y predicado, mayormente es:  Ni siquiera x
 Verbo afirmado: “son, es, están” Ejemplo:

 Verbo negado: “no son, no es, no están”
 Ningún ateo es piadoso: x (AxPx)
d) Predicado “P”: Es otra clase o conjunto que
establece una característica del sujeto. b) C.L.Existencial (particular): x, se lee existen
“x”.
Ejemplo: Toma algunos elementos del conjunto.
 Fiel b.1) C.L. Existencial afirmativo: x (Sx Px)

 Celosa Toma algunos elementos de un conjunto para
 Atento incluirlos.
Ejemplo: Traducción Verbal:

 Algunos x
Algunos animales son anfibios  Hay x
Cuantificador Sujeto Cópula Predicado  Existe al menos un x
 Alguien, algo, alguno que sea x
 Muchos, varios, casi todos x
 Tantos, muchos, la mayoría de x
2. Cuantificadores Lógicos: Son los símbolos que  Hay exactamente un x
determinan la cantidad de un conjunto.  Al menos un x existe
 Existe siquiera un x
 Casi todo x
a) C. L. Universal: x, se lee; para todo “x”,  Pocos x, etc.
Toma todos los elementos del conjunto.
Ejemplo:
 Por menos una mujer es sincera: x (Mx Sx)

b.2) C.L. Existencial Negativa: x (SxPx) REGLAS EN LA FORMALIZACIÓN

Toma algunos elementos del conjunto para CUANTIFICACIONAL
excluirlo. Además toma las mismas 1. Si el cuantificador es universal (afirmativo o
traducciones verbales que el existencial negativo) y si la proposición tiene dos
afirmativo pero con el verbo negado. componentes (sujeto y predicado) y si existen
una negación antes del verbo; ésta negación
Ejemplo: sale y se coloca al inicio de la formalización.
 Muchos autos no son chinos: x (AxCx) Ejemplo: “Todos los políticos no son
honestos”Equivale a: No todos los políticos son
honestos (La negación sale)
REGLA PARA PROPOSICIONES
UNIVERSALES Se formaliza: X( PX HX)
Cuando tengamos proposiciones
universales (afirmativa o negativas) y el 2. En el caso anterior, si la negación va después
verbo este negado, extraer la negación como del verbo, ésta queda.
externa.
Ejemplo: “Todos los políticos son no
Ejemplo: honestos”Como la negación está después del
verbo.
 Todo abogado no es honesto: x (AxHx)
Se formalizaría:X( PX HX),
3. Si el cuantificador es particular (afirmativo o

FORMALIZACIÓN DE PROPOSICIONES: negativo), y existe negación antes o después del
 LÓGICA PROPOSICIONAL. verbo, la negación se queda.
a) “Si OlenKa es de Lambayeque entonces es Ejemplo:“Existen políticos que no son

peruana honestos”,
Su formalización es: p  q Equivalea “Existen políticos que son no
honestos”
b) “El gato es un animal y un felino”
Su formalización es: X (PX HX)
4. Si la proposición tiene un solo componente y
FORMALIZACIÓN LOGICA DE PREDICADOS. existe una negación antes o después de verbo,
ésta se queda.
1. SUJETO PRECISADO (indicado)
 El elemento de un conjunto se representa con letras Ejemplo: Todos no son artistas
minúsculas (a, b, c,… o también x, y z,..) y como
subíndice de una letra mayúscula. Se formaliza: x( Ax)
 Los conjuntos se representan por letras (Aun cuando la negación esté antes del verbo)
mayúsculas ( A, B, C, …)
a) “Si OlenKa es de Lambayeque entonces es 3. Formas Típicas (clásicas o antiguas)

peruana” de Las Proposiciones Categóricas:
Se formaliza : Lo Po
b) “El gato es un animal y un felino” a) a  S a P  Todo S es P  x (SxPx)
Se formaliza : A g Fg b) e  S e P  Ningún S es P  x (SxPx)
c) i  S i P  Algún S es P  x (SxPx)
2. SUJETO NO PRECISADO d) o  S o P  Algún S no es P  x SxPx)
a) “Todos los talareños son peruanos”
 “Para todo x , si x es talareño entonces x
es peruano” Ejemplo: Formalizar
Se formaliza:x (TxPx)
 Todas las sullaneras son reinas de belleza.
b) “Algunos peces son marinos”
Solución:
 “Existe un x tal que x es un pez y x es marino”
Se formaliza:  x (PxMx ) Sea: S= Sullaneras, R= Reinas de belleza
c) Existen economistas Se formaliza en cuantificadores:  x (SxRx)

Se formaliza : x ( Ex ) Se formaliza en forma típica : S a R

NOTA e) Cuadro de Boecio (de oposición tradicional)

Relaciones (INCLUSIÓN Y EXCLUSIÓN) Llamado también cuadro de oposiciones, es un
gráfico atribuido al filósofo medieval Boecio, que
1. S a P=Inclusión total muestra las relaciones entre estas cuatro formas
2. S e P= Exclusión total típicas de las proposiciones categóricas (con los
3. S i P=Inclusión parcial mimos términos sujeto y predicado).
4. S o P= Exclusión parcial
4. Inferencias Inmediatas:
a) Teoremas de Morgan A E
1) x x
2) x x
3) x (Px) x (Px)
4) x (Px) x (Px)
b) Por Negación
1) S a P (S o P)
2) S e P (S i P)
I O
3) S i P(S e P)
4) S o P (S a P)
c) Obversa(Equipotencia): f) Contrapuertas( contrapuesta)

Universal Universal: a  e e.1. Contrapuerta Parcial (C.P)
Existencial Existencial: i o
Premisa
Se obtiene manteniendo constante el sujeto y
Obversa
cantidad, cambiando de calidad a la vocal y
negando o complementando el predicado.
Conversa
1) S a P  S e P C.P
e.2. Contrapuerta Total (CT)

2) S e P  S a P
Premisa
3) S i P  S o P Obversa
Conversa
4) S o P  S i P
Obversa
d) Conversa: AfirmativaAfirmativa
NegativaNegativa
C.T.
d.1.) Conversa Simple (lineal): Se obtiene g) Universos Finitos: Sean A y B, sujetos:
conmutando el sujeto y predicado.
1) S e P  P e S 1) (Ax)
AaAb …  An
2) S i P  Pi S
d.2) Conversa Accidental: Válida para inferir 2) x (Bx)
pero no como equivalente. Se obtiene  Ba Bb … Bn
conmutando sujeto y predicado, además
cambiando la cantidad a la vocal.
3) Distribución:
1) S a P  Pi S
3.1) x (AxBx)
2) S e P  P o S x (Ax) x (Bx)
NOTA: S o P  No tiene conversa válida.

3.2) x (Ax Bx)
x (Ax) x (Bx)

NOTA: Solución:
1. Cuadro de posibilidades lógicas de Boecio.
Casi todo: Cuantificador existencial: x
1   0 Incapaz: Cx
    Es: “Verbo copulativo”: “”
0 a 1
e   Principista: Px
0
   0
1  0 x(CxPx)
   
0 I 1
o   Rpta. (d)
1 
  1 
2. Formalización para casos particulares. 2. La contraria de la contradictoria de “Muchos

matemáticos están mecanizados”, es:
 Sólo todo A es B = B a A. a) Casi todos los matemáticos están mecanizados.
 Solamente los A son B = B a A b) Muchos matemáticos es falso que están
mecanizados.
3. DISTRIBUCIÓN DE TÉRMINOS: Un término está c) Cada uno de los matemáticos están mecanizados.
distribuido cuando se refiere a la totalidad de los d) Cualquiera que sea matemáticos es no
elementos de una clase. mecanizado.
e) T.A.
Ejemplo: “Todos los tigres son felinos”
Resolución:
El término distribuido es “Tigres” pues se refiere a Formalicemos el texto:
la totalidad de ellos, en cambio no está distribuido Muchos: x
“felinos”, pues la proposición no se refiere a la Matemáticos: M
totalidad de estos animales. Mecanizados. m
TÉRMINOS DISTRIBUTIVO x(Mx  mx)  I
I Contrad E Contraria A  x(Mx  mx)

1. SaP S : Todos los
son P (El término distribuido es el sujeto)  Cada uno de los matemáticos están mecanizados.
2. SeP S P: Ningún es
Rpta. (c)
(El sujeto y predicado están distribuidos)
3. Hallar el equivalente de:
3. S i P: Algunos S son P (No
“Quien quiera sea hombre es mortal”.
hay término distribuido) P a) x(HxMx) b) x (Hx Mx)
4. S o P: Algunos S no son c) x(Hx Mx) d) [x(HxMx)]
e) x(Hx Mx)
(El término distribuido es el predicado)
EJEMPLOS DE APLICACIÓN: Resolución:

Formalicemos el texto:
1. La proposición: “Casi todo incapaz no es principista. Se Quienquiera: x
formaliza: Sea hombre: Hx
a) x (CxPx) Mortal: Mx
b) x(CxPx x(Hx Mx) [x(HxMx)]
c) x(CxPx)
d) x (Cx Px) Rpta. (d)
e) x (CxPx)

CAPITULO VIII
DIAGRAMAS DE VENN
(Lógica de clases)
Son Representaciones gráficas de proposiciones 2. Método para diagramar (llevar a forma booleana o
categóricas para ello se deben recordar las nociones algebras de Boole)
elementales de conjuntos. i) Intersectar las clases o conjuntos.
LÓGICA DE CLASES =  ; sólo (a, e)

ii) Hacer
 Idea de clase o conjunto
Cantidad de objetos que tienen una cualidad común.
  ; sólo (i, o)
Ejemplos: sillas, personas, alumnos, virus, etc.
iii) Negar o complementar el segundo conjunto
 Delimitación de una clase o conjunto (predicado) Sólo (a, o).
Existen dos formas:
 Por extensión: Nombrando cada uno de sus 3. Diagramando:
objetos. forma booleana
Ejemplo: A = {karla, Dafne, Leticia, etc}
 Por comprensión: Describiendo la cualidad a) S a P  S P  ;
común.
Ejemplo A = {Nombres propios de personas}
1. Elementos:
Nota: También se interpreta como: “No existen elementos
a) Las Rayas (zona sombreada o achuradas) de S que no estén en P”.
Sirven para representar zonas vacías,
representaremos las proposiciones universales
(a, e). forma booleana
= b) S e P  S P  ;
b) Las “x”: Sirve para representar zonas donde
existen elementos; representaremos las U
proposiciones existenciales (i, o). S P
x  
Ejemplo:
S
Nota: También se interpreta como: “No existen elementos S
1. = que estén en P”.
U
forma booleana
S S P
2. x  c) S i P  S P ; x
S
Nota: También se interpreta como: “Existen elementos S
3.  No definida que están en P”
U
OTROS EJEMPLOS GRAFICOS:
S P
forma booleana
x x
1) 2)
d) S o P  S P  ;
S´ S´ Nota: También se interpreta como: “Existen elementos S

S´=  S´ que no están en P”

4. Validez de Inferencias por Diagramas de Venn:

Mediante el Álgebra de Boole: S P ≠ 
Una inferencia es válida cuando al diagramar las
premisas la conclusión se puede leer en el gráfico
(es decir resulta graficada). LEY DEL CONTENIDO EXISTENCIAL
(Use la regla solo cuando el problema lo indique)
Ejemplo:
S P Se usa para hacer válida una conclusión que supuestamente
era no válida CUANDO EL RAZONAMIENTO ESTA DADO
P1: M e P  M  P = CON PREMISAS Y CONCLUSION, es decir completo
P2: S a M  S  M = Requisitos para su uso:

SeP SP = 1. Las premisas deben ser universales.
M 2. La conclusión debe ser existencial.
 Es válido
Procedimiento:
CASOS PARTICULARES 1. Buscar en la representación Booleana buscar un
conjunto que se repita de manera idéntica
 Proposición: “Todo no S es no P”
2. A ese conjunto(s) encontrado hacerlo diferente del vacío
(Genera premisa existencial).
S P 3. Luego debe leerse la conclusión dada en el
razonamiento y si no se puede leer, entonces no se
puede validar.
U
Ejemplo:
P1: Premisa: “Todos los rumiantes son mamíferos”
S a P S e P  P eS  P aS C: Conclusión: “Algunos rumiantes son mamíferos”.
Formulación de las proposiciones mediante Álgebra de

Mediante el Álgebra de Boole: S P =  Boole:
 Proposición: “Todo no S es P”
Premisa: RaM: R M = 
Conclusión: R i M : RM ≠
Como se observará el término que se repite en forma

idéntica en la representación booleana es R.
Por lo tanto Pexist: R , asignándole en el diagrama de
premisas una x al conjunto R.
S a P S e P
Diagramas de la premisa:
Mediante el Álgebra de Boole: S P = 
 Proposición: “Algún no S es P”
R M
S P U
x
Como se verá en el gráfico, ahora ya es posible leer la
conclusión:
S i P S o P RM ≠
Mediante el Álgebra de Boole: S P ≠ 
Por lo tanto ya es válida la conclusión por contenido
existencial.
 Proposición: “Algunos no S son no P”
S P EJEMPLO DE APLICACIÓN
1. El gráfico:
x
H F
S i P S o P

Representa a la proposición categórica típica: Solución:
a) Algunas historias de piratas tienen un final feliz. Formalizando: x(Hx)  “e”

b) Ninguna historia de piratas es falso que tenga un Su representación boleana: (U = universo de personas)
final feliz UH=
c) No hay historia de piratas que tenga un final feliz. H= Rpta. "e”
d) Algunas historias de piratas no tienen un final feliz.
e) Todas las historias de piratas son románticas. 3. “Es falso que algunos poetas no son románticos”
Solución: 1) [x (PxRx)]

2) P R = 
La zona rayada (=) es la intersección () de H y F.
3) P  R 
Luego: H  F =  llevado a forma típica 4) PoR
 H e F (H i F)
 No hay historia de piratas que tenga final feliz. 5) Su gráfica es:
Rpta. “c”
2. “Nadie es honesto”, tiene por gráfica: Son ciertas
a) b) H
H
a) 2 y 3 b) 1, 2 y 5
x.
c) 1, 3 y 5 d) Todas
e) Sólo 2
U U
Solución:
c) H x. d) H
Formalizando: x(PxRx)
Ley de Morgan: x(PxRx)
U U Ley condicional: x(PxRx)
Represent. Simplific.: P a R
Represent. Booleana: P R = 
e) H
Diagrama de Venn:
U
Rpta. “b”

CAPITULO IX
SILOGISMOS ARISTOTELICOS
Son inferencias mediatas formadas por tres Formalizamos y hallamos la conclusión por reglas
proposiciones categóricas, de las cuales 2 son premisas básicas.
y 1 es conclusión. Premisa mayor: U a I U . A.
Premisa menor: U i D E. A.
P1: M a P  Premisa mayor Conclusión: D i I  E. A.
P2: S a M  Premisa menor
C: S a P  Conclusión La conclusión es: “Algunos deportistas son
inteligentes.
Además: S: Término menor
NOTA: Esta conclusión no es necesariamente valida ya
P: Término mayor
que debe ser analizada por los métodos de validez.
M: Término medio
b) Figuras: Son las distintas posiciones que toma el
CARACTERÍSTICAS DE UN SILOGISMO término medio en las premisas; existen 4 figuras.
 Contiene sólo tres proposiciones: premisa mayor,
I) P1: M P II) P1: P M
premisa menor y conclusión.
 Contiene tres términos: S = Sujeto (término menor),
P2: S M P2: S M
M = Medio (Término medio) y P = Predicado C: S P C: S P
(Término mayor).
 El término medio sólo va en las premisas. III) P1: M P IV) P1: P M
 El sujeto de la conclusión es el término menor y P2: M S P2: M S
aparece en la premisa menor. C: S P C: S P
 El predicado de la conclusión es el término mayor y
aparece en la premisa mayor. Ejemplo: Indicar la figura del silogismo.
a) Reglas Básicas: Sólo sirven para concluir sin P1: A a P

garantizar la validez. La conclusión está siempre en P2: A i C
menor cantidad o calidad.
C: C i P
NOTE: a = U.A; e = U. N; i = E. A; o = E. N.
Luego: La figura es III
1) U 2) U 3) A 4) A 5) E 6) N
U E A N E N c) Modos: Todas las combinaciones posibles que se
pueden hacer con las cuatro vocales en un silogismo
U E A N No válidoNo válido
aristotélico. Existen un total de 256 modos posible y
sólo 15 válidos demostrables en matemática
O también:
moderna.
Considérese las Reglas I) DARII (AII) II) FESTINO (EIO)
FERIO (EIO) CESARE (EAE)
1) El término medio debe estar distribuido (incluido) por lo BARBARA (AAA) CAMESTRES (AEE)
menos en una de las premisas. CELARENT (EAE) BAROCO (AOO)
2) No puede haber en la conclusión ningún término
distribuido (incluido) que no lo esté también en las III) DATISI (AII) IV) CAMENES (AEE)
premisas. DISANIS (IAI) DIMARIS (IAI)
3) De dos premisas afirmativas no se puede concluir una BOCARDO (OAO) FRESISON (EIO)
negativa. FERISON (EIO)
4) De dos premisas universales negativas nada se
concluye. NOTE: Los nombres son una manera práctica para
5) La conclusión sigue siempre a la premisa más débil: la aprender los modos, ya que el modo es solo la
particular o la negativa. combinación de de vocales.
6) De dos premisas particulares nada se concluye.
Ejemplo; Indicar el modo:
Ejemplo: Hallar la conclusión válida de:
P1: A a P
Premisa mayor: “Todo universitario es inteligente” P2: A i C
Premisa menor: “Algún universitario es deportista”
Conclusión: …………………………………………..  C i P
Luego: el modo es (a i i )

d) Métodos para determinar validez de Solución:

silogismos: Ordenando:
S a P Observamos
1. Por figuras y modos: Consiste en identificar la Q a S que pertenece a
figura y el modo. Si el modo pertenece a la figura, Q a P la 1era figura
entonces el silogismo es válido.
Ejemplo: P1: K e T Rpta. “c”

P2: X a K
XeT 2. Si: “Los jueces son imparciales tal como insensibles
son todos ellos”. Se implica que:
 Fig. I a) Todo imparcial es insensible.
 Modo: e a e  I b) Cualquier insensible es imparcial.
Por lo tanto es Válido. c) Algunos insensibles no son imparciales.
d) Ciertos insensibles son imparciales.
e) Ningún insensible es imparcial
2. Por Diagramas de Venn: Se grafican las
premisas y la conclusión debe resultar graficada. Si
Solución:
eso ocurre el silogismo es válido.
Sea: S = Insensible, P= Imparciales, M=Jueces
Ejemplo: P1: B a C  B  C   Representando:
Por reglas de inferencia
P2: C e A  C  A  
 A e B  A  B= P1: M a P MP
P2: S a M SM
 S a P  SP (S.H.P.)
Traducido a texto:
“Todo insensible es imparcial”
 Es válido Rpta. “b”
3. Por Inferencias Lógicas: 3. Si “Ningún europeo es asiático” y algunos europeos son

Se aplican las reglas de inferencia noruegos” luego :
1) “Algunos noruegos no son asiáticos”
Recordar: a) S a P  S  P 2) “Algunas personas asiáticas no son noruegas”
b) S e P  S P 3) “Es falso que todo ciudadano es asiático o es
c) S i P  S  P noruego”.
d) S o P  S P 4) “Es falso que todo ciudadano no es noruego o es
asiático”.
5) No es verdad que todo ciudadano no asiático sea
Ejemplo: P1: C a B  C  B noruego.
P2: A a C  A  C
 Aa B  A  B (S.H.P.) Son ciertas
a) 1, 2 y 3 b) 1 y 4
c) Todos d) 2
e) N.A.
 Es válido Solución:
EJEMPLOS DE APLICACIÓN Formalizando y aplicando el método por inferencias lógicas

se tiene:
P1 : E e A  E  A
1. De: “Todo S es P; sin embargo todo Q es S” Luego:
P2 : E i N  E  N
Todo Q es P, observamos que:
a) Pertenece a 3ra Figura.
 N o A  N  A (Por M. P . P y Ley de conjunción)
b) Pertenece a 2da Figura.
c) Pertenece a 1ra Figura.
d) Pertenece a 4ta Figura.
e) Pertenece a 5ta Figura.
1) N o A …………si
2) A o N ………… no

3) x (AxNx) 5. De: “Algunos materialistas no son socialistas, puesto

que algunos materialistas son religiosos y ningún
= X(AxNx) = A o N …… "no"
religioso es socialista”, afirmamos que:
4) x(NxAx) …… si
a) válido
= x(NxAx) …… no b) “Materialistas” es el término medio.
5) x (A  Ex) …… no c) “Socialistas” es el término menor.
d) “Religiosos” es el término menor.
Rpta. “b” e) a y b
4. En el siguiente diagrama de Venn. Solución:
Formalizando y utilizando D.V.

M o S  [(M i R)  (R e S)]
Ordenando:
P1 : R e S  RS= 
P2 : M i R  M  S 
 MoS  M  S 
representa un argumento válido (silogismo).
La conclusión es:
a) P  M 
b) P  M = 
c) S  M 
d) S  P 
e) M  P  Si se lee la conclusión: Es válida
Solución: Rpta. “a”
Del diagrama podemos extraer: 6. De: “Algunos números no son transfinitos”, sin embargo
“Todos los números son objetos ideales, luego. Algunos
objetos ideales no son transfinitos”
 P e M  U. N. Podemos afirmar:
1) El silogismo es válido
2) El silogismo no es válido
3) Pertenece a OAO-3
Son ciertas:
a) Solo 2 b) 1 y 3 c) solo 1
 S I M  S I M  E. A. d) 1 y 4 e) 1 y 5
Solución:
M
Formalizando y utilizando D.V.
P1 : N o T  N T = 
S P P2 : N a O  N  O 
x  OoT  O  T 
 S o P  E. A.
P1 : S i M
P2 : P e M
 S o P
Si se lee la conclusión: Es válida
Representación booleana:
Rpta. “b”
S  P 
Rpta. “d”
Ver13 Mod RL1

MVPP/ Exitu´s


RL Teoría 1

Cargado por

Copyright:

Formatos disponibles

RL Teoría 1

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

RL Teoría 1

Cargado por

Copyright:

Formatos disponibles

A.P.

U “El Triunfo” Módulo Teórico

CAPITULO II FORMALIZACIÓN DE PROPOSICIONES

CAPITULO III VERDAD FORMAL

CAPITULO IV EQUIVALENCIAS LÓGICAS

CAPITULO VII PROPOSICIONES

CAPITULO VIII DIAGRAMAS DE VENN

CAPITULO IX SILOGISMOS ARISTOTÉLICOS

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 1

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

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

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 2

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

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

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 3

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

Ejemplos: 2.- Las plantas tienen clorofila.

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

B. PROPOSICIÓN COMPUESTA, MOLECULAR, COLIGATIVA

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

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 4

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

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

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

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 5

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

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

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 6

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

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

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

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

Si los deportistas no consumen drogas, entonces no

Fórmulas bien formadas (f b f)

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

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 7

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

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 8

Combinaciones Operadores lógicos

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 9

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

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

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

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

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 10

Es lo mismo decir: 11) Ley de Identidad:

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 11

Cuando un conmutador está encima o debajo de otro.

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

Estudiaremos aquí los dos circuitos universales que son: p

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

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 12

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

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 13

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

RAZ. LÓGICO INFORMES E INSCRIPCIONES 923606810 14

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

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

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