LÓGICA PROPOSICIONALhorizotal

T. GARGATE K.
EL MEJOR
Universidad Nacional Santiago Antúnez de Mayolo
Facultad de Ciencias
Lógica proposicional
E
Inferencia lógica
T. Gargate K.
T. GARGATE K. EL MEJOR
LÓGICA PROPOSICIONAL
1. LÓGICA. Es la ciencia que estudia los métodos que aplican
definiciones y leyes con el propósito de determinar la validez o
invalidez del razonamiento o inferencias o argumentos y estos
son una estructura de proposiciones compuesta de premisas y su
conclusión.
2. ETAPAS DE LA LÓGICA
Antigua. Representante Aristóteles con su obra el Organón.
Medieval. Representante Boecio y tomas de Aquino.
Moderna. Leibniz precursor de la lógica matemática. G. Boole
creador de la lógica matemática. G. Frede desarrolló la lógica
predicativa. C. Shannon y sus compuertas lógicas.
3. ENUNCIADO. Es toda expresión, frase, u oración que se usa en el
lenguaje común.
Ejemplos:
a) feliz navidad
b) 3+5=8
4. CLASES DE ENUNCIADOS.
4.1. Enunciados oracionales. Son aquellos que tienen verbo,
sujeto y predicado.
a) Enunciado cerrado. Llamado también PROPOSICIÓN LÓGICA o
simplemente PROPOSICIÓN u oraciones aseverativas. Es
aquel enunciado que puede ser calificado como verdadero ( )
o falso ( ) pero nunca ambas a la vez, con respecto a una
realidad o hechos reales que se pueden observar o demostrar.
Se les denota generalmente por letras minúsculas del alfabeto
, , , , , … o , , …, llamadas variables proposicionales.
Ejemplos:
: El número 18 es divisible por 3 ( )
: 12 + 3 = 10 ( )
Oraciones aseverativas. Expresan la conformidad o
disconformidad lógica del sujeto con el predicado. Se
caracterizan por la ausencia de recursos lingüísticos
específicos y por el uso del modo indicativo; pueden ser:
afirmativas, si enuncian la conformidad objetiva del sujeto
con el predicado, por ejemplo: La casa es blanca; Daniel
estudia; o negativas si enuncian la disconformidad objetiva del
sujeto con el predicado por ejemplo: La casa no es blanca;
Daniel no estudia.
b) Enunciado abierto. Llamadas también cuasi proposiciones.
Son aquellas donde intervienen una o más variables, que
admiten en la posibilidad de convertirse en una proposición
lógica, cuando cada variable asume un determinado valor,
también se le conoce como función proposicional.
Ejemplos
 + =5
 Él es el presidente del Perú(Él es una variable)
4.2. Enunciados no oracionales: llamados también frases, carecen
de verbo. Son llamados enunciados no proposicionales.
Ejemplos:
¡Auxilio! (oración imperativa), ¿Qué hora es?, prohibido
fumar, deténgase, buenos días.
Observación: Los enunciados que indican pregunta (interrogativas),
orden, mandato, prohibición o exclamación (imperativas o
exhortativas), deseos, dudas, súplicas y anhelo (desiderativa), las
creencias religiosas, supersticiones, los mitos, las leyendas, fábulas,
los que tienen sentido poético y cuentos no son proposiciones.
También las expresiones que originan de poemas, las frases, los
proverbios, modismos, refranes y los dibujos animados.
En casos muy excepcionales, las preguntas y admiraciones pueden

ser proposiciones por ejemplo:
 ¿Acaso el ordenador usa el sistema binario?
 ¡El ornitorrinco había sido capaz de poner huevos!
Por otro lado, son proposiciones, las leyes científicas, las fórmulas
matemáticas.
Oraciones Imperativas o exhortativas.
¡Vete antes de que venga!; Por favor, siéntate;
Modismos. Expresión fija, privativa de una lengua, cuyo significado
no se deduce de las palabras que la forman; por ejemplo: a troche y
moche, estas en la luna, tira la toalla, con las manos en la masa.
Problema: ¿Todo enunciado abierto es un enunciado cerrado?
5. Conectivos lógicos. Llamados también operadores lógicos,
constantes o constantes lógicas. Son palabras y símbolos tales
como “y”, “o”, “si, entonces”, “si y solo si”, “no”, “pero”,.., etc.
6. Clases de proposiciones.
a) Proposiciones simples, atómicas o elementales. no llevan
conectivos lógicos, son las que carecen de conjunciones
gramaticales y del adverbio de negación NO. Pueden ser
predicativas: Son las que
tienen un solo sujeto y predicado, y relacionales: constan de 2
o más sujetos vinculados entre sí. cuando son de este tipo la
oración leída independientemente no tiene sentido.
Ejemplos:
: Alan García es el presidente del Perú (F) (predicativa)
: 6 y 7 son números consecutivos (relacionales) 6 es
número consecutivo y 7 es numero consecutivo (no tiene
sentido)
: Pedro y Ana estudian juntos (relacionales) Pedro estudia

junto y Ana estudia junto (no tiene sentido)
: Luis es compañero de José (relacionales) aquí
aparentemente hay 2 oraciones pero es el mismo
: Fabiola es prima de Miguel (relacionales) aquí
aparentemente hay 2 oraciones pero es el mismo
: José y María son paisanos (relacionales) José es paisano
de y María es paisano (no tiene sentido)
: Lucho y John se odian (relacionales) Lucho odia a John y
John odia a lucho (es el mismo)
b) Proposición compuesta, coligativa o molecular. Son las que
están constituidas por 2 o más proposiciones simples,
enlazadas por conectivos lógicos.
El creador de las tablas de verdad es el austriaco filósofo

matemático, lingüista y lógico Ludwig Wittgenstein (1889-1951)
7. CLASES DE PROPOSICIONES COMPUESTAS.

1) Conjuntivas. Se denota por " ∧ " y se lee (y, pero,
también, sin embargo, además, tal como, no obstante,
aunque, a la vez, incluso, así como, simultáneamente, a pesar,
compatible). Está definido por la siguiente condición “la
proposición conjuntiva es únicamente verdadera si ambas
proposiciones son verdaderas y en el resto de los casos es
falsa”. Cuya tabla de verdad es:
∧
Ejemplo:
: √4=2 (V)
: 8 es múltiplo de 2 (V)
Luego ∧ : √4=2 y 8 es múltiplo de 2 (V)
Ejemplo: Kleber y miguel son médicos
2) Disyuntiva. Llamada también disyunción inclusiva se denota
por " ∨ " y se lee " " ( , excepto
que , a menos que , ya bien, a no ser que, y bien o
también, o sino, alternativamente, o incluso, y/o). Está
definida por la siguiente condición “la proposición disyuntiva
es únicamente falsa si ambas proposiciones son falsas en el
resto de los casos es verdadera”. Cuya tabla de verdad es:
∨
Admiten el cumplimiento de ambas situaciones.

Ejemplos:
: 8 es menor que 5 (F)
: 6 es mayor que 3 (V)
Luego ∨ : 8 es menor que 5 o 6 es mayor que 3 (V)
3) Condicional. Es una situación de causa efecto. Se denota por
" → " y se lee , (si entonces, implica, es
suficiente que, para que, luego, conclusión, por tanto, por
consiguiente, de modo que, de ahí que, obviamente que , en
consecuencia); estos se llaman implicadores ya que antes de
estas siempre va el condicionador sí. Está definida por la
siguiente condición: “La proposición condicional es únicamente
falsa si el antecedente es verdadero y el consecuente es falsa y
en el resto de los casos es verdadera”. Cuya tabla de verdad es:
p: es el antecedente, causa, condición suficiente.

q: es el consecuente, efecto o condición necesaria.
→ También significa: q porque p; q pues p; q ya que p; q si p;
q a menos que no p; es necesario que q para que p; q solo si p; q
cada vez que p; q cuando p; q puesto que p; q dado que p; q
siempre que p; q en virtud de que p, q debido a que p, q en el
caso que p, q en vista que p, q suponiendo que p, q toda vez que
p, q cuando p, estos se llaman replicadores que también se
pueden denotar de manera natural como ← .
Ejemplos:
: 2+3=6 (F)
: 7<8 (V)
Luego → : 2 + 3 = 6 implica que 7<8 (V)
4) Bicondicional. Se denota por " ↔ " y se lee:
(si y solamente sí; cuando y solo cuando; entonces y solo
entonces; p es una condición necesaria y suficiente para que q; p
siempre y solo cuando q; p es equivalente a q; p es lo mismo que
q; se define como). Se define por la siguiente condición “la
proposición bicondicional es verdadera si ambas proposiciones
son iguales y en el resto de los casos es falsa”, cuya tabla de
verdad es:
↔
Ejemplo:
: 3<5 (V)
: 7<8 (V)
Luego → : 3<5 si y solo si 7<8 (V)
5) Disyunción Exclusiva. Se denota por " ∆ " y se lee " " (o
bien p o bien q; p a menos que solo q, p excepto que solo q). Se
define por la siguiente condición “la proposición de la disyunción
exclusiva es verdadera si ambas proposiciones son diferentes y
en el resto de los casos es falsa”, cuya tabla de verdad es:
∆
Admiten solo una de las situaciones, excluyendo a la otra.

Ejemplo:
: viajamos a Cusco (V)
: viajamos a Trujillo (V)
Luego ∆ : o viajamos a Cusco o viajamos a Trujillo (F)
6) Proposición de la negación. Se denota por "~ " y se lee por
" ". Cuya tabla de verdad está dado por:
~
Ejemplo
Negación simple
~ : Ningún hombre puede volar

: Algún hombre puede volar
Negación compuesta: comúnmente tiene la terminación “que”
~( ∧ ): Significa: no es cierto que y ; es falso que y

; es imposible que y , no es el caso que
~ ∧ ~ : Significa Ni , ni .
Observación: Para determinar el número de valores veritativos
de una proposición compuesta se aplica la siguiente fórmula
donde es el número de proposiciones simples diferentes. Y
ojo, que los valores veritativos de las proposiciones por
convención se inician a poner por verdaderos y les corresponde
según el orden alfabético.
8. TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA
 A toda proposición simple o compuesta cuyo valor es
siempre verdadera para cualquier combinación de valores
veritativos de sus componentes se les llama TAUTOLOGIA.
 Si siempre es falsa se les llama CONTRADICCION.
 Si existe al menos un verdadero y un falso se les llama
CONTINGENCIA, indefinida o inconsistente.
9. IMPLICACIÓN Y EQUIVALENCIA LÓGICA.

 Llamamos implicación lógica a toda condicional → que
sea tautológica y se denota por ⟹ .en este caso es
llamado hipótesis y es llamado tesis.
 Llamamos equivalencia lógica a toda bicondicional ↔
que sea tautológica y se denota por ⟺ .
10. FORMALIZACIÓN O SIMBOLIZACIÓN DE UN ENUNCIADO
MEDIANTE UN ESQUEMA MOLECULAR.
Consiste en la transformación de un conjunto de proposiciones y
conjunciones gramaticales expresadas en el lenguaje natural, en
un lenguaje artificial llamado lenguaje simbolizado o formalizado.
Algoritmo para la formalización
1º. Determinar las proposiciones simples y remplazarlas con las

variables proposicionales.
2º. La jerarquía de las constantes lógicas sedan según los signos
de puntuación:
Primera jerarquía:(.) Pero (,) dos signos de puntuación
Segunda jerarquía:(.) Pero punto seguido
Tercera jerarquía:(;) Pero punto y coma
Cuarta jerarquía:(,) Pero coma
Quinta jerarquía:() Pero ningún signo de puntuación
Ejemplos sobre conjunción:
1) Tal como 5 es un número natural, 3 también lo es.
(Nos indica que ambas situaciones se están dando a la vez)
∧
2) No solo Perú se independizó de España, Venezuela también lo
hizo.
(El No solo con él también nos está indicando una proposición
conjuntiva)
∧
3) Andrés es trabajador. E s un hombre desinteresado.
(El punto seguido está trabajando en este caso como una
expresión conjuntiva que nos indica que Andrés es trabajador
pero también Andrés es un hombre que no es interesado. Ese
prefijo Des viene hacer un prefijo negativo)
∧~
4) Engels, Carol y Miguel son profesores de la UNASAM.
(En este caso tenemos una coma y luego más adelante tenemos
una “y”, en este tipo de enunciados la coma quedaría
expresada con el término “y” que va adelante)
∧ ∧
5) Ana y Rosana trabajan juntos.
(Se podría pensar que tenemos una proposición de la forma ∧

, pero tengamos cuidado, puesto que estos enunciados como:
trabajan juntos nos indican una relación entre el sujeto Ana y el
sujeto Roxana por lo tanto tenemos una proposición simple
relacional)
6) Los perros y los gatos son vertebrados y carnívoros.

(En este ejercicio podemos observar que estamos hablando de
los perros y los gatos que son vertebrados y carnívoros, la
proposición tendría que ser los perros son vertebrados y la
proposición tendría que ser los perros son carnívoros,
tendremos una proposición que los gatos son vertebrados y
una que los gatos son carnívoros)
( ∧ )∧( ∧ )
7) Los gatos y los sapos son felinos y reptiles respectivamente.
(Es similar al caso anterior pero tenemos que tener cuidado con
la palabra respectivamente podríamos pensar que se formaliza
como en el caso anterior)
∧
8) Los números 1, 2 y 3 son naturales consecutivos, sin embargo
los números 1 y 5 no son consecutivos.
(Acá tenemos una expresión “consecutivos” que trabaja en
forma similar como la expresión respectivamente)
∧~
9) Giovanna viajó a Chile, Ecuador excepto Colombia.
(Podríamos confundir lo siguiente: la coma que esta entre chile
y ecuador no podríamos tomar como conector el excepto que
en este caso es que no viajó a Colombia)(es solo excepto por lo
tanto actúa como ∧)
∧ ∧~
10) Carlos tomó veneno y murió.

(Acá podría pensarse que ∧ , pero es una situación de causa
efecto, es decir, Carlos tomó veneno en consecuencia murió)
→
11) Arañas, escorpiones, garrapatas y ácaros, no pertenecen a la
clase de los insectos. Pero éstos si pertenecen a la clase
arácnida.
Solución
p: las arañas pertenecen a la clase de insectos
q: los escorpiones pertenecen a la clase de insectos
r: las garrapatas pertenecen a la clase de insectos
s: los ácaros pertenecen a la clase de insectos
t: las arañas pertenecen a la clase arácnida
u: los escorpiones pertenecen a la clase arácnida
w: los ácaros pertenecen a la clase arácnida
No p, no q, no r y no s. pero t, u, v, y w.
(Las comas que están separando tendrían que asignarles el
conector∧. El punto está indicando que tenemos que agrupar
hasta allí y el pero consideraremos como conector principal
que finalmente después del pero tenemos que agrupar
también)
(~ ∧ ~ ∧ ~ ∧ ~ ) ∧ ( ∧ ∧ ∧ )
12) Como quiera que la materia tanto como la energía no crea ni
se destruye, es obvio que solo se transforman.
Solución
p: la materia se crea
q: la materia se destruye
r: la energía se crea
s: la energía se destruye
t: la materia se transforma
u: la energía se transforma
No p y no q tanto como no r y no s, es obvio que t y u.
[(~ ∧ ~ ) ∧ (~ ∧ ~ )] → ( ∧ )
Ejemplos de disyunción:
1. Alberto es abogado o futbolista
(Admite en este caso el cumplimiento de ambas situaciones
puesto que Alberto puede ser abogado o futbolista o ambas
cosas a la vez)
∨
2. Cesar Vallejo fue escritor, periodista excepto que político.
(En este caso la coma que esta entre escritor y periodista se
tomaría como conector el excepto que)(es decir el excepto que
hemos definido como ∨ por tanto actúa como o)
∨ ∨
Ejemplos de la disyunción exclusiva:
a. O Manuel practica karate o practica natación.
(Este es por su estructura, es decir, observemos que admite una
de las 2 situaciones uno excluye a la otra)
∆
b. Victoria es soltera o casada.

(Este es por su contenido, es decir, admite solo una de las
situaciones si victoria es soltera ya no puede ser casada, por
tanto una situación que se presente excluye a la otra)
∆
Ricardo está vivo o muerto
∆
c. Alberto es abogado o solo futbolista.
(es por términos modificadores y son: solo , solamente,
únicamente, exclusivamente o prioritariamente. en este caso
cuando combinamos una “o” con un término modificador

delante de la “o” sucede que lo obliga a mostrarse como una
oferta, una excluye a la otra)
∆
d. La sede para el mundial de futbol del 2026 será Perú o México.
Además si Perú participa en el mundial, Farfán jugará o bien
de delantero o bien de defensa.
Solución
p: la sede para el mundial de futbol del 226 será Perú
q: la sede para el mundial de futbol del 2026 será México.
r: Perú participa en el mundial
s: Farfán jugará de delantero
t: Farfán jugará defensa
( ∆ ) ∧ [ ⟶ ( ∆ )]
e. El sol es un planetoide o solamente una estrella. Excepto que
sea inaudito que el sol es un planetoide y/o no sea una
estrella. Luego el sol es una estrella o no es una estrella.
Solución
p: el sol es un planetoide
q: el sol es una estrella
[( ∆ ) ∨ ~( ∨ ~ )] ⟶ ( ∨ ~ )
Ejemplos de la condicional:
A. Si me porto mal, me castigan
(El condicionador SI esta adelante en tal caso se llama
implicador)
→
B. Me castigan si me porto mal.
(El condicionador SI va al centro en este caso se llama
replicador)
← o →
C. No es cierto que, Perry no sabe tocar el piano y no compone

melodías, ya que es egresado de la escuela de música.
Solución
p: Perry sabe tocar el piano
q: Perry compone melodías
r: Perry es egresado de la escuela de música.
~(~ ∧ ~ ) ← ≡ → ~(~ ∧ ~ )
D. Subirán los intereses bancarios porque subirá la cotización
del dólar, en vista de que, si sube la cotización del dólar, el
gobierno no puede controlar la inflación.
Solución
p: subirán los intereses bancarios
q: subirá la cotización del dólar
r: el gobierno puede controlar la inflación
( ← )←( →~ )
( → )←( →~ )
( →~ )→( → )
11. LEYES DEL ALGEBRA PROPOSICIONAL.

a. ∨ ≡ a. ∧ ≡
b. ∨ ≡ ∨ b. ∧ ≡ ∧
c. ∨( ∨ )≡( ∨ )∨
d. ∨ ( ∧ ) ≡ ( ∨ ) ∧ ( ∨ ) d. ∧ ( ∧ ) ≡ ( ∧ ) ∨ ( ∧ )
e. ∨ ( ∧ ) ≡ e. ∧ ( ∨ ) ≡ ó
f. ~( ∨ ) ≡ ~ ∧ ~ f. ~( ∧ )≡~ ∨~
g. ~ ∨ ≡ í g. ~ ∧ ≡ ó
h. ∨ ≡ h. ∧ ≡
i. ∨ ≡ i. ∧ ≡
j. → ≡ ~ ∨ ≡ ~ → ~
k. ~(~ ) ≡
l. ↔ ≡ ( → ) ∧ ( → )
m. ∆ ≡ ( ∧ ~ ) ∨ ( ∧ ~ ) ≡ ~( ↔ ) ≡ ~ ↔
ó
g. Es llamado también tercio excluido (la tautología)
12. CIRCUITOS LÓGICOS.
Es un conjunto de símbolos y operadores que satisfacen las
leyes lógicas, simulando el comportamiento real de un circuito.
Es precisamente en base a esta teoría se fundamentan la teoría
del funcionamiento de los artefactos electrónicos.
Los circuitos lógicos son de dos clases:
a. Circuito en línea
∧
b. Circuito en paralelo.
Ejemplos:
1. Construir el circuito lógico más simple equivalente a:
~ ~
Solución
( ∧ ∧ ) ∨ ( ∧ ~ ∧ ) ∨ (~ ∧ ~ ∧ )
[( ∧ ) ∧ ( ∨ ~ )] ∨ (~ ∧ ~ ∧ )
[( ∧ ) ∧ ] ∨ (~ ∧ ~ ∧ )
( ∧ ) ∨ (~ ∧ ~ ∧ )
∧( ∨ (~ ∧ ~ ))
∧( ∨~ )
2. Sea la proposición más simplificada del circuito lógico

~
~ ~
~ ~
Y sea la proposición más simplificada de

[( ∧ ) ∨ ( ∧∼ )] ∧ [( ∧ ) ∨ ( ∧ )]
Construir el circuito lógico más simplificada correspondiente
a → .
Solución
≡ {
( ∨ ) ∧ [( ∧ ~ ) ∨ ∨ ~ ]} ∨ (~ ∧ ) ∨ ( ∧ ~ )
∧{ ( ∧ ) ∨ ( ∧ ~ ) ∨ (~ ∧ ~ )}
≡ {
( ∨ ) ∧ [ ∨ ∨ ~ ]} ∨ (~ ∧ ) ∨ ( ∧ ~ )
∧ ∨ ( ∧ ~ ) ∨ (~ ∧ ~ )
≡ {( ∨ ) ∧ [ ∨ ]} ∨ (~ ∧ ) ∨ ( ∧ ~ )
∧{ ( ∧ ) ∨ (~ ∧ ~ )}
≡ {
( ∨ ) ∧ } ∨ (~ ∧ ) ∨ ( ∧ ~ ) ∧ { ∨ (~ ∧ ~ )}
≡ { ∨ (~ ∧ ) ∨ ( ∧ ~ )} ∧ { ∨ ~ }
≡ { ∨ ( ∧ ~ )} ∧ { ∨ ~ }
≡ {∨ }∧{∨~ }
≡ [( ∧ ) ∨ ( ∧∼ )] ∧ [( ∧ ) ∨ ( ∧ )]
≡ [ ∧ ( ∨∼ )] ∧ [ ∧ ( ∨ )]
≡ [ ∧ ] ∧ [ ∧ ( ∨ )]
≡ ∧ [ ∧ ( ∨ )]
≡
→
{( ∨ ) ∧ ( ∨ ~ )} →
~{( ∨ ) ∧ ( ∨ ~ )} ∨
(~ ∧ ~ ) ∨ (~ ∧ ) ∨
(~ ∧ ~ ) ∨ ( ∨ )
~ ∨
INFERENCIA LÓGICA O ARGUMENTO LÓGICO

Una de los temas más importantes en matemáticas y en muchas
otras disciplinas es la inferencia lógica.
Una inferencia es una clase particular de razonamiento.
Una inferencia lógica es un razonamiento expresado en una
frase cuya última parte se afirma con base a lo que previamente se
haya declarado.
Tipos de inferencias: por su conclusión el número de premisas son:
inductivas (la conclusión es probable) deductivas (la conclusión es
necesaria). Por el número de premisas: inmediatas (tiene una sola
premisa) y mediatas (tiene más de una premisa)
Habíamos dicho que la inferencia lógica es un razonamiento, pero
dicho razonamiento tiene dos acepciones o significados: funcional y
procesal
a) Funcional: En el que el razonamiento es visto como la acción de
sacar conclusiones de las premisas
Significado funcional: Lo estudia la lógica inferencial. Un
razonamiento es construido a través de pasos múltiples
elementales o también llamadas inferencias elementales o
leyes lógicas. La lógica inferencial estudia las condiciones bajo
las cuales estos pasos son correctos.
b) Procesal: En el que el razonamiento es visto como el proceso o
actividad que realiza un agente que razona.
Significado procesal: La psicología es la encargada de estudiar
los procesos de un agente que razona cuando este es humano y
cuando el agente que realiza razonamiento es un artefacto, en
la mayoría de los casos podría ser un computador, este es un
asunto de la inteligencia artificial.
Así podemos decir en última instancia que una inferencia es un

razonamiento formal, porque lo que importa es la forma como
se saca conclusiones desprendidas de premisas o declaraciones
que se establecen previamente.
Llamamos inferencia lógica o argumento lógico a toda
condicional de la forma:
( ∧ ∧ ∧ …∧ ) ⟶ (∗)
Donde las proposiciones , , ,…, son llamados premisas, y
originan como consecuencia otra proposición denotada por ,
llamada conclusión.
Una inferencia puede ser una tautología, una contingencia o una
contradicción. Si la condicional (∗) es una tautología, es decir es una
implicación lógica entonces se llama ARGUMENTO VÁLIDO o
inferencia válida en caso contrario se llama FALACIA o argumento
inválido.
Las FALACIAS son razonamientos inválidos y son:
Falacias Ad hominem: ataque directo (insultos).
Falacias Ad populum: apela al sentimiento.
Falacias Ad baculum: apela a la amenazas.
Falacias Ad misericordiam: a pela a la pena.
Falacias Ad veracundiam:apelan a un ser supremo
Falacias Ad ignoratiam: apelan a las cosas que no existen
Falacias causa falsa: regalar panetones para ganar.
Falacias equivoco: esta rico su keke (ambiguo).
Falacias énfasis: propagandas que te engañan.
Falacias de composición:“todos” de la UNI son buenos.
Falacias de división: confunde el todo con la parte: si es de san
marcos entonces es bueno.
El objetivo de la inferencia lógica o el argumento lógico es: dado un
conjunto de premisas llegar a una conclusión y darle la validez o
sentido lógico que tengan las declaraciones o frases, también dado

un conjunto de oraciones en el lenguaje natural, formalizarlas y
validarlas usando una de las pruebas.
Ejemplos:
a. Todos los hombres son mortales, Sócrates es un hombre,
Sócrates es mortal.
(Tiene un sentido lógico esta afirmación)
b. Si estudio, aprendo. Es así que estudio, luego aprendo.
(Observamos aquí que los 2 ejemplos tienen una estructura similar,
de hecho que en lógica inferencial son equivalentes, vemos
entonces que la conclusión tiene relación de desprendimiento de las
premisas).
Eso quiere decir que las frases en el lenguaje natural pueden
formar razonamientos deductivos o inferencias.
Formalizando tenemos:
1. " , "(Premisa 1)
2. " "(Premisa 2)
:" "(conclusion)
1. →
2.
∴
c. Todos los burros vuelan, platero es un burro. Luego platero
vuela.
1. " "(Premisa 1)
2. " "(Premisa 2)
:" "(conclusión)
ojo " " se puede escribir como
“ ”
1. →
2.
∴
Este es un razonamiento que esta bien costruido a pesar
del contenido falso o absurdo por ello es válido logicamente.
d. Otro razonamiento bien construido con contenido falso es: La
tierra está formado de plastilina, mi brazo forma parte de la
tierra. Luego mi brazo está formado de plastilina. Decimos que
está bien construido porque la conclusión se está afirmando
con base a lo declarado en la primera premisa en la que se está
suponiendo que es verdadera la condición de que “cualquier
cosa de la tierra está hecha de plastilina”
Ojo que “La tierra está formado de plastilina” es igual a decir
“si algo o alguien es parte de la tierra entonces ese algo o
alguien es de plastilina”.
1. →
2.
∴
e. Otro razonamiento con contenido verdadero y valido
formalmente es: Quien no se presente al examen, desaprueba
y juan no se ha presentado. luego juan desaprueba.
Por tanto, en lógica inferencial no interesa tanto la verdad o
falsedad de las proposiciones, sino las relaciones lógicas que
existe entre ellas. Un razonamiento es válido cuando la
conclusión se deriva necesariamente de las premisas y es
inválido cuando la conclusión no se deriva de las premisas.
VALIDACIÓN DE UN RAZONAMIENTO
Para validar un razonamiento se puede usar cualquiera de los
siguientes métodos: tablas veritativas; prueba formal de
invalidez (absurdo I); prueba formal de validez (leyes lógicas o
notables); demostración indirecta (absurdo II).
1. TABLAS VERITATIVAS.
Se proceden del mismo modo que se llena una tabla en lógica
proposicional, en realidad se determinan las tablas para cada
una de las premisas y de la conclusión; luego revisamos y
comparamos los resultados en cada una de las filas de la tabla y
si encontramos en algún reglón que todas las premisas tengan
valor verdadero y la conclusión tenga valor falsa, se dirá que el
razonamiento es inválido en caso contrario se dirá que el
razonamiento es válido.
Ejemplos:
1. Demostrar la validez del siguiente razonamiento:
1. ∨ (Premisa 1)
2. ~ (Premisa 2)
∴ (conclusión)
Solución
Premisa 1 Premisa2 Conclusión
∨ ~
V F V
V F F
V V V
F V F
Vemos que no hay ningún caso en que siendo verdaderas

ambas premisas, la conclusión sea falsa. Por lo tanto el
razonamiento es válido
2. Demostrar la validez del siguiente razonamiento:

1. ( ∨ ~ ) → (Premisa 1)
2. → (Premisa 2)
∴ ∧ (conclusion)
Solución
Premisa 1 Premisa2 Conclusión
( ∨~ )→ → ∧
V V V
V F F
V V F
F V F
En el tercer renglón se observa que, siendo verdadderas las dos

premisas, la conclusion es falsa, por tanto, el razonamiento es
inválido.
2. PRUEBA FORMAL DE INVALIDEZ
Llamado tambien el metodo abreviado o el método por
reducción al absurdo (primera forma) ya que tiene la ventaja de
no utilizar el llenado de tablas ni tampoco el uso de las leyes de
inferencia (implicaciones notables); y las desventajas que se
puede presentar es: en el caso que el razonamiento tenga
muchas variables y premisas. Este método esta basado en el
que suponemos que la conclusión tiene que ser falsa y las
premisas tengan valor de verdadero si esto es posible hacerlo
se dirá que el razonamiento es inválido pero si existe alguna
contradicion o ambiguedad entre los valores de una misma
variable el razonamiento es válido.
El proceso es que en primer lugar se da valor de falso a la

conclusión; luego se le asigna el valor de verdadero a cada
premisa; despues se deducen los valores de las variables de las
premisas como de la conclusión y finalmente veremos que en
estos valores encontrados no encontramos algun conflicto o
ambigüedad. Si no es posible encontrar algún tipo de conflicto
en los valores y sus variables se dirá que el razonamiento es
inválido.
Ejemplos:
1. Demostrar la validez del siguiente razonamiento
1. → (Premisa 1)
2. ∨ (Premisa 2)
3. ↔ (Premisa 3)
∴ (conclusion)
solución
1. → (Premisa 1)
2. ∨ (Premisa 2)
3. ↔ (Premisa 3)
∴ ⏟ (conclusion)
Como es falsa remplazamos en 3. y por tanto será falsa,

debido a la bicondicional, ahora remplazamos en 2. en donde
es verdadera necesariamente; finalmente remplazamos en
1.en donde puede tomar cualquier valor verdadero o falsa.
Como no hubo ninguna ambigüedad o conflicto entre sus
valores y variables entonces el razonamiento es inválido.la

ambigüedad sucederia como en el ejemplo siguiente.
2. Demostrar la validez del siguiente razonamiento
1. ( ∨ ) → (Premisa 1)
2. ∧ (Premisa 2)
∴ → (conclusion)
solucion
1. (⏟ ∨ ⏟) → ⏟ (Premisa 1)
2. ⏟ ∧ ⏟ (Premisa 2)
∴ ⏟ → ⏟ (conclusion)
Una ves que hayamos encontrado los valores de p y q en la

conclusión, se remplaza en todas las premisas asi como se
muestra y entonces encontramos una ambigüedad en 2.
porque es absurdo tener esa relacion. Por tanto es un
razonamiento válido.
Observacion:si resolvemos por este metodo el ejemplo 2 de las
tablas veritativas nos vemos que la falsedad de la conclusion
tiene tres alternativas, basta que falle con una de las
alternativas entonces se concluye como tal.
Observación. Sin embargo, para probar la validez de un
razonamiento, es necesario ademas realizar la prueba formal de
validez. Para ello mostremos los argumentos válidos notables.
ARGUMENTOS VÁLIDOS NOTABLES

Llamados también implicaciones notables y se pueden escribir
de dos formas: en forma horizontal y vertical
a) forma horizontal. Cuando la conjunción de premisas que
implican a la conclusión como en (∗) se escriben
horizontalmente en forma explícita usando los
conectores ∧, →.
b) forma vertical. (forma clásica)En este caso no se escriben,
en forma explícita los conectivos ∧, ⟹. La conjunción de
premisas se escriben verticalmente uno después de otro y
al término de última premisa se escriben una raya
horizontal y tres puntos para luego escribir la conclusión.
∴
:“ , , ,…, ;
”
Esos tres puntos significan “por tanto”, “luego” y formalmente
se denota con →.Todos los argumentos válidos notables
siguientes son implicaciones lógicas.
Los silogismos son aquellas inferencias, argumentos o
razonamientos deductivos que tiene 2 premisas.
1) Ley del MODUS PONENDO PONENS (afirmando, afirmo).
[( → ) ∧ ] ⟹
Es uno de los más simples y más usados de las leyes de la
inferencia. Si al formalizar una proposición literal tenemos la
forma de la izquierda, entonces se concluye la proposición del
lado derecho, es decir se puede expresar de la siguiente

manera:
→
∴
Ejemplo 1: De las siguientes premisas:
 Si llueve, las calles se mojan
 está lloviendo
Se deduce que
∴Las calles se están mojando
Ejemplo 2: De las siguientes premisas:
 Si Fabiola gana el concurso, entonces viajara a España
 Luis gana el concurso
Se deduce que
∴ Luis viajará a España
2) Ley del MODUS TOLLENDO TOLLENS(negando, niego)
[( → ) ∧∼ ] ⟹∼
El Modus Tollens viene a ser la contra reciproca de la
condicional → . Si al formalizar una proposición literal
tenemos la forma de la izquierda, entonces se concluye la
proposición del lado derecho, es decir se puede expresar de la
siguiente manera:
→
∼
∴∼
Ejemplo 1: De las siguientes premisas se deduce que
 Si Luisa gana el concurso de literatura, entonces
viajará a París
 Luisa no viajará a París
∴ Luisa no viajará a París

 si Luis gana el concurso, entonces viajará a España
 Luis no viajó a España
∴ Luis no ganó el concurso
3) Ley del SILOGISMO HIPOTÉTICO(transitiva)
[( → ) ∧ ( → )] ⟹ ( → )
Llamado también silogismo condicional. Si al formalizar una
proposición literal tenemos la forma de la izquierda, entonces
se concluye la proposición del lado derecho, es decir se puede
expresar de la siguiente manera:
→
→
∴ →
 Si Marta viaja a caracas, entonces visitará a su tía
 Si visita a su tía entonces pasará buenas vacaciones
∴ Si Marta viaja a caracas entonces pasará buenas
vacaciones.
 Si no llueve entonces se perderá la cosecha
 Si se pierde la cosecha entonces no se podrá cancelar la
deuda
∴ Si no llueve, no se puede cancelar la deuda
4) Ley del SILOGISMO DISYUNTIVO o Modus Tollendo Ponens
[( ∨ ) ∧∼ ] ⟹ [( ∨ ) ∧∼ ] ⟹
Es algo así como un descarte de datos, de dos cosas que se
cumplen o una o la otra, si una se descarta inmediatamente
queda la otra. Si al formalizar una proposición literal tenemos la
forma de la izquierda, entonces se concluye la proposición del
lado derecho, es decir se puede expresar de la siguiente

manera:
[( ∨ )] [( ∨ )]
∼ ∼
∴ ∴
 Pedro pasará sus vacaciones en Trujillo o Cajamarca
 Pedro no pasará sus vacaciones en Trujillo
∴ Pedro pasará sus vacaciones en Cajamarca
 Gladis tiene un carnet o un DNI
 Gladis no tiene ningún carnet
∴ Gladis tiene un DNI
 O vamos al cine o vamos al teatro.
 No vamos al cine
∴ Vamos al teatro

 O vamos al cine o vamos al teatro.
 No vamos al teatro
∴ Vamos al cine
Nota: las inferencias deductivas mediatas que tengan 2
premisas adoptan el nombre de silogismo.
5) Ley del DILEMA CONSTRUCTIVO
[( → ) ∧ ( → ) ∧ ( ∨ )] ⟹ ( ∨ )
Si al formalizar una proposición literal tenemos la forma de la
izquierda, entonces se concluye la proposición del lado
derecho, es decir se puede expresar de la siguiente manera:
→
( → )
( ∨ )
∴( ∨ )
 Si Mario toma bebidas heladas, entonces se resfriará
 Si Carmen no llega a tiempo, se quedará sin ver la obra
 Mario toma bebidas heladas o Carmen no llegó a tiempo
∴ Mario se resfriará o Carmen se quedará sin ver la obra
6) Ley de la SIMPLIFICACIÓN
a) ( ∧ ) ⟹ b) ( ∧ ) ⟹
Se puede concluir que , o se puede concluir que . Si al
formalizar una proposición literal tenemos la forma de la
( ∧ ) ( ∧ )
∴ ∴
 Platón fue político y filosofo
(Se puede concluir que fue político o filósofo)
∴ Platón fue filósofo
 Ningún estudiante es ocioso y Carlos es un
excelente pianista
∴ Ningún estudiante es ocioso

 Soy guapo y millonario
∴ Soy guapo
 Soy guapo y millonario
∴ Soy millonario.
7) Ley de la ADICIÓN
⟹( ∨ )
Dado una premisa inmediatamente se puede concluir en una
disyunción, de la premisa dada con cualquier otra proposición,
si afirmo , o se cumple p o se cumple cualquier otra
proposición . La ley aditiva significa adicionar una proposición
a la que ya tenemos, pero siempre con la disyunción. Si al
formalizar una proposición literal tenemos la forma de la
∴ ∨
 Todos los poetas son desordenados.
∴ Los poetas son desordenados o son
temperamentales
 voy al cine.
∴ Voy al cine o voy al teatro
8) Ley de la INFERENCIA EQUIVALENTE
[( ↔ ) ∧ ] ⟹
9) Ley de TRANSITIVIDAD SIMETRICA
[( ⟷ ) ∧ ( ⟷ )] ⟹ ( ⟷ )
Ejemplo 1:
 si llueve las calles se mojan.

 si las calles se mojan me resbalo.
∴ Si llueve me resbalo
10) Ley del ABSURDO
[ → ( ∧ ~ )] ⟹ ~
[~ → ( ∧ ~ )] ⟹
11) Ley de la TRASLACIÓN
( ∧ )→
∴ →( → )
12) Ley de la TRANSPOSICIÓN
→
∴~ →~
13) DILEMA DESTRUCTIVO
( → )
( → )
(~ ∨ ~ )
∴ (~ ∨ ~ )
3. PRUEBA FORMAL DE VALIDEZ O DEMOSTRACIÓN DIRECTA

Consiste en obtener la conclusión, a partir de las premisas
utilizando las implicaciones notables, anteriormente mostradas.
En la mayoría de ejercicios usamos esta prueba, cuando se nos
pide demostrar un razonamiento.
Los pasos a seguir son: primero se enumeran las premisas,
luego se continúa la enumeración en cada uno de los pasos que
se van dando al mismo tiempo se indica a la derecha (en
lenguaje natural) la implicación notable que se aplica.
Finalmente se alcanza la conclusión. Recordemos que se deben

usar todas las premisas. También no se deben volver a usar las
premisas usadas pues la conclusión es consecuencia lógica de
las premisas.
Observación. La validez de un razonamiento se puede realizar
también poniendo en forma horizontal y simplificarla con las
leyes del algebra proposicional. Si es válido será verdadero en
caso contrario falso o contingente
Ejemplos:
a) Verificar la validez del siguiente razonamiento:
.( ∨ ) →
. ∨
∴ →
1. ( ∨ ) →
2. ∨
3. ∨ Conmutativa en 2.
(Ya no podemos utilizar la premisa 2., pues ya fue utilizada)
4. (~ ∧ ~ ) ∨ Condicional y Morgan en 1.
5. ~ ∨ Ley simplificativa en 4.
6. → Condicional en 5.
Otra forma
1. ( ∨ ) →
2. ∨
3. ∨ Conmutativa en 2
4. MPP en 1 y 3
5. ~ ∨ Ley adición en 4.
6. → Condicional en 5.
También se puede verificar la validez del siguiente

razonamiento de la siguiente manera:
( ∨ )→ ∧( ∨ ) →( → )
∼ ( ∨ )→ ∧( ∨ ) ∨( → )
∼ [(∼ ( ∨ ) ∨ ) ∧ ( ∨ )] ∨ (∼ ∨ )
( ∨ ) ∧∼ ∨ (∼ ∧∼ ) ∨ (∼ ∨ )
( ∨ ) ∧∼ ∨ (∼ ∧∼ ) ∨ (∼ ∨ )
∨ ∨ ∨∼
Por lo tanto el razonamiento es valido

b) Verificar la validez del siguiente argumento
∧
~ →
∴ ∼ ∨
ó
1. ∧
2.~ →
3.~ → por transposición en 2
4. por simplificación de 1
5. ∨ condicional en 3
6. absorción de 4 y 5
7. ∼ ∨ adicion en 6
c) Verificar la validez del siguiente razonamiento:

. ~( ∧ )
. →
∴ →~
ó
3. ~ ∨ ~ Morgan en 1.
4. → ~ Condicional en 3.
5. ~ → ~ Ley de transposición en2
6. → ~ Transitiva entre 4 y 5
d) Verificar la validez del siguiente argumento
.( ∨ ) ∧
.∼ ∧
.
∴( ∧ )∨
1. ( ∨ ) ∧
2. ∼ ∧ ℎ
3.
4. ∨ Simplificación en 1
5. ∼ Simplificación en 2
6. Tollendo ponens en 4 y 5
7. ∧ Conjunción en 3 y 6
8. ( ∧ ) ∨ ℎ Adición en 7
e) Verificar la validez del siguiente razonamiento
. →
. ∼ →∼ (∼ )
.∼
∴
ó
1. →
2. ∼ →∼ (∼ )
3. ∼
4. ∼ →∼ Por transposición en 1
5. ∼ → Por transitiva en 4 y 2
6. ∨ Condicional en 5
7. Tollendo ponens en 6 y 3
Otra forma
1. →
2. ∼ →∼ (∼ )
3. ∼
4. ∼ P.P de 1 y 3
5. ∼ (∼ ) T.T. en 2 y 4
6. Involución en 5
f) Verificar la validez de le siguiente argumento
. ∧
. →
∴ ∧
ó
. ∧
2. →
3. De 1 simplificación
4. P.P. en 2 Y 3
5. ∧ cunjuncion en 3 y 4
g) Verificar la validez de le siguiente argumento
.
. →∼
. ∨
∴ ∧
ó
1.
2. →∼
3. ∨
4. ∼ P.P. en 2 y 1
5. T.P. en 3 y 4
6. ∧ Conjunción en uno y 5
l) Traducir al lenguaje formal y demostrar por el método de

validez formal el siguiente razonamiento, tomado de “los
hermanos Karamasov” de Fedor
Dostoievsky:
. , á .
. , í .
. .
Solución
:
:
:ℎ
1. ~ →
2. ~ → ~
3.
∴
4. T.T entre la premisa 2 y 3.eso es todo

Otro forma
1. ~ →
2. ~ → ~
3.
4. ∨ ~ Condicional en 2
5. ~(~ ) Involución en 3
6. T.P en 4 y 5
7. ∨ Condicional en 1
8. ∧ ( ∨ ) Conjunción entre 6 y 7
9. Simplificación o absorción en 8
m) Traducir al lenguaje formal y demostrar por el método de

validez formal el siguiente razonamiento:
. .
. .
.
ó
En primer lugar transformamos el lenguaje natural en lenguaje
formal:
:
:
:
1. ~( ∧ )
2. → .
∴ →~
1. ~( ∧ )
2. → .
3. ~ ∨ ~ Ley de Morgan en 1
4. → ~ Sustitución de la condicional en 3
5. ~ → ~ . Transposición en 2
6. → ~ Ley de transitividad entre 4 y 5
Nota: ¿Qué diferencia hay entre comprobar y demostrar?
− La comprobación se justifica con el método abreviado.
− La demostración se justifica con las implicaciones notables.
n) Si Paolo Guerrero es peruano, entonces es aficionado al
futbol. Pero Paolo Guerrero no es aficionado al futbol. Por lo
tanto no es peruano.
Solución
:
:
1. →
2. ~
∴~
1. →
2. ~
3. ~ Por T.T. en 1 y 2
o) Si Rosa participa en el municipio escolar entonces los
estudiantes se enojan con ella, y si no participa en el
municipio escolar, los profesores se enojan con ella. Pero,
Rosa participa en el municipio escolar o no participa. Por lo
tanto, los estudiantes o los profesores se enojan con ella.
Solución
: Rosa participa en el municipio escolar
: Los estudiantes se enojan con ella
: Los profesores se enojan con ella
[( → ) ∧ (∼ → ) ∧ ( ∆∼ )] → ( ∆ )
p) Usando el método abreviado de la inferencia lógica

[(∼ ∨ ) ∧ ( → )] → ( ∨∼ )
Solución
q) Si Lázaro tiene 20 años, entonces Lázaro tiene la misma edad

que Priscila. Si Garay tiene distinta edad que Lázaro, entonces
Garay tiene distinta edad que Priscila. Lázaro tiene 20 años y
Garay tiene la misma edad que Priscila. Por lo tanto, Garay
tiene la misma edad que Lázaro y Lázaro la misma edad que
Priscila.
Solución
: Lázaro tiene 20 años
: Lázaro tiene la misma edad que Priscila

: Garay tiene la misma edad que Lázaro
: Garay tiene la misma edad que Priscila
1. →
2. ~ → ~
3. ∧
∴ ∧
1. →
2. ~ → ~
3. ∧
4. Simplificación en 3
5. P.P. en 1 y 4
7. T.T en 2 y 6
8. ∧ Conjunción de 7 y 5
r) Si la enmienda no fue aprobada entonces la constitución

queda como estaba. Si la constitución queda como estaba
entonces no podemos añadir nuevos miembros al comité. O
podemos añadir nuevos miembros al comité o el informe se
retrasará un mes. Pero el informe no se retrasara un mes. Por
lo tanto la enmienda fue aprobada.
Solución
: La enmienda fue aprobada
: La constitución queda como estaba
: Podemos añadir nuevos miembros al comité
: El informe se retrasará un mes
[(~ → ) ∧ ( → ~ ) ∧ ( ∆ ) ∧ ~ ] →
s) Si el tiburón es un mamífero entonces toma oxigeno del aire.
Si toma su oxigeno del aire, entonces no necesita branquias. El
tiburón es un mamífero y vive en el océano. Por tanto, no

necesita branquias.
Solución
: El tiburón es un mamífero
: Toma su oxigeno del aire
: Necesita branquias
: Habita en el océano
[( → ) ∧ ( → ~ ) ∧ ( ∧ )] →
1. →
2. → ~
3. ∧
5. P.P. en 1 y 4
6. ~ P.P. de 2 y 5
6. METODO INDIRECTO O DEMOSTRACION INDIRECTA.
Llamada también método de demostración por reducción al
absurdo (segunda forma). Para demostrar formalmente una
inferencia o razonamiento por el absurdo se siguen los siguientes
pasos:
- Se supone falsa la conclusión , es decir, ~ es verdadera.
- Se agrega ~ como una nueva premisa.
Se demuestra, por el método directo y estas premisas
conducen a una falsedad o contradicción.
- No hay que llegar a la conclusión, solamente buscar una
contradicción en las premisas.
- Se concluye que es verdadera, ya que ~ hace inválida a
la inferencia.
Así, se habrá demostrado formalmente la inferencia por el
método indirecto.
La demostración de un teorema diremos que es por

contradicción cuando suponiendo que la conclusión q es falsa y
utilizando la hipótesis y otros teoremas y equivalencias lógicas
establecidas previamente se llega a una contradicción. Está
basada en la equivalencia lógica conocida como reducción al
absurdo, es por ello que este método demostración es conocido
también como demostración por reducción al absurdo
→ ≡( ∧~ )→
Donde c es una contradicción. Por tanto, si probamos que
( ∧~ )→
Es una tautología tendremos que → también lo es y
consecuentemente ⇒
Observación: poniendo en forma horizontal simplificamos y nos
resultara falso también se puede demostrar de esa manera.
Ejemplos:
a. Demostrar que el razonamiento
.~ → ~
.~ →
∴~ →
Es válido por demostración indirecta
Solución
.~ → ~
.~ →
. ~(~ → ) Negando la conclusión se pone como
premisa
. ~ → Transitiva de 1 y 2
5. . ~(~ → ) ∧ (~ → ) Conjuntiva de 3 y 4
6.
Otra forma
.~ → ~
.~ →
. ~(~ → ) Estamos negando la conclusión
. ~( ∨ ) Condicional en 3.
5. ~ ∧ ~ Morgan en 4.
6. ~ Ley simplificativa en 5
7. ~ → Transitiva entre 1. Y 2. Si negación de p se
cumple entonces r se tiene que cumplir ya que 1. Si es una
proposición que se está cumpliendo así entonces podemos
afirmar r por la ley transitiva
8. Condicional en 7.
9. ∧ ~ Por la ley conjuntiva de 7 y 8
10.
Por lo tanto la negación de la conclusión (~(~ → )) resulta
ser falso y la afirmación verdadera
(~ → )
Así se concluye∴ ~ → es verdadera y al ser verdaderas y las
premisas 1 y 2 entonces el razonamiento es válido.
También se puede demostrar del siguiente modo:
(~ → ~ ) ∧ (~ → ) ∧∼ (~ → )
( ∨ ~ ) ∧ ( ∨ ) ∧∼ ( ∨ ) Triple condicional
( ∨ ~ ) ∧ ( ∨ ) ∧∼ ∧∼ Morgan
( ∨ ~ ) ∧∼ ∧ ( ∨ ) ∧∼ Conmutativa
~ ∧∼ ∧ ∧∼
Es una contradicción
Por lo tanto ~ → es verdadera
b. Demostrar que el razonamiento:
. →
. →~
∴~
Es válido por el método de reducción al absurdo.

Solución
1. →
2. → ~
3. ~(~ )
4. Involución en 3
5. Modus Ponens entre 1 y 3
6. ~ Modus Ponens entre 2 y 3
7. ∧ ~ Ley conjuntiva entre 4 y 5
8.
Puesto que produce una contradicción (absurdo), se
concluye que ~ es verdadera. Esto es lo que se quería
demostrar del razonamiento
13. NECESIDAD Y SUFICIENCIA
Finalizamos este capítulo con una colección de procedimientos
que son importantes en la demostración de proposiciones
durante el desarrollo de la matemática.
La suficiencia se denota por ⟹ el cual se lee implica ,
otro modo de leer es cumple si cumple, aún hay otro modo
de leer como una condición suficiente para que cumpla es
que cumpla.
La necesidad se denota por ⟹ el cual se lee implica ,
otro modo de leer es cumple solo si cumple eso quiere
decir de que si no cumple, entonces tampoco. Una tercera
forma de leer es una condición necesaria para que q cumpla es
que p cumpla.
EJERCICIOS RESUELTOS.
1. Determinar cuáles son proposiciones simples
A. La radio es un medio de comunicación y distracción.
B. El protón o antiprotón son partículas atómicas.
C. El Perú es un mendigo sentado en un banco de oro
D. La historia es una ciencia fáctica.
E. Todas las aves son vertebrados
Solución
A. La radio es un medio de comunicación y distracción.
Es compuesta por el conectivo “y”
B. El protón o antiprotón son partículas atómicas.
Es compuesta por el conectivo “o”
C. El Perú es un mendigo sentado en un banco de oro
Ni siquiera es proposición, es frase
D. La historia es una ciencia fáctica; Es simple
E. Todas las aves son vertebrados: (Todas es un cuantificador
universal que se puede escribir como si x es un ave,
entonces x es un vertebrado.) compuesta
2. Evaluar el siguiente esquema molecular y diga cuantas
verdades tiene el resultado. Y deducir si es tautológico,
contradictorio o contingente
[~ → ~( ∧ )]∆[( → ~ ) ∨ ].
Solución
Determinación del número de valores veritativos
2 = 2 = 8 Valores veritativos
8
=4 4
2
4
=2 2
2
2
=1 1
2
[~ → ~( ∧ )] ∆[( →~ )∨ ]
La proposición tiene 0 falsas y 8 verdaderas. Y por tanto es una

contradicción
3. De los enunciados siguientes:

- 2 es un numero par
- El Perú es un país latino
- La ballena es un animal acuático
- + =
- + =
- ¿Mario esta vestido?
¿Cuántas y cuales son proposiciones lógicas?
Solución
Las cuatro primeras son proposiciones y las dos últimas no son
proposiciones porque el uno está con variables y el otro es una
pregunta.
4. Si la proposición compuesta: ( ∧ ) → ( ∨ ) es falsa. Indicar

las proposiciones que son verdaderas.
Solución
( ∧ )→( ∨ )≡
( ∧ )≡ , ( ∨ )≡
≡ , ≡ , ≡ , ≡
Las proposiciones que son verdaderas son:
5. Simbolizar la siguiente proposición: “no es cierto que, hace frio
y no se congele”.
Solución
Lo primero que tenemos que hacer es asignar una variable
proposicional a cada proposición:
Sea :hace frio : ~( ∧ ~ )
6. Represente simbólicamente: iremos a nadar a menos que el
cielo no esté despejado, ya que no hemos traído carpa.
Solución
Sea: : :
:ℎ í
~ → (~ → )
7. De las siguientes proposiciones ¿Cuáles son equivalentes entre
sí?
I. Es necesario que Juan no vaya al cine para que termine
su tarea.
II. No es cierto, que Juan termine su tarea y vaya al cine.
III. Juan no termina su tarea y no va al cine.
Solución
Sea: : :
I. →~ ≡~ ∨~
II. ~( ∧ ) ≡ ~ ∨ ~
III. ~ ∧~ ≡~ ∧~
Por lo tanto I. y II. Son equivalentes
Otra forma de ver si son equivalentes seria mediante tablas de
verdad, para lo cual las matrices principales deben ser iguales.
8. Simplificar la expresión: [ → ~( → )] → ~
Solución
[ → ~(~ ∨ )] → ~ Condicional en el paréntesis
[~ ∨ ~(~ ∨ )] → ~ Condicional en los corchetes
[~ ∨ ( ∧ ~ )] → ~ Morgan e involución en los ()
[~ ] → ~ Absorción en los corchetes
~[~ ] ∨ ~ Condicional
∨~ Involución.
9. Dado: # ≡ { [( → ) → ] ∨ } ∧ simplificar:
[(~ ∧ )# ]#( ↔ )
Solución
Primero simplificaremos la expresión siguiente.
# ≡{ [( → ) → ] ∨ } ∧
≡{ [~( → ) ∨ ] ∨ } ∧ Condicional en los [ ]
≡{ [~( → ) ∨ ] ∧ } ∨ ( ∧ ) Distributiva en toda la
expresión
≡ ∨ ( ∧ ) Absorción en las llaves
# ≡ Absorción en todo
[(~ ∧ )# ]#( ↔ )
[(~ ∧ )# ]
(~ ∧ )
10. Hallar la proposición más simplificada que representa el

siguiente circuito:
~ ~
Solución
Transformando el circuito en la forma literal
( ∧ ) ∨ [(~ ∧ ~ ) ∨ ]} ∧
{
{( ∧ ) ∨ [(~ ∨ ) ∧ (~ ∨ )]} ∧ Distributiva

{( ∧ ) ∨ [(~ ∨ ) ∧ )]} ∧ Elemento neutro
{( ∧ ) ∨ [(~ ∨ )]} ∧ Elemento neutro
{[( ∧ ) ∧ ] ∨ [(~ ∨ ) ∧ ]} Distributiva
( ∧ ) ∨ [(~ ∨ ) ∧ ] Absorción
( ∧ ) Absorción
11. si:
A. ( ∧ ~ ) ↔ ( → ) es verdadera
B. (~ → ~ ) es falsa
Halle el valor de verdad de:
a. ( ∧ ) ∨ ∨
b. [ → ( ∨ ~ )] ∧ ~( → )
c. ( ↔ ~ ) → ( ∨ ~ )
Solución
( ∧~ )↔( → )≡ ~ →~ ≡
≡ ; ≡
Reemplazando en la primera
( ∧~ )↔( → )≡
Eso quiere decir de que: ∧ ~ ≡

~(~ ) ∧ ~ ≡
~(~ ∨ ) ≡ Entonces ~ ∨ ≡ ~( → ) ≡
a. ( ∧ ) ∨ ∨ ⏟ ≡
ó
b. → ⏟ ∨~ ∧ ~( → ) ≡
c. ( ↔ ~ ) → ( ∨ ~ ) ≡
12. El siguiente esquema molecular es falso:

(~ ∆ ) → [( ∧ ~ ) ∨ ( → )]
Hallar el valor de verdad de:
I. [~( ∧ ) → ~ ]∆
II. (~ ∧ ) ↔ ( → ~ )
III. [( ∨ ) → ] ∨ ~
Solución
[(~ ∆ )] → [( ∧ ~ ) ∨ ( → )] ≡
[(~ ∆ )] ≡ ; [( ∧ ~ ) ∨ ( → )] ≡
( ∧~ )≡ ; ( → )≡
≡ ; ≡
Reemplazando en la primera
Entonces ~ ≡ luego ≡
Reemplazando en la segunda: ~ ≡ luego ≡
I. [~( ∧ ) → ~ ]∆ ≡
II. (~ ∧ ) ↔ ( → ~ ) ≡
III. [( ∨ ) → ] ∨ ~ ≡
Rpta: VFV
13. Si la proposición:
~[(~ ∨ ) ∨ ( → )] ∧ [(~ ∨ ) → ( ∧ ~ )]
Es verdadera, determine los valores de , .
Solución
~[(~ ∨ ) ∨ ( → )] ∧ [(~ ∨ ) → ( ∧ ~ )] ≡
~[(~ ∨ ) ∨ ( → )] ≡ ; [(~ ∨ ) → ( ∧ ~ )] ≡
[(~ ∨ ) ∨ ( → )] ≡ ;
[(~ ∨ ) ≡ ; ( → ) ≡ ]
~ ≡ ; ≡ ; ≡ ; ≡
≡
14. ( ∨ ) ↔ ( ∧ ) es una proposición verdadera, teniendo y

valores de verdad opuestos. Determinar los valores de:
A. [(~ ∧ ~ ) ∨ ( ∧ )] ∧
B. [~( ∨ ) ∧ ( ∨ )] ∨ (~ ∧ )
C. [(~ ∧ ~ ) → ( ∨ )] ∧ ~( ∧ )
Solución
( ∨ )↔( ∧ )≡
Como r y s tienen valores de verdad opuestos entonces
∧ ≡ por lo tanto ∨ ≡ entonces
≡ ; ≡
A. ~ ∧~ ∨( ∧ ) ∧⏟≡
⎡ ⎤
B. ~ ( ∨ ) ∧ ( ∨ )⎥ ∨ (~ ∧ ) ≡
⎢
⎢ ⎥
⎣ ⎦
C. (~ ∧ ~ ) → ( ∨ ) ∧ ~( ∧ ) ≡
15. Si ( ↔ ) ∧ ~(~ ∨ ~ ) es verdadera, hallar el valor de

verdad de:
( → )↔( ↔ )
Solución
( ↔ ) ∧ ~(~ ∨ ~ ) ≡
( ↔ ) ≡ ; ~(~ ∨ ~ ) ≡
~ ∨~ ≡
≡ ; ≡
Reemplazando en la primera: como ≡ tiene que ser
≡
( → )↔( ↔ )≡
16. De las siguiente proposiciones compuestas:

A. si: + = entonces <
B. 8 es mayor que 4 ó 7 es menor que 5.
C. √ = y− =
D. < ↔ + < +
Indicar el valor de verdad correspondiente.
Solución
A. si: 5 + 3 = 7entonces 7 < 6 ≡
B. 8 es mayor que 4 ó 7 5.≡
C. √16 = 4 y −3 = 9 ≡
D. 2 < 4 ↔ 12 + 5 < 4 + 5 ≡
17. De las siguientes oraciones, son proposiciones lógicas:

A. Einstein es el creador de la física clásica.
B. Rocinante es el caballo de don Quijote de la Mancha.
C. CPU-UNASAM es una academia de aptitud académica.
D. Ingresaré a la universidad.
E. Ningún número par es divisible por dos.
Solución
A: es una proposición
B: es una proposición (todos sabemos que es así)
C: es una proposición
D: no es una proposición, es un anhelo
E: es proposición
18. De las siguiente proposiciones son proposiciones lógicas:
A. Mi deseo es trabajar por el Perú
B. El Perú es un país del hemisferio norte
C. Pienso que debemos salir de la crisis.
D. Los filósofos son grandes pensadores.
E. La amistad es verdadera.
Solución
A: no es proposición, es un deseo
B: es proposición
C: no es proposición, es una idea
D: es proposición
E: no es proposición,frase
A. ¡Hoy es un día maravilloso!
B. En tus ojos veo mi futuro.
C. Abre la puerta, inmediatamente.
D. Toda revista tiene páginas bellas.
E. A grandes males, grandes remedios

Solución
A: si es
B: no es
C: no es, es orden
D: no es, es orden
E: no es, es frase
A. ¿Dónde nació Túpac Amaru II?
B. A caballo regalado no se le mira el diente.
C. Tarzán y Supermán son mitos.
D. Algún día seré profesional.
E. El neutrino es una partícula
Solución
A: no es, es pregunta
B: no es, es frase
C: no es (todos sabemos que es dibujo animado pero
no especifica además cuando solo dice tarzan y
Superman se puede referir a un nombre propio de
animales o personas)
D: no es, deseo
E: es proposición
A. Platón es un filósofo materialista
B. La lógica es una disciplina de la filosofía
C. El carbono 14 es un método arqueológico.
D. El Tungsteno, es obra de Vallejo.
E. Los vegetales son heterótrofos.
Solución
A: es proposición
B: es proposición
C: es proposición
D: es proposición
E: es proposición
22. Son proposiciones moleculares:
A. El domingo se descansa. El lunes se trabaja.
B. Bolivia limita con Perú también con chile
C. Si hay verano entonces habrá invierno
D. Transpiro si y solo si corro.
E. El corazón y el cerebro son órganos.
Solución
A: es molecular
B: es molecular (también=y)
C: es molecular
D: es molecular
E: simple relacional
23. Es proposición simple:
A. El electrón tiene carga negativa.
B. Te amaré siempre
C. La luna es satélite. De la tierra.
D. Vivir, morir es la ley de la vida.
E. La materia es finita e infinita.
Solución
A: es simple
B: ni siquiera es proposición
C: compuesta
D: simple (relacional)
E: compuesta
24. Es proposición molecular:

A. Romeo y Julieta se amaron mucho
B. El Huascarán es un nevado
C. Yungay pertenece a la Región Chavín
D. Adolfo Bécquer fue un científico
Solución
A: es simple (relacional)
B: es simple
C: es simple
D: simple
E: es la respuesta
25. Son proposiciones moleculares
A. Dejar hacer, dejar pasar el mundo camina solo
B. Científico, filósofo es Bertrand Russell
C. Pensamos ,entonces existimos
D. Colón fue descubridor o conquistador
E. Don Quijote y Don Sancho fueron locos
Solución
A. no es
B. no es
C. no es
D. si es
E. no es
26. La expresión: ¡la paz sea contigo! :
A. Es una proposición.
B. No es una proposición.
C. Es oración imperativa
D. Es oración expresa
E. Es oración desiderativa.
Solución
A: no
B: si
C: si
D: no
E: no
27. Son proposiciones falsas:

A) Estoy orgulloso de ser estudiante
B) Los cetáceos son animales terrestres
C) Todos los peces viven en el mar
D) La libertad es un valor maravilloso
E) Te estimo tanto aunque tú no lo creas.
Solución
A: no es proposición
B: F
C: V
D: no es proposición
E: no es proposición
28. De las siguientes expresiones. ¿Cuáles son proposiciones?
I. 5 es número par
II. El auto nuevo
III. + =
a) Todas b) solo I y II c) solo I y III d) solo II e) solo I
29. Los valores de verdad de las siguientes proposiciones:

I. ( + = ) ∨ ( − = )
II. ( + = ) → ( − = )
III. ( + = ) ∧ ( − > )
IV. ( + = )↔( − = )
a) VVVV b) VFVF c) VFFV d) VVFV e) VVFF
30. Determinar el valor de verdad de cada una de las siguientes

proposiciones:
I. Si: 3+2= 7, entonces 4+4=8.
II. No es verdad que, 2+2=5;si y solo si 4+4=10
III. París está en Inglaterra o Londres está en Francia.
a) VFF b) VVF c) VVV d) VFV e) FVV
31. Determinar si la proposición siguiente es tautología,

contradictoria o indefinida:
[( → ) ∧ ] →
Solución
Es una tautología
32. Usando tablas de verdad determinar si la siguiente
proposición es una tautología, una contradicción o una
contingencia
{[(~ ∧ ) → ] ↔ [~ ↔ ( ∨ )]}∆{ ( ↔ )∆( ∨ ~ )}
Solución
Rpta. Contingencia
33. Evaluar el siguiente esquema molecular y diga cuantas
verdades tiene el siguiente esquema molecular:
[∼ ↔∼ ( ∧ )] [( →∼ ) ∨ ]
a) 2 b)5 c)6 d)7 e) 3
34. De las siguiente proposiciones:
I. [~(~ ∧ ) ∧ ] →
II. [~ ∧ ~(~ ∧ )] ↔ [(~ ∧ ) ∨ ~( ∨ )]
III. [~(~ ∨ ~ ) ∨ ] →
Son tautológicas
A) Solo I
B) Solo I y III
C) Solo II y III
D) Solo I y II
E) Todas
35. La fórmula lógica:

[( ∧ ) → ] ↔ [ → ( → )]
Representa una:
A) tautología B)contradicción C) contingencia D)equivalencia
36. ¿Cuál de las siguientes no es una tautología?
A. →
B. ~(~ ) ↔
C. ~( ∧ ~ )
D. ( ∧ ) →
E. →( ∧ )
37. ¿Cuál de las siguientes formulas son equivalentes a ∨ ?
I. ∼ →
II. ( ∨ ) ∧ [( ∨∼ ) ∨ ]
III. ∼ →
Solución
Todas son equivalentes a ∨ se puede comprobar con la
tabla o simplificando
38. La disyunción exclusiva de dos proposiciones y
cualesquiera, es verdadera solo cuando uno de ellos lo es y
representa por y se lee “ ó ” pero no ambas.
Determinar cuál de las siguientes expresiones es equivalentes
a :
a) ∼ ( ∨ ) ∧ ( ∨∼ )
b) ( ∧ ) ∨ (∼ ∧ )
c) ( ∧∼ ) ∨ (∼ ∧ )
d) ( → ) ↔ ( ∨ )
e) ↔
39. Dada las proposiciones y , se define la proposición

como ∧ ~
¿A cuál(es) es equivalente → ~ ?
A. ∼ ( ∇ )
B. (∼ )∇(∼ )
C. ∼ [ ∇(∼ )]
D. (∼ )∇
E. ∇(∼ )
Solución
Rpta. Solo C.
40. Si la proposición representada por: (∼ ∧ ) → es falsa,
determine los valores de verdad de: , en ese orden.
a) VVV b)VFF c)FVF d)FVV e)FFV
41. De la falsedad de:
( →∼ ) ∨ (~ → ~ )
Se deduce que:
I. ~(~ ∨ ~ ) → ~
II. ~(~ ∧ ) → ~( → )
III. → ~[ → ~( → )]
Solución
( →∼ ) ∨ (~ → ~ ) ≡
→∼ ≡ ; ~ →~ ≡
≡ ∼ ≡ ~ ≡ ~ ≡
≡ ; ≡ ; ≡ ∴
42. Sabiendo que las proposiciones: ( ∧ ) ( → )son falsas.

Cuál de las siguientes proposiciones son verdaderas.
I. (~ ∨ ) ∨
II. ~[ ∧ (~ ∨ ~ )]
III. [~ ∨ ( ∧ ~ )]↔ [( → ) ∧ ~( ∧ )]
Solución
≡ ∴
43. Sabiendo que la proposición compuesta: → (~ ∨ ) es
falsa. Indicar cuál de las siguientes proposiciones son
verdaderas:
I. → ( ∨ )
II. ↔
III. ~ →
IV. →
Solución
I, II y IV puede tomar cualquier valor
44. Si :(∼ → ) → ( ∨ ) es una proposición falsa determinar
los valores de:
I. [( ∨ ) ↔ ] ∧∼
II. ∼ [(∼ ∧ ) ∨ ]
a) VV b)VF c)FV d)FF e)No se puede determinar
45. Dar la diferencia del número de y que hay en la tabla de
verdad de M, si: M:( ↔ ) ∧ ( )
a) 1 b)2 c)3 d)4 e)5
46. En la siguiente tabla:
( → ) ↔ (~ → ~ )
1
2
3
4
Los valores de verdad que deben reemplazar los números de

orden indicado son:
Solución
47. Si: → es falso y →∼ es verdadero determinar los

valores de verdad de e .
a) VF b) VV c) FV d) FF e) N.A.
48. Si se sabe que: → es verdadero, ∧ es falso, → es
falso y ∨ es verdadero determinar los valores de verdad de
, , , .
a) VFFFF b) VVFVF c) VFVFF d) VFFVV e) VVFFV
Solución
→ ≡ ∧ ≡ → ≡ ∨ ≡
≡ ≡
Reemplazando en la cuarta proposición r puede tomar V o F
supongamos que primero tome V entonces en la segunda
proposición s necesariamente tiene que tomar F luego en la
primera proposición t puede tomar V o F entonces la respuesta
seria VFVVF o VFVVV
Supongamos que ahora tome F entonces en la segunda
proposición s va a tomar V o F luego en la primera proposición t
puede tomar V o F entonces existe muchas posibilidades tales
como VFFVV, VFFFV, VFFFF.
Por lo tanto la respuesta es
49. Si se sabe que: ∧ es falso y → es falso. Determinar los
valores de verdad de .
a) VV b) VF c) FV d) FF e) N.A
50. Si ∗ solo es verdadero cuando p y q son ambos falsos.

Hallar el valor de verdad de:
(∼ ∗ ) ∗ ( ∗∼ )
Si: : 2 es un número par
: + = −
: + = ×
a) V b) F c) VF d) no se puede e) N.A
51. Si la proposición compuesta:(∼ ∧ ) → ( ∧∼ ) es falsa.
Hallar el valor de verdad de las proposiciones ,
respectivamente.
a) FVV b) FVF c) VFV d) VVF e) VVV
52. Si la proposición compuesta ( ∧ ) → ( ∨ ) es falsa
Indicar las proposiciones que son verdaderas
a) , b) , c) , d) , , e) ,
53. Si la proposición ( →∼ ) ∨ (∼ → ) es falsa deducir el
valor de verdad de:
I. (∼ ∧∼ ) ∨∼
II. [(∼ ∨ ) ∧ ] ↔ [(∼ ∨ ) ∧ ]
III. ( → ) → [( ∨ ) ∧∼ ]
a) FVV b) FFV c) VFV d) FFF e) VFF
54. Si el siguiente esquema es falso:
{[( ∧ ) → ] ∧ } → ( ∨ ) Hallar el valor de verdad de:
I. [( ∨ ) ∧ ] → ( ∨ )
II. → [ → ( ∧ )]
III. (∼ ∧ ) → [ ∨ ( ∨∼ )]
a) VVV b) VFV c) FVF d) FFV e) FFF
55. Sabiendo que la proposición siguiente es falsa
{∼ [( ∧ ) → ] ∧ [( ∨ )∆ ]} → { ( ∆ ) → } Determine el
valor de verdad de:
A. { [(∼ ∆ )∆ ] → [∼ ( → ( → ))]}∆( ∆ )
B. { ∼ ( → )∆[( ∧ ) →∼ ( ∨ )]}∆
Solución
Rpta. Las proposiciones y resultan verdaderas; , y son
falsas. Luego A es verdadera y B es verdadera
56. Si la proposición: ∆(∼ ) ∧ ( ∨ ) → [ ↔ ] es falsa,
cuales de las siguientes proposiciones son necesariamente
verdaderas?
I. ( ∧ ) → ( ∧ )
II. [(∼ ) ∨ ] → ( ∨ )
III. ( ∧ ) → ( ∆ )
Solución
Del dato resulta que las proposiciones y tienen valores de
verdad opuestos, y que y son ambas verdaderas. Luego,
solo la III. Es necesariamente verdadera.
57. Si se sabe que la expresión:
~{( ∆ ) → [( → ) ∨ (~ ∨ )]}
Es verdadera. Hallar el valor de verdad de:
I. ~[( → ) ∧ ~( ∧ ∧ )]
II. ~{~[~( → ) → ( ∧ )]}
III. (~ ∧ ) → ~( → )
Solución
≡ ; ≡ ; ≡ ; ≡ ∴
58. Si “ ” es verdadera y la proposición:
{[( → ) ∧ ~( ↔ )]∆( ∨ ~ )} ∨
Es falsa. Halle los valores de verdad de “ ” , “ ” “ ”
Solución
≡ ; ≡ ; ≡
59. Hallar la proposición equivalente a:
“ , í ”.
a) Hace frío o no congele
b) No hace frío o no congela

c) Hace frío y no congela
d) No hace frío o congela
Solución
: hace frio : se congela
~( ∧ ~ ) ≡ ~ ∨
a) Hace frío o no congele: ∨ ~
b) No hace frio o no congela~ ∨ ~
c) Hace frío y no congela: ∧ ~
d) No hace frío o congela∶ ~ ∨
Respuesta d)
60. Simbolizar la siguiente proposición: “si fumo demasiado

entonces me duele la garganta; y me duele la garganta, por lo
tanto fumo demasiado”.
Solución
: fumo demasiado : duele la garganta
[( → ) ∧ ] →
61. Simbolizar la siguiente proposición: “si yo trabajo, gano dinero
y si no trabajo entonces me divierto por lo tanto si no gano
dinero me divierto”:
donde: : , : , :
a) { [( → ) ∧∼ ] → } → (∼ → )
b) [( → ) ∧ (∼ → )] → (∼ → )
c) [( → ) ∧ ( →∼ )] → ( →∼ )
d) ( → ) →
e) (∼ → ) ∧ (∼ → )
Solución
: Trabajo : gano dinero : me divierto
[( → ) ∧ (~ → )] → (~ → )
62. Simbolizar la siguiente proposición: “si el triángulo tiene dos

lados iguales, entonces el triángulo se llama isósceles y el
triángulo no se llama isósceles, luego el triángulo no tiene dos
lados iguales”.
Siendo: : á
: á ó
a) ( → ) ∧ (∼ → ~ )
b) [( → ) ∧∼ ] → ~
c) ~ → [( → ) ∧∼ ]
d) ( → ) ∧ (∼ → ~ )
e) ~[( → ) ∧∼ ] ↔ ~
Solución
[( → ) ∧ ~ ] → ~
63. De las proposiciones siguientes:
I. Es necesario que Juan no estudie en la UNI para que Luis
viva en el Rímac.
II. No es cierto que Luis viva en el Rímac y que Juan estudie
en la UNI.
III. Luis no vive en el Rímac y Juan no estudia en la UNI.
¿Cuáles son equivalentes entre sí?
A) Solo I y II
B) Solo I y III
C) Solo II y III
D) I, II, y III
Solución
:Juán estudia en la UNI : Luis vive en el Rímac
I. →~ ≡~ ∨~
II. ~ ∧
III. ~ ∧ ~
∴ No existe equivalencia alguna
64. ¿Cuál(es) de las siguientes proposiciones es equivalente a?:

“Es necesario pagar 100 soles y ser más joven para ingresar al
baile”.
I.No ingresar al baile o pagar 100 soles, y ser joven.
II.Pagar 100 soles o ser más joven, y no ingresar al baile.
III.Pagar 100 soles y ser joven, o no ingresar al baile.
A) Solo I
B) Solo II
C) Solo III
D) Solo I y II
E) Solo II y III
Solución
:Pagar 100 soles ∶ser más joven :ingresar al baile
→( ∧ )≡~ ∨( ∧ )≡( ∧ )∨~
I.(~ ∨ ) ∧
II.( ∨ ) ∧ ~
III.( ∧ ) ∨ ~
Solo III.
65. “Si este es un buen curso entonces vale la pena llevarlo, o bien
la matemática es fácil o este curso no vale la pena llevarlo.
Pero la matemática no es fácil. Por lo tanto este no es un buen
curso”.
A) Razonamiento válido, una tautología.
B) Razonamiento inválido, en una contingencia.
Solución
: Este es un buen curso : vale la pena llevarlo
: La matemática es fácil
{[( → ) ∧ ( ∆~ )] ∧ ~ } → ~
Si determinamos con la tabla es un Razonamiento invalido,
En una contingencia.
66. Diga si el siguiente razonamiento, es válido o no.

“Si un hombre es casado, tiene problemas personales. Este
hombre no tiene problemas. Por lo tanto este hombre es
casado y no tiene familia”.
A) Sí, porque es una tautología
B) No, porque es una contingencia.
Solución
: Hombre casado q: hombre tiene problemas personales
: Hombre tiene familia
[( → ) ∧ ~ ] → ( ∧ ~ )
No es válido, porque es una contingencia. (Compruebe con la
tabla)
67. “Si se levanta aire húmedo entonces refrescará. Si refresca
entonces se formaran nubes. Se levanta aire húmedo por lo
tanto se formaran nubes”.
A) Razonamiento válido, es un tautología.
B) Razonamiento inválido, es una contingencia.
Solución
: Se levanta aire húmedo q: refrescara
: Se formaran nubes
{[( → ) ∧ ( → ) ] ∧ } →
Razonamiento valido, es un tautología
68. “Llueve o el campo está seco. Si llueve entonces jugaremos
dentro. Si el campo está seco entonces jugaremos básquet por
lo tanto jugaremos dentro o jugaremos básquet”.
A) Razonamiento valido, es una tautología
B) Razonamiento invalido, porque es una contradicción.
Solución
: Llueve : el campo está seco
: Jugaremos dentro :jugaremos básquet
[( ∨ ) ∧ ( → ) ∧ ( → )] → ( ∨ )
Razonamiento valido, es una tautología
69. “Si el interés no es egoísta, es la fuerza vital de las personas y
es espontaneo. El interés no es fuerza vital de las personas
pero es espontaneo. Por lo tanto el interés es egoísta”.
A) Razonamiento valido, porque es una tautología
B) Razonamiento invalido, porque es una contingencia.
Solución
:El interés es egoísta :la fuerza vital de las personas
:Es espontaneo :El interés es fuerza vital de las personas
{[~ → ( ∧ )] ∧ (~ ∧ )} →
70. La negación del siguiente enunciado: “Si Luis es aceptado por
Jenny, se casará”, es:
A) Si Luis no es aceptado por Jenny , no se casará
B) Luis no es aceptado por Jenny o no se casará.
C) Luis no se casará o es aceptado por Jenny
D) Luis no se casará y es aceptado por Jenny
E) Más de una es correcta.
Solución
:Luís es aceptado por Jenny : se casará
~( → ) ≡ ~(~ ∨ ) ≡ ∧ ~
A) ~ → ~ ≡ ∨ ~
B) ~ ∨ ~ .
C) ~ ∨
D) ~ ∧ ≡ ∧ ~
E) Más de una es correcta
71. “Juan esta melancólico porque vive alejado de su familia”. Al
negar el enunciado anterior su equivalente es:
A) No es cierto que, Juan vive alejado de su familia porque
no está melancólico.
B)Juan vive alejado de su familia y esta melancólico.

C) Juan no está melancólico y vive alejado de su familia.
D) Juan esta melancólico pero no vive alejado de su familia.
Solución
: Juan esta melancólico. : Juan vive alejado de su familia
~( → ) ≡ ~(~ ∨ ) ≡ ∧ ~
A) ~(~ → ) ≡ ~( ∨ )
B) ∧
C) ~ ∧
D) ∧ ~
72. El enunciado: “ni eres artista de cine ni estrella de futbol”. su

forma negativa equivale a:
A) No es cierto que seas artista de cine y estrella de futbol.
B) Eres artista de cine y estrella de futbol.
C) No eres artista de cine o no eres estrella del futbol.
D) Eres artista de cine o estrella de futbol.
E) Eres artista de cine o no eres estrella de futbol.
Solución
: Eres artista de cine : eres estrella de futbol
~(~ ∧ ~ ) ≡ ∨
A) ~ ∧
B) ∧
C) ~ ∨ ~
D) ∨
E) ∨ ~
73. Cual de la siguientes afirmaciones son equivalentes a:

“Hoy no veo televisión ni estudio porque no hay luz”
I. Hay luz dado que hoy veo televisión o estudio.
II. Hay luz y no es cierto que hoy vea televisión o estudie.
III. Hay luz o no es cierto que hoy vea televisión o estudie.
A) I y III
B) Solo II
C) Solo I
D) II y III
E) Todas
Solución
: Hoy veo televisión : estudio : hay luz
~ → (~ ∧ ~ ) ≡ ∨ (~ ∧ ~ ) ≡ ∨ ~( ∨ )
I. ( ∨ ) → ≡ ~( ∨ ) ∨ ≡ ∨ ~( ∨ )
II. ∧ ~( ∨ )
III. ∨ ~( ∨ ) ≡ ∨ ~( ∨ )
A) I y III
74. “Es falso que las clases se suspendan o la universidad cierra, si
se inician las vacaciones. Nos han comunicado falsamente que
ni las clases se suspenden ni la universidad cierra”:
A) Se inician las vacaciones.
B) No se inician las vacaciones.
C) Se suspenden siempre las clases.
D) Las clases no se suspenden.
E) La universidad cierra.
Solución
p: las clases se suspenden q: la universidad cierra
r: se inician las vacaciones
[ → ~( ∨ )] ∧ ~(~ ∧ ~ ) ≡ ~
No se inician las vacaciones
75. Que se concluye de

 Si practicas pesas, estas en forma.
 Las chicas te miran si estas en forma.
A) No es el caso que practique deporte y las chicas te miren.
B) No es cierto que estés en forma o las chicas te miren.
C) Las chicas te miran y no practicas pesas.
D) No practicas pesas o las chicas te miran.
E) No es cierto que practique pesas o las chicas te miren.
Solución
p: practicas pesas q: estas en forma r: Las chicas te miran
 →
 →
( → )∧( → )
→ Transitiva
~ ∨ Condicional
A) no tienen las premisas
B) ~( ∨ )
C) ∧ ~
D) ~ ∨
E) ~( ∨ )
76. Si Carolina regresa de Moscú, Jorge será feliz. El avión llegará
al amanecer si no hay niebla en la ciudad. Pero, si hay niebla
en la ciudad entonces Carolina no regresa de Moscú.
Si sabemos que carolina regresa de Moscú, se deduce que:
I. Jorge será feliz
II. El avión llegara al amanecer
III. No hay niebla en la ciudad
A) Solo I
B) III y II
C) I y II
D) I y III
E) todas
Solución
: Carolina regresa de Moscú : Jorge será feliz
: El avión llegará al amanecer : hay niebla en la ciudad
[( → ) ∧ (~ → )] ∧ ( → ~ ) ∧
( → ) ∧ (~ → ) ∧ ( → ~ ) ∧ Condicional
( → ) ∧ ( → ~ ) ∧ (~ → ) ∧ Conmutativa
( → ) ∧ ( → ) ∧ Transitiva
(~ ∨ ) ∧ (~ ∨ ) ∧ Condicional
[~ ∨ ( ∧ )] ∧ Distributiva
∧ ∧ Absorción
∧ ∧ Conmutativa
Carolina regresa de Moscú y Jorge será feliz y el avión
llegará al amanecer
A) Solo I: no es solo I
B) III y II: III no está la respuesta
C) I y II: estos dos si están en la respuesta
D) I y III: III no está la respuesta
E) todas: no son I. II. III.
77. No rio a menos que reniegue. No reniego excepto que esté
tranquilo. Luego
A) Ni rio ni estoy tranquilo
B) No estoy tranquilo salvo que reniegue
C) Rio porque estoy tranquilo
D) No rio salvo que esté tranquilo
Solución
: Rio : reniegue :estoy tranquilo
(~ ∨ ) ∧ (~ ∨ )
( → ) ∧ ( → ) Condicional
→ Transitiva
~ ∨ Condicional
A) ~ ∧ ~
B) ~ ∨
C) →
D) ~ ∨ No rio salvo que esté tranquilo
78. Si trabajas para mantenerte y estudias, luego serás digno y
estudiaras con ahínco. Pero, si te mantienen y además no
estudias entonces eres desvergonzado y mediocre. Sin
embargo es falso que seas digno así como estudias con ahínco,
a menos que no sea verdad que eres desvergonzado y
mediocre por tanto se deduce que:
A) Trabajas para mantenerte y estudias salvo que te
mantienen y no estudias.
B) Es innegable que trabajas para mantenerte y estudiar
salvo que te mantienen y no estudias
C) Es mentira que trabajas para mantenerte y estudias a
menos que sea falso que te mantienen.
D) Todas.
Solución
: trabajas para mantenerte : estudias : serás digno :
eres desvergonzado : mediocre
[( ∧ ) → ( ∧ )] ∧ [(~ ∧ ~ ) → ( ∧ )] ∧ [~( ∧ ) ∨ ~( ∧ )]
A) ( ∧ ) ∨ (~ ∧ ~ )
B) Es innegable que trabajas para mantenerte y estudiar salvo
que te mantienen y no estudias
C) Es mentira que trabajas para mantenerte y estudias a
menos que sea falso que te mantienen.
D) Todas.
E) N.A.
79. Si la televisión es antinacional por tanto es alienante. Sin

embargo no es mentira que sea alienante. Por tanto:
A) La televisión es antinacional
B) Es falso que la televisión no sea antinacional
C) No es verdad que la televisión sea antinacional y alienante
D) Todas.
E) La televisión es alienante.
Solución
:La televisión es antinacional : es la televisión alienante
( → ) ∧ ≡ (~ ∨ ) ∧ ≡
A)
B) ~(~ )
C) ~ ∧
D) Todas
E)
80. Si te portas bien tal como estudias es obvio que te doy un
regalo salvo que te lleve al cine. Aunque me dices que te
portaras bien así como estudiaras. Luego
A) Te daré un regalo así como te llevaré al cine.
B) No es mentira que te dé un regalo incluso te llevé al cine
C) Es falso que te portaras bien y estudiaras.
D) Un regalo te daré excepto que al cine te llevaré.
Solución
: Te portas bien : estudias : te doy un regalo
: Te llevo al cine
{[( ∧ ) → ] ∨ } ∧ ( ∧ )
{[~( ∧ ) ∨ ] ∨ } ∧ ( ∧ ) Condicional
{[~( ∧ )] ∨ ( ∨ )} ∧ ( ∧ ) Asociativa
( ∨ ) ∧ ( ∧ ) Absorción
∴ ( ∨ ) Ley de la simplificación
A) ∧
B) ∧ ~
C) ~ ∧
D) ∨
81. Si ∧ ∧ ≡ demuestre que la proposición más
simplificada de:
[(∼ ∨ ) ∧ (∼ ∨ )] → ( ∧∼ )
Es la proposición ∨ ∨
Solución
[(∼ ∨ ) ∧ (∼ ∨ )] → ( ∧∼ )
~[(∼ ∨ ) ∧ (∼ ∨ )] ∨ ( ∧∼ ) Condicional
[~(∼ ∨ ) ∨ ~(∼ ∨ )] ∨ ( ∧∼ )Morgan
( ∧∼ ) ∨ ( ∧ ~ ) ∨ ( ∧∼ ) 2 Morgan
{[( ∧∼ ) ∨ ] ∧ [( ∧∼ ) ∨ (~ )]} ∨ ( ∧∼ ) Distributiva
{[ ∨ ] ∧ [( ∧∼ ) ∨ (~ )]} ∨ ( ∧∼ ) Absorción
{[( ∨ ) ∨ ( ∧∼ )] ∧ [( ∧∼ ) ∨ (~ )] ∨ ( ∧∼ )} Distributiva
{
[( ∨ ) ∨ ( ∧∼ )] ∧ [( ∧∼ ) ∨ (~ ) ∨∼ ]} Asociativa y absorción
{[( ∨ ) ∨ ( ∧∼ )] ∧ [(∼ ∨∼ ) ∨ (~ )]} Asociativa y absorción
{
[( ∨ ∨ )] ∧ [(∼ ∨∼ ) ∨ (~ )]} Asociativa y absorción
{[( ∨ ∨ )] ∧ [∼ ( ∧ ∧ )]} Morgan
[( ∨ ∨ )] ∧ [∼ ( )] Condición
[( ∨ ∨ )] ∧ [ ]
∨ ∨ Identidad
82. De las siguientes premisas demostrar ~
. →( ∨ )
. →~
. →~
Solución
1. →( ∨ )
2. →~
3. →~
4. Antecedente de la premisa 1
5. ~(~ ) Involución en 4
6. ~ Modus tollens en 2 y 5
7. ∨ Modus Ponens en 1 y 4
8. Modus Tollendo Ponens en 6 y 7
9. ~(~ ) Involución 8
10. ~ modus tollens en 3 y 9
83. De las siguientes premisas demostrar ~
. →
.~
. →
Solución
1. →
2. ~
3. →
4. ~ Modus tollens en 1 y2
5. ~ Modus tollens en 4y 3
84. De las siguientes premisas demostrar ∧
. →~
.
.~ → ∧
.
Solución
1. → ~
2.
3. ~ → ∧
4.
5. ~ Modus tollens en 1 y 2
6. ∧ Modus Ponens entre 3 y 5
85. Demuestre que la conclusión es consecuencia lógica de las

premisas.
Si esta es una sociedad matriarcal, entonces el hermano de la
madre es la cabeza de la familia. Si el hermano de la madre es
la cabeza de la familia, entonces el padre no tiene autoridad.
Esta es una sociedad matriarcal. Por lo tanto, el padre no
tiene autoridad.
Solución
:Esta es una sociedad matriarcal
:El hermano de la madre es la cabeza de la familia
: El padre tiene autoridad.
1. →
2. → ~
3.
∴~
Efectivamente
4. Modus Ponens en 1y 4
5. ~ Modus Ponens de 2 y 4
86. Claudia dice: la realidad ha demostrado que un gran
porcentaje de dirigentes busca el bien propio.
Guillermo dice: un dirigente que busca el bien propio resulta
ser un dirigente malo.
Tania dice: si buscáramos el bien común, los dirigentes serian
buenos. Y si buscaran el bien personal los dirigentes
resultarían malos.
Podemos concluir que buscamos el interés personal.
Solución
:Dirigentes buscan el bien propio.
:Dirigentes malos
:Buscar el bien común
1.
2. →
3. ( → ~) ∧ (~ → )
∴~
Efectivamente:
4. Modus Ponens en 1 y 2
5. → ~ Ley simplificativa en 3
6. → ~ Por transposición en 5
7. ~ Modus Ponens en 4 y 6
87. Ana dice: O construimos la paz o generamos violencia.
Fredy dice: Si construyéramos la paz, entonces cumpliríamos
nuestra palabra.
De acuerdo con Fredy y Ana, si no cumplimos con nuestra
palabra, generamos violencia.
Solución
:Construimos la paz
:Generamos violencia
:Cumpliríamos nuestra palabra.
1. ∆
2. →
∴~ →
Efectivamente
4. ~( ↔ )Diferencia simétrica en 1
5. ~( → ) ∨ ~( → )Bicondicional y Morgan en 4
6. ~(~ ∨ ) ∨ ~(~ ∨ )Condicional en 5
7. ( ∧ ~ ) ∨ ( ∧ ~ ) Morgan en 6
8. ( ∨ ) ∧ (~ ∨ ~ ) Distributiva en 7
9. (~ → ) ∧ ( → ~ ) Condicional en 8
10. ~ → ~ Transposición en 2
11. (~ → )Simplificación en 9
12. ~ → Transitiva entre 10 y11

Por lo tanto esta inferencia es valida
EJERCICIOS PROPUESTOS ,
1. Simplificar: ~[~( ∧ ) → ~ ] ∨
2. Simplificar:~([ ∆(~ )] → (~ )) Rpta. ∨
3. Simplificar:
~ ∧( ∨ ) ∧ ∨ ~(~ → ) [(~ ∨ ) ∧ ] → [~ ↔ ~ ]
4. Simplificar: [( → ) ∨∼ ] ∧ (~ → )
5. Simplificar: ~[( ∧ ) → ~ ] ∧ ( ∨ ~ )
6. Simplificar: [ ∧ ( ∨ )] ∨ [( ∨ ) ∧ ( ∨ )] ∨ [ ∧ ( ∨ )]
7. Simplificar: {[( → ) ∨ ~ ] ∧ (~ → )} ∧ [ ∨ ( ∧ )]
8. Simplificar:[ →∼ ( → )] →∼
9. Simplificar:[∼ ( → ) →∼ ( → )] ∧ ( ∨ )
10. Simplificar:[∼ → ( ∧∼ )] → (∼ ∨∼ )
11. Dado: # ≡ { [( → ) → ] ∨ } ∧ simplificar:
[(∼ ∧ )# ]#( ↔ )
a) ∨ b)∼ ∧ c) ∼ ∨ d) ∧∼ e) ∨∼
12. Si ∗ ≡ ~ ∧ simplificar:
(~ ∗ ) → ( ∗ ~ )
13. Si definimos “ ≢ ≡ ( ∨ ) ∧ ~( ∧ )”
Entonces es equivalente a:
a) ( ∧ ) ∨ ( → )
b) ~( ↔ )
c) ∧
d) ∨
e) ∧ ~
14. Si ↓ ≡ ~ ∧ ~ la proposición:~( ↔ ) se escribe en
términos de ↓. Entonces ¿A qué proposición es equivalente?
I. [(~ ) ↓ ] ∨ [ ↓ ]
II. [(~ ) ↓ ] ∨ [(~ ) ↓ ]
III. [(~ ) ↓ (~ )] ∨ [ ↓ ]
15. Dado : ‡ ≡ [(( → ) → ) ∨ ] ∧ simplificar

{[(~ ‡ ) ∧ ( ‡ ~ )] ‡ ( ↔ )} ↔ ( ∨ )
B)
C) ~ ∧
D) ~ ∧
E) ~
F) →
16. Si: ∗ ≡ { [( → ) → ] ∨ } ∧ simplificar.
{
[(∼ ∧ ) ∗ ] ∗ ( ∗ )} ∗ ( ∧ )
17. Sabiendo que Δs ≡ V simplificar:
{[( ∨ ) ∧ (∼ ∨ )] ∧ [( ∧ ) ∨∼ ]} ∨ ( ↔ )
a) ∼ ∧∼ b)∼ ∨ c) ∼ ∨∼ d) ∧∼ e) ∼ →
18. Después de simplificar. ¿cuántos F y cuantos V tiene el
resultado en la tabla de verdad de: [( ∨ ) → ] ∧ ( ∨∼ )?
a) 2F y 2V b) 1F y 2V c) 0F y V d) 3F y 1V e) 4F y 0V
19. Si , , , , , son proposiciones tales que :
( ∧∼ ) ↔ ( → ) es verdadera, y (∼ →∼ ) es falsa,
halle el valor de verdad de:[ → ( ∨∼ ) ∧∼ ( → )]
Rpta. El valor de la proposición dada dependerá del valor de la
proposición
Si es verdadera, la proposición dada resulta falsa
Si es falsa, la proposición dada resulta verdadera
20. La proposición más simple equivalente a:
{[(~ ) → (~ )] → [(~ ) → (~ )]} ∧ ~( ∧ ) Es:
a)~
b)~
c) ∧ ~
d)~( ↔ )
e) ∨
21. La siguiente proposición:

[(~ ∨ ) ∨ ~( ∧ ~ )] ∧ [ ∧ ~ ] Es equivalente a:
G) ( → ) ∧ ~( → )
H) ( ∧ ) ∨ ~( → )
I) ( → ) → ( ∧ )
J) ~( ∧ ) →
K) ( → ) ∧ ( → )
22. Si se define: | ≡ ~ ∨ ~ y se sabe que:
( |~ )|~ es una proposición verdadera
( |~ ) es una proposición falsa
Hallar el valor de verdad de: ~ |( | )
23. Dado : @ ≡ { ~ → [ → ( ∧ ∧ )]} ∧
Simplificar:
[( → )@( ∧ )]@( ↔ )
a) b) ∧ ~ c)~ d) → E)~ ∨
24. Se define % ≡ { [(~ → ) → ~ ] ∧ } ∨ ~
Simplificar:[( %~ )%( %~ )]% Rpta:
25. Expresar la proposición: ( ∧ ) ∨ ( ∨ ) de otra manera, en la
que únicamente intervengan los conectivos (~) y (→)
a) ( → ) → ~( → )
b) (~ → ~ ) → (~ → ~ )
c) ( → ~ ) → (~ → )
d) ~( → ) → ~( → )
e) ~( → ~ ) → ( → )
26. De las siguientes proposiciones. ¿Cuáles son equivalencias
lógicas?
I. ~( → ) ↔ ( ∨ )
II. [(~ ∧ ~ ) ∨ ~ ] ↔ ~[( ∨ ) ∧ ]
III. ~( → ) ↔ [( ∨ ~ ) ∧ ~ ]
a) I y II b) I y III c)II y III d)todas e)no hay
27. Si ∗ se define por la tabla:

∗
Simplificar:( ∗ ) ∗
28. Dado el circuito lógico definido por la tabla: analice la verdad o

falsedad de las siguientes proposiciones
∗
a). ≡ es condición necesaria o suficiente para que

( ∗ )≡
b). ~ ∗ [( ∧ ) ∗ ( ∧ )] ≡ ∧
c). Es falso que ( → ) ≡ sea condición necesaria y
suficiente ( ∗ ) ≡
Rpta. Las tres son verdaderas. Note que ( ∗ ) ≡
29. Construir el circuito lógico de las siguientes :

A) ∧ ( ∨ )
B) ( ∨ ) ∧ ( ∨ ) ∧ [(∼ ∨ ) ∨ ]
C) { [( ∨ ) ∧ ] ∨ }
30. Construir el circuito lógico de las siguientes funciones
booleanas:
D) →
E) ( ∧ ) ∨ [(∼ ∨ ) ∧∼ ]
F) Δ
31. Expresar mediante funciones booleanas:
∼ ∼
32. Simplificar el siguiente circuito.
33. Dado el circuito correspondiente a la función booleana:

( Δ )→( Δ )
34. Simplificar a otro circuito más reducido
; x
35. Si: ( ) ≡
; x
( ) ≡ ~(~(~ … . . (~ ( ) … . . ))) Donde: x ∈ ℤ Hallar el
x
valor de verdad de la siguiente proposición:
~[ (6) → ~ (8)]∆ ~ (8) ∧ ~ ~ (7)
a) Verdadero
b) tautología
c) falso
d) contradicción
e) consistencia
36. Si , , , , , son proposiciones lógicas tal que cumplen las
condiciones: ∆ es verdadera, ~ → es verdadera, indicar el
valor de verdad de las siguientes proposiciones:
I. →~ ∨~
II. ↔~
III. (~ ∧ ~ )
37. Si , , , , , son proposiciones lógicas talque → ( →
)es falsa, ↔ ( → ) es falsa, indicar el valor de verdad de
las siguientes proposiciones:
I. ~ ∧( → )
II. ∨ (~ ↔ )
III. →( ∆ )
Determinar las proposiciones más simples equivalentes a las
siguientes (usando leyes de equivalencias lógicas)
A. { [~ → ~ ] → [~ → ~ ]} ∧ ~( ∧ )
B. ~ (~ ∧ ~ ) ∨ ∧ (~ ∨ ) → ~( ∨ )
C. ~{ ~[~(~ ∧ ) ∨ ~ ] → [~( ∨ ~ )]}
38. Determinar las proposiciones más simples equivalentes a
las siguientes (usando leyes de equivalencias lógicas
A. { [~ → ~ ] → [~ → ~ ]} ∧ ~( ∧ )
B. ~ (~ ∧ ~ ) ∨ ∧ (~ ∨ ) → ~( ∨ )
C. ~{ ~[~(~ ∧ ) ∨ ~ ] → [~( ∨ ~ )]}
39. Establecer cuáles de las siguientes proposiciones son
consistentes, tautológicas o contradictorias(hallando la tabla
de verdad):
A. [( ∧ ~ ) ∧ (~ ↔ )] → ( ∨ ~ )
B. [ ∨ ( → ~ )] ∧ [(~ ∨ ) ↔ ~ ]
C. [( ∆~ ) ∧ ~( ∧ )] ↔ ~[( ∆~ ) → ( ∧ )]
Dónde: ∆ ≡ ~ ↔
40. Si la siguiente proposición: ( ∧ ~ ) → ( → ), es falsa,
indicar el valor de verdad de las siguites proposiciones.
I. ( ↔ ) ∨ ~
II. [( ↔ ) ∧ ( ∨ )] ∨ ~
III. (~ → ) ∨ ~
41. Si Diana realiza las actividades A o B, entonces realiza C o D,
pero sino realiza B entonces realiza C; sin embargo, no realiza
C. ¿Qué actividades necesariamente realiza Diana?
a) A b) B c) D d) B y D e) A; B y D
42. María debe realizar cuatro tareas: ir al banco, limpiar su auto,
preparar su clase y practicar deporte. Si:
 Ira al banco si prepara su clase
 Preparar su clase si no limpia su auto
Podemos afirmar:
I. Si limpia su auto, irá al banco
II. Si no va al banco, practicara deporte
III. No practicara deporte, si no limpia su auto
A) Solo I B) solo II C) solo III D) I y II E) II y III
43. De las siguientes premisas:
 Si me prestas 100 soles, iré al cine con Maribel
 Me prestas 100 o no eres mi amigo
 Si no eres mi amigo, no te ayudare en tu trabajo.
 Por su puesto, te ayudare en tu trabajo
Podemos concluir:
I. Te debo 100 soles.
II. Iré al cine con Maribel.
III. Eres mi amigo.
A. Solo I es correcta.
B. Solo I y II son correctas.

C. I, II y III son correctas
44. Si X es pesado, y es ligero. Si Z es ligero, A no es ni una cosa ni la
otra. Pero X es pesado a la vez que Z es ligero. Por tanto:
I. Y es ligero
II. A no es ligero ni pesado
III. A es pesado o ligero
Son ciertas:
A) Solo I B) solo II C) I y III D)I y II E) NA
45. Si no apruebas o no resuelves este problema, entonces es falso
que, hayas estudiado o domines la deducción lógica. Pero no
dominas la deducción lógica aunque as estudiado. ∴
A. Apruebas y no resuelves el problema
B. No apruebas y resuelves el problema.
C. No apruebas y no resuelvas el problema.
D. Apruebas y resuelvas el problema.
E. Ninguna de las anteriores
46.
I. De la pobreza deviene la riqueza
II. Del subdesarrollo se deduce el desarrollo.
III. No hay riqueza a menos que no haya desarrollo
Luego:
A. Hay pobreza a menos que haya subdesarrollo.
B. No hay pobreza pero si subdesarrollo.
C. Si no hay riqueza hay pobreza.
D. No hay subdesarrollo a menos que no haya pobreza.
E. Si no hay desarrollo, hay subdesarrollo.
47. De las siguientes proposiciones:

A. Es necesario que Juan no estudie en la UNASAM para que

Luis viva en el pedregal.
B. No es cierto que Luis viva en el pedregal y que Juan estudie
en la UNASAM.
C. Luis no vive en el pedregal y Juan no estudia en la UNASAM
¿Cuáles son equivalentes entre sí?
48. Escribir, simbólicamente, la negación de cada una de las
proposiciones siguientes:
A. Él no es rico, pero es feliz
B. Él no es pobre ni es feliz
C. Él es bajo pero ágil
D. Ni Juan ni Carlos viajaran a Huaraz a fin de mes.
E. Si Juan llega a tiempo con los documentos, entonces
Carlos y Pedro podrán inscribirse en la UNASAM
49. Simplifique el siguiente circuito Lógico
~
~ ~ ~
~
50. Demuestre las Leyes del Álgebra de Proposiciones.
51. Demuestre que las condicionales siguientes son implicaciones:

a) p Þ p
b) [(p → q) Ù (q → r)] Þ (p → r): LEY TRANSITIVA
c) (~p) Þ (p → q)
d) [( → ) Ù ~ ] Þ ~ , g) ( Ù ) Þ ( Ú )
e) p Þ (p Ú q) h) ( Ù ) Þ ( ↔ )
f) ( Ù ) Þ i) ( ↔ ) Þ ( → )
52. Demuestre que las bicondicionales siguientes son equivalencias

lógicas:
a) ( → ) Û (~ ) Ú
b) ( ↔ ) Û( → ) Ù ( → )
c) ( Ù ) Ú Û
d) ( ∨ ) ∧ Û
e) ~( → ) Û Ù ~
53. Demuestre que
a) ( → )º ( Ù ~ ) → ( ó )
b) ( → )º ; ( → )º ;
( → )º ~ ; ~( → )º( Ù ~ )
c) ( → ) º [( Ú ) ↔ ]
d) ( → ) º [( Ù ) ↔ ]
e) º ( Ú ) Ù ~( Ù ) º ~( ↔ )
54. Dadas las proposiciones:
I) ~( Ù ) ↔ ( Ú ~ )
II) ~( → ) ↔ ( Ú ~ )
III) ~( ↔ ) ↔ (~ ↔ ~ )
Indique cuál (o cuáles) es una contradicción (F).
55. La proposición ~( → ) Ù ( → ~ ) , ¿a cuál (o cuáles) de las
siguientes proposiciones es equivalente?
a) Ù ( Ú ~ ) Ù (~ ), b) Ù (~ ) Ù ~( Ù )
c) ( Ù ~ ) Ú [( Ù ~ ) Ù ~ ]
56. ¿Alguna de las siguientes proposiciones es una Tautología?
a) ~ [ (~( Ú )) → ~ ] ↔ ( → )
b) ~ [ (~ ) ↔ ] ↔ ( → )
c) ~ {( Ù ) Ú [ Ù (~ Ú ] } ↔ ( Ù ~ )
57. Simplifique: [(~ Ù ) → ( Ù ~ )] Ù ~
58. Simplifique: [(~ → ~ ) → (~ → ~ )] Ù ~( Ù ).
59. De las siguientes proposiciones, ¿Cuáles son equivalentes entre
sí? :
a) Es necesario que Juan no vaya al cine para que termine su
tarea.
b) No es cierto que Juan termine su tarea y vaya al cine.
c) Juan no terminará su tarea y no irá al cine.
60. ¿Cuáles son Tautologías? :

a) [( Ú ~ ) Ù ] → , b) [( Ù ) Ú ] ↔
c) [~ Ù ( Ú ~ )] ↔ [(~ Ù ) Ú ~( Ú )]
61. De la falsedad de ( → ~ ) Ú (~ → ) , deducir el valor de

a) (~ Ù ~ ) Ú ~
b) [(~ Ú ) Ù ] ↔ [(~ Ú ) Ù ]
c) ( → ) → [( Ú ) Ù ~ ]
62. Si se sabe que ( ∧ ) y ( → ) son falsas, ¿cuáles de las
siguientes proposiciones son verdaderas?:
a) (~ Ú ) Ú , b) ~[ Ù (~ Ú ~ )]
c) [ ~ Ú ( Ù ~ ) ] ↔ {( → ) Ù ~( Ù ) }
63. ¿Cuál (es) de las siguientes proposiciones es equivalente a:

"Es necesario pagar 100 soles y ser socio para ingresar al
teatro"?
a) No ingresar al teatro o pagar 100 soles, y ser socio.
b) Pagar 100 soles o ser socio, y no ingresar al teatro.
c) Pagar 100 soles y ser socio, o no ingresar al teatro.
64. Si la proposición (~ Ù ) → [ ( Ù ) Ú ] es falsa, halle el

valor veritativo de:
a) ~[ (~ ) Ú (~ ) → ( Ú ~ ) ]
b) (~ Ù ~ ) Ú [ ~ Ù ( Ú ) ]
c) (~ → ) → [~ → ]
65. Demuestre que las tres proposiciones siguientes son
equivalentes:
a) ~[ ( Ú ~ ) Ú ( Ù ( Ú ~ )) ]
b) ( Ù ~ ) Ù [~ Ú (~ Ú ) ]
c) ~[ ~ → ~ ]Ù[ → ~( → )]
66. La proposición ( Ú ) ↔ ( Ù ) es verdadera; teniendo

valores veritativos opuestos, se afirma que
a) [ {(~ ) Ù (~ ) } Ú ( Ù ) ] Ù es verdadera
b) [ ~( Ú ) Ù ( Ú )] Ú (~ Ù ) es falsa
c) [ (~ Ù ~ ) → ( Ú )] Ù ~ ( Ù ) es verdadera
d) [ (~ Ù ~ ) → ( Ú ) ] ∆ ~( Ù ) es verdadera
¿Cuáles son ciertas?
67. ¿Cuáles son Equivalencias Lógicas? :
a) ~( → ~ ) ↔ ( Ú )
b) {(~ Ù ~ ) Ú ~ } ↔ ~[ ( Ú ) Ù ]
c) ~( → ) ↔ [( ∨ ) Ù ~ ]
68. Si ↓ se define por (~ ) Ù (~ ) , entonces ¿a cuál es equivalente
~( ↔ )?:
a) [ (~ ) ↓ ] Ú [ ↓ ]
b) [ (~ ) ↓ ] Ú [ (~ ) ↓ ]
c) [ (~ ) ↓ (~ ) ] Ú [ ↓ ]
69. ¿Cuáles de las siguientes proposiciones

a) ~ [ Ù (~ ) Ù (~ ) ],
b) ( Ù ~ ) Ú
c) ( Ú ) Ù ~(~ Ù ) ,
d) (~ ) Ú Ú
Son equivalentes a: ( → ) → ?
70. Si ↓ significa " ” ¿cuáles de las siguientes

proposiciones son Tautologías (siempre verdaderas)?:
a) [( ↓ ) ↓ ( ↓ )] ↔ ( Ú )
b) ~ ( Ù ) ↔ [ ↓ ]
c) ( ↓ ) ↔ ~( Ú )
d) ~( ↓ ) ↔ ∆
71. ¿Cuántas F y cuántas V tiene el resultado de la Tabla de Verdad de:
~[( Ù ) → ~ ] Ù ( Ú ~ ) después de simplificarla?
72. Dada ∶ {( → ) → [ Ú ( Ù ) ] } → [ Ù ( Ú ) ] ,
a) Indique los valores de p y r de modo que si q es F, entonces z es F.

b) Indique los valores de p y r de modo que si q es V, entonces z es V.
73. Escribir la negación de cada una de las proposiciones siguientes:

a) Él no es rico, pero es feliz.
b) Él no es pobre ni es feliz.
c) Él es bajo pero es muy ágil.
d) Ni Juan ni su papá viajarán a Tarma a fin de mes.
e) Él tiene un compás o una regla.
f) Ambos equipos Alianza y la U irán a la Copa Libertadores.
g) Si Juan llega a tiempo con los documentos, entonces ambos, Carlos
y Jorge, podrán inscribirse en el ciclo de conferencias.
74. Si , , , , , son proposiciones tales que

a) ( Ù ~ ) ↔ ( → ) es verdadera,
b) (~ → ~ ) es falsa,
Halle el valor de verdad de las proposiciones
c) ( Ù ) Ú Ú , d) ( ↔ ~ ) → ( Ú ~ )
e) [ → ( Ú ~ ) ] Ù ~( → )
75. Exprese la proposición ( Ù ) Ú ( Ú ) de otra manera, en la que

únicamente intervengan los conectivos (~) (→).
Halle el valor de verdad de la proposición:
1 1
(√27 > √5 ∧ −8 < 0) → √5 ≥ √27 ∨ < ↔8>0
√27 √5
76. Sin usar tablas de verdad, determinar si las siguientes proposiciones
(a) y (b) son Lógicamente Equivalentes:
a) (~ → ~ ) Ú ( → ~ ) , b) → (~ Ú )
77. Dadas las proposiciones y , se define la proposición Ñ como:

Ù (~ ). ¿A cuál (es) es equivalente → ~ ?:
a) ~( Ñ ) d) (~ ) Ñ
b) (~ ) Ñ (~ ) e) Ñ (~ )
c) ~[ Ñ (~ ) ]
78. a) Utilizando tablas de verdad determinar si la siguiente proposición
es una tautología, una Contradicción o una contingencia:

{[ (~ Ù ) → ] ↔ [~ ↔ ( Ú ) ] } ∆ {( ↔ ) ∆ ( Ú ~ ) }
b) Simplificar: ~ ( [ ∆ (~ ) ] → (~ ) )
79. Dado el circuito lógico definido por la tabla:

Analice la verdad o falsedad de las siguientes proposiciones:
a) º es condición necesaria o suficiente para que
( á )º .
b) ~ á [ ( Ù ) á ( Ù ) ] º Ù .
c) Es falso que ( → ) º sea condición necesaria y suficiente para
que ( á ) º .
80. Si la proposición [ ( ∆ (~ )) ( Ú ) ] → [ ↔ ] es falsa,

cuáles de las siguientes proposiciones son necesariamente
verdaderas?
I) ( Ù ) → ( Ù ) ,
II) [ (~ ) Ú ] → ( Ú ) ;
III) ( Ù ) → ( ∆ ) .
81. Sabiendo que la proposición siguiente es falsa:

{~[ ( Ù ) → ] Ù [ ( Ú ) ∆ ] } → {( ∆ ) → } ,
determine el valor de verdad de las proposiciones:
a) {[(~ ∆ ) ∆ ] → [ ~( → ( → )) ] } ∆ ( ∆ )
b) {~( → ) ∆ [ ( Ù ) → ~( Ú ) ] } ∆
82. Si , , , , , son proposiciones tales que

( Ù ~ ) ↔ ( → ) es verdadera, y (~ → ~ ) es falsa, halle el
valor de verdad de:
[ → ( Ú ~ ) Ù ~( → ) ]
83.Determinar cuáles de los siguientes enunciados son proposiciones:
a) 5 + 8= 17 – 4
b) 3 x 6 = 15 + 1 y 4 – 2 ≠ 23 x 5
c) ¿el silencio es fundamental para estudiar?
d) ¡estudia lógica simbólica!
e) Nosotros estudiamos en la universidad peruana

f) Los hombres no pueden vivir sin oxígeno.
g) ¡arriba callao!
h) 5+X=7
i) 2+X≠3+X
84.Determine cuál de los siguientes enunciados son enunciados abiertos.
a) X es hermano de Y
b) 28 < 15
c) X+y+z≠1
d) 9x + 3 > 12
e) Tenga calma, no se impaciente.
f) X es ingeniero y juan es matemático.
g) La UNAC sobresalió en el deporte en el 2000.
85. ¿Cuáles de las siguientes proposiciones son verdaderas y cuales

son falsas?
a) Si 3 + 3 = 6, entonces 4 = 4
b) Si 5(7) = 35, entonces 10 – 3 = 13
c) Si 19 – 7 = 3, entonces 4(5 + 3) =32
d) Si 2 = 3 entonces 8 es un número primo.
e) Si 3(7) es un numero natural entonces 17 es un numero
primo.
f) Si x = 2, entonces 3x = 6.
86. Determine el valor de verdad de las siguientes proposiciones.
a) (3 + 5 = 8) ˅ (5 – 3 = 4)
b) (3 + 8 = 11) ˅ (7 – 3 > 1)
c) (5 – 3 = 8) → (1 – 7 = 6)
d) (4 + 6 = 9) ↔ (5 – 2 = 4)
87. Dado las siguientes proposiciones: : 5 > 10

: + 1 = 0, entonces es número real.

r: “el punto medio de un segmento, equidista de los extremos del
segmento”
t: si + 3 = 0, entonces = − 3
Hallar el valor de verdad de las siguientes proposiciones.
a) [(p ˄ q) ⟶ r] ˄ ∼ t
b) [(p ↔ q) ⟶ ∼ r ˄ t] ˅ (p ˅ r)
88. Si p(x): x − 16 = 0; q(x): x − 12 = 0, r(x): x > 9. Hallar

el valor de verdad de:
a) [p(2) ˄ ∼ q(2)] ↔ r(4)

b) [∼ p(4) ⟶ r(5)] ˅ q(4)
c) [(p(1) ˄ p(3)) ↔ (r(2) ˅ p(3)] ⟶ [∼ (p(2) ˅ q(2))]
89. Si p(x): x = 27; q(x): x = 9; r(x): x < 10. Hallar el valor

de verdad de:
a) [p(1) ⟶ q(12)] ↔ [r(−3) ˅ ∼ r(3)]

b) [p(0) ˄ ∼ q(−1)] ˅ [r(−5) ⟶ (r(−6) ˅ r(0)]
c) [(p(3) ˅ p(2)) ↔ (r(2) ˄ ∼ p(3))] ↔ [∼ q(3) ˅ ∼ p(−3)]
90. Construir la tabla de verdad de las siguientes proposiciones:
a) (p ←→ ∼ q) ←→ (q ⟶ p)
b) (p ˄ ∼ q) ⟶ (∼ p ˅ q)
c) [(p ˅ ∼ r) ˄ (p ˅ r)] ˄ [(q ⟶ p)˄ (q ˅ p)]
d) ∼ (p ˅ ∼ q) ˄ (∼ p ˅ r)
e) ∼ [p ˄ (∼ q ⟶ p)] ˄ [∼ (p ←→ ∼ q) ⟶ (q ˅ ∼ p)]
91. Construir la tabla de verdad de las siguientes proposiciones:
a) (p ˄ q)˅(∼ p) ⇒ (p ˅ q)
b) (p ⇒ q) ⇒ r
c) (p ⇒ r) ⇒ (q ⇒ p)
d) (∼ p) ˅ q ⇒ (∼ q ⇒ ∼ p)
e) (p ˄ r) ⇒ (∼ q ˅ r)
f) (p ˄ q) ˅ r ⇔ (∼ p ˅ ∼ p) ˄ (∼ r)
92. Hallar las tablas de verdad de las siguientes proposiciones
a) p ⟶ (p ˅ ∼ q)
b) [(p ˅ ∼ q) ⟶ (q ⟶ p)]
c) [p ˅ (q ⟶ ∼ r)] ˄ [(∼ p ˅ r) ←→ ∼ q]
d) ∼ [∼ (p ˄ q) ⟶ ∼ q] ˅ p)
e) ∼{ [(p ⟶ q) ˅ (q ⟶ r)] ⟶ (r ⟶ p)}
93. Deducir el valor de verdad de:
a) (p ⟶ r) ⟶ [(p ˅ q) ˄ ∼ q]
b) (∼ p ˄ ∼ q) ˅ ∼ q
c) [(∼ r ˅ q) ˄ q] ←→ [(∼ q ˅ r) ˄ s]
94. Indicar cuál es la tabla de verdad de cada una de las siguientes

proposiciones
a) ∼ [(p ˅ q) ˄ ( ∼ p ˅ ∼ q)]
95. Determinar cuál de las siguientes son tautología:
a) [(p ˅ ∼ q) ˄ q] ⟶ p
b) [(p ˄ q) ˅ q] ←→ q
c) [∼ p ˄ (q ˄ ∼ r)] ←→ [(∼ p ˄ q) ˅ ∼ (p ˅ r)]
96. Por medio de una tabla de valores, establecer, si cada una de

los siguientes esquemas moleculares es tautología,
contingencia o contradictoria.
a) ∼ [∼ p ⟶ ∼ (∼ q ˄ ∼ q)] ˅ ∼ (∼ p ˅ ∼ q)
b) [(p ˅ ∼ q) ˄ ∼ p] ˄ (∼ q ⟶ p)
c) ∼ (p ⟶ q) ←→ ∼ (∼ q ⟶ ∼ p)
d) [p ⟶ (p ⟶ r)] ←→ [(p ˄ ∼ r ⟶ ∼ q]
e) [p ˄ (∼ q ⟶ p)] ˄ ∼ [(p ⟶ ∼ q) ⟶ (q ˅ ∼ p)]
f) [∼ p ˄ (q ˅ ∼ r)] ←→ [(∼ p ˄ q) ˅ ∼ (p ˅ q)]
97. Determinar mediante la tabla de verdad, cuáles de las siguiente

proposiciones son tautologías, contradicciones o contingencias.
a) (p ⟶ q) ˄ (q ⟶ p)
b) [(p ˅ q) ˄ ∼ q] ⟶ p
c) ∼ [(p ˅ q) ⟶ p]
d) ∼ (p ˅ q) ˄ p
e) [p ⟶ (q ⟶ r)] ˄ [(q ˅ p) ⟶ r]
98. Determinar cuáles de las siguientes proposiciones son

tautología, contradicciones y contingencias.
a) ∼ (∼ p) ↔ ∼ [∼ (∼ p)]
b) (∼ p ˅ q) ˄ (∼ q ⟶ p)
c) (p ˅ q) ˄ r ↔ ∼ (p ˄ r) ˄ ∼ (q ˄ r)
d) [(p ˄ q ˄ r) ⟶ s] ↔ ∼ [(p ˄ q) ⟶ (r ⟶ s)]
99. Dada las proposiciones siguientes:
a) ∼ (p ˄ q) ↔ (p ˅ ∼ q)
b) ∼ (p ⟶ q) ↔ (p ˅ ∼ q)
c) ∼ (p ↔ q) ↔ (∼ p ↔ ∼ q)
Indicar cual o cuales es una contradicción.
100.¿Algunos de las siguientes proposiciones es una tautología?
a) ∼ [∼ (p ˅ q) ⟶ ∼ q] ↔ (p ⟶ q)
b) ∼ [∼ (∼ p) ↔ q] ↔ (p ⟶ q)
c) ∼ [(p ˄ q) ˅ (p ˄ (∼ p ˅q))] ↔ (p ⟶ ∼ q)
101.Determinar cuál de las siguientes proposiciones son tautologías,

contingencias o contradicciones.
a) [(p ˄ ∼ q) ˄ (∼ p ⟶ r)] ⟶ (p ˅ ∼ q)
b) [(p ˅ (q ⟶ ∼ r)] ˄ [(∼ p ˅ r) ←→ ∼ q]
c) [(∼ p ˄ q) ⟶ ∼ r)] ↔ [r ˄ ∼ (p ˅ ∼ q)]
d) ∼{ (p ˄ q) ˅ [p ˄ (∼ p ˅ q)]} ↔ (p ⟶ ∼ q)
102.Calcule las siguientes

a) (p ˄ q) ⇔ (q ˅ r)
b) (p ˄ q) ⇔ (∼ p ˄ ∼ r)
c) (p ˄ q) ⇔ (q ˄ p)
d) (p ⟶ q) ⇔ (∼ p ˄ ∼ q)
103.Determinar la validez del esquema:

∼ [∼ (∼ p ˄ ∼ q) ⟶ ∼ (p ˅ q)] ↔ [∼ (∼ p ˅ q)]
104.¿Cuál de las siguientes proposiciones es una tautología?
a) (p ˄ q) ˅ [p ˄ (∼ p ˅ q)] ↔ (p ⟶ ∼ q)
b) ∼ [∼ (p ˅ q) ⟶ ∼ q] ↔ (p ⟶ ∼ q)
c) ∼ (∼ p ⟶ q) ↔ (p ↔ q)
105.Construir la tabla de verdad y determinar cuáles son tautología,

contradicción o contingencia.
a) (p ⟶ q) ↔ [r ⟶ q) ˄ (q ⟶ p)]
b) (p ⟶ (q ˅ ∼ r)] ˄ ∼ [p ↔ r]
106.¿Cuáles de las siguientes proposiciones es una tautología?

a) ∼{ ( ˄ ) ˅ [ ˄ (∼ ˅ )]} ←→ ( ⟶ ∼ )
b) ∼ (∼ ↔ ) ↔ ( ↔ )
c) [( ˅ ∼ ) ˄ ] ⟶
d) ∼ [(∼ ˅ ) ⟶ ] ↔ ( ⟶ )
e) [∼ ˄ ( ˅ ∼ )] ↔ [(∼ ˄ ) ˅ ∼ ( ˅ )]
107.Simplificar las siguientes proposiciones:
a) {[(∼ ) ⟶ (∼ )] ⟶ [(∼ ) ⟶ (∼ )]} ⟶∼ ( ˄ )

b) [(⟶ ) ˅ ∼ ] ˄ (∼ ⟶ )
c) ∼{ [∼ (∼ ˄ ) ˅ ∼ ] ⟶ [∼ ( ˅ )]}
d) (∼ ˅ ∼ ) ˄ [∼ ˄ ( → )]
e) [( → ) → ( ˄ )] ˅ ( ˄ )
f) ∼ [∼ ( ˄ ) ⟶ ∼ ] ˅
g) [(∼ ˄ ) → ( → )] ˄ )
108.Simplificar las siguientes proposiciones:
a) [(∼ p ˄ q) ⟶ (r ˄ ∼ p)] ˄ ∼ p)
b) [(∼ q ⟶ ∼ p) ⟶ (∼ p ⟶ ∼ q)] ˄ ∼ (p ˄ q)
c) [(p ˄ q) ˅ (p ˄ ∼ q)] ˅ (∼ p ˄ ∼ q)
d) (p ˄ q) ˅ (∼ p ˄ ∼ q) ˅ p
e) t → [(p → q) → q] ˄ [∼ p ˄ (p → r)]
f) [(p ˄ ∼ q) ˄ (q → p) ˄ r] ˅ p
109.Si ∼ [(∼ p ˅ q) ˄ (r ⟶ q)] ˄ [(∼ p ˅ q) ⟶ (q ˄ ∼ p)] es

verdadera, hallar los valores de verdad de , .
110.Si la proposición (p ⟶ ∼ q) ⟶ (r ⟶ ∼ s) es falsa, hallar el

valor de verdad de las proposiciones , , , .
111.Si la proposición ∼ (p ˄ q) ˄ (q ↔ p) es verdadera; entonces

hallar los valores de verdad de respectivamente.
112.Si la proposición (p → ∼ q) ˅ (∼ r ⟶ p) es falsa. Hallar el valor
de verdad de los siguientes esquemas moleculares.
a) (p → q) → [(p ˅ q) ˄ ∼ q]
b) (∼ r ˅ q) ↔ [(∼ q ˅ p) ˄ s]
c) (∼ p ˄ ∼ q) ˅ ∼ q
113.Determinar el valor de verdad de las proposiciones p y q si se

conoce la información siguiente:
a) (p ˄ q) ⇔ (p ˅ q) es verdadero
b) ∼ (p ˄ q) es verdadero
114.Determinar el valor de verdad de las proposiciones p y q si se

conoce que el valor de verdad del siguiente esquema
∼ [(∼ p → q) → ∼ (p ⟶ ∼ q)] → (p ⟶ q) es falso.
115.Si p y q son verdaderos ¿para qué valores de r, el esquema

siguiente es verdadero? (r ⟶ p) ↔ (∼ q → r).
116.Si se tiene los siguientes datos: p es verdadero; r → ∼ p es

verdadero y w → t es verdadero, hallar el valor de verdad de ∼
r y de t.
117.Si el esquema (p ˄ q) → (p → r)tiene valor de verdad, falso,

halla el valor de verdad de los esquemas:
a) [(p ˄ q) ˅ (p ˅ ∼ r)] ↔ (p ˅ ∼ r)
b) (p ˅ ∼ q) → (∼ r ˄ q)
c) ∼ (q ˅ r) ˅ (p ˅ q)
118.Si la proposición (∼ p ˄ q) → [(p ˄ r) ˅ t] es falsa, el valor

veritativo de:
a) ∼ [(∼ p ˅ ∼ q) ⟶ (r ˅ ∼ t)]
b) (∼ p ˅ ∼ r) ˅ [∼ t ˅ (p ˅ q)]
c) (∼ q → r) → (∼ p → r)
119.Si la proposición (p ˄ r) → (p → r) es falsa y se tiene los

esquemas moleculares.
a) ∼ (q ˅ r) ˅ (p ˅ q)
b) (p ˅ q) → (∼ r ˄ q)
c) [(p ˄ q) ˅ (q ˄ ∼ r)] ↔ (p ˅ ∼ r)
Cuales son falsas
120.Si la proposición (∼ p ˄ r) → [(p ˄ r) ˅ t] es falsa. Hallar el

valor de verdad de cada una de las siguientes proposiciones.
a) (∼ q → t) → (∼ q → r)
b) (∼ q ˄ ∼ r) ˅ [∼ t ˄(p ˅ q)]
c) ∼ [(∼ p ˅ ∼ q) → (r ˅ ∼ t)]
121.Sean p, q, r, t proposiciones. Si [(∼ q) ˄ q] → [(r → p) ˅ t] es

un proposición falsa, hallar el valor de verdad de: ∼
(q ˅ ∼ r) ˅ ∼ [t → (∼ q ˄ r)]
122.Si la proposición (∼ p ˄ q) → (∼ s ˅ r) es la, de las

proposiciones siguientes, cuales son verdaderas.
a) ∼ [(p → q) → r
b) ∼ [(∼ p ˄ q) ˄ (∼ r ˅ r)] ˄ s
c) [(p ˅ ∼ q) ˄ p] ˅ (∼ q)
123.Admitiendo la falsedad de: ∼ [p ˅ q ˅ r] ⇒ ∼ (m ˄ n˄ t) Hallar

el valor de verdad de:
a) [(p ˄ m) → (q ˅ n)] ˄ t
b) [(p → q) → (q → m)] ↔ (r → t)
c) [[( ˅ ) ⟶ ( ˄ )] ˄ (∼ ⟶ ∼ )] ↔ [( ⟶ ) ˄ ( ⟶ )]
124.Admitiendo la falsedad de la proposición: (p ˄ q) → [(r ˅ s) →

(t → s)hallar el valor de verdad de:
a) (p → w) ˄ (r → q)
b) ∼ (p ˄ t) → (∼ r → p)
c) {[q → ∼ (t ˅ r)] ˄ [p → ∼ (r ˄ w)]} ↔ [(p → ∼ q) ˅ ∼ t]
125.Si la proposición [(∼ p ˅ q) ⟶ [(p ˄ q) ˅ t] es falsa. Hallar el

valor de verdad:
a) ∼ [(∼ p ˅ ∼ q) ⟶ (r ˅ ∼ t)]
b) (∼ p ⟶ t) ⟶ (∼ q ⟶ r)
c) (∼ q ˅ ∼ r) ˅ [∼ t ˄ (p ˅ q)]
126.Si q ⟶ t y p ˄ q son falsas. Hallar el valor de verdad de:
a) (∼ p ˅ t) ˅ ∼ q
b) ∼ [p ˄ (∼ q ˅ ∼ q)]
c) [(p ⟶ q) ˄ ∼ (r ˄ t)] ↔ [∼ p ˅ (q ˄ ∼ t)]
127.Si la proposición (∼ p ˄ q) ⟶ (∼ s ˅ r) es falsa, determinar el

valor de verdad de:
a) ∼ [(p ⟶ q) ⟶ r]
b) ∼ (∼ p ˄ q) ˄ [(∼ r ˅ r) ˄ s]
c) [(p ˅ ∼ q) ˄ p] ˅ ∼ q
128.Si la proposición (∼ p ⟶ q) ˅ (s ⟶ ∼ r) es falsa. Determinar

el valor de verdad de las proposiciones.
a) ∼ (p ˅ q) ˅ ∼ r]
b) ∼ [(p ˅ q) ˄ ∼ q] ⟶ ∼ (p ⟶ q)
c) [(r ⟶ q) ˄ q] ↔ [(∼ q ˅ r) ˄ s]
129.Si la proposición (q ˄ ∼ p) ⟶ [(p ˄ r) ˅ t] es falsa, calcular el

valor de verdad de la proposición: (∼ p ⟶ t) ⟶ (∼ q ⟶ r)
130.Sabiendo que (q ⟶ t) y (p ˄ q) son falsas, determinar el valor

de verdad de:
a) ∼ [(p ˄ (∼ q ˅ ∼ p)]
b) (∼ p ˅ q) ˅ s
c) [∼ p ˅ (q ˄ ∼ t)] ←→ [(p ⟶ q) ˄ ∼ (q ˄ t)]
131.Si [(r ⟶ s) ˄ t] ⟶ (p ˅ q) es falsa determinar el valor de

verdad de:
a) ∼ r ˅ (∼ s ⟶∼ t)
b) (p ↔ t) ˅ [q ˄ (∼ r ˅ s)]
c) [(r △ s)˅ (t ⟶ s)] ˄ (p ˄ r)
132.Dado los esquemas proporcionales denotados por A, B y C

respectivamente:
A: p ↔ ∼ (q ˄ r) ; B: ∼ p △ ∼ r ; C: ∼ (p ˄ q) ˅ ∼ r
Determinar si A ⟶ C y B ⟶ C son implicaciones (tautología)
133.Si la proposición: ∼ (p ˄ q) → [(p ˄ q) ˅ t] es falsa. Hallar el

valor de verdad de:
a) ∼ [(∼ p ˅ ∼ q) → (r ˅ ∼ t)]
b) (∼ p ˄ ∼ r) ˅ [∼ t ˄ (p ˅ q)]
134.Si el esquema indicado: [(∼p ˅ q) ˅ [(p ⟶ q) ˄ t]] ˄ q es

verdadero, indicar el valor de verdad de las siguientes
proposiciones:
a) p → q
b) t ˅ q
c) ∼ q ˅ (t ˅ p)
135.Si la proposición [(p ˅ t) ⟶ (p ˄ q)] es falsa, dar el valor de

verdad de las siguientes proposiciones:
a) [(∼ p ˄ ∼ t) ˄ (p ⟶ r)]
b) [(p ˅ t) ↔ (∼ p ˅ ∼ q)]
c) [(p ˅ t) △ (p ˄ q)]
136.Si la siguiente proposición lógica ∼ [(p ˄ q) → (q ↔ (r ˅ s))] es

verdadera, hallar los valores de verdad de p, r, q, s.
137.De la falsedad de la proposición: (p →∼ q) ˅ (∼ r → s)

determinar el valor de verdad de los esquemas moleculares.
a) (∼ p ˄ ∼ q) ˅ ∼ q
b) (∼ r ˅ q) ↔ (∼ p ˅ r) ˄ s
c) (p → q) → (p ˅ q) ˄ ∼ q
138.De la falsedad de (p → ∼ q) ˅ (∼ r → ∼ s), hallar el valor de

verdad de las siguientes proposiciones.
a) ∼ (∼ q ˅ ∼ s) → ∼ p
b) ∼ (∼ r ˄ s) → (∼ p → ∼ q)
c) p →∼ (q → ∼ (s → r))
139.Hallar los valores de verdad de: p, q, r, si: ∼ (∼ q ˅ ∼ s) ⇒ ∼

p es falso
140.Si la proposición: [∼ (p → q) ˄ (∼ r ˅ s)] → r es falso, hallar
los valores de verdad de: p, q y r.
141.Si: ∼ p ˅ [(p ˄ r) → (r ↔ q)] es falso, hallar el valor de verdad

de: [(p → q) ˅ r] ↔ (p ∧ r)
143. verifique la validez de los siguientes argumentos:

a) ∧ b) ( ∧ ) → ( ∧ )
~ → (~ ) (~ )
~q (~ ) ˅ (~ )
c) ∧( ˅ ) d) → ~
˅ → →
→ ~ →
→
144. Demostrar por la tabla de valores o por el método abreviado si los
esquemas representan o no reglas de indiferencias válidas.
a) → b) → ~
~ → ~ ˅ (~ )
⟷ ~
145. Si la tabla de verdad de cierta proposición es como la del
esquema adjunto, ¿a cuál(es) de los siguientes circuitos le
corresponde?
?
a.
~
~
~
b.
~
~
~
c.
~
~
146. halle el circuito lógico más simple que representa a:
~ ~
147. simplificar al circuito más simple
P q
~q ~P P
P ~q ~q
q ~P
148. ¿A cuál, o cuales, de los siguientes circuitos le corresponde la

proposición: ∼ [ →∼ ( ∨ )]?
P q
a)
q c) P
r r
p
b) P q r d) r
q
149. Halle el circuito lógico más simple para la siguiente función Booleana:
~[( ∨ ~ ) ∨ ( ∧ ~ ) ∨ ~( ∨ ∨ ~ )]
150. Simplifique el siguiente circuito lógico:
q
p q q q p
p
p p
q q p q
q q
151. ¿A cuál o cuáles de los circuitos siguientes equivale

{[( ∨ ) ∧ ] ∨∼ } ∧ ?
148. El Circuito
149. Sea K la proposición más simplificada del circuito

~
~ ~
~ ~ ~
~
y sea T la proposición más simplificada del circuito correspondiente a:

[( ∧ ) ∨ ( ∧ )] ∧ [( ∧ ) ∨ ( ∧ )], construir el circuito lógico
más simplificado que corresponde a la proposición T ⟶ K.
150. Sea G la proposición lógica más simple del circuito
~
~
~
~
Y F la proposición lógica más simple de la proposición:
( ∗ ) ∧ ( →∼ )
Donde [( ∗ ) ⟶ ] es equivalente a → . Simplifique las
siguientes proposiciones:
a) ( ∗ ) b) c) ⟷
151. Dado el siguiente circuito traducirlo al lenguaje lógico formal y

transformar un circuito equivalente más simple.
152. Simplificar y hallar el equivalente a los circuitos dados:
a)
153. A un electricista se le da el diagrama del Circuito siguiente:

Él quiere hacer una instalación lo más económica Posible y
que sea equivalente al circuito original. Si cada interruptor
cuesta $1.20 y no teniendo en Cuenta el alambre, cuánta el
alambre, cuanto le Costó la instalación y cuánto se ahorró?

LÓGICA PROPOSICIONALhorizotal

Cargado por

Información del documento

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

LÓGICA PROPOSICIONALhorizotal

Cargado por

Copyright:

Formatos disponibles

T. GARGATE K.

Universidad Nacional Santiago Antúnez de Mayolo

En casos muy excepcionales, las preguntas y admiraciones pueden

: Pedro y Ana estudian juntos (relacionales) Pedro estudia

El creador de las tablas de verdad es el austriaco filósofo

7. CLASES DE PROPOSICIONES COMPUESTAS.

Admiten el cumplimiento de ambas situaciones.

p: es el antecedente, causa, condición suficiente.

Admiten solo una de las situaciones, excluyendo a la otra.

~ : Ningún hombre puede volar

~( ∧ ): Significa: no es cierto que y ; es falso que y

9. IMPLICACIÓN Y EQUIVALENCIA LÓGICA.

1º. Determinar las proposiciones simples y remplazarlas con las

(Se podría pensar que tenemos una proposición de la forma ∧

6) Los perros y los gatos son vertebrados y carnívoros.

10) Carlos tomó veneno y murió.

b. Victoria es soltera o casada.

cuando combinamos una “o” con un término modificador

C. No es cierto que, Perry no sabe tocar el piano y no compone

11. LEYES DEL ALGEBRA PROPOSICIONAL.

2. Sea la proposición más simplificada del circuito lógico

Y sea la proposición más simplificada de

INFERENCIA LÓGICA O ARGUMENTO LÓGICO

Así podemos decir en última instancia que una inferencia es un

sentido lógico que tengan las declaraciones o frases, también dado

Vemos que no hay ningún caso en que siendo verdaderas

2. Demostrar la validez del siguiente razonamiento:

En el tercer renglón se observa que, siendo verdadderas las dos

El proceso es que en primer lugar se da valor de falso a la

Como es falsa remplazamos en 3. y por tanto será falsa,

valores y variables entonces el razonamiento es inválido.la

Una ves que hayamos encontrado los valores de p y q en la

ARGUMENTOS VÁLIDOS NOTABLES

lado derecho, es decir se puede expresar de la siguiente

Ejemplo 2: De las siguientes premisas se deduce que

lado derecho, es decir se puede expresar de la siguiente

Ejemplo 4: De las siguientes premisas se deduce que

Ejemplo 2: De las siguientes premisas se deduce que

 si llueve las calles se mojan.

3. PRUEBA FORMAL DE VALIDEZ O DEMOSTRACIÓN DIRECTA

Finalmente se alcanza la conclusión. Recordemos que se deben

También se puede verificar la validez del siguiente

Por lo tanto el razonamiento es valido

c) Verificar la validez del siguiente razonamiento:

l) Traducir al lenguaje formal y demostrar por el método de

4. T.T entre la premisa 2 y 3.eso es todo

m) Traducir al lenguaje formal y demostrar por el método de

p) Usando el método abreviado de la inferencia lógica

q) Si Lázaro tiene 20 años, entonces Lázaro tiene la misma edad

: Lázaro tiene la misma edad que Priscila

r) Si la enmienda no fue aprobada entonces la constitución

tiburón es un mamífero y vive en el océano. Por tanto, no

La demostración de un teorema diremos que es por

Es válido por el método de reducción al absurdo.

La proposición tiene 0 falsas y 8 verdaderas. Y por tanto es una

3. De los enunciados siguientes:

4. Si la proposición compuesta: ( ∧ ) → ( ∨ ) es falsa. Indicar

10. Hallar la proposición más simplificada que representa el

{( ∧ ) ∨ [(~ ∨ ) ∧ (~ ∨ )]} ∧ Distributiva

Eso quiere decir de que: ∧ ~ ≡

12. El siguiente esquema molecular es falso:

14. ( ∨ ) ↔ ( ∧ ) es una proposición verdadera, teniendo y

15. Si ( ↔ ) ∧ ~(~ ∨ ~ ) es verdadera, hallar el valor de

16. De las siguiente proposiciones compuestas: