Compendio Logica Teoria

lOMoARcPSD|37054123
Compendio Lógica teoría
Matemática I (Universidad Nacional de Piura)
Escanea para abrir en Studocu
Studocu no está patrocinado ni avalado por ningún colegio o universidad.

Descargado por Santos Jheyson Peña Siancas (santosjheysonpenasiancas@gmail.com)
lOMoARcPSD|37054123
ACADEMIA PREUNIVERSITARIA
FORMANDO INGRESANTES
CICLO VIRTUAL 2020 CEL. 955699455
LÓGICA FORMAL
La lógica formal es la ciencia que estudia el pensamiento humano considerado sólo su ESTRUCTURA, y clasifica las expresiones
en:
a) Enunciado: Toda expresión lingüística o matemática (puede tener o no valor de verdad).
Ejemplo:
b) Solo Enunciado: Enunciado que no tiene valor de verdad (ni V, ni F); aquí están los lenguajes expresivos y directivos;
oraciones interrogativas, dubitativas, desiderativas, creencias religiosas, también personajes literarios o ficticios, refranes,
sinsentidos, etc.
Ejemplo:
✓ ¿Cómo estás?
c) Seudo Proposición: Es un solo enunciado absurdo, y sin sentido que no pertenece al mundo real (ni V, ni F).
Ejemplo:
d) Enunciado Abierto (función proposicional): Es un enunciado que contiene variables implícitas (el, ella, 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.
Ejemplo:
✓ x + y = 650
✓ Él es doctor en matemática.
e) Proposición: Enunciado que tiene único valor de verdad (o V, o F) respecta a una realidad. Son oraciones (aseverativas,
declarativas) que tienen sentido por sí solas, cumplen función informativa del lenguaje.
Ejemplo:
✓ log b N = X  N = b x , b  0, b  1, N  0 .
f) Enunciado Cerrado: Es una proposición que se admite como verdadera sin demostración. Aquí están las identidades
matemáticas, lógicas, definiciones y leyes científicas.
Ejemplo:
✓ “El Angulo recto mide 90o ”. (V) Es por las definiciones elementales de la geometría..
PROPIEDADES DE LA PROPOSICIÓN
1. CANTIDAD: Por el número de elementos.
a) Universales (generales): Toma todos los elementos de un conjunto ya sea para incluir o excluir.
Ejemplo:
✓ “Todo país europeo es potencia económica”
b) Particulares (existenciales): Toma algunos (toma como mínimo un elemento y como máximo todos menos uno)
elementos ya se para incluir o excluir de un conjunto.
Ejemplo:
✓ “Casi todo abogado es corrupto”
c) Individuales (singulares): Toma elementos específicos o puntuales de un conjunto.

Ejemplo:
✓ Angelina Jolie es actriz americana.
2. CALIDAD (cualidad): Cuando analizamos el verbo de la proposición.

a) Afirmativas: Verbo afirmado (son, es, están)
Ejemplo:
✓ Todo Smartphone es tecnología de punta.
b) Negativas: Verbo negado(no son, no es, no están)
Ejemplo:
✓ La tierra no es plana.
✓
3. MODALIDAD: Cuando analizamos el valor de verdad (V, F) de la proposición:
a) Asertóricas: (reales, fácticas, empíricas)

Cuando su valor de verdad se verifica comparando con la realidad inmediata. Estas proposiciones describen hechos
concretos.
Ejemplo:
✓ El Perú tiene 1.285.215,60 km² de superficie (V) (Geografía).

lOMoARcPSD|37054123
b) Apodícticas: (formales, necesarias, analíticas)

Estas proposiciones expresan verdades o hechos evidentes. Su valor de verdad se verifica mediante análisis lógico
(cosas obvias) o matemático.
Ejemplo:
✓ La suma de los ángulos internos de un polígono de n lados es 180°(n-2) (V) (Geometría)
✓ La sangre no es color rojo (F) (Lógica )
c) Problemáticas: (posibles, probables, plausibles, futuras): Aquellas que su valor de verdad no puede ser probado de
manera inmediata, es decir requieren de un tiempo de terminadas circunstancias (futuro).
Ejemplo:
✓ El 2020 el Perú será una de las primeras potencias económicas en el mundo.
CLASES DE PROPOSICIONES
1. Proposiciones Simples (atómicas, elementales, básicas, monódicas)

Aquellas que no llevan conectores lógicos (no se pueden separar).
Estas se dividen en:
a. Proposiciones simples Predicativas: Atribuyen características respecto a un sujeto.
Son oraciones con sujeto y predicado.
Ejemplo:
✓ Piura es una ciudad calurosa.
b. Proposiciones Simples Relacionales: Cuando dos o mas sujetos estan racionados por algún término relacional (de
dependencia). Es decir S1 R S2 ó S1 y S2 R
ALGUNOS TÉRMINOS RELACIONALES SON:
( amigos, gemelos, hermanos, etc )
Ejemplo:
✓ Stefany y Emilli son gemelas.
✓ 2+3 = 5+6
2. Proposiciones Compuestas (coligativas, moleculares, complejas)

Aquellas proposiciones que tienen uno o más conectores lógicos.
➢ Conector Lógico o constante logica: Es un operador que sirve para enlazar, conectar o unir proposiciones elementales.
CLASES DE CONECTORES
a) Conectores Lógicos Monadicos: Es el conector que enlaza una sola proposición.
Ejemplo: La negación y se simboliza () se lee (no)
PRÁTICA
1. De las siguientes oraciones:

1. Neil Armstrong fue el primer hombre que pisó la luna.
2. Asma infantil.
3. La anchoveta contiene omega 3.
4. ¿Es bueno estudiar toda la noche antes de un examen?.
5. Mitos y verdades sobre el colesterol.
Son proposiciones:
a) 1, 2 y 3 b) 1 y 2
c) Sólo 1 d) 1 y 3
e) 2, 3, 4
2. “¿Cuál es el misterio del Triángulo de las Bermudas?”, es:

a) Sólo enunciado.
b) Enunciado abierto.
c) Proposición simple.
d) Enunciado cerrado.
e) Proposición compuesta.
3. Cuando se trasmite: “La lactancia materna proporciona beneficios afectivos, nutritivos e inmunitarios al bebé”. El lenguaje
cumple la función:
a) Expresiva b) Informativa
c) Múltiple d) Directiva
e) Común

lOMoARcPSD|37054123
4. En las siguientes expresiones:

1. Estudios revelan que madres con educación superior dan de lactar menos a sus bebés.
2. ¿Por qué el Perú no gana medallas olímpicas?
3. El gateo.
4. ¡A más mensajes, más oportunidades de ganar!
5. Los XXX Juegos Olímpicos se celebraron entre el 27 de julio y el 12 de agosto de 2012 en la ciudad de Londres.
Son sólo enunciados:
a) 1 y 5 b) 1, 2 y 4
c) 2, 3 y 4 d) 1, 2 y 3
e) 1, 2, 3, 4 y 5
5. Son proposiciones verdaderas:

1 Lima será sede de los Juegos Olímpicos 2016.
2. Estados Unidos es el país que más medallas obtuvo en los Juegos Olímpicos 2012.
3. Colombia es el país sudamericano con más medallas obtenidas en las olimpiadas 2012.
4. Los primeros juegos olímpicos se celebraron en Atenas, Grecia, entre el 6 y el 15 de abril de 1896.
Son ciertas:
a) 1, 2, 3, 4 b) 1, 2 y 3
c) 1, 2 y 4 d) 1, 3 y 4
e) 2 y 4
6. Son proposiciones predicativas:
1. El bullying es una forma de maltrato psicológico, físico o verbal que se le realiza a un estudiante de manera reiterada
en un tiempo prolongado.
2. La alegría puede ser percibida en toda persona.
3. La alegría ayuda al mejoramiento de la salud.
4. Algunos especialistas no categorizan la sorpresa en sí misma como una emoción.
5. la intensidad de la elevación de las cejas, es el mas distintivo y previsible signo de la sorpresa.
Son ciertas:
a) 1 y 4 b) 2 y 3
c) 1, 2 y 4 d) 2, 3 y 4
e) 2, 3 y 5
7. ¿En qué alternativa encontramos una proposición molecular?

a) El miedo y la tristeza.
b) La tristeza es la emoción contraria a la alegría.
c) La fotografía es el arte y la técnica para obtener imágenes duraderas debidas a ala acción de la luz.
d) Los XXX Juegos Olímpicos se celebraron entre el 27 de julio y el 12 de agosto de 2012 en la ciudad de Londres.
e) La fotografía ha constituido desde sus inicios un medio de gran utilidad en la investigación científica.
8. De las oraciones:
1. Demencia es la pérdida progresiva de las funciones cognitivas.
2. Los procesos de memoria y aprendizaje son difíciles de estudiar por separado.
3. La enfermedad de alzheimer ataca las neuronas del hipocampo por tanto la persona va perdiendo la memoria.
4. El peso de los homínidos oscila entre los 48 kg y 270 kg.
5. Gabriel García Márquez no padece demencia senil.
Es falso que no son proposiciones compuestas:
a) 1, 3 y 4 b) 3 y 5
c) Sólo 4 d) 2 y 4
e) 1, 2 y 3
9. Son enunciados abiertos:

1. Ella es diseñadora de modas.
2. Ella, Alejandra es la mejor diseñadora de modas.
3. La Mona Lisa es uno de los cuadros más reconocidos de occidente.
4. ¿Cuáles son las 10 mentiras más usadas en facebook?
5. P es el país donde más se promociona la artesanía
Son ciertas:
a) 1, 3 y 4 b) 1, 2 y 4 5
c) 1 y 5 d) 3, 4 y 5
e) Sólo 4
10. Son proposiciones conjuntivas:
1. La fase del gateo abarca entre el octavo y onceavo mes.
2. La artesanía en Europa es muy diversa y variada.
3. Los artesanos urbanos venden sus trabajos en plazas y/o ferias artesanales.
4. La depresión adolescente surge como respuesta a los cambios hormonales, al estrés estudiantil, la ausencia de un ser
querido o la crisis existencial de auto identificación.
5. El silencio es una sensación relativa, ya que el silencio absoluto no se da en la naturaleza.
Son ciertas:
a) 1, 2 y 3 b) Sólo 5
c) 1 y 2 d) Sólo 2

lOMoARcPSD|37054123
e) 2 y 4
11. Son proposiciones singulares:

1. Muchos usuarios del facebook son muy cuidadosos al publicar su foto perfil.
2. Montesinos fue absuelto de cargo de tráfico de drogas.
3. La gran mayoría de adolescentes pasan por periodos depresivos.
4. La depresión adolescente es normal.
5. Cualquier discurso musical está dividido en unidades iguales de tiempo llamadas compases.
Son ciertas:
a) 3 y 5 b) Sólo 5
c) 1 y 3 d) sólo 4
e) sólo 2
12. De las siguientes oraciones, cuáles cumplen con la función directiva:

1. ¿Cómo es tu relación con tu pareja?
2. Consultorio libre.
3. ¿Por qué me criticas tanto?
4. Aceptar la crítica es importante, venga de donde venga.
5. ¡Acuéstate temprano Melissa!
a) sólo 2 b) 2, 3 y 5
c) sólo 4 d) 1 y 4
e) 1, 3 y 5
13. Son proposiciones compuestas:

1. El autismo puede manifestarse desde la infancia, incluso manifestarse desde antes de laño de vida y suele afectar más
a los niños que a las niñas.
2. Hay dos teorías que explican el origen del autismo: una que le otorga al autismo un origen genético, y otra que sostiene
que es de origen congénito.
3. En las diferentes lenguas abundan términos que son utilizados con connotaciones racistas, clasistas o nacionalistas.
4. Diagnosticar el síndrome de Asperger en niños es realmente difícil, ya que los síntomas asociados a esta condición
pueden confundirse con características propias de los primeros años de vida.
5. El fenómeno de la homofobia es estudiado por psicólogos y psiquiatras.
Son inciertas:
a) 2 y 4 b) 1, 3, 4 y 5
c) sólo 1 d) sólo 2
e) 2, 3, 4 y 5
14. Son proposiciones falsas:

1. Los niños autistas tienen muchas más neuronas y presentan un cerebro más pesado.
2. El consumo de anchoveta no proporciona grandes niveles de energía.
3. Una función cuadrática es una función polinómica de grado par.
4. El Triángulo de las Bermudas es un área geográfica con forma de triángulo equilátero.
5. Se dice que un triángulo es notable cuando existe una relación conocida entre sus lados.
Son inciertas:
a) 2 y 3 b) 1, 2 y 5
c) 1, 2 y 3 d) 1, 4 y 5
e) 3 y 4
15. No son proposiciones lógicas:

1. Niños hiperactivos.
2. La bisectriz divide un ángulo en dos partes iguales.
3. El perímetro es la medida del contorno de una figura geométrica.
4. El perímetro de un círculo es una circunferencia.
5. La bisectriz y la mediana se fueron de paseo..
Son ciertas:
a) 1, 4 y 5 b) 1 y 5
c) 2, 3 y 4 d) 2 y 3
e) 3 y 4
16. Son proposiciones disyuntivas incluyentes:

1. “La casa de cartón” fue escrita por Martín Adán o Ciro Alegría.
2. Carlos postulará a la UNP o sólo a la ETSUNP.
3. En algunos lugares hace frío y/o cae nieve.
4. “acueducto” es una palabra grave o esdrújula.
5. “acueducto” es una palabra tónica y/o átona.
a) sólo 3 b) 1, 2 y 4
c) 2 y 3 d) 1, 4 y 5

lOMoARcPSD|37054123
e) 2, 3 y 4
17. Son pseudoproposiciones:

1. La mediana pasa por un vértice y por el punto medio del lado opuesto
2. Triángulos notables.
3. Él viajará a España.
4. X + 3 = 20
5. La anchoveta es muy coqueta.
a) 1 y 2 b) 3 y 4
c) sólo 1 d) sólo 5
e) 1 y 5
18. Son proposiciones lógicas universales:

1. Hay ángulos cóncavos.
2. Los niños talentosos tienen gran imaginación.
3. Cualquier peruano usa sandalias.
4. Todos los egresados de la UNP tiene auto del año.
5. Muchas religiones monoteístas consideran el suicidio como pecado.
Son ciertas:
a) 1 y 5 b) 2 y 5
c) sólo 1 d) 2, 3 y 4
e) sólo 4
19.Es proposición negativa

a) No sólo Ana sino también Luís estudian en la universidad
b) Liliana no está en Lima entonces no va a votar
c) Ni Pedro baila ni estudia
d) No es el caso que la bebida esté hecha y el pastel esté muy caliente
e) No es el caso que la bebida esté hecha, y el pastel esté muy caliente
20.Son proposiciones elementales:

1) El bronquio derecho se divide en tres ramas
2) La biología es una ciencia práctica
3) El aire que entra en los pulmones proporciona oxígeno a las células del organismo
4) Los hongos tienen pared celular
5) El aire expulsado de los pulmones elimina el dióxido de carbono del organismo
a) 1 y 2 b) 3, 4 y 5
c) Sólo 2 y 4 d) Sólo 5
e) a y b
21.Son proposiciones verdaderas:

6) Los dos huesos más delgados de la parte inferior de la pierna se conoce como tibia y peroné
7) Los huesos fusionados del cráneo encierran en su interior el encéfalo
8) La pared del intestino delgado tiene muy pocas proyecciones pequeñas llamadas vellosidades
9) El hígado puede convertir glucosa en glucógeno
a) 1, 2 y 3 b) 1, 2 y 4
c) 1, 3 y 4 d) 2, 3 y 4
e) Sólo 3
22.Son sólo enunciados abiertos:

1. x + y = 5 2. 2x - y=1, si x = 2 e y = 3
3. ln b = x ↔ b = ex 4. Sen2A + Cos2A = 1
5. El estuvo en el cine
a) 2 y 4 b) 1 y 3
c) 1 y 5 d) 3 y 4
e) Todas las anteriores
23.Por su cantidad, la siguiente oración:

“Miguel Grau fue diputado por Paita”
Es del tipo
a) Universal b) Informativa
c) problemática d) Singular
e) Particular

lOMoARcPSD|37054123
24.Por su calidad, las proposiciones son:

a) Simples y Compuestas b) Universales y Particulares
c) Problemáticas d) Apodícticas y Asertóricas
e) Afirmativas y Negativas
25.Por su cantidad, las proposiciones elementales son

a) Sólo Universales
b) Únicamente Particulares
c) Universales y Particulares solamente
d) Sólo Individuales
e) Universales, Particulares e Individuales
26.Dada la siguiente expresión: “Se prohíbe jugar en clase porque atenta contra la disciplina”. Tiene la característica de
a) Proposición replicativa b) Proposición simple relacional
c) Enunciado d) Proposición molecular
e) Enunciado abierto
27.Son proposiciones conjuntivas:

10) La testoterona determina la aparición de los caracteres sexuales secundarios así como la oxitocina estimula músculos
lisos.
11) La oxidación es la pérdida de elementos y bien, o también el aumento en la valencia de un átomo.
12) El agua destilada ha sido sometida al proceso físico de vaporación tanto como por condensación.
13) Cuando dos elementos forman varios compuestos así pues uno de ellos permanece constante.
14) Taiwán y Thailandia son países asiáticos.
Son ciertas:
a) 1, 3, 5 b) 2, y 5
c) 2,4 y 5 d) todas
e) 1,3 y 4
28. Son proposiciones simples:

1. El término “honrado” es igual a “honesto”.
2. El Perú es un país rico en petróleo y en minerales
3. Si trabajas en las minas es obvio que tendrás mejor nivel de vida
4. La economía ecuatoriana no está dolarizada
5. Le llamaban “La Perricholi”.
Son correctas:
a) 1, 3 y 5
b) 2, 3 y 4
c) 1y3
d) Sólo 1
e) Todas
29. Son proposiciones predicativas:

1. La Luna tiene desiertos.
2. La Tierra es estrella vieja.
3. El Sol es un planeta.
4. Piura es una ciudad calurosa..
Son incorrectas, excepto:
a) Sólo 1, 2 y 3.
b) Sólo 2 y 4.
c) Sólo 3 y 4
d) Todas.
e) Sólo 1.

lOMoARcPSD|37054123
e) 1, 2 y 3 ACADEMIA PREUNIVERSITARIA
FORMALIZACIÓN DE PROPOSICIONES
Es un proceso de transformar textos en esquemas lógicos (formula lógica), de tal manera que sólo presente variables, símbolos
de agrupación y conectores lógicos.
Elementos Formales:
1. Variables Proposicionales: Son letras que sirven para representar proposiciones elementales sin considerar su valor de
verdad, se toman en orden correlativo.
p, q, r, …
A, B, C, …
A1, A2; A3,…..
2. Símbolos de agrupación: Sirven para separar y agrupar proposiciones. Se generan cuando en un texto encontramos signos
de puntuación (“.”, “,” y “;”); negadores externos y también al aplicar jerárquica de conectores (ausencia de signos de
puntuación).
a) Paréntesis ( )
b) corchetes  
c) Llaves { }
3. Conectores Lógicos: Operadores que sirven para conectar o enlazar proposiciones simples.
“”, “”, “”, “→”, “”, “”, “”, “”
OPERACIÓN
SÍMBOLO LECTURA
LÓGICA
La conjunción  "y"
La disyunción
 "o"
débil
La disyunción
 ,  , , "o ... o ... "
fuerte
La implicador → "Si ... entonces... "
El replicador  " ... si ..."
La bicondicional  "... si y sólo si ... "
La negación  , " no "

La negación
conjuntiva
" Ni ... ni ... "
(flecha de 
Nicod)
La negación
Disyuntiva
" No ...o no ... "
(barra de 
Sheffer)

lOMoARcPSD|37054123
TRADUCCIÓN VERBAL DE LOS CONECTIVOS:
Sea “P” y “Q” proposiciones
1. El conjuntor
Símbolos: , , &
Traducción verbal se lee:
PyQ
P incluso Q
P pero Q
P aunque Q
P al igual que Q
P tal como Q
P tanto que Q
P también Q
P así como Q
P vemos que también Q
P al mismo tiempo que Q
P sin embargo Q
P es compatible con Q
P aun cuando Q
P al mismo modo Q
P de la misma manera Q
P no obstante Q
P sino Q
No sólo P sino también Q
P asimismo Q
P a pesar de que Q
P a la vez que Q
P igualmente Q
P de la misma manera Q
Sin que P tampoco Q
Cierto que P lo mismo que Q
Simultáneamente P con Q
P más aún Q
P además Q
P a la par que Q
P aun cuando Q
P igualmente Q, etc.
2. El disyuntor incluyente
Símbolos: ,+
PoQ
P a menos que Q
A menos que P, Q
P salvo que Q
P y bien, o también Q
P excepto que Q
P o incluso Q
P o a la vez Q
P ya bien Q
P y/o Q
P a no ser Q, etc.

lOMoARcPSD|37054123
3. El disyuntor excluyente
Símbolos: , , , ,

oPoQ
o bien P o bien Q
P o Q (en sentidos excluyentes)
P o solamente Q
P o únicamente Q
P o sólo Q
P no es equivalente a Q
No es equivalente P con Q
P no biimplica a Q, etc.
4. El implicador
Símbolos: →, , CPQ
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
Ya que P es evidente Q
De P derivamos Q
P implica Q
Si P, Q
Cuando P, Q
Como P, Q
De P, Q
Suponiendo que P, Q
P sólo si Q
Sólo P si Q
P es condición suficiente de Q
Una condición necesaria para P es Q
Como quiera que P por lo cual Q, etc.
5. El replicador
Símbolos: , 
P si Q
Sólo si P, Q
P porque Q
P siempre que Q
Es condición necesaria P para Q
P para Q
Para P es suficiente Q
P puesto que Q
P dado que Q
P supone que Q
P pues Q
P en vista de Q
P como Q
P por cuanto Q
P debido a que Q
P cada vez que Q

lOMoARcPSD|37054123
P en razón de Q
P en tanto Q
Para P es suficiente Q, etc.
6. El bicondicional
Símbolos: , 
P si y sólo si Q
P siempre y cuando Q
P se define lógicamente como Q
P es equivalente a Q
P es igual que Q
P es idéntica a Q
P es condición necesaria y suficiente para Q
P siempre que y sólo cuando Q
P porque y sólo porque Q
P entonces y sólo entonces.
7. El negador
__
Símbolos: ~, , ─ , P , NP
a) Negadores internos:
No P
Nunca P
Jamás P
b) Negadores externos:
Es absurdo que P
Es inconcebible que P
Es negable que P
No es el caso que P
De ninguna forma se da P
Es incierto que P
Es objetable que P
En modo alguno P
Es inadmisible que P
No acaece que P
No acontece que P, etc.
NOTAS:
1. Flecha Nicod:
(Negador conjuntor, inalternador)
Símbolos: A  B = A  B
Ni “A” ni “B”
No “A” ni “B”
Ni “A”, no “B”
Ejemplo:
“Mirta ni juega ni baila”: AB

lOMoARcPSD|37054123
2. Barra de Sheffer:
(Negador disyuntor, incompatibilizador):
Símbolos: AB = A  B

No “A” o no “B”
Ni “A” o ni “B”
Ejemplo: “
“María no viaja o no va la Universidad ”: AB
3. JERARQUÍA DE CONECTORES. Se utiliza cuando en un texto no hay signos de puntuación.
➢ Rusia o Brasil: “p  q”
4. Condicional:
A B
- Antecedente - Consecuente
- Causa - Efecto
- Cond. Suficiente - Cond. Necesaria
- Cond. Innecesaria - Cond. Insuficiente
Observaciones:
➢ Del enunciado proposicional, la proposición que es suficiente, irá señalada con el inicio de la flecha (la cola)
➢ Del enunciado proposicional, la proposición que es necesaria, irá señalada con el fin de la flecha (la cabeza)
5. Ejemplos:
1. A es condición suficiente para B = A→B

2. Para B es suficiente A = BA
3. Necesario es A, para B = AB
4. Suficiente es B, para A = B→A
Práctica
1.La formalización de la proposición: “No es el caso que Amanda es doctora, al mismo tiempo que María no es dibujante”, es:
a) (p  q) b) p q
c) p q d) p  q e) p  q
2.La proposición “Es incierto que Caracas no exporta petróleo o únicamente exporta gas”, se formaliza como:
a) ( p  q ) b) ( p  q )
c) p d) ~~p
e) p  q
3.“Es inconcebible que Mario ni es culto ni es honrado. Mario es honrado”, su formalización correcta es:
a) ( p  q)  q b) ( p  q )  q
c) ( p q)  q d) ( p q) → q
e) ( p q)  q

lOMoARcPSD|37054123
4.“Es inadmisible que, Verónica sea una diseñadora si es profesora universitaria. Sólo si Verónica es profesora universitaria, no
es diseñadora”, se formaliza como:
a) ( p  q)  ( q  p ) b) ( p  q)  ( q → p )
c) (p → q)  ( q  p ) d) (p  q)  ( q  p)
e) (p  q) → ( q  p )
5.Simbolizar: “César es estudiante, si y sólo si no es cierto que, sea doctor y/o deportista”
a) p  ( q  r )  b) p  ( q  r )
c) p  ( q  r ) d) p  (q  r )
e) p  (q  r )
6. “En modo alguno Perú clasifica al próximo mundial de fútbol”, se formaliza como:
a) p  q b) p
c) p  q d) p
e) p → q
7. La formalización correcta de: “La filosofía no es equivalente a la ontología, sin embargo basan sus estudios en el pensamiento”.
a) ( p  q)  ( r  s ) b) p  ( q  s)
c) (p  q)  (r  s ) d) p  ( q  s )
e) p  (q  s)
8. “O viajamos a España a trabajar o no viajamos a Francia a pasear“, su formalización es:
a) p  q b) p → q
c) p  q d) p  q
e) p  q
9. “Es condición suficiente que hace calor para ir a la playa. Aunque para ir a la playa es condición necesaria que necesitemos
dinero”, su formalización es:
a) ( p → q )  ( q → r ) b) ( p → q )  ( q  r )
c) ( p → q)  ( q → r ) d) p  q
e) ( p → q )  ( q → r )
10. “Luisa es hábil ya bien domina la computadora “, se formaliza como:

a) p  q b) p → q
c) p  q d) p  q
e) p  q
11. Formalizar correctamente:
“Si se inician las vacaciones de la Universidad, las clases se suspenden o la Universidad se cierra. Se inician las vacaciones
y las clases no se suspenden.
Por tanto, la universidad está cerrada”.
a) p → ( q  r )  ( p~q ) → r
b) p → ( q  r )  ( p  q ) → r
c) p → ( q  r )  ( p ~q ) → r
d) p → ( q  r )  ( p ~q )  r
e) p → ( q  r ) → ( p~q ) → r

lOMoARcPSD|37054123
“Si se inician las vacaciones en la UNP, las clases se suspenden o solamente la UNP se cierra. Se inician las vacaciones y
las clases se suspenden en la UNP. Por tanto, la UNP no se cierra”.
a) p → ( q  r )  ( p ~q ) → r
b) p → ( q  r )  ( p  q ) → r
c) p → ( q  r )  ( p → q ) → r
d) p → ( q  r )  ( p~q )  r
e) p → ( q  r )  ( p  q ) → r
13. “Es inadmisible que, Verónica sea una diseñadora si es profesora universitaria. Sólo si Verónica es profesora
universitaria, no es diseñadora”, se formaliza como:
a) (p  q)  ( q  p ) b) (p  q)  ( q → p)
c) (p → q)  ( q  p ) d) (p  q)  ( q  p)
e) (p  q) → ( q  p )
14. “Que la matemática trate de entes ideales es una condición suficiente para que la matemática no sea una ciencia teórica.
Si y sólo si que la matemática no trate de entes ideales es una condición necesaria para que la matemática sea una ciencia
teórica”. Se formaliza:
a) ( p → q)  ( p  q) b) ( p → q)  ( p → q)
c) ( p  q)  ( p  q) d) ( p → q)  ( p  q)
e) ( p → q)  ( p  q)
15. Formalizar: “La Comisión Europea representa a la Unión Europea en las relaciones económicas con otros países u
organizaciones internacionales. Luego, la función administrativa de la Comisión afecta a los fondos, programas de la Unión
Europea y al reparto de ayudas a otros países. O sólo la Comisión Europea no representa a la Unión Europea”. Es:
a) ( p  q) → (r  s  t )  → p
b) (p  q)  (r  s  t )   p
c) ( p  q) → (r  s  t )   p
d) (p  q) → (r  s  t )   p
e) (p  q) → (r  s  t )   p
16. La formalización de:
Ingresar a la Universidad Nacional de Piura es insuficiente para ser profesional. Asimismo, ser profesional es condición
innecesaria para tener dinero. De allí que seré agricultor.
Se formalizo como:
a) [( p  q)  (q → r )] → s
b) [( p  q )  ( q → r )]  s
c) [ ( p → q )  ( q → r )] → s
d) [ ( p  q )  ( q → r )] → s
e) [ ( p → q )  ( q  r )] → s
17. Formalizar: “Es absurdo que cada vez que Juan o talvez Juana visiten a Mayra obviamente que le llevan regalos. No
obstante, a ninguno de los tres les visita Mario.”
Se formaliza:
a) [( p  q ) → (r  s )]  ( t  u )
b) [( p  q ) → (r  s )] t
c) [( p  q) → (r  s )]  ( t  u  v)

lOMoARcPSD|37054123
d) [( p  q ) → r ]  ( s  t  u )
e) [( p  q ) → r ] s
18. La proposición: “China, Italia y Japón son productores de arroz, salvo que de cacao”. Se formaliza:
a)
(p  q  r )  ( s  t  u ) b)
(p  q  r )  ( s  t  u )
c)
(p  q  r )  ( s  t  u ) d) p  q
e)
(p  q)  (r  s )  ( t  u )
19. El enunciado: “La verdadera fuente de riqueza del Perú no está en el comercio ni en la acumulación de metales preciosos,
sino en el trabajo de sus habitantes, siempre que y sólo cuando el trabajo humano sea aplicado en la agricultura o sólo en la
industria”. Se formaliza:
a) ( p | q)  r   ( s  t )
b) ( p | q)  r   ( s  t )
c) ( p  q)  r  → ( s  t )
d) ( p  q )  r   ( s  t )

e) ( p  q)  r   ( s  t )

“Si se inician las vacaciones de la Universidad, las clases se suspenden o la Universidad se cierra. Se inician las vacaciones
y las clases no se suspenden.
Por tanto, la universidad está cerrada”.
a) p → ( q  r )  ( p  ~q ) → r
b) p → ( q  r )  ( p  q ) → r
c) p → ( q  r )  ( p  ~q ) → r
d) p → ( q  r )  ( p  ~q )  r
e) p → ( q  r ) → ( p  ~q ) → r
21. Dada la siguiente oración:
“El jefe de ellos abandonaría el país si temiera ser capturado, y no abandonaría si le dan garantías a su vida. Si no teme ser
capturado y no abandona el país, eso significa que ignora la labor de nuestros agentes”. Su formalización es:
a) (p q)  (~p r)  (~q  ~p) → ~s

b) (p→ q)  (~p r)  (~q  ~p) → s 
c) (p q)  (p ~ r)  (~q  ~p) → s 
d) (p q)  (~p r)  (~q  ~p) → s 
e) (p q)  (~p r)  (~q  p) → s 
22. Formalizar el siguiente argumento: “Si compras una cerveza, no compras una gaseosa; pero si compras una agua mineral,
compras una cerveza, y compras los tres. Por tanto, compras la cerveza o solo la gaseosa o solo el agua mineral.”
a) (p → 
q)  ( r → p )  (p  q  r )  → (p  q  r )
b) (p → q)  ( r → p )  (p  q  r ) → (p  q  r )

c) (p → 
q)  ( r → p )  (p  q  r )  → (p  q  r )
d) (p → q)  ( r → p )  (p  q  r )  → (p  q  r )
e) (p  q)  ( r → p )  (p  q  r )  → (p  q  r )

lOMoARcPSD|37054123
23. Dado el argumento: “Liberen a delincuentes dado que así lo declaró el Poder Judicial, cada vez que, si declaró el Poder
Judicial, demostró su falla de información”
a) ( p  q) → ( q → r )
b) ( p  q)  ( q  r )
c) ( p  q )  ( q → r )
d) ( p  q )  ( q → r )
e) ( p  q)  ( q → r )
24. La proposición: “Si estudias en el colegio de APLICACIÓN y en el IDEPUNP, ingresarás a la UNP;Pero si no estudias
en el colegio de APLICACIÓN ni en el IDEPUNP, no ingresarás a la UNP. Por lo tanto ingresarás a la UNP”. Se formaliza:
a) ( p  q ) → r   ( p 
q ) → r  → r
b) ( p  q ) → r   ( p 
q ) → r  → r
c) ( p  q )  r   ( p 
q )  r  → r
d) ( p  q ) → r    ( p  q) → 
r  → r
e) ( p  q ) → r   ( p q) → r  → r
25.“Para que Javier tenga estudios de maestría en Gestión empresarial es condición necesaria que no sea economista de
profesión”. Se formaliza:
a) ( p → q ) b) p → q
c) (p  q) d) p  q
e) p → q
26.Dado el siguiente esquema:

“Si se presentan los síntomas ordinarios de un resfrió y el paciente tiene alta temperatura, entonces, si tiene pequeñas
manchas en la piel es obvio que está con sarampión. Claro está que el paciente no puede tener sarampión porque su historia
clínica revela que ya lo ha tenido el año pasado”.
Su formalización correcta es:
a) ( p  q) → ( r → s )  → ( s  t )
b) ( p  q) → ( r → s )   ( s  t )
c) ( p  q)  ( r → s )   ( s  t )
d) ( p  q) → ( r → s )   ( s  t )
e) ( p  q) → ( r → s )   ( s  t )
27. La proposición: "Un gas es sometido a altas temperaturas es condición necesaria para que genere trabajo mecánico, sin
embargo algunos fluidos reaccionan sólo si genera energía. A menos que únicamente los sólidos generen trabajo mecánico". Se
formaliza:
a)
(p → q)  (p → r )
( p  q)  ( r → s )   t
b) 
( p → q)  ( p → s )  q
c) 
d)
(p  q)  (r → r )  q
(p  q)  (r → s )  t
e) 

lOMoARcPSD|37054123
VERDAD FORMAL
FUNDAMENTO TEÓRICO:
Las Tablas de Verdad: Permite representar un razonamiento y hallar su validez, esquema:
Variable Esquema Lógico
2n Matriz de Verdad
Arreglos del Esquema
• Las letras V y F indican valores verdadero y falso.
• V=1 y F=0
Clasificación de las Tablas de Verdad por la Naturaleza de Matriz de verdad:
1. M. Tautológica (T): Si el resultado final contiene sólo valores verdaderos.
2. M. Contradictoria ( ⊥ ): Si el resultado final presenta sólo valores falsos.
3. M. Consistente o Contingente (Q): Si el resultado final contiene valores verdaderos y falsos.
Tablas de Verdad de los Conectores Lógicos:
Conectores Simbólicamente Valores de

Verdad
* Conjunción
p q V V = V
* Disyunción
pq FF =F
Incluyente
* Disyunción
pq V V = F
Excluyente FF =F
* Implicación
p→q V →F=F
* Replicador
pq F V = F
* Biimplicador
pq V V =V
F  F =V
* Negación
pq F  F =V
Conjuntiva
* Negación
p/q V /V = F
Disyuntiva
* Negación
p V =F

lOMoARcPSD|37054123
PRÁCTICA
1. Indicar la tabla de verdad de: “Julio es casado o soltero, es incompatible con que Julio no es casado”.
a) VVFV b) VVFF
c) VFFV d) VFFF
e) FFVV
2. Si p  q = F, la proposición que siempre es verdadera, es:

a) p v q b) p → q
c) p  q d) p l q
e) p  q
3. Si p = V, q = F y r = F, el esquema
(p → q)  (q  r), es:
1. Tautología Falso
2. Verdadero Contingente
3. Contradictorio
4. El siguiente esquema
(p  ~ q ) → [~ s v (p  r )] es falso, hallar los valores respectivos de p, q, r y s.
a) VFFV b) VVFF
c) VVFV d) FFVF
e) VFFF
5. Las matrices finales básicas para dos proposiciones p y q, de la Flecha de Nicod y de la Barra de Shaffer tienen valores
iguales en la:
a) 2º y 3º fila b) 1º y 3º fila
c) 1º y 4º fila0 d) 2º y 4º fila
e) 3º y 4º fila
6. De la matriz final de “p  (q → r) “, indicar los valores numéricos que se obtienen en las filas 3º, 5º, 7º. (En ese orden)
a) 011 b) 100
c) 110 d) 001
e) 000
7. El valor veritativo en la matriz principal de la fila 96, del siguiente esquema molecular es:
 ( p  q)  ( r  s )  → ( t  
u)  v
a) V b) F
c) Consistente. d) Tautología.
e) Contradictorio.
8. Se define f i como el valor de verdad de la fila ï” en la matriz principal de A: ( p  q )  ( qp )  → ( p  q )

Hallar el valor de:
1. f1 → f 2
2. f 2 → f3
3. f2  f4
a) FVV b) VVV
c) VFV d) FFF e) FFV
9. Un esquema molecular de 4 variables proposicionales, tiene “x” filas y otro de 10 variables proposiocionales, tiene “y” filas.
Encuentre x+y
a) 16 b) 512
c) 1024 d) 1040 e) 908
10. El número de grupos “V” y “F”, para un esquema molecular de 10 variables proposicionales, para “s” y “t” son respectivamente:
a) 16, 32 b) 32, 64
c) 8, 16 d) 128, 256 e) 2, 4
11. ¿Cuántos grupos falsos tiene la penúltima variable de un esquema de 16 variables proposicionales?
a) 216 b) 215

lOMoARcPSD|37054123
c) 214 d) 213 e) 212
12. se sabe que la siguiente afirmación es falsa: “No es cierto que puedo leer si y sólo si puedo escribir, por lo tanto no puedo
leer”.
Se puede concluir:
a) Puedo leer. b) Puedo escribir.
c) No puedo leer. d) Puedo jugar.
e) Puedo estudiar.
13. El siguiente esquema proposicional:

pqr st u vw
¿Cuántos valores verdaderos tiene en su matriz principal?
a) 2 b) 8
c) 64 d) 128
e) 256
14. Del siguiente esquema proposicional:

pqr st u vw
Podemos afirmar:
1) No tiene valores verdaderos en su matriz principal.
2) No tiene valores falsos en su matriz principal.
3) Tiene por lo menos un valor falso en su matriz principal.
4) Tiene por lo menos un valor verdadero en su matriz principal.
5) No corresponde a un esquema contradictorio.
Son ciertas:
a) Sólo 1y3 b) Sólo 2 y 4
c) 3,4 y 5 d) 1,3,y 5
e) 2,3 y 4
15. Con las variables proposicionales p, q y r cuantas fórmulas proposicionales con matrices finales diferentes se pueden
construir:
a) 8 b) 16
c) 64 d) 256
e) 512
16.Si el siguiente esquema es falso: ( p  q) → ( r  s ) , obtener los valores de verdad de:

1. ( p  q) → s   ( w  q) → p 
2. ( p  w )  r   ( w  p ) → p 
3. ( p  q)  r   ( q  p )  s 
a) VFV b) VFF
c) FFV d) VVV e) FFF
17.Dado el esquema: ( p  r ) → ( p q)  ( r → s )  , falso; los valores de p, q, r, s son respectivamente:

a) V, V, F, V b) V, V, V, F
c) F, F, F, F d) V, V, V, V e) F, F, F, V
18. Deducir el valor de verdad de p, q y r. Si el siguiente esquema: ( p → r )  (p  q) si es verdadero.

a) FVV b) FFV
c) FFF d) VVV e) VFV
19. Sean p, q y r proposiciones tal que: ( r  q) → ( r → p ) sea falsa.

Hallar los valores de:
1. ( p → q)  (r  q)
2. q  ( p  r )   p  ( r  s ) 
3. q  ( p  r )  ( q  p ) 
a) VFF b) VFV
c) FFV d) FFF e) VVV
c) FVV

lOMoARcPSD|37054123
20. Dado
• V F
V V V
F F F
Indicar los valores de verdad de la matriz principal ( q • p ) • ( q )
a) VVFF b) VFVF
c) FVFV d) FFVV e) FFVF
21.Deducir el valor de verdad de p, q y r. Si el siguiente esquema: ( p → r )  (p  q) si es verdadero.

a) FVV b) FFV
c) FFF d) VVV e) VFV
22.Sean p, q y r proposiciones tal que: ( r  q) → ( r → p ) sea falsa.

Hallar los valores de:
1. ( p → q)  (r  q)
2. q  ( p  r )   p  ( r  s ) 
3. q  ( p  r )  ( q  p ) 
a) VFF b) VFV
c) FFV d) FFF e) VVV
23.Si p(x): x 2 − 16 = 0 ; q(x): x – 12 = 0; r(x): x 2  9

Hallar el valor de verdad de:
1. p ( 2 )  q ( 2 )   r ( 4 )
2.  p ( 4 ) → r ( 5 )   q ( 4 )
3.  p(1)  p(3)  r(2)  p(3) → p(2)  q(2)
a) VVV b) VFF
c) FVV d) VVF e) FFF
24.se sabe que ( p  q ) y ( q → t ) son falsas. ¿Cuáles de las siguientes proposiciones son verdaderas?
1. ( p  t)  s
2. p  ( q  p ) 
3.  p  ( q  t )   (p → q)  ( q  t ) 
a) Sólo 1. b) Sólo 2.
c) Sólo 3. d) 1 y 2
e) 2 y 3
 
25.Dado Z : ( p → q) → p  ( q  r )  → q  (p  r ) .
Indicar los valores de p y r de modo que si q es F, entonces z es F.
a) VV b) FV
c) FF d) VF
e) No se pueden determinar.
26.Hallar el valor de p, r, s y w respectivamente, tales que ( p  r )  ( s → w ) es verdadera y

( w → s ) es falsa.
a) FVVF b) FVFV
c) FFVV d) FFFF
e) VVV

lOMoARcPSD|37054123
666666666666666666666666666
EQUIVALENCIAS LOGICAS
p → (q  r)  (p → q)  (p → r)
Una equivalencia lógica es una relación que existe entre Ejemplo: ¿A qué equivale?
dos proposiciones que tienen sus matrices finales
idénticas, de tal manera que al unirlas mediante un a) (p  q)  (p  r)
biimplicador el resultado es una tautología.
5) LEY DE MORGAN: La negación ingresa en al interior
LEYES DE LA LÓGICA PROPOSICIONAL: del signo de agrupación negándolo todo.
Son un conjunto de identidades que permiten simplificar o    y  
transformar los esquemas lógicos a otros equivalentes.
Para un mejor entendimiento, de éstas leyes, utilizaremos la (p  q)  p  q  p q
relación existente entre la Lógica y la Aritmética, a nivel de (p  q)  p  q  p  q
conjuntos, para ello consideraremos las siguientes
equivalencias: 6) LEY DEL COMPLEMENTO:
p  p  Conjunto  complemento = U = V
1) CONMUTATIVA: El orden de las componentes
(variables o esquemas) no altera la p  p  Conjunto  complemento =  = F
conclusión. Se cumple para: ,
, ,  7) LEY DE IDENTIDAD:
pqqp p  V  Conjunto  Universo  Universo  V
pqqp
pqqp p  F  Conjunto  Vacío  Conjunto  p
pqqp p  V  Conjunto  Universo  conjunto  p
p  F  Conjunto  Vacío  Vacío  F
2) ASOCIATIVA: Se utiliza cuando los conectores lógicos ,
8) LEY DE LA DOBLE NEGACIÓN: Llamada también de
, ,  son iguales. Se puede Involución, convierte dos negaciones en una afirmación,
asociar de diferentes maneras y la simplificándolas.
conclusión sigue siendo la misma.
p  p
( p  q)  r  p  (q  r)
(p  q)  r  p  (q  r) 9) Definición de Implicado: (Debemos ubicar el
p  q)  r  p  ( q  r) antecedentes y consecuente). Negamos el
(p  q)  r  p  (q  r ) antecedente (Cola), cambiamos el implicador
(flecha) en disyunción débil y el consecuente
(Punta) permanece constante.
3) IDEMPOTENCIA: Un conjunto unido o intersectado
consigo mismo da el mismo p → q  p  q
conjunto.
p p =p 10) Ley Contraposición: Sólo (→,):Se conmutan las
p  p=p variables, manteniendo las flechas constantes y
Ejemplo : ¿A qué equivale? negando ambas variables.
a) (A  B)  A
a. p → q  q → p
b) (p  q)  p b. p  q  q  p
c) [(p  q)  (p  q)]  r
11) Ley de Idempotencia: Sólo (, ): Se utiliza para
eliminar la redundancia (proposiciones repetidas).
4) DISTRIBUTIVA: Consiste en combinar toda la parte
externa con cada uno de los términos internos, y la a. ppp
conclusión n cambia. b. ppp
p  (q  r)  (p  q)  (p  r)
p  (q  r)  (p  q)  (p  r)

lOMoARcPSD|37054123
12) LEY DEL BIIMPLICADOR : : Es una disyunción () y una Identidades Adicionales
conjunción () y una conjunción negada
1) p  (p  q) = p  q
p  q  (p → q)  (q → p) 2) p  (p  q) = p  q
p  q  ( p  q)  (p  q) 3) p  (p  q) = p  q
p  q  ( p  q) 4) p  (p  q) = p q
5) p  (p  q) = p q
13) LEY DE LA DISYUNCIÓN FUERTE: : Es una conjunción 6) p  (p  q) = p  q
() de una disyunción () y una disyunción negada. 7) p  (p  q) = p q
p  q  (p  q)  (p  q) 8) p  (p  q) = p  q
p  q  (p  q)  (q  p)
p  q   (p  q) Implicaciones lógicas (tautologías):
14) LEY DE ABSORCIÓN: Es una combinación de los

1) (p → q)  p → q
conectivos  y , de tal 2) (p → q) q → p
forma que el esquema a
simplificar, posee o debe
3) (p  q) p → q
poseer la característica 4) (p  q) q → p
que dentro y fuera los
conectivos son
5) (p  q) p → q
Absorción I: 6) (p  q) q → p
p  (p  q)  p
7) ( p  q) → p
p  (p  q)  8) ( p  q) → q
1. Absorción II: 9) (p  q)  p → q
10) (p  q)  q → p
p  (p  q)  p  q
p  (p  q)  p  q 11) (p → q)  (q → r) → (p → r)
12) (p  q)  (q  r) → (p  r)
NOTAS: 13) (p → q)  (r → s)  (p r) → (q s)
Identidades adicionales: 14) (p → q)  (r → s)  ( q  s) → ( p r)
1) p  (p  q) = p q
2) p  (p  q) = p  q
a) p  q  (p  q)
 p  q
 p  q
 p  q
b) p  q  (p  q)
 p  q
 p  q
 p  q
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
a) Ley de Mutación:
p → (q → r)  q → (p → r)
b) Ley de Exportación:
(p  q) → r  p → (q → r)

lOMoARcPSD|37054123
Práctica
1). Hallar el equivalente de: p  ( p  q)
a) p q
b) pq
c) p
d) pq
e) p
2).¿A qué equivale q  ( q  p )   ( r  p ) ?
a) r p
b) rp
c) r |p
d) V
e) qr
3)La fórmula:
 ( p  q)  (p  r )  (r  s )  ( q  s )
Es equivalente a:
1) ps
2) p  q  r s  ( s  r)
3) p  q r  s
4) q  s  (q  s)
5) (p → q)  ( s  r )
Son ciertas:
a) 1,2 y 3 b) 2,3 y 4
c) 4 y 5 d) 3 y 5
e) 2 y 4
4)Simplificar el esquema: ( p  q )  p
a) p  q b) p q
c) p  q d) (p  q)
e) a y d
5)La fórmula:  p  (q → p )   ( p | q ) ,equivalente a:

a) q b) p
c) p  ( p | q ) d) p  q
e) q p
6)La fórmula: ( p  p ) | ( p  p ) , es equivalente a:

1) p  p
2) p
3) ( p p)  ( p  p)
4) p p
5) p
Son ciertas:
a) 1,2 y 3 b) 2, 3 y 4
c) 1, 4 y 5 d) 1, 3 y 5
e) 1 y 2
7)Dado el esquema:  p  (q → p )  | ( p  q) , su equivalente es:
22

lOMoARcPSD|37054123
a) q b) p  (p  q)
c) p d) p  q
e) q p
8) Dada la matriz A: 11100000. El equivalente de:

A  ( q → r ) , es:
a) q  r b) p  q
c) q  r d) p  r
e) r
9)La negación de:

( r  p )  r p q  p  (r  q) 
Es equivalente a:
a) p  r b) p  r
c) p  q d) p
e) V
10)Simplificar: p (p  q)  (p  q)

a) p b) p q
c) p  q d) p q
e) p  q
11)La estructura formal: ( p  q)  p   1 es equivalente a:
1) p 2) q
3) p  1 4) 1
5) 0  1
Son inciertas:
a) Sólo 2 b) 3 y 5
c) 1, 2y 4 d) 1, 4 y 5
e) 2 y 5
12)La fórmula proposicional: ( A  B )  ( A  B )  B , equivale a:

   
a) B b) B
c) B  B d) A
e) A  B
13)La fórmula: (p  q) | ( q  p )  (p  q) , es equivalente a:

1) ( p  q)  ( q  p )
2) p q
3) p  q
4) pq
5) q p
Son ciertas, excepto:
a) 1 y 4
b) 2 y 3
c) 2,3 y 5
d) 2,4 y 5
e) 2 y 5
14)Dado el esquema:  ( p q)  q → p , es

equivalente a:
1) (p  q)  ( p 
q)   p → q
2)  p  ( p q)  → q
3) p  ( p  q)  → q
4) p  ( p  q)  → q
 
23

lOMoARcPSD|37054123
5)  p  ( p  q)  → q
Son ciertas:
a) 1
b) 2,4 y 5
c) Sólo 5
d) 2 y 5
e) a y d
15)De la fórmula:   ( 
q  r )   r , es equivalente a:
1) qr
2) ( q r)
3) (q  r )  (q  r)
4) ( q  r ) | (q  r )
5)  ( q  r )  ( r  q) 
Son ciertas:
a) 1,2 y 3 b) 1,2 y 5 c) 2,3 y 4 d) 1 y 5 e) 4 y 5
16)Sea la matriz principal de la metavariable

A : 01101110 . Simplificar A  ( q  r )
a) p r
b) qr
c) p r
d) p
e) q
16.Usando las leyes lógicas, simplifique la siguiente formula lógica:

(p  q)  p  (pq)  (p  q)  (p q)  q
Tiene como equivalente a:
a) p b) q
c) p  q d) p  q
e) v
17.Al simplificar, la fórmula proposicional:

( p  q)  ( q → p )   p | ( q  p ) 
Tiene como equivalente a:
a) p  q
b) V
c) p  q
d) p → q
e)
(p  q)  p
q q
  q → p; 
p
 q  p
18.Si se define: p
 q p   q p 
 →
 p   
 p    

q q
Simplificar:    
a) p  q
b) p  q
c) q
d) q → p
e) p
24

lOMoARcPSD|37054123
EQUIVALENCIAS LÓGICAS II
1. Dado el siguiente argumento: “”No habrá verano siempre que y sólo si la Tierra carezca de movimiento”, es equivalente a:
a) En el caso de que la Tierra tenga movimiento por ello habrá verano.
b) Qué la Tierra tenga movimiento es condición suficiente para que haya verano.
c) Habrá verano si de la misma forma la Tierra tiene movimiento.
d) Es condición suficiente y necesaria que no haya movimiento de la Tierra para que haya verano.
e) Todas las anteriores son equivalentes.
2. La proposición: “La sumatoria no es equivalente a la productora”, es equivalente a:

1. No es innegable que la sumatoria se defina como la productoria.
2. No existe la sumatoria siempre que y sólo cuando exista la productoria.
3. Existe la sumatoria a menos que exista solamente la productoria.
4. Si y solamente si existe la sumatoria entonces no existe la productoria.
5. Existe la sumatoria por lo cual y según lo cual existe la productoria.
Son correctas:
a) 1, 2 y 3 b) 3, 4 y 5
c) 2, 3 y 4 d) Sólo 1
e) Todas
3. La contraposición del siguiente argumento: “Salvo que a la vez sea profesor de lógica, soy profesor de filosofía”
a) Soy profesor de lógica porque no sea profesor de filosofía.
b) Si no es profesor de filosofía es obvio que soy profesor de lógica.
c) Soy profesor de filosofía salvo que soy profesor de lógica.
d) Es imposible que no sea profesor de lógica tal como sea profesor de filosofía.
e) a y b
4. Es falso que, irás a Brasil de vacaciones sin embargo no conocerás las playas costeras del
atlántico.
Son correctas, excepto:
a) 1 y 2 b) 2 y 3 c) Sólo 1 d) 1 y 3 e) Sólo 3
5. La proposición: “No obstante que hay crisis también hay prósperos empresarios en el Perú”, equivale a:
a) Hay prósperos empresarios empero no hay crisis en el Perú
b) Cuando hay crisis así pues también hay prósperos empresarios en el Perú.
c) Es absolutamente absurdo que si hay crisis en consecuencia es falso que haya prósperos empresarios en el Perú.
d) Es falso que, no haya prósperos empresarios pero si crisis en el Perú.
e) a y d
6. La proposición: “Se cumple que el 4 es número divisible por 2 tan solo si es número par”, es equivalente a:
a) Suponiendo que 4 no es par en este caso es no divisible por 2.
b) De no ocurrir que 4 sea divisible por 2 es obvio que es número par.
c) El que 4 sea par es necesario para que sea divisible por 2.
d) 4 es número impar siempre que sea no divisible por 2
e) ayc
7. Si: “Es imposible que tanto Alberto como Andrés nunca juegan billar”, entonces equivale a:
a) A menos que Alberto juegue billar, Andrés también no jugará.
b) Andrés salvo que Alberto a la vez juegan billar.
c) No es verdad que al jugar Alberto billar en consecuencia Andrés no jugará.
d) Alberto e incluso Andrés no juegan billar
e) O bien Andrés o bien Alberto no juegan billar.
25

lOMoARcPSD|37054123
8. La proposición: “Es inadmisible que los vertebrados ni tienen cráneo ni extremidades”, es equivalente a:
1. Los vertebrados tienen extremidades si no tienen cráneo.
2. Los vertebrados tienen cráneo excepto extremidades.
3. Siempre que los vertebrados no tienen extremidades, tienen cráneo.
4. Los vertebrados tienen cráneo al igual que extremidades.
5. A menos que los vertebrados no tengan extremidades, tienen cráneo.
Son correctas:
a) 1, 2 y 3 b) 3, 4 y 5 c) 1, 2 y 5 d) 1, 2 y 4
e)2, 3 y 5
9. Dada la proposición: “Es suficiente que llueva para que se malogren las pistas”, es equivalente a:
a) Si no llueve, entonces se malogran las pistas.
b) No es cierto que, llueva y no se malogran las pistas.
c) No acontece que, no llueva y se malogren las pistas.
d) No llueva y no se malogren las pistas.
e) c y d.
10. La proposición: “Si el Sol no es una estrella es obvio que Neptuno es un planeta”, equivale decir:
1. El Sol no es estrella y Neptuno no es planeta.
2. El Sol es estrella salvo que Neptuno sea planeta.
3. Neptuno no es planeta a no ser que el Sol sea estrella.
4. Si Neptuno no es un planeta entonces el Sol es estrella.
5. El Sol es una estrella y/o Neptuno es un planeta.
Son correctas:
a) 1, 2 y 3
b) 3, 4 y 5
c) 2, 3 y 4
d) 2, 4 y 5
e) Todas menos 1
11. Dada la proposición: “Siempre que seamos país dependiente, luego seremos subdesarrollado”. Equivale a decir:
a) Somos país dependiente y no somos subdesarrollado
b) Si no somos país subdesarrollado entonces no seremos país dependiente.
c) Si somos país dependiente, entonces no somos subdesarrollados.
d) Si somos país subdesarrollado, entonces no somos dependiente.
e) Todas son equivalentes.
12. La proposición: “El idealismo tanto como el materialismo son sistemas filosóficos contrapuestos”, equivale a:
1. El idealismo es un sistema filosófico contrapuesto, así mismo el materialismo también es un sistema
filosófico contrapuesto.
2. Ambos el materialismo con el idealismo son sistemas filosóficos contrapuestos.
3. Es falso que, los dos, el materialismo a menos que el idealismo no son sistemas filosóficos contrapuestos.
4. Es absurdo que el idealismo mas el materialismo no son sistemas filosóficos contrapuestos.
5. Es falso que sea absurdo que no sólo el idealismo también el materialismo son sistemas filosóficos
contrapuestos.
a) 1, 2 y 3
b) 2, 3 y 4
c) Sólo 4 y 5
d) Todas
e) Sólo 1 y 2
26

lOMoARcPSD|37054123
13. La proposición: “Ni David estudia razonamiento matemático ni atiende la clase. Si y sólo si David no estudia razonamiento
matemático”, equivale a:
a) Sólo si David atiende la clase, estudia razonamiento matemático.
b) Si David atiende la clase, estudia razonamiento matemático.
c) David atiende la clase.
d) Ni David estudia razonamiento matemático ni atiende la clase.
e) David estudia razonamiento matemático.
14. ¿Cuáles de las siguientes proposiciones son equivalentes?

1. La limonada americana es agradable, o también se le añada azúcar.
2. La limonada americana es agradable si no añadimos azúcar.
3. Si añadimos azúcar, la limonada americana no es agradable.
4. Si no añadimos azúcar, la limonada americana es agradable.
a) 1, 2 y 3
b) 1, 2 y 4
c) 2 y 4
d) 2 y 3
e) 1 y 311q| a-
15. La proposición: “Hay oscuridad a pesar de que hay

claridad”. Equivale a:
1. Aun cuando hay claridad hay oscuridad.
2. Existe claridad, pero no oscuridad.
3. Es absurdo que no haya oscuridad y/o tampoco
claridad.
4. Es inadmisible que no haya claridad o también
exista oscuridad.
5. No es verdad que, a menos que no haya claridad,
no exista oscuridad.
Son falsas:
a) 1, 2, y 5 b) 2 ,4 y 5 c) 1, 3 y 4 d) 2 y 4 e) 1,2,3,4 y 5
16. La proposición: “Si cos60º = ½ entonces, tg45º < 1y

sen30º = 1/3; sin embargo, cos60º ≠ ½. Por lo tanto
sen30º ≠ 1/3”, equivale a:
a) Si cos60º = ½ entonces sen30º = 1/3.
b) Ya que sen30º = 1/3 es obvio que cos60º = ½
c) cos60º = ½ y tg45º < 1
d) sen30º = 1/3 a menos que cos60º = ½
e) tg45º < 1.
17. “Una figura geométrica que tiene 3 ángulos se define

lógicamente como un triángulo” equivale a:
a) Una figura geométrica tiene 3 ángulos porque es
un triángulo.
b) Una figura geométrica tiene 3 ángulos en
consecuencia es un triángulo.
c) Ya que es una figura es un triángulo bien se ve
que tiene 3 ángulos.
d) Una figura geométrica no tiene 3 ángulos salvo
que sea un triángulo, a la vez si es un
triángulo entonces es una figura geométrica
que tiene 3 ángulos.
e) Una figura es un triángulo a menos que tenga 3
ángulos.
18. La proposición: “Es imposible que tanto Luís cuanto

Mario nunca sean capaces”. Entonces equivale a:
a) A menos que Luís sea capaz, Mario también
no lo será.
b) Mario salvo que Luís a la vez son capaces.
c) No es verdad que, al ser Luís capaz, Mario
no lo sea.
d) Luís e incluso Mario no son capaces.
e) Mario o sólo Luís no son capaces.
27

lOMoARcPSD|37054123
19. La proposición: “Hay oscuridad a pesar de que hay

claridad”. Equivale a:
1. Aún cuando hay claridad hay oscuridad.
2. Existe claridad, pero no oscuridad.
3. Es absurdo que no haya oscuridad y/o tampoco
claridad.
4. Es inadmisible que no haya claridad o también
exista oscuridad.
5. No es verdad que, a menos que no haya claridad,
no exista oscuridad.
Son falsas:
a) 1, 2, y 5 b) 2 ,4 y 5 c) 1, 3 y 4 d) 2 y 4 e) 1,2,3,4 y 5
20. La proposición: “Si cos60º = ½ entonces, tg45º < 1y

sen30º = 1/3; sin embargo, cos60º ≠ ½. Por lo tanto
sen30º ≠ 1/3”, equivale a:
a) Si cos60º = ½ entonces sen30º = 1/3.
b) Ya que sen30º = 1/3 es obvio que cos60º = ½
c) cos60º = ½ y tg45º < 1
d) sen30º = 1/3 a menos que cos60º = ½
e) tg45º < 1.
21.La proposición: "31 es número primo, pero no es divisible por 2” Por D Morgan equivale a:
a) 31 no es número primo a menos que no sea divisible por 2.
b) 31 no es número primo incluso es divisible por 2.
c) 31 no es divisible por 2 a la vez es número primo.
d) 31 no es número primo puesto que es divisible por 2.
e) 31 no es número primo salvo que sea divisible por 2.
22.Hallar el equivalente de “Si dos cuerdas equidistan del centro a lo más tienen igual medida”:
a) Dos cuerdas no equidistan del centro incluso tienen igual medida
b) Dos cuerdas no equidistan del centro excepto que tengan igual medida
c) Dos cuerdas no equidistan del centro ya que tienen igual medida
d) Si dos cuerdas tienen igual medida entonces no equidistan del centro
e) Ya que dos cuerdas equidistan del centro supone que no tienen igual medida
23. “El ornitorrinco es un mamífero”, equivale a:

a) El ornitorrinco no es un mamífero.
b) De ninguna manera se da que el ornitorrinco no sea mamífero.
c) No es verdad que el ornitorrinco sea mamífero.
d) Es absurdo que el ornitorrinco sea mamífero.
e) De ningún modo el ornitorrinco es mamífer
24. La proposición: "En modo alguno, el granito es la roca más dura pues está compuesta de feldespato y cuarzo". Su equivalente
es:
a) p qr
b)  (p  q)
c)  (p → q) r
d) p (q  r)
e) (q → p)  r
25 La proposición: “Juan Aurelio es empresario o únicamente es maquinista, en consecuencia, Juan Aurelio no es empresario.
Juan Aurelio es maquinista”. Es equivalente a:
a) Juan Aurelio es empresario.
b) Juan Aurelio es maquinista. CORREGIR CLAVE
c) Juan Aurelio no es empresario, aunque es maquinista.
d) Juan Aurelio no es empresario.
e) Es absurdo que Juan Aurelio sea empresario o no sea maquinista.
28

lOMoARcPSD|37054123
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  ⊥O  (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
“(CONJUNCION = )
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 29

lOMoARcPSD|37054123
Se observa que la corriente tiene dos caminos para circular (camino superior e inferior). Hay paso de corriente cuando
uno de los interruptores o ambos están cerrados; no hay paso de corriente cuando los dos interruptores están abiertos.
Tenemos entonces el comportamiento de la disyunción incluyente de las proposiciones p y q. Por lo tanto, la
representación simbólica del circuito es: p  q
C. CIRCUITO SERIE – PARALELO: Representa a un esquema molecular y viceversa.
Representación gráfica Representación Simbólica
[ A  (B  C)]  (D  E)
B
A
C
D E
Práctica
1. Representar como circuito la representación de:

p  q  r  q p r
a) b)
c) d)
e)
2. Luego de reducir, diseñar un circuito para: p  (p  q)
a) b)
c) d)
e)
3.Se le pide a un electricista reducir el siguiente circuito por uno equivalente. Si todos los conmutadores tienen el mismo costo
de S/ 2.50 ¿Cuánto se ahorrará en la instalación de dicho circuito?:
p q r
q
p p
p
r q p
a) S/ 15.00 b) S/ 22.50
c) S/ 17.50 d) S/ 20.00 e) S/ 27.5
4. Hallar el circuito equivalente para:
30

lOMoARcPSD|37054123
s p q s
p q r
q
r
p s
p r
a)
q
b)
c)
d)
p q r
e)
s
5.Se define a p • q por medio de su matriz principal:
00000011. Hallar el circuito simplificado del siguiente esquema: ( p • q)  ( p  q)   ( q • p ) → q
a)
q
b)
p q
c)
p
q
d)
e) p
6.Luego de reducir, diseñar un circuito para: p  (p  q)
a) b)
c) d)
e)
7.Se define a p❖q por medio de su matriz principal:

FVFF. Hallar el circuito simplificado del siguiente esquema:
[(~p❖~q)❖(p∆~q)]∆ (p∆~q)
a)
q
b)
c)
d)
e)
p
8.La matriz final de cierto esquema es: 00001000.
31

lOMoARcPSD|37054123
¿A cuál de los siguientes circuitos corresponde?
a) b)
c) d)
e)
9.Se define p  q , cuya matriz final es FVFF.

Hallar el circuito simplificado del esquema:
[(p  q)  p]  [(q  p)  q]
a) b)
c) d)
e)
10. Diseñar el circuito equivalente, dado el siguiente esquema:
(p  q)  (pq) (p q)( pq)
a)
p q
p q
b)
p q
p q
c)
d)
e)
11. Dado el circuito:
a)
b)
32

lOMoARcPSD|37054123
c)
d)
p
e)
12. Diseñar el circuito equivalente, dado el siguiente esquema:
(p  q)  (pq) (p q)( pq)
a)
p q
p q
b)
p q
p q
c)
d)
e)
13.Dada la salida numérica 10010000. Diseñar el circuito:

a)
~p q r
p ~q ~r
b)
p q r
p ~q ~r
c)
p q ~r
p ~q ~r
d)
p q r
p q r
e)
33

lOMoARcPSD|37054123
~p q ~r
p ~q ~r
14. Dada la salida numérica 00111000. Diseñar el circuito equivalente que lo representa.
a)
p q
~p q r
b)
p ~q
~p ~q r
c)
p ~q
~p q r
d)
p ~q
~p q ~r
e)
~p q
~p q r
15.Dar el esquema al simplificar el circuito.

a) ( p → q)  p p
b) ( p  q)  q
q
c) ( p → q)  p p
r
s
d) ( p → q)  q p r
e) ( p  q)  q r
16.Se le pide a un electricista reducir el siguiente circuito por uno equivalente. Si todos los conmutadores tienen el mismo costo
de S/ 2.50 ¿Cuánto se ahorrará en la instalación de dicho circuito?:
p q r
q
p p
p
r q p
a) S/ 15.00 b) S/ 22.50
c) S/ 17.50 d) S/ 20.00 e) S/ 27.50
17.Diseñar un circuito equivalente, reducido de: “María es abogada de la misma forma José es ingeniero. No obstante al ser
María abogada entonces es falso que, ni María es abogada ni Javier es deportista”.
q
a)
p
b) p q r
c)
p q
34

lOMoARcPSD|37054123
d) p
e)
18.Determinar el circuito lógico que representa el siguiente esquema:
( p  q)  ( p  q)  → (p  q)
p q p q
p q p q
a) b)
p q p
p q q
c) d)
p q
e)
19.Dar el esquema lógico del circuito simplificado si:
p q
~q ~p
p ~q
q ~p
p p
~q
a) p b) q
c) p  q d) p
e) q
20.Dada la salida numérica 11101011. Diseñar el circuito equivalente.
p p
q ~q
r
a)
~p p
q ~q
~r
b)
~p p
q q
r
c)
~p p
q ~q
r
d)
p p
q p
p
e)
35

lOMoARcPSD|37054123
INFERENCIAS LÓGICAS
INFERENCIAS LOGICAS
Son implicaciones lógicas (esquema implicativo tautológico), que sirven para inferir o concluir utilizando leyes y reglas
válidas para obtener conclusiones a partir de un conjunto de premisas o datos.
LEYES DE INFERENCIA
I. MODUS (→, , )
a) Modus Ponendo Ponens (M.P.P): “Método afirmando afirma”. Es el método que afirma el consecuente.
1) P1: p → q Si afirmamos el
P2: p antecedente, también
C: q afirmamos el
consecuente
2) P1: p  q
P2: q Si una proposición se
repite, la otra también se
C: p repite.
b) Modus TollendoTollens (M.T.T.): “Método Negando Niega”. Es el método que niega el antecedente.
1) P1: p → q Si negamos el
P2: q consecuente, también
negamos el antecedente
C: p
2) P1: p  q Si una proposición se

P2: p niega, la otra también se
niega.
C: q
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
C: q C: p
b) Silogismos Hipotético Puro (S.H.P.)
→, ,  
→, ,  
 
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
C: p → r C: p  r C: p  r
III. Ley de Conjunción (adjunción) “sólo ()
36

lOMoARcPSD|37054123
P 1: p
P 2: q
C: p  q
IV. Ley de Simplificación “sólo ()”
Se elige cualquiera de los dos o también las dos posibilidades.
P 1: p  q
C1: p
C2: q
V. Ley de Adición (nuevo factor):“sólo “v””
P 1: p ; x: cualquier proposición
C: p v x
→, ,  
VI.

Dilemas →, , 

 
    
A) Dilema Constructivo (DC)
P1: p → q
P2: r → s SI tomamos antecedente
afirmados en “v”, obtengo
P3: pv r consecuentes en “v”
C:q v s
B) DilemaDestructivo (D.D.)
P1: p →q
Si tomamos los
P2: r → s consecuentes negados en
P3: q vs “v” obtengo antecedentes
negados en 2v”
C:p v r.
NOTE:
1. Modus PonendoTollens (M.P.T.): “Método Afitmando Niega”
P1: p  q
P2: p
C: q
PRÁCTICA
1. La conclusión del conjunto de premisas:
P1: ~ p  q
P2: q V s
P3: ~ (~ r  ~ s)
Es:
a) r → ~ p b) ~ p V ~ r
c) ~ (r  p) d) p → ~ r
e) Todas
2. Dadas las siguientes premisas:

P1: A  B
P2: B  C
P3: C  D
P4:  D  E
P5:  E
Se concluye:
a)  A → D b) E
c)  A d) A
e)  C  B
3. Dadas las premisas, hallar la conclusión:

1. ( a  b )  ( b  c ) → h 
2. (h  a )
37

lOMoARcPSD|37054123
3. b
a) a b) c
c) a → c d) h
e) h → a
4. Sean las premisas:

1. i → j
2. v → w
3. j w
Se infiere deductivamente en:
a) i  v
b) w  v
c) j
d) v
e) i v

1. s→q
2. r → q
3. s → p
a) r  q
b) q
c) r → p
d) p
e) r  q
6. Dadas las premisas:

(
1. ( a | b ) → m  n )
2. ab
3. (m  n)  (k  a )
Se infiere en:
a) (n  k ) b) (n  k )
c) a → b d) m → n
e) a
7. De las siguientes premisas:
1. p  q 2. p  r
3. q → s
Se infiere:
a) r  q b) r  s
c) q → r d) r → s
e) r

1. x = 5 → y  4 2. z = 3 → y = 4
3. z  3 → p = 6 4. x = 5
Se infiere:
a) x = 5 b) z = 3
c) p = 6 d) x  5
e) p  6
38

lOMoARcPSD|37054123
1. ( x + 1 = 5) → ( y + 3 = 6)
2. ( z + y = 9) → ( x + y = z − 6)
3. ( x + 1 = 5)  ( z + y = 9)
4. x + y  z − 6
Se infiere:
a) x + 1 = 5 b) z + y = 9
c) y + 3  6 d) x + y  z − 6
e) y + 3 = 6
1.
( x  y )  ( x  4) 2. ( x  4) → ( x  y  x = 8)
3. ( x  y ) → ( x = 4) 4. x  4
Se infiere:
a)
x y b) x = 4
c) y = 8 d) ( x  y )  ( x = 8)
e) ( x  y )  ( x  4)
11. De las premisas:
1.
p  ( r  s ) 2.
q  r
3.
p  (t  p )
Se infiere en:
1)
(v  w)  q 2) q → w
3)
w→q 4) r → s
5) s → w
Son correctas:
a) Sólo 1 y 2 b) Sólo 1 y 3
c) Sólo 2, 4 y 5 d) Sólo 1, 3 y 5
e) Todas.
12. Dada la fórmula lógica, hallar su conclusión formal:

(p v q) Λ (q v r) Λ (r v s) Λ (s v t) Λ t
a) q b) p
c) t d) p
e) r

n  (p → t )
1. t 2.
3.
(p  m )  ( q  m )
Se infiere:
a) q Λ n b) q
c) q d) p
e) m Λ q
P1: q → ~ r P2: q  p
P3:
p  (s  t) P4: r
P5: s  u
Se concluye:
a) p b) s
c) u d) r
e) p
15. De las siguientes premisas formales:

P1: s~ w P2: t → r
P3: w → u P4: (p → u) Λ (s → r)
39

lOMoARcPSD|37054123
Se infiere deductivamente:
a) ~ p  ~ t b) ~ p~ q
c) ~ t  r d) ~ q
e) p
1. q  r 2. t  s
3. s  r 4. p v q
5. t
Se infiere deductivamente:
a) p b) p Λ s
c) p  s d) p
e) s
1. B → A 2. A  E
3. C Λ D 4. C → B
E → (D → F )
5.
Se concluye en:
a)
B→ F b) F
c) A d) E
e) B
1. ( x + 4 = 8 ) → ( y − 1 = 3)
2. ( z − y = 11) → ( x + y = z + 8 )
3. ( x + 4 = 8)  ( z − y = 11)
4. x+ y  z+8
a) z − y = 11
b) x+4=8
c) x+ y = z+8
d) y − 1 = 3
e) x + y  5
19. De las premisas dadas, hallar la conclusión:
1. (h → f )
2. (h  f) → b
3. b| c
4. c →a
a) b
b) c
c) a
d) h
e) h a
20. Hallar la conclusión válida, para las premisas:

1. ( r  s ) → ( p  q )
2. ( t → p )  (u → w )
3. (u → q)  (h → w )
4. r
a) rs
b) s
c) uq
d) t|u
e) t

1. r → (
q s )
2. t → (r  p)
3. t u
40

lOMoARcPSD|37054123
4. p q
Se concluye:
a) w →u
b) r → q
c) u  r
d) q → p
e) p r
1. ( h  s )  ( t  s )
2. pq
3. s →r
4. r → (p  q)
Se concluye:
c) t
d) h  t
e) p  q
f) h t
g) b y d
23. Dadas las siguientes premisas, hallar la conclusión:

1. p  ( q  r )
2. s →p
3. t→ q
4. ( s  t)
a) q→r
b) q r
c) st
d) p
e) q
24. Hallar la conclusión, si tenemos las siguientes premisas:

1. c  ( a → b )
2. d → ( b  c)
3. e→ (a  d)
4. ( a  e)
a) d
b) a →b
c) ab
d) c
e) d c

1. ( j  k) → h
2. ih
3. i  ( l  j )
a) h →k
b) k h
c) h
d) i
e) j

P1: 00111111
P2: 11101110
P3: 01010101
Su conclusión es:
a) 10101010
b) 01010101
c) 00110011
d) 11110000
e) 00001111
41

lOMoARcPSD|37054123
PROPOSICIONES CATEGORICAS
1. Elementos Formales
a) Cuantificador (cuantor): El término que indica la cantidad de una clase o conjunto. De tal manera que será “universal”
si la proposición empieza con el término “todo”, será “particular ( existencial)” si empieza con el término “alguno”.
b) Sujeto “S”: Es una clase o conjunto cualquiera .

Ejemplo:
✓ Hombre
✓ Mujer
✓ Animal
c) Copula (nexo, verbo): Es aquel que enlaza el sujeto y predicado, mayormente es:
• Verbo afirmado: “son, es”
• Verbo negado: “no son, no es”
d) Predicado “P”: Es otra clase o conjunto que establece una característica del sujeto.
Ejemplo:
✓ Fiel
✓ Celosa
✓ Felino
2. Cuantificadores Lógicos: Símbolos que determina 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.
- Todo x
- Cualquier x
Traducción versal: - Los x, las x
- Quien quiera que sea x
- Etc. Se formalizan
a.2) C.L. Universal Negativo: x (Sx → Px)
Toma todos los elementos

Del conjunto para excluirlos.
- Ningún x
Traducción Verbal - Nadie x
- Nada x Se
- Ni siquiera x formalizan
b) C.L. Existencial (particular): x, se lee; existen “x”.
42

lOMoARcPSD|37054123
Toma algunos elementos del conjunto.
b.1) C.L. Existencial afirmativo: x (Sx  Px)

Toma algunos elementos
Del conjunto para incluirlos.
- Algún x
- Mucho x
Traducción verbal - Bastantes x
- Hay x Se
- Existen x formalizan
- Etc.
3. Formas Típicas de la P. 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)
4. Inferencias Inmediatas:
a) Teoremas de Morgan
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)
3) S i P  (S e P)
4) S o P  (S a P)
b.2) C.L. Existencial Negativa: x (Sx  Px)

Toma algunos elementos del conjunto par excluirlo. Además toma las mismas traducciones verbales que el existencial
afirmativo pero con el verbo negado.
Ejemplos:
1) Todo hombre es inteligente: x (Hx → Ix)
2) Ningún ateo es piadoso: x (Ax → Px)
3) Alguna mujer es sincera: x (Mx  Sx)
4) Muchas plantas no son verdes: x (Px  Vx)
NOTA: Cuando tengamos Traducciones Verbales universales (afirmativa o negativas) y el verbo este negado, extraer
la negación como externa.
Ejemplo:
Todo auto no es italiano: x (Ax → Ix)
c) Obversa: U → U: a  e
E → E: i  o
Se obtiene manteniendo constante el sujeto y cantidad, cambiando de calidad a la vocal y negando o 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
d) Conversa: A→A
E→E
d.1.) C. Simple (lineal): Se obtiene conmutando el sujeto y predicado.
43

lOMoARcPSD|37054123
1) S e P  P e S
2) S i P  P i S
d.2) C. Accidental: Válida para inferior pero no como equivalente. Se obtiene conmutando sujeto y predicado, además
cambiando la cantidad a la vocal.
1) S a P → P i S
2) S e P → P o S
NOTA: S o P → No tiene conversa válida.
e) Cuadro de Boecio (de oposición tradicional)
A E
I O
f) Contrapuertas( contrapuesta)
e.1. Contrapuerta Parcial (C.P)

Premisa
Obversa
Conversa
C.P.
e.2. Contrapuerta Total (CT)
Premisa
Obversa
Conversa
Obversa
C.T.
g) Universos Finitos: Sean A y B, sujetos:

1) (Ax)
 Aa  Ab  …  An
2) x (Bx)
 Ba  Bb  …  Bn
3) Distribución:
3.1) x (Ax  Bx)

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

 x (Ax)  x (
44

lOMoARcPSD|37054123
PRÁCTICA
1. La proposición: “Sólo los fujimoristas son demócratas”, equivale a:
a) Todos los no fujimoristas son demócratas.
b) Cualquier fujimorista no es demócrata.
c) Es imposible que algunos no fujimoristas no sean demócratas.
d) No hay fujimoristas que no sean no demócratas.
e) Ningún demócrata es no fujimorista.
2. La contraria de la contradictoria de la subcontraria de:” Pocos no S no son P”, es:

a) Algún S es P b) Todo P es S
c) Ningún S es P d) Todo no S es P
e) Todo S es P
3.Hallar en forma cuantificacional el equivalente de: “Cada uno no es un tonto”

1. x ( Tx )
2. x ( Tx )
3.  x ( Tx )
4. x ( Tx )
Son ciertas:
a) 3 y 4 b) 2 y 3
c) Sólo 1 d) Sólo 2
e) 1 y 2
4.La proposición: "Hay músicos", equivale decir:

1) Existen los músicos.
2) Al menos un músico existe.
3) La minoría son músicos.
4) La mayoría son músicos.
5) Pocos son los músicos.
Son ciertas
a) 1,2 y 3
b) 2,3 y 4
c) 3,4 y 5
d) 3 y 5
e) Todas
5.La formalización de: “Algo no es líquido” es:

a) x L x
b)  x Lx
c) x Lx
d) x Lx
e) x (L x  Mx )
6.La fórmula  x ( A x ) tiene como equivalente:

a) x ( A x )
b) x ( A x )
c) x ( A x )
d)  x ( A x )
e) A x
7.Formalizar según la lógica predicativa “Si Javier es aseado, está presentable”.

a) A j → Pj
b) Ja → Jp
c) A j  Pj
d) Ja  Jp
45

lOMoARcPSD|37054123
e) Todas las anteriores.
8.“Algunos no conceptos son definiciones ambiguas” es la contrapuerta parcial de:

a) Todo concepto es definición ambigua.
b) Ninguna definición ambigua es concepto.
c) Pocas definiciones ambiguas son conceptos.
d) Toda definición ambigua es concepto.
e) Algunas definiciones ambiguas son conceptos.
9.La obversa de la subalternante de la conversa de “Algunas playas paiteñas están contaminadas”, es:
a) P a C b) C e P
c) C e P d) C a P
e) P i C
10.Dadas las premisas:

1. m , (12 = m x 3 )  (m + 1 = 4 )
2. m , ( m + 1 = 4 )  ( 8 − m = 5 )
3. 8 − 3 = 5
Se concluye en:
a) 3 + 1  3 b) 8 − 3  5
c) 3 + 1  4 d) 12  3 x 3
e) 12 = 4 x 3
11.Negar la siguiente proposición:

( x ) , ( y ) /  p ( x ) → ( q ( y ) → r ( x ) )
Si el conjunto de referencia es los reales ( )
a) ( x ) / ( y ) , p ( x )  ( q ( y )  r ( x ) ) 
b) ( x ) / ( y ) ,  p ( x )  (q ( y )  r ( x ) ) 
c) ( x ) / ( y ) , p ( x )  ( q ( y )  r ( x ) ) 
d) ( x ) / ( y ) , p ( x )  ( q ( y )  r ( x ) ) 
12. x  Px  Q x 
2. P4  Q−3
Su conclusión es:
a) P4 b) Q4  P−3
c) Q −3 d) Q4  P−3
e) P−3

1. Ningún presidente de los Estados Unidos fue un inmigrante
2. John Quincy Adams fue un presidente de los Estados Unidos
Por lo tanto, su conclusión es:
a) Todos los presidentes de los Estados Unidos son inmigrantes
b) Algunos presidentes de los Estados Unidos no son inmigrantes
c) Algunos presidentes de los Estados Unidos son inmigrantes
d) John Quincy Adams no fue un inmigrante
e) John Quincy Adams no fue presidente de los Estados Unidos
14.Dado el conjunto A = {-1, 0, 1, 2, 3, 4}. Determinar el valor de verdad de cada uno de los siguientes enunciados:
1) x  A, x 2  A 2) x  A, x-1  A
3) ∃x ∈A / x + 1 ∈A 4) x  A, x 2 -1 = 0
5) x  A,(x 2 -1)(x 2 -5x + 6)(x 2 - 4x) = 0
46

lOMoARcPSD|37054123
a ) FFFFV b ) FFVFF
c ) FFFVV d) FVVFV e ) FFVFV
15.De las proposiciones:

• Toda inferencia es tautología.
• Algunas tautologías son inferencias.
• Ninguna inferencia es no tautología.
Podemos decir que:
1) I es la conversa de II 2) II es la conversa de I
3) II es la obversa de I 4) III es la obversa de I
5) III es la subalterna de II
Son ciertas:
a ) 1,3 b ) 1,3,5
c ) 1,4 d) 2,4
e ) 3,5
16..La obversa de la contradictoria de la subcontraria de, “Algunos agricultores no son adinerados”, es:
a) Cada quien que sea agricultor es no adinerado.
b) Es cierto que los agricultores son adinerados.
c) Varios agricultores son adinerados.
d) a y b
e) a y c
17.Si U = {1, 2, 3,..., 19}. Cuáles de las siguientes proposiciones son verdaderas.
1) ∃x ∈ U/ x + 30 = 3x 2) x  U, x + 1  U
3) x  U / |x-9|  7 4) x  U , 57-3x  0
Son inciertas excepto:
a ) 1,3 b ) 2,4
c ) 1,2,3 d) 1,2,4 e ) 3,4

1. M e P
2. M i S
S o P
La subalterna de la contraria del subalternante de la conclusión es:
a) S a P b) S e P
c) Si P d) So P
e) Su P
19.De:
1. P a M
2. S e M
S e P
La conversa de la contradictoria de la subalterna de la conclusión es:
a) S o P b) S e P
c) P i S d) S i P
e) S a P
20.Dada la siguiente inferencia inmediata válida:

“Ningún cuerpo es una superficie. Todo prisma es un cuerpo. Entonces, ningún prisma es una superficie”.
Su figura y modo es:
a) I - eae b) I - eio
c) II –eae d) II - eio
e) IV –eio
47

lOMoARcPSD|37054123
21.¿Cuáles de las siguientes proposiciones categóricas representan una inclusión parcial?

a) Todos los políticos son materialistas.
b) Algunos metales no son maleables.
c) Ningún metal es maleable.
d) Algunos políticos son materialistas.
e) Algunos objetos maleables son metales.
23.La formalización de "Algunos no son sinceros", es:

a) x (~Sx) b) x (~Sx)
c) x (Sx) d) x (Sy)
e) ~x (~Sx)
23.El equivalente de la fórmula proposicional x (Zx), es:

a) x (Zx) b) ~x (Zx)
c) x (~Zx) d) x (~Zx)
e) ~x(~Zx)
24."Alberto es un doctor", en la lógica de predicados se formaliza:

a) x (Dx) b) Da
c) Dx d) Ax
e) Dx  Ax
25.Formalizar correctamente:
"José es mesero y todo mesero es respetuoso"
a) p  x (Mx → Rx) b) x (Mx)  x (Mx → Rx)
c) Mj  x (Mx → Rx) d) x (Mx → Rx)
e) x (Mx → ~Rx)
26.La formalización de "Para cada alumno responsable habrá un premio", es:

a) x (Rx  Px) b) x (Rx  Px)
c) x (Rx  Px) d) ~[x (Rx → Px)]
e) x (Rx → Px)
27.Indicar la negación de: “ x  , y   / x − y =1 ”

a) x   / y , , x − y = 1
b) x  , y  , x − y = 1
c) x  , y   / y − x = 1
d) x  , y   / x − y  1
e) x   / y  , x − y  1
28.Señale la equivalencia de:

“Ningún L es M”
a) Es falso que todo M sea L.
b) Cierto L es M
c) No es cierto que algún L sea M.
d) Es imposible que algún L no sea M.
e) Todo M es L
29. Negar la siguiente proposición
( x )( y )( z ) /  p(x) → q(y)  r(z) ,
Si el conjunto de referencia es los reales ( )
a) ( x )( y )( z ) / p(x) → q(y)  r(z)
b) ( x )( y )( z ) /  p(x) → q(y)  r(z)
c) ( x )( y )( z ) / p(x) → q(y)  r(z)
d) ( x )( y )( z ) / p(x) → q(y)  r(z)
e) ( x )( y )( z ) / p(x) → q(y)  r(z)
48

lOMoARcPSD|37054123
65432
DIAGRAMAS DE VENN
Representación gráfica de proposiciones categóricas.
1. Elementos:
a) Las Rayas (zona sombreada)

Sirven para representar zonas vacías, representaremos las proposiciones universales (a, e).
=
b) Las “x”
Sirve para representar zonas donde existen elementos; representaremos las proposiciones existenciales (i, o).
x=
Ejempl:
S
1. =
S
2. x 
S
3. → No definida
2. Método para diagramar (llevar a forma booleana)
i) Intersectar las clases o conjuntos.
=; sólo (a, e)

ii) Hacer
; Sólo (i, o)
iii) Negar o complementar el segundo conjunto (predicado) Sólo (a, o)
3. Diagramando:
forma booleana
a) S a P  S P =
49

lOMoARcPSD|37054123
b) S e P  S P =
U
S P

c) S i P  S P 
U
S
P
x
d) S o P  S P 
S P
4. Validez de Inferencias por Diagramas de Venn.

Cuando al diagramar las premisas la conclusión se puede leer en el gráfico (es decir resulta graficada).
Ejem:
P1: M e P  M  P =
P2: S a M  S  M = 
C: S e P  S  P = 
PRÁCTICA
1.Dada la proposición: “Todas impresiones sensoriales” se derivan del conocimiento”. Se puede afirmar que es equivalente a:
a) x ( C x → S x ) b) (C  S  )
c) C  S =  d) C a S
e) Todas son equivalentes.
2.Del siguiente diagrama:
Esto representa en su relación de clases por:

a) A  B =  b) A  B = 
c) A  B   d) ( A  B = )
e) ( A  B  )
50

lOMoARcPSD|37054123
3.En el grafico
¿Dónde deberíamos ubicar el elemento representativo de “No es cierto que Ningún no enemigo sea temible?
a) Zona1 b) Zona2
c) Zona 1 y 2. d) Zona3
e) Zona4
4.Si el enunciado:
“Todos los románticos son soñadores “, es verdadero,
¿Cuál de las siguientes afirmaciones se desprende de el?
a) Todos los soñadores son románticos.
b) Si Andrés es romántico, es soñador.
c) Si Andrés es soñador, es romántico.
d) Si Andrés es romántico, no es soñador.
e) Si Andrés no es soñador, es romántico.
5.De “Ningún hombre casado es feliz”, además “Ningún hombre casado es fiel”.
Podemos concluir:
a) Todo hombre feliz es casado.
b) Ningún hombre feliz es fiel.
c) Algún hombre feliz es fiel.
d) Algún no hombre es no feliz.
e) No es posible concluir con 2 premisas negativas.
6.De las proposiciones:

“Algunos estudiantes son alegres y algunos ancianos son alegres. Por tanto, algunos ancianos son estudiantes”.
Su figura, modo y validez es:
a) I - eai - No válido b) II - iii - No válido
c) III - iai – Válido d) II - aoo - Válido
e) I - aii – Válido
7.Del silogismo siguiente: “Ningún ateo es peruano y algunos peruanos son católicos. Por tanto, algunos ateos no son católicos”.
Podemos decir que
1. El término medio es “Peruano”.
2. En un silogismo no válido
3. El término mayor es “Católicos”.
Son correctas:
a) Sólo 1 y 2 b) Sólo 1 y 3.
c) Sólo 1 d) Sólo 3 .
e) 1, 2 y 3
8.En el grafico
¿Dónde deberíamos ubicar el elemento representativo de “No es cierto que Ningún no enemigo sea temible?
a) Zona1 b) Zona2
c) Zona 1 y 2. d) Zona3
e) Zona4

1. M a P 2. S a M
El argumento es válido en un diagrama de Venn, cuando la conclusión está sombreada en:
a) S  P b) M  S
c) S  P d) M  P
e) S  M
51

lOMoARcPSD|37054123
10.El diagrama:
Representa a:
a) Todo limeño no es racista.
b) Es falso que varios limeños sean racistas.
c) Ningún no limeño es racista.
d) Algunos limeños no son racistas.
e) Algún limeño no es racista.
11.Indicar la conclusión de las siguientes premisas.

R T =  y S T  
a) SR  b) SR 
c) SR  d) SR =
e) SR =
12.Para representar en diagramas de Venn la proposición “No es el caso que algunos deshonestos no sean no inmorales”, en el
gráfico.
Se debe sombrear:
H: Honesto
M: Morales
a) La zona 4 b) La zona 3 c) La zona 2

d) La zona 2 y 3 e) Las zonas 1
13.De la proposición categórica “Muchos directores de cine son actores”, podemos decir que su forma típica y la representación
booleana de la negación de su obversa, son respectivamente:
a)
I, D  A =  b)
a, D  A = 
c)
a, D  A   d)
I, D  A = 
e) a:D A=
14.El diagrama de la proposición:”Es falso que sea absurdo que si los cuerpos caen entonces existe gravedad”, presenta las
siguientes características:
___ ___
1. Su fórmula booleana es: S  P =  .
2. Su fórmula equivalente es: S → P .
___
3. Su fórmula booleana es: S  P =  .
4. La fórmula booleana de su conversa es: S  P   .
Son ciertas:
a) Sólo 1. b) 1 y 2
c) 1 y 4 d) 2, 3 y 4
e) Sólo 4
15. El diagrama de Venn:
Tiene como proposiciones equivalentes a:
52

lOMoARcPSD|37054123
1. No pocos agricultores no son ricos.

2. No todos los no agricultores son ricos.
3. Es falso que todos los no ricos sean agricultores.
4. Varios no agricultores no son ricos.
5. Es mentira que ningún agricultor sea rico.
Son ciertas:
a) 1,2 y 3 b) 2,3 y 4
c) 1,3 y 5 d) 2,3 y 5
e) 3,4 y 5
16.El diagrama adjunto:
Es equivalente a:
1. No todos los inversionistas son extranjeros.
2. No todos los extranjeros son inversionistas.
3. Hay extranjeros que no son inversionistas.
4. Muchos inversionistas no son extranjeros.
5. No hay extranjeros que no son inversionistas.
Son ciertas:
a) 1 y 3 b) 2 y 4
c) 1 y 4 d) 2 y 3
e) 3 y 5
17.Para determinar que: “Todo justo es racional”, es necesario saber que:

a) Todo racional es injusto.
b) Todo justo es irracional.
c) Ningún racional es injusto.
d) Ningún justo es irracional.
e) a y d
18.De: “Es falso que, algunos piuranos no son retrógrados”, se puede deducir:
1. x (Px  R x )  2. P  R = 
3. P  R   4. P o R
5.
Son ciertas:
a) 2 y 3 b) 1, 2 y 5
c) 1, 3 y 5 d) 1 y 5
e) Todas.
19.Dado el siguiente diagrama de Venn:
La proposición correspondiente es:
a) Es inconcebible que, algunos artistas tengan una musa inspiradora.

b) Es absurdo que, ningún personaje histórico es importante.
c) Algunos estudiantes son integrantes del coro.
d) Todos los buenos alumnos son premiados a fin de año.
e) Si todos nos esforzamos entonces lograremos triunfar.
53

lOMoARcPSD|37054123
20.De la proposición categórico: “No es el caso que algunas estaciones no sean cambiantes”, se tiene:
1. (E a C ) es su representación formal.
2. (E o C ) es su representación formal.
3. E  C =  es su forma booleana.
Son ciertas:
a) 2 y 3 b) 1 y 2
c) 1 y 3 d) Sólo 1
e) Sólo 3
21.De la proposición: “Es inconcebible decir que, si todos los estudiantes son inteligentes entonces no serían desaprobados”, se
puede inferir:
1. (I a A ) 2. I  A = 
3. x (Ix → ( A x ) ) 

4.
Son ciertas:
a) 1, 3 y 4 b) 1, 2 y 4
c) 2 y 3 d) 3 y 4
e) Sólo 1
22.Dado el siguiente silogismo:

1. Ningún pino pierde sus hojas en otoño.
2. Todos los árboles de nuestro jardín pierden las hojas en otoño.
Por tanto, algunos árboles de nuestro jardín son pinos.
Se infiere:
1. No válido
2. A i P
3. A  P  
4. “Pinos”, es el término mayor.
5. Su diagrama de Venn es:
Son falsos:
a) 1 y 2 b) 1 y 5
c) 2, 3 y 4 d) Todas menos 5
e) Todas
23.Dada la proposición “Es negable que algunos trabajadores estatales no son deshonestos”. Se deduce:
1. x ( Tx  D x ) 2. x ( Tx → Dx )
3. ( ToD ) 4. T a D
5. TeD es la obversa de 4.
Son ciertas:
a) Sólo 1 y 2. b) Sólo 3 y 4.
c) Sólo 5. d) Todas son equivalentes
e) Ninguna es equivalente.
19. Dado el siguiente diagrama:
54

lOMoARcPSD|37054123
La proposición correspondiente es:
a) Si todos trabajamos entonces progresamos.

b) Casi todos los estudiantes son educados.
c) Es absurdo decir que, ningún piurano es hogareño.
d) Es inconcebible que, pocos profesores son bohemios.
e) Algunas acémilas son aptas para el consumo.
20. De la premisa “Todos los no adjuntos de jueces no son no jurados”. Son ciertas:
1. AoJ 2. A  J  
3. Ai J es la obversa de 1. 4. JiA es la conversa de 3.
5. J o A es la obversa de 4.
a) 1, 2 y 3. b) 3, 4 y 5.
c) Sólo 1. d) Sólo 5.
e) Todas.
21. La proposición “Bastantes alumnos del IDEPUNP cumplen los reglamentos internos”, representa:
1. Inclusión parcial de clases.
2. Exclusión total de clases.
3. Diferencia de clases.
4. Reunión de clases.
5. Intersección de clases.
Son ciertas:
a) 1 y 3. b) 2 y 5.
c) 1 y 5. d) 1 y 4.
e) Sólo 3.
22. La proposición “La mayoría de cantantes no son ordenados en su vida”, tiene como fórmula equivalente:
___ ___ ___
1. C  O =  2. C  O = 
___
 ___

3. C  O   4. C  O = 
 
5. (C  O = )
Son ciertas:
a) 1 y 2. b) 3 y 4.
c) 3 y 5. d) 1 y 5.
e) Sólo 1.
23. La grafica representa un silogismo válido de IV figura.
Dónde: S = término menor.

P = término mayor.
La premisa mayor del silogismo es:
a) R e P b) P a R
c) R a P d) P i R
e) P e R
55

lOMoARcPSD|37054123
Silogismos Aristotélico
´FIGURAS BOCARDO (OAO) FRESISON (EIO)
Son inferencias mediatas formadas por tres proposiciones FERISON (EIO)
categóricas, de las cuales 2 son premisas y 1 es conclusión. NOTE: Los nombres son una manera práctica para aprender
los modos, ya que el modo es solo la combinación de
P1: M a P  Premisa mayor vocales.
P2: S a M  Premisa menor
C: S a P  Conclusión
Además: S: Término menor

Práctica
P: Término mayor
1. Cualquier silogismo de la forma:
M: Término medio
1) MaP
2) MiS
b) Reglas Básicas: Sólo sirven para concluir sin garantizar
la validez. La conclusión está siempre en menor cantidad
SiP
o calidad.
Donde M: Término medio
S: Término menor
NOTE: a = U.A; e = U. N; i = E. A; o = E. N.
P: Término mayor
1) U 2) U 3) A 4) A 5) E
Es un silogismo aristotélico que tiene Modo y Figura:
U E A N E
a) AII-3
U E A N No válido
b) AII-2
c) AII-1
6) N
d) IAI-3
N
e) Son ciertas a y d
No válido
2. En el silogismo "Todos los poetas son idealistas y
c) Figuras: Son las distintas posiciones que toma el término algunos poetas son novelistas. Luego, algunos
medio en las premisas; existen 4 figuras. novelistas son idealistas"; se tiene que:
El término mayor es ______________,
I) P1: M P II) P1: P M El término medio es ______________ y
P2: S M P2: S M El término menor es ______________.
C: S P C: S P
La alternativa correcta es:
III) P1: M P IV) P1: P M a) poetas - idealistas - novelistas
P2: M S P2: M S b) idealistas - poetas - novelistas
C: S P C: S P c) idealistas - novelistas - poetas
d) novelistas - poetas - idealistas
d) Modos: Todas las combinaciones posibles que se e) novelistas - idealistas – poetas
pueden hacer con las cuatro vocales en un silogismo
aristotélico. Existen un total de 256 modos posible y sólo 3. Según los lógicos medioevales, cuáles de los siguientes
15 válidos demostrables en matemática moderna. nombres nemotécnicos pertenecen a la tercera figura:
I) DARII (AII) II) FESTINO (EIO) 1. DATISI
FERIO (EIO) CESARE (EAE)
BARBARA (AAA) CAMESTRES (AEE) 2. BAROCO
CELARENT (EAE) BAROCO (AOO) 3. BOCARDO
III) DATISI (AII) IV) CAMENES (AEE) 4. FESTINO

DISANIS (IAI) DIMARIS (IAI) 5. FERIO
56

lOMoARcPSD|37054123
Son ciertas: 2. S M  
a) 1, 2 y 5 b) 2, 3 y 4 c) 3, 4 y 5 d) 1 y 3 e) 2 y 5
Al hallar la conclusión válida, la figura y modo del
4.Aplicando silogismos aristotélicos hallar la conclusión del silogismo es respectivamente:

siguiente argumento siendo de I figura y válido: “Todo soldado
es disciplinado, así como algunos peruanos son soldados”.
1. Algunas disciplinados son peruanos. a) I figura, modo eio
b) II figura, modo aii
c) III figura, modo aee
2. Algunos peruanos son disciplinados. d) IV figura, modo eio
e) I figura, modo eae
3. Todo peruano es disciplinado.
1. Ningún bebé es bien alimentado.
4. Ningún peruano es disciplinado.
2. Algunos niños son bien alimentados.
5. Algunos disciplinados son soldados.
Se puede inferir:
Son ciertas:
1. Es de segunda figura.
a) 1y5
2. Su modo es eio.
b) 1, 2 y 3
3. Es un silogismo válido.
c) 2, 3 y 4
4. La fórmula típica de la conclusión es B o N
d) Sólo 2
e) Sólo 5
a) Sólo 1 y 2
5.Del silogismo:
1. Todos los nadadores son atletas.
2. Ningún atleta es piurano. b) Sólo 4
Por lo tanto, Ningún piurano es nadador.
c) Sólo 1, 2 y 4
Podemos decir:
d) Sólo 1, 2 y 3
1. Pertenece a IV figura.
e) 1, 2, 3 y 4
2. Pertenece a III figura.
3. El silogismo es no válido. 8. Dadas las premisas:

1. Ningún A es no B
4. Su modo es aee
2. Algún C no es B
5. El silogismo es válido.
Se puede inferir:
Son ciertas:
1. Su figura es II.
a) 1, 2 y 3
b) 2, 3 y 4 2. Es un silogismo de modo aoo
c) 3, 4 y 5
d) 1, 3 y 5
3. El término menor es A.
e) 1, 4 y 5
6. De las premisas formales: 4. El término medio es C.

1. M  P = 
Son ciertas:
57

lOMoARcPSD|37054123
a) 1 y 2 b) 3 y 4 c) Sólo 4 d) 1, 2 y 3 e) Solo 1 5. La forma típica de la conversa de la conclusión es: B i C

Son ciertas:
a) 1, 2 y 3.
9. Dadas las siguientes aseveraciones: b) 4 y 5.
1. El silogismo debe contener solamente los tres c) Sólo 2 y 4.
términos: menor, medio y mayor, cada uno de ellos usados en el d) Sólo 3.
mismo sentido en todo el razonamiento. e) 2, 3 y 5
2. El término medio debe estar contenido solamente en
las premisas y no en la conclusión. 14. Dado el silogismo:
3. El término medio debe estar distribuido por lo menos 1. Sólo los arequipeños son flemáticos.
en una de las premisas. 2. Sólo los flemáticos son revolucionarios.
Son verdaderas: Por tanto, todos los revolucionarios son arequipeños.
a) Sólo 1 b) Sólo 2 c) 1, 2 y 3 d) Sólo 3 e) Sólo 2 y 3 Se puede inferir:
1. Su figura es IV.
10. Según los lógicos medioevales, cuales de los siguientes nombres 2. Su modo es: aaa
nemotécnicos pertenecen a la tercera figura: 3. El término menor es “revolucionario”.
4. El término mayor es “flemático”.
1. DATISI
5. El silogismo es válido.
2. BAROCO Son ciertas, excepto:
3. BOCARDO a) 1, 2 y 3
b) 2, 3 y 4
4. FESTINO
c) 3, 4 y 5
5. FERIO d) 2y5
e) 1y4
Son ciertas:
a) 1, 2 y 5 b) 2, 3 y 4 c) 3, 4 y 5 d) 1 y 3 e) 2 y 5 15. Dado el silogismo: “Pocos matemáticos son ostentosos, además

es falso que algunos matemáticos no son ingenieros; por consiguiente,
no es cierto que ningún ostentoso es ingeniero”, tiene por modo:
11. Dado el argumento: “Las flores son vegetales y algunas flores no son
rojas.”, por lo tanto, se infiere válidamente: a) oao
b) iai
1. El término medio es “Flores”. c) eio
2. El término distribuido en la conclusión es d) aii
“Rojas”. e) aee
3. Su modo es: aoo
16. Hallar la forma booleana de la expresión que falta, siendo de
4. La forma típica de la conclusión es: V oR primera figura:
Son ciertas:
(¿? )  ( SiM)  → ( SoP ) , es:
a) 1, 2 y 3
b) 2, 3 y 4 a) MP = 
c) Sólo 1 y 4.
d) Sólo 2 y 4. b) P M  
e) 1, 2 y 4.
c) P M = 
12. Dado el silogismo válido: “Algunos rabiosos son perros. Y ningún
rabioso es manso. En consecuencia, algunos no mansos no son no perros”.
Su figura, modo y validez es: d) MP = 
a) II – iei - válido e) MP  

b) III - oao - válido
c) I – eio - válido
d) IV – iei – no válido 17 Hallar la conclusión del siguiente silogismo de IV figura:
e) III – iai - válido “Algunos sacerdotes son italianos, tal como los italianos son europeos”.
a) Algunos italianos son sacerdotes.
13. Dado el siguiente silogismo:
b) Algunos europeos no son italianos.
1. Algunos bachilleres son maestros.
c) Es falso que todos los europeos son italianos.
2. Los maestros son competentes.
d) Algunos europeos son sacerdotes.
Luego, algunas personas competentes son bachilleres.
e) Algunos sacerdotes no son europeos.
Se puede inferir:
(M = maestro, B = bachilleres y C = competentes)
18. La fórmula booleana de la premisa que falta en el siguiente
1. Es de III figura. silogismo de figura I es:
2. Su modo es: iai
3. Es un silogismo válido. (¿? )  (MiV )  → ( VoA ) , es:
4. La fórmula booleana de la premisa menor es: M  C  
58

lOMoARcPSD|37054123
a) M A  
23. Señalar la forma típica de la premisa mayor que se puede leer en
b) M A =  el siguiente diagrama, siendo de II figura y conclusión S e P:
c) M A = 
d) M A  
e) M A  
19. Ordenar e indicar modo y figura de:
 (BeC )  ( AaB )  ( AeC ) a) MaP

b) SeM
a) aii – I c) PeM
b) eea – I d) SeP
e) PaM
c) aee – IV
d) eae – II 24. La grafica representa un silogismo válido, de figura I.
e) eae – I
20. Del silogismo: “Algunas carreteras del Perú no son seguras, ya

que todos los caminos asfaltados son seguros y algunas carreteras del
Perú no son caminos asfaltados”.
Podemos afirmar que:
1. Es no válido.
2. Corresponde a IV – aoo.
Donde: S = término menor, P = término mayor.
3. Corresponde a I – aoo.
La forma booleana de la conversa accidental de la obversa de la premisa
4. El término medio es “caminos asfaltados”. mayor es:
Son ciertas:
a) P M =  b) P M   c) P M =  d) P M
a) 1y2
b) 2y4
e) P M=
c) 1, 3 y 4
d) 2y4 25. Señala la alternativa correcta sobre la forma que debe
tener silogismo:
e) Sólo 4
a) El término medio debe estar en la conclusión.
21. En un silogismo válido se tiene que el término mayor y menor b) El término menor debe repetirse en ambas
son R y H respectivamente; además las premisas mayor y menor son
universales afirmativas. Por tanto, el silogismo correspondiente en premisas.
forma boolena es: c) El sujeto del silogismo se halla en la premisa
mayor.
a) b) c)
d) El término medio no debe estar en la conclusión.
MH =  MR =  MR =  e) El predicado del silogismo está en la segunda
premisa.
MR =  MH =  HM = 
R  H =  H  R =  H  R =  26. El término mayor del silogismo se encuentra en:
a) El sujeto de la conclusión.
d) e) b) Ambas premisas.
c) No se ubica en la conclusión.
R M =  MH = 
d) La premisa mayor.
HM =  R M =  e) Ambas premisas.
H  R =  R  H = 
33. Todo Silogismo está constituido por:
a) Una premisa y una conclusión.
22. “Todos los juguetes son objetos inofensivos, aunque algunos b) Más de dos premisas y conclusión.
revólveres no son objetos inofensivos”. Por tanto, la conclusión correcta c) Dos premisas y conclusión.
es:
d) Un antecedente y un consecuente.
a) Algunos revólveres no son juguetes.
b) Todo revólver no es juguete. e) Conversas y obversas.
c) Cada revólver es juguete.
d) Ningún revólver es juguete.
e) Existen juguetes que son revólveres.
59

lOMoARcPSD|37054123
60

Compendio Logica Teoria

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

Compendio Logica Teoria

Cargado por

Copyright:

Formatos disponibles

lOMoARcPSD|37054123

Compendio Lógica teoría

Matemática I (Universidad Nacional de Piura)

Escanea para abrir en Studocu

Studocu no está patrocinado ni avalado por ningún colegio o universidad.

c) Individuales (singulares): Toma elementos específicos o puntuales de un conjunto.

2. CALIDAD (cualidad): Cuando analizamos el verbo de la proposición.

a) Asertóricas: (reales, fácticas, empíricas)

Descargado por Santos Jheyson Peña Siancas (santosjheysonpenasiancas@gmail.com)

b) Apodícticas: (formales, necesarias, analíticas)

1. Proposiciones Simples (atómicas, elementales, básicas, monódicas)

2. Proposiciones Compuestas (coligativas, moleculares, complejas)

1. De las siguientes oraciones:

2. “¿Cuál es el misterio del Triángulo de las Bermudas?”, es:

Descargado por Santos Jheyson Peña Siancas (santosjheysonpenasiancas@gmail.com)

4. En las siguientes expresiones:

5. Son proposiciones verdaderas:

7. ¿En qué alternativa encontramos una proposición molecular?

9. Son enunciados abiertos:

Descargado por Santos Jheyson Peña Siancas (santosjheysonpenasiancas@gmail.com)

11. Son proposiciones singulares:

12. De las siguientes oraciones, cuáles cumplen con la función directiva:

13. Son proposiciones compuestas:

14. Son proposiciones falsas:

15. No son proposiciones lógicas:

16. Son proposiciones disyuntivas incluyentes:

Descargado por Santos Jheyson Peña Siancas (santosjheysonpenasiancas@gmail.com)

17. Son pseudoproposiciones:

18. Son proposiciones lógicas universales:

19.Es proposición negativa

20.Son proposiciones elementales:

21.Son proposiciones verdaderas:

22.Son sólo enunciados abiertos:

23.Por su cantidad, la siguiente oración:

Descargado por Santos Jheyson Peña Siancas (santosjheysonpenasiancas@gmail.com)

24.Por su calidad, las proposiciones son:

25.Por su cantidad, las proposiciones elementales son

27.Son proposiciones conjuntivas:

28. Son proposiciones simples:

29. Son proposiciones predicativas:

Descargado por Santos Jheyson Peña Siancas (santosjheysonpenasiancas@gmail.com)

“”, “”, “”, “→”, “”, “”, “”, “”

La bicondicional  "... si y sólo si ... "

La negación  , " no "

Descargado por Santos Jheyson Peña Siancas (santosjheysonpenasiancas@gmail.com)

TRADUCCIÓN VERBAL DE LOS CONECTIVOS:

Sea “P” y “Q” proposiciones

Descargado por Santos Jheyson Peña Siancas (santosjheysonpenasiancas@gmail.com)

Traducción verbal se lee:

Descargado por Santos Jheyson Peña Siancas (santosjheysonpenasiancas@gmail.com)

Traducción verbal se lee:

Descargado por Santos Jheyson Peña Siancas (santosjheysonpenasiancas@gmail.com)

Traducción verbal se lee:

3. JERARQUÍA DE CONECTORES. Se utiliza cuando en un texto no hay signos de puntuación.

1. A es condición suficiente para B = A→B

Descargado por Santos Jheyson Peña Siancas (santosjheysonpenasiancas@gmail.com)

8. “O viajamos a España a trabajar o no viajamos a Francia a pasear“, su formalización es:

10. “Luisa es hábil ya bien domina la computadora “, se formaliza como:

11. Formalizar correctamente:

12. Formalizar correctamente:

Descargado por Santos Jheyson Peña Siancas (santosjheysonpenasiancas@gmail.com)

universitaria, no es diseñadora”, se formaliza como:

16. La formalización de: