Clase I LÓGICA PROPOSICIONAL

PROPOSICIÓN
Es una expresión lingüística de un juicio que se caracteriza fundamentalmente por ser verdadero o falso
(sentido bivalente) , tener un referente en la realidad y sentido completo.

ORACIÓN
También es una expresión lingüística con sentido completo. Para su mayor estudio a continuación veremos la
diferencia entre una oración y una proposición
O. INFORMATIVAS
ORACIONES DECLARATIVAS O. DESCRIPTIVAS
o ASEVERATIVAS O. EXPLICATIVAS
CLASES DE
ORACIONES
ORACIONES O. INTERROGATIVAS
EXPRESIVAS O. DESIDERATIVAS
O. EXCLAMATIVAS
O. IMPERATIVAS

Las oraciones aseverativas por excelencia son proposiciones lógicas.

Nota:
Toda oración no es proposición pero toda proposición si es oración.

SON PROPOSICIONES LÓGICAS

Las formulas científicas.
Las formulas lógicas.
Los enunciados cerrados.
Las oraciones aseverativas

NO SON PROPOSICIONES
Oraciones expresivas: interrogativas, desiderativas, exclamativas, imperativas.
Doxas: enunciados de opinión o valoración.
Personajes ficticios, refranes, proverbios, enunciados abiertos,

PROPIEDADES DE LAS PROPOSICIONES

A. Según su cantidad:
- Universales: Si la proposición lleva la palabra TODOS en el sujeto.
Por ejemplo:
“Todos los hombres son mortales”

- Particulares: Si la proposición lleva la palabra ALGUNOS en el sujeto.

Por ejemplo:
“Algunas mujeres son casadas”

Singulares: Si la proposición e sujeto lleva nombre propio.

Por ejemplo :
“César Vallejo murió en París”

1
 B. Según su calidad:
- Afirmativos: Si la proposición tiene un verbo en forma afirmativa.
Por ejemplo:
“El hidrógeno es un elemento químico”

- Negativos: Si la proposición tiene un verbo en forma negativa.

Por ejemplo:
“Trujillo no es la capital del Perú”

C. Según su modalidad:
- Asertóricas: Son aquellas que su verdad puede ser comprobada de forma inmediata.
Por ejemplo:
“La ballena es un mamífero”

- Apodícticos: Son aquellos que su verdad puede ser comprobada mediante un análisis lógico.
Las leyes matemáticas y lógicas forman parte de este tipo de proposiciones.
Por ejemplo:
“La suma del cuadrado de los catetos es igual al cuadrado de la hipotenusa”

- Problemáticas: Son aquellas su valor de verdad no se puede determinar de forma

inmediata.
Por ejemplo:
“Andrade será el presidente del Perú

CLASIFICACION DE LAS PROPOSICIONES

De acuerdo a su estructura la lógica proposicional, se clasifica a las proposiciones según tenga o no operador
lógico, esta son:

PROPOSICIONES SIMPLES
Llamadas también Atómicas ,individuales, son aquellas proposiciones que no llevan ningún operador lógicos,
son de dos clases:

PROPOSICIONES SIMPLES PREDICATIVAS

Es cuando al sujeto se le atribuye una cualidad o descripción.
Ejm.
-Las personas son seres racionales.
PROPOSICIONES SIMPLES RELACIONALES
Es cuando al sujeto se le compara mediante terminos relaciones (mayor que, menor que,
contemporáneo de, etc).
Ejm.
-El territorio peruano es mayor que el territorio chileno.

CLASIFICACIÓN DE LAS PROPOSICIONES COMPUESTAS

a) Proposiciones Negativas
Ejemplo:
El león no es domestico
 Forma lógica: - p

2
 b) Proposiciones Conjuntivas
Ejemplo:
Juan trabaja y estudia
 Forma lógica: p Λ q

c) Proposiciones inclusivas o débiles

Ejemplo:
Elena baila o canta
 Forma lógica: p v q

d) Proposiciones disyuntivas exclusivas o fuertes

Ejemplo: O Vallejo nació en Huamachuco o en Santiago de Chuco
 Forma lógica: p v q

e) Proposiciones implicativas
Ejemplo: Si te esfuerzas en el estudio entonces triunfarás
 Forma lógica: p → q

f) Proposiciones Replicativas
Ejemplo:
Apruebo si estudio
 Forma lógica: p ← q

g) Proposiciones biimplicativas
Ejemplo:
Llueve si y solo si hay nubes
 Forma lógica: p ↔ q

h) Proposiciones inalternativas
Ejemplo:
Ni bailas ni cantas
 Forma lógica: p ↓ q ó –p Λ -q

i) Proposiciones incompatibles
Ejemplo:
No trabajas o no juegas
 Forma lógica: p / q ó –p v -q

PRÁCTICA

1. A continuación te presentamos varios enunciados, identifica a aquellos que sean proposiciones lógicas:
1) Odiseo era mucho más inteligente que Calipso.
2) La química es una disciplina filosófica.
3) Las mujeres casadas son más inteligentes que las solteras.
4) El cura de la parroquia cambiará de cura porque la herida que tiene aún no cura.
5) El burro de mi vecino está herido.
6) Sabes que sólo sabrá si sabe que no sabes.

3
 7) Francisco Pizarro era hermano menor de Diego de Almagro.
8) El comercio de software genera mayores ingresos que el comercio de hardware.
9) El desarrollo de un país depende directamente de la tecnología.
10) Políticamente el comunismo ya feneció.
11) El atraso económico en el Perú se debe a la mala gestión del gobierno.
12) La Virgen de la Puerta es muy milagrosa.
13) Muchos limeños creen en el Señor de los Milagros
14) En Otuzco se realizan fiestas de celebración en honor de la Virgen de la Puerta.
15) El Señor de los Milagros es muy piadoso.

2. A continuación te presentamos varios enunciados, identifica a aquellos que sean proposiciones simples.
1) Ojalá llueva en la selva.
2) Te necesito junto a mí.
3) María y Juan son hermanos.
4) María y Juan son amigos de Luis.
5) María y Juan estudian en la universidad.
6) María y Juan intercambian información sobre teología
7) María y Juan tienen la misma madre, pero diferente padre.
8) La luna es un planeta.
9) Fausto hizo un pacto con Mefistófeles.
10) Cubillas es el Presidente del Perú.
11) Anita y Karla son mellizas.
12) Luis y José estudian en la UNTRM.
13) Bolivia está entre Brasil y Uruguay.
14) Vencerá si se esfuerza.
15) La lógica es una ciencia formal.

3. De los siguientes enunciados, son proposiciones compuestas:

1) Energía equivale a trabajo.
2) Alex así vemos que también Daniel trabajan juntos.
3) Los países de Servia y Croacia se habían unido para formar Yugoslavia
4) La glucólisis no consiste en la degradación del acetil coenzima.
5) Las Cataratas del Jera se encuentran en Jepelacio.
6) El Perú tanto como Japón son países asiáticos.
7) Romeo y Julieta estudiaron en el colegio.
8) María y Luis son hermanos.
9) 6= √ 36 , luego 36 = 6
√
10) El diamante es un material muy duro
11) Es mentira que los mamíferos no sean vertebrados.
12) Brasil y Ecuador compitieron por ser sedes del mundial de fútbol del 2006.
13) Alberto eligió a su novia de entre tres candidatas.
14) Perú fue subcampeón de la copa América 2019.
15) Si el perro es el mejor amigo del hombre, prémialo.

4
4. La proposición: “Pedro y Juan compartieron 1) Aureliano Buendía fue contemporáneo
sus propinas”, es: de Francisco Bolognesi.
2) Augusto B. Leguía fue hermano menor
A) Monádica B) Compuesta C) Simple de José Gálvez.
D) Molecular E) Triádica 3) Los cocodrilos son mamíferos.
4) Los centauros fueron carnívoros.
5. De las siguientes expresiones: 5) Los albatros realizan vuelos migratorios.
1) No sólo las aves vuelan, también Son no ciertas:
algunos mamíferos. A) 1, 3 y 4 B) 2, 3 y 5 C) 1, 2 y 3
2) La Lógica no estudia la materia. D) Todas E) 2, 4 y 5
Tampoco la energía.
3) El Perú es un país con abundantes 9. Son proposiciones:
recursos naturales, sin embargo no es un 1) El Caballo de Troya tuvo un elevado
país desarrollado económicamente. costo marginal.
4) Japón es un país sin recursos naturales 2) El Huáscar fue hundido el 12 de Octubre
no obstante es una potencia económica de 1879.
y comercial. 3) El Apolo XI alunizó el año 1969 por
5) Los billetes circulares de cada país primera vez.
tienen un valor nominal además de un 4) Las culturas preterrícolas sufrieron
valor numismático. grandes hecatombes.
Son proposiciones conjuntivas: 5) Las culturas prehispánicas conocieron la
orfebrería.
A) 1, 2 y 3 B) 2, 3 y 4 C) 3, 4 y 5 Son ciertas:
D) 1, 3 y 5 E) Todas A) 1, 2 y 3 B) 2, 3 y 5 C) 1, 4 y 5
D) 3, 4 y 5 E) Ninguna
6. Dados los siguientes enunciados:
1) La familia es la célula fundamental de la 10. Son proposiciones simples:
sociedad. 1) 3 + 2 > 4
2) 2020 es el peor año de mi vida. 2) La función lineal es inyectiva.
3) F = m a 3) Es válido si y sólo si tiene
4) X + Y = 5, donde X = 6 correspondencia real.
5) Gareca es el mejor entrenador. 4) Lo negativo no equivale a lo falso.
Son proposiciones lógicas: 5) No es cierto que no haya árboles rojizos.
Son indudablemente falsas:
A) 1 y 3 B) Sólo 1 y 2 C) 3, 4 y 5 A) 1, 2 y 3 B) 2, 3 y 4 C) 3, 4 y 5
D) Todas E) 1, 2 y 3 D) 1, 3 y 5 E) Todas
11. No son proposiciones compuestas:
7. Son enunciados abiertos o indefinidos: 1) La tierra es un planeta cuyo eje está
1) Es el deber primordial de la persona. inclinado.
2) X = Y, en donde Y = 5 2) Júpiter fue el rey de los dioses.
3) Sen 30° = ½ 3) Saturno es un planeta con anillos.
4) Cos 60° = X, en donde X = ½ 4) Alfa centauro tiene un clima muy
5) Todo S es P relajante.
Son ciertas: 5) Kriptón se estrelló con Aldebarán.
Son ciertas:
A) 1, 2 y 3 B) 1 y 5 C) 3, 4 y 5 A) 1, 2 y 3 B) Sólo 5 C) 2, 3 y 4
D) Todas E) Sólo 2 y 3 D) 1, 3 y 5 E) Todas
12. Son proposiciones simples:
8. De las proposiciones:

5
 1) Se terminaron los problemas limítrofes 1) La libertad de expresión es un deber
entre Ecuador y Perú. ciudadano.
2) X  Y 2) No es cierto que las aves sean
3) X Y, donde X es 5. invertebrados.
4) Y = 8, donde Y  6. 3) Víctor A. Belaunde es un expresidente
5) Un metal y el oxígeno se mezclan para peruano.
dar lugar a un oxido. 4) El Perú es un país superdesarrollado.
Son ciertas: 5) Es innegable que la inflación ha
disminuido notablemente en los últimos
A) 1 y 5 B) 1, 2 y 3 C) 3, 4 y 5 años.
D) Todas E) 1, 2 y 4
Son ciertas:
13. Son proposiciones negativas:
1) Es mentira que sea falso que haya tigres A) 1, 2 y 3 B) 2, 3 y 4 C) 2, 3 y 5
blancos y leones domésticos. D) 1, 3 y 4 E) Todas
2) Es innegable que hay vegetales
carnívoros. 16. Son proposiciones implicativas:
3) Es imposible que el sol pierda su energía 1) La familia es la célula básica de la
en un lustro. sociedad porque garantiza la continuidad
4) El Hanta virus no sólo es epidémico, humana.
también es altamente mortal. 2) Porque garantiza y ampara la
5) No sólo la Uta es una enfermedad procreación del género humano, la
tropical, también la malaria. familia es la célula básica de la sociedad.
Son inobjetablemente ciertas: 3) Es condición suficiente que la familia sea
célula básica de la sociedad, para que
A) 1, 2 y 3 B) 2, 3 y 4 C) 3, 4 y 5 garantice y ampare la procreación del
D) 1, 3 y 5 E) Todas género humano.
4) Es condición necesaria que la familia sea
14. Son proposiciones conjuntivas: célula básica de la sociedad, para que
1) No solo los peces viven en el mar, garantice y ampare la procreación del
también los moluscos. género humano.
2) Es falso que Arequipa sea un país y 5) La familia es la célula básica de la
Yanaguara su capital. sociedad no implica que garantice y
3) Somalia no es país sudamericano pero ampare la procreación del género
es tercermundista. humano:
4) España está entre Portugal y Francia.
5) Los números 12 y 35 son primos entre sí. Son ciertas:
No son ciertas:
A) 1, 2 y 3 B) Sólo 2 y 3 C) 1, 3 y 4
A) 2, 3 y 5 B) 2, 4 y 5 C) 1, 2 y 3 D) Todas E) 3, 4 y 5
D) 1, 2 y 4 E) Ninguna

15. Son proposiciones innegablemente no

negativas: 17. Son proposiciones conjuntivas:

6
 1) No sólo la familia cumple una función 4) Los átomos son eléctricamente neutros
reproductora también económica. y/o los iones pueden tener carga
2) La familia promueve el bienestar aunque eléctrica negativa.
también la prosperidad de todos sus 5) O los hidrocarburos son contaminantes o
miembros. son únicamente benéficos para el
3) La familia es una institución natural, hombre.
además surge del mandato de la ley Son no ciertas:
natural. A) Sólo 2 B) Sólo 3 C) Ninguna
4) La familia es la base de la sociedad a D) 1, 3 y 5 E) 2 y 4
pesar que su principal institución.
5) La familia promueve el bienestar, lo
mismo que la prosperidad de todos sus
miembros.
Son ciertas:
A) 1, 2 y 3 B) 1, 3 y 5 C) 2, 3 y 4
D) 1, 4 y 5 E) Ninguna

18. No son proposiciones simples:

1) Alemania y Japón son países fronterizos.
2) EE.UU. y Francia son potencias
económicas.
3) Los osos polares viven en los trópicos.
4) Sus componentes son hidrógeno y
oxígeno.
5) Los virus son inmortales.
Son ciertas:
A) 1, 2 y 3 B) 2, 4 y 5 C) 1, 3 y 5
D) 2, 3 y 5 E) Ninguna

19. Son proposiciones compuestas:

1) 15 es mucho mayor que 2
2) 3 es mucho menor que 20
3) 3 + 2 = 5 porque 5 - 2 = 3
4) 1 es menor que 3, 3 es mayor que 1
5) 3 + 2 = 6
No son ciertas:
A) 1, 2 y 3 B) 2, 4 y 5 C) 1, 2 y 5
D) 2, 3 y 4 E) Ninguna

20. Son proposiciones disyuntivas:

1) Curaçao es una isla caribeña y bien, o
también San Vicente es un país
centroamericano.
2) Japón es una potencia militar salvo que
sólo sea una potencia económica.
3) No es cierto que los leones sean
rumiantes salvo que los canguros sean
anfibios.

7
Clase II FORMALIZACIÓN PROPOSICIÓNAL

¿Qué es la Formalización Proposicional?

La Formalización Proposicional es el procedimiento mediante el cual identificamos cada proposición simple y
compuesta con determinados símbolos del Lenguaje de Lógica Proposicional. (LLP)
Las proposiciones simples sólo se identifican con las variables proposicionales del LLP. Por ejemplo:
p: César Vallejo murió en París.
En las proposiciones compuestas, tenemos que identificar los conectores lógicos los cuales se los identifica
como se representa en el siguiente cuadro:

Nº Nombre Forma Básica Símbolos

1 Negador No ,  , 
2 Conjuntor … y… , , , 
3 Disyuntor Incluyente … o… V, +, U
4 Disyuntor Excluyente o… o… V , , , , >--<,
<-/->
5 Implicador Sí… entonces… →, , 
6 Replicador …porque… , 
7 Biimplicador …Sí y sólo sí…   = 
8 Inalterador Ni… ni… ↓
9 Incompatibilizador No… o no… ⁄

Además se debe tener conocimiento de las formas lingüísticas equivalentes a la forma básica de los
conectores. A continuación presentamos las más conocidas equivalencias para los respectivos conectores:
1. Negador: “no A”
- Es falso que A - Es absurdo que A
- Es mentira que A - Es inconcebible que A
- Es negable que A - No ocurre que A
- Es refutable que A - Es objetable que A

2. Conjuntor: “A y B”
- A tal como B - A al igual que B
- A también B - A así como B
- A vemos que también B - A al mismo tiempo que B
- A sin embargo B - A es compatible a B
- A aunque B - A pero B
- A con B - A del mismo modo B
- A de la misma forma que B - Tanto A como B
- A además B - A a pesar que B
- A no obstante B

3. Disyuntor Incluyente: “A o B”
- A o también B - A o si no B
- A o incluso B - A o en todo caso B
- A a no ser que B - A y bien o también B
- A excepto que B - A a menos que B
- A salvo que B - A alternativamente B
- A o bien B - A ya bien B
4. Disyuntor Excluyente: “o A o B”
- A o sólo B - A o solamente B
- A o únicamente B - A o exclusivamente B
- A o prioritariamente B - O bien A o bien B
- Ya bien A o también B - O también A o también B

5. Implicador: “Sí A entonces B”

- Siempre que A por consiguiente B
- Con tal que A es B
- Cuando A así pues es B
- Toda vez que A es consecuencia B
- Cada vez que A consiguientemente B
- En cuanto A por tanto B
- En el caso de que A en este caso B
- Con la condición de que A esto trae consigo B
- Dado que A por eso B
- Dado que A por eso B
- Ya que A es evidente B
- De A deviene B
- De A derivamos B
- A implica B
- A es condición suficiente para B
- A con la condición de que B
- En virtud de A es evidente B

6. Replicador: “A porque B”
- A es implicado por B
- A si B
- A puesto que B
- A siempre que B
- A dado que B
- A con tal de que B
- A cada vez que B
- A con la condición de que B
- A es condición necesaria para B

7. Biimplicador: “A si y sólo si B”
- A siempre y cuando B
- A es condición suficiente y necesaria para B
- A porque y solamente si B
- A es suficiente y B también
- Sólo si A entonces B

8. Inalterador: “Ni A ni B”
- No A y no B

9. Incompatibilizador: “No A o no B”
- No A excepto que no B
- A es incompatible con B
 PRÁCTICA

1. La proposición: “Es absurdo que, los sueldos

no tienen capacidad adquisitiva, pero los 8. La proposición: “Los peces son acuáticos o
trabajadores protestan” Se formaliza como: bien los insectos son invertebrados” Se
A) A  B B) (A  B) C) A  B formaliza:
D) A  B E) (A  B) A) A  B B) B  A
C) A  B D) B  A
2. La proposición: “Los volcanes durmientes son E) A  B
pasivos a menos que con el tiempo se activen”
Se formaliza como: 9. La proposición: “Si las plantas son vegetales
A) AB B) AB C) A  (BC) en tal sentido son seres vivos” Se formaliza:
D) A  (AB) E) A  (BC) A) A  B B) A  B
C) A  B D) A  B
3. La proposición: “Si los recursos naturales son E) A  B
patrimonio de la nación, en consecuencia es
soberano su aprovechamiento” Se formaliza 10. La proposición: “Es inconcebible que, el átomo
como: esté formado por protones excepto que por
A) A  B B) A  B C) A  B neutrones” Se formaliza:
D) B  A E) B  A A) pq B) q p
C) (pq) D) (qp)
4. La proposición: “La célula es microscópica, E) qp
excepto que sea visible a simple vista” Se
formaliza como: 11. La proposición: “Es inconcebible que, el Perú
A) A  B B) A  B C) A  B tenga crecimiento económico salvo que se
D) A  B E) A  B termine con la recesión. A menos que no haya
inflación” Se formaliza como:
5. La proposición: “Con tal que la inflación baje A) (AB)  C B) (AB)  C
es obvio que se aumentará la balanza C) (A  B)  C D) A  B
comercial” Se formaliza: E) (AB)  C
A) A  B B) A  B C) A  B
D) A  B E) A  B 12. La proposición: “La lógica es una ciencia
siempre que y sólo cuando la matemática sea
6. “Una empresa persigue un fin lucrativo porque una ciencia exacta” Se formaliza como:
produce dividendos, salvo que únicamente A) AB B) AB
persiga un fin mercantil” Se formaliza como: C) A  (BC) D) AB
A) (A  B)  B B) (A  B)  A E) A  (BC)
C) (B  A)  C D) (A  B)  C
E) (A  B)  C 13. La proposición: “Siempre que los animales no
sean voladores, no son insectos” Se formaliza
7. La proposición: “Es absurdo que, los vegetales como:
no son verdes pero los frutos son producto de A) A  B B) A  B
las plantas” Se formaliza: C) A  B D) A  B
A) AB B) (AB) E) A  B
C) (AB) D) A  (BA)
E) AB
 C) A  B D) (AB)  (CD)
E) A  B
14. La formalización siguiente: (A  B)  ( C  20. La proposición: “Si la energía radiante se
D). Se expresa en la proposición: convierte en energía térmica, eléctrica,
A) Orellana descubrió el Amazonas o bien mecánica o química; sus ondas de
Pizarro organizó la expedición si y sólo si propagación han sido interceptadas por la
Almagro se quedó en el Cuzco. materia”. Se formaliza como:
B) Orellana descubrió el río Amazonas luego A) (AB)  C B) (ABCD)  E
viaja a España. C) A  B D) AB
C) Orellana descubrió el Amazonas luego E) (ABCD)  E
Pizarro organizó la expedición, excepto que
Almagro se quedó en el Cuzco pero no 21. La proposición: “El cálculo mental es una
viajó en la expedición. disciplina intelectual salvo que solamente sea
D) Orellana no descubrió el Amazonas, memoria retentiva” Tiene la siguiente fórmula:
Pizarro organizó la expedición deviene que A) A  B B) A  B C) A  B
Almagro se quedó en el Cuzco pero no D) A  B E) (A  B)  C
viajó en la expedición.
E) Descubrimiento implica riqueza, salvo que, 22. La proposición: “Porque la luz tiene naturaleza
expedición implique inutilidad. dual, se transmite en el vacío. Sin embargo, el
sonido no se transmite en el vacío porque
15. “El que un juicio sea plausible es equivalente a tiene naturaleza ondulatoria” Se formaliza
que un juicio sea problemático” Se formaliza como:
como: A) (A  B)  (B  C)
A) A  B B) A  B C) A B) (A  B)  (C  D)
D) A  B E) AB C) (A  B)   (B  C)
D) (A  B)  (C  D)
16. La proposición: “Es absurdo que la Biología
E) (A  B)  (C  D)
sea una ciencia matemática excepto que sea
cierto que la química sea una ciencia natural”
23. “Subirá el precio del pan porque subió el
Se formaliza:
precio de la gasolina, en vista de que, sí subió
A) A  B B) A  B C) A  B
el precio de la gasolina, el gobierno no puede
D) A  B E) A  B controlar la inflación” Es una proposición cuya
formalización correcta es:
17. La proposición: “Los peces son acuáticos o
A) (AB)  (B C)
bien los insectos son invertebrados” Se
B) (AB)  (B C)
formaliza:
C) (AB)  (B C)
A) A  B B) B  A C) A  B
D) (AB)  (B C)
D) B  A E) A  B
E) (AB)  (B C)
18. La proposición: “Tanto Perú como Ecuador no
son potencias comerciales” Se formaliza: 24. La formalización correcta de: “No es el caso
que, si Teresa no estudiaba abogacía no
A) A  B B) A  B C) (AB)
habría podido contraer matrimonio; dado que
D) A  B E) A  B
Teresa no ha podido contraer matrimonio
porque preside la administración de una
19. “Japón y Somalia son los países de mayor y
empresa”, es:
menor riqueza mundial, respectivamente” Se
A) B  C  A  B
formaliza como:
B) A B  BC
A) A  B B) A  B
C) A B  BC
 D) A B)  BC A) [(A  B)  (C  D)]  E
E) [A B  BC] B) [(A  B)  (B  A)]  C
25. “Un juicio apodíctico es analítico, pero también C) [(A  B)  (B  A)]  C
es necesario y forzoso. Por eso usan D) [(A  B)  (C  D)]  E
lenguajes formalizados” Se formaliza como: E) [(A  B)  (C  D)]  E
A) [A  (AB)]  D
B) [A  (BC)]  D 30. La proposición: “Como quiera que la materia
C) [A  (B  C)]  D tanto como la energía, no se crea ni se
D) [A  (AB)]  D destruye, es obvio que sólo se transforman”
E) [A  (BC)]  D Se formaliza:
A) [(A  B)  (C  B)]  (E  F)
26. “La piscina está temperada porque hay B) [(A  B)  (C  D)]  E
calefacción o la piscina está temperada C) [(A  B)  ( C  D)]  (E  F)
porque habrá concurso de natación” Tiene D) (A  B)  C
como fórmula correcta a: E) [(A  B)  (C  D)]  E
A) (AB)  (AB)
B) (BA)  (AB)
C) (AB)  (AC)
D) (AB)  (AC)
E) (AB)  (AC)

27. La proposición: “O bien el caimán es un reptil

o bien invertebrado; sin embargo el delfín es
acuático a menos que la ballena sea
mamífero” Se formaliza:
1) (A  B)  (C  D)
2) (A B)  (C  D)
3) (A  B)  (C  A)
4) (A  B)  (C  D)
Son ciertas:
A) 1 y 2 B) 2 y 3 C) 3 y 4
D) 1 y 4 E) Todas

28. La proposición: “En cuanto la teoría de la

relatividad sostiene que la gravedad y el
movimiento acelerado son equivalentes,
consecuentemente se niega todo movimiento
absoluto”. Se formaliza como:
A) (AB)C B) (AB)C
C) A B D) (AB) C
E) (AB) C

29. La proposición: “Si es necesario que varíe el

campo eléctrico para que cree un campo
magnético, además, si resulta necesario que
varíe el campo magnético para que cree un
campo eléctrico; entonces se originan las
ondas electromagnéticas”. Se formaliza como:
Clase III VERDAD FORMAL

¿Qué es la Verdad Formal?

La Verdad Formal es el resultado de evaluar un esquema lógico mediante las reglas lógicas. Notemos que un
esquema lógico es aquel producto de la formalización de una proposición compuesta.

Deducción del número de valores de verdad:

Cuando nosotros trabajamos con tablas de verdad hacemos uso de los valores de verdad de cada variable, los
cuales dependen en su número de número de variables en uso. Pare ello recurrimos a la siguiente fórmula:

2n donde n es el número de variables

Por ejemplo si tenemos el esquema (p v q)  r observamos que existen 3 variables por tanto haciendo uso de
la fórmula tenemos 23 =8 valores de verdad, que serán distribuidos de la siguiente manera:

p q r (p v q)  r
1 1 1
1 1 0
1 0 1 Donde:
1 0 0 1 = V = Verdadero
0 1 1 0 = F = Falso
0 1 0
0 0 1
0 0 0

Reglas Lógicas:
p q -p -q p v q p  q p  q p  q p  q p  q p  q p q
1 1 0 0 1 1 1 1 0 1 0 0
1 0 0 1 1 0 0 1 1 0 0 1
0 1 1 0 1 0 1 0 1 0 0 1
0 0 1 1 0 0 1 1 0 1 1 1

CLASES DE ESQUEMAS MOLECULARES:

Según los resultados que se obtenga en la matriz final en la tabla de verdad, los esquemas moleculares se
clasifican en:
a) Esquemas Tautológicos: Se caracterizan porque en su matriz final los valores son sólo unos (1), es decir
todos los valores son verdaderos.

(A  B)  (A  B)
1 1 1
0 1 0
1 1 1
1 1 1
Matriz principal
 Como en su matriz principal sólo existen valores unos el esquema es tautológico

b) Esquema Contingente: Se caracteriza porque en su matriz final los valores son unos (1) y ceros (0), es decir
existen valores verdaderos y falsos. Ejemplo

(A  B)  ( A  B)
1 1 1
0 1 0
0 0 1
0 0 1
Matriz principal

Como existen valores unos (1) y ceros (0) el esquema es contingente. Los valores unos y ceros pueden
estar ubicados de diferente manera del mismo modo pueden haber a lo mas un valor verdadero dentro de
muchos falsos y viceversa.

c) Esquemas Contradictorios: Se caracterizan porque en su matriz principal sólo existen valores ceros (0) es
decir todos los valores son falsos. Ejemplo:
(A  B)  (A  B)
0 0 1
1 0 0
0 0 1
0 0 1
Matriz principal

Solo valores ceros luego el esquema es contradictorio.

PRÁCTICA

Enunciado General: Dados los siguientes 5. {A  [ (A B)  (A  B)]}  (A  B)

esquemas, determine su matriz principal. A) 0101 B) 1100 C) 0110
1. [A  (B  A)]  B D) 1001 E) 1010
A) 0011 B) 1110 C) 0010 Enunciado General:
D) 0100 E) 1101 Encuentra los valores de verdad de todas las
variables en los siguientes esquemas moleculares:
2. [(A  B)  A]  B 6. Dado el siguiente esquema:
A) 1111 B) 1110 C) 0010 [(AB)(AC)] verdadero;
D) 0100 E) 0000 los valores las variables son, respectivamente:
A) FVV B) VVF C) FVF
3. [(A  B)  (A  B)]  A D) VFV E) VVV
A) 0011 B) 1110 C) 0010
D) 0100 E) 1101 7. Dado el siguiente esquema:
(A)  [(BC)D] falso;
4. [A  (A  B)]  [A  (B  A)] los valores de las variables son,
A) 1001 B) 1110 C) 0001 respectivamente:
D) 1000 E) 0111 A) VVFF B) FFVV C) VVVV
D) FFFF E) VFVF
 16. Dados los valores de:
8. Dado el siguiente esquema: A : p  q B : p  q
(AB)(AC) verdadero; La matriz final de la fórmula: (AB)A; es:
los valores de las variables son, A) 1110 B) 1010 C) 0010
respectivamente: D) 1101 E) 1000
A) FFF B) VVV C) VFV
D) FVF E) VVF
9. Dado el siguiente esquema: 17. Dados los valores de:
(BA)(CD) verdadero; A : p  q B : p  q
los valores de las variables son, La matriz final de la fórmula: A  (BA);
respectivamente: es:
A) VFVF B) FVFV C) FFFV A) 1000 B) 1110 C) 0110
D) VVVF E) VVFF D) 1001 E) 1111

10. Dado el siguiente esquema: 18. De las siguientes fórmulas:

[(AB)(CD)] verdadero; los I) (AB)  (BA)
valores de las variables son, respectivamente: II) (AA)  (BB)
A) FFFV B) FVFV C) VVFV III) (AB)  B
D) FVFF E) FFVV IV) 1  (AB)
Las que me permiten encender por lo menos
Enunciado General: tres focos son:
El tipo de esquema correspondiente a la fórmula A) I y III B) II y IV C) I y IV
dada, es: D) II y III E) Sólo III
11. La fórmula: [A  (B  A)]  [A  (A
 B)]; corresponde a un esquema: 19. Dado el esquema: p  (p  q) falso
A) Tautológico B) Contingente Los valores de verdad de las variables p, q;
C) Contradictorio D) Verdadero E) Simple son, respectivamente:
A) 1, 1 B) 1, 0 C) 0, 1
12. La fórmula: (A  B)  {[(A B)  A] D) 0, 0 E) p = 1 y 0; q = 0 y 1
 B}; corresponde a un esquema:
A) Tautológico B) Contingente 20. Dadas las siguientes proposiciones:
C) Contradictorio D) Continente E) Simple A: El sol es una estrella
B: La tierra es un satélite
13. La fórmula: (AC)[( EB)(FD)]; C: Los planetas del sistema solar no
corresponde a un esquema: pertenecen a la vía láctea.
A) Tautológico B) Contingente Hallar el valor de verdad de los siguientes
C) Contradictorio D) Verdadero E) Simple enunciados formales:
I) (AB)~C
14. La fórmula: (F  B)  {[(A D)  C] II) [(AB)A](B~B)
 E}; corresponde a un esquema: III) [(A~B)~C](A~B)
A) Tautológico B) Contingente Son, respectivamente:
C) Contradictorio D) Verdadero E) Simple A) 111 B) 000 C) 010
D) 011 E) N.A.
15. La fórmula: A[C(DB)]; corresponde a
un esquema: 21. Si el diseño :
A) Tautológico B) Contingente B
C) Contradictorio D) Continente E) Simple A 1 0

0
 ¿Cuál de los siguientes enunciados
Corresponde al esquema conectado representa a fórmulas equivalentes?
A  B , luego el diseño : I) (p  q ) # q
II) [ (p # q) # q ]
III) p # (p # q )
Son ciertas:
A) I y II B) II y III C) I y III
D) Todos E) Sólo I
Corresponde a: 27. Dado :
A) A  B B) A  B C) A  B
D) A  B E) A  B p q p q
*
22. El siguiente gráfico, corresponde a: 1 1 1
1 0 0
0 1 1
0 0 0

Luego ( p * q ) * p equivale a:
A) p U q B) p q C) p  q A) p B) p C) p  q
D) p  q E) p  q D) p  q E) p U q

23. Si la fórmula ( p % q ) tiene como matriz 28. Dada la fórmula A cuyos valores de verdad
1010 obviamente encontrados en su matriz son: 11100011. Los
[(pq) % p] es equipolente a : EPM (Estados Posibles del Mundo) en que la
fórmula es falsa son:
A) p  q B) p C) q
1) 011 2) 00001111
D) p  q E) p  q
3) 10101010 4) 100
5) 010 6)11001000
24. Si : (p @q) = 0101 Son ciertas:
La fórmula : [p @ ( p  q)] equivale a : A) 2,3 y 6 B) 1,2 y5 C) 3, 4 y 5
A) p  q B) p  q C) p q D) Sólo 6 E)1,4 y 5
D) q E)p @q
29. En el esquema formal:
25. Se define : p ☺ q  FVFV . pq  r  s  t u v w  x y
Determinar:[(p☺q)(p☺q)]p Los valores de verdad en los arreglos 143;
A) p B) q C) p 504; 723
D) q E) p  q Son, respectivamente
A) 101 B) 011 C) 110
26. Se define el conector “ # “ mediante el D) 000 E)001
esquema : 30. Si en un esquema molecular se tuviera 13
variables proposicionales, ¿cuál será la
p q p # q

1 1 0
1 0 1
0
combinación de los valores 0 y 1 en el 5º
arreglo?
A) 0000010011111 B)0000000100100
C) 1111111111011 D) 1111111101111
E)111111101101
Clase IV EQUIVALENCIAS LÓGICAS

LEY DE EQUIVALENCIA APLICACIONES

Doble Negación A  A
A  A
Ley de D´Morgan – (A  B)  –A v –B A  B  – (–A v –B)
(“”, “”) – A v B  –(A  –B)
Conmutación ABBA
(, , , / , , )

Contraposición A  B  –B  –A
(, , ) A  B  B A
–A  B  B  A
Asociación A  (B  C)  (A  B)  C
(, , ,) A  B  C  A  (B  C)
(A  B)  (C  D)  A  (B  C  D)
Distribución A v (B  C)  (A v B)  (A v C)
A  (B v C)  (A  B) v (A  C)
Definición del Implicador A  B  –A v B –A  B  A  B
A  –B  –A  –B A  B  A  B
Definición del Biimplicador A B  (A  B)  (B  A)
A B (A B) v (-A  –B)

A B  -(-A B)
A B - -(-A- B)

A B (-A  B)
A B -(-A  -B)

Def. del Disyuntor Excluyente A  B  (A v B)  (-A v –B)

A  B  (-A  B) v (-A  B)

(A  B)  - (-A  B)
(A  B)  - -(-A  -B)

(A  B)  -(A  B)
(A  B)  -(-A  - B)
 PRÁCTICA

1. Dada la siguiente proposicón: “Para negociar acciones de bolsa, es necesario un amplio dominio
financiero”. Equivale de decir:
A) Las acciones de bolsa se negocian siempre y cuando haya capacidad financiera.
B) Es mentira que, se negocian las acciones de bolsa y no haya amplio dominio financiero.
C) Porque se negocian las acciones de bolsa, hay análisis eonómico.
D) Se negocian las acciones de bolsa o sólo es objetable que haya amplio dominio financiero.
E) Sólo si se negocian acciones de bolsa, hay un amplio dominio financiero.

2. Dada la siguiente proposición: "Porque España es una comunidad de naciones, tiene manifestaciones
separatistas"
Su equivalente por contraposición, es:
A) Es falso que España sea una comunidad de naciones y no tenga manifestaciones separatistas.
B) Si España no es una comunidad de naciones por lo tanto no tiene manifestaciones separatistas.
C) Dado que España no tiene manifestaciones separatistas, no es una comunidad de naciones.
D) España no es una comunidad de naciones salvo que tenga manifestaciones separatistas.
E) Es inobjetablemente falso que siempre que España sea una comunidad de naciones implica que tiene
manifestaciones separatistas.

3. “Ca(OH)2 es la fórmula del hidróxido de calcio o únicamente lo es del óxido de calcio” Su esquema es
equivalente a:
1) (A  B)  (B  A)
2) (A  B) 3) (A  B)
4) (B  A) 5) (A  B)  (A  B)
Son ciertas:
A) 2, 3 y 4 B) Sólo 2 y 4 C) 1, 3 y 5
D) Sólo 1 y 5 E) Todas

4. Dada la fórmula lógica: (A  B)  C

Los esquemas equivalentes a ella son:
1) (AB)  C 2) C  (AB)
3) C  (BA) 4) (AB)  C
5) (A  B)  C
No son ciertas:
A) Todas B) 1, 2 y 3 C) 3, 4 y 5
D) 2, 3 y 4 E) Ninguna

5. La fórmula: (A  B) puede leerse, equivalente, como:

1) No es equivalente decir que mañana llueva con que mañana graniza.
2) Que mañana llueva es suficiente y es necesario para que mañana no granice.
3) Mañana no llueva y granice, a menos que, mañana llueva y no granice.
4) Es falso que, o mañana no llueve o mañana graniza
5) Es mentira que, mañana no llueva sea equivalente a que mañana no graniza.
Son ciertas:
A) 1, 2 y 3 B) 2, 3 y 4 C) 3, 4 y 5
D) 1, 3 y 5 E) Todas
6. La proposición: “Es falsamente inobjetable que la matemática no sea una ciencia que maneje un método
eminentemente deductivista”, es tan igual que decir:
1) La matemática es una ciencia deductivista por su método
2) La matemática no es una ciencia que por su método sea falso que es deductivista.
3) Es objetable que, jamás sea una ciencia deductivista la matemática, por su método.
4) No es una ciencia deductivista la matemática, por su método.
5) Es inconcebible que, la matemática no sea falso que es una ciencia deductivista por su método.
Son absolutamente absurdas, excepto:
A) 1, 2 y 3 B) 2, 3 y 4 C) 4 y 5
D) 1, 3 y 5 E) Ninguna

7. De la proposición: “El barómetro no mide la presión atmosférica” Por D. N. su equivalente es:

A) El barómetro no mide la presión atmosférica.
B) Es innegable que el barómetro no mide la presión atmosférica.
C) No ocurre que no sea cierto que el barómetro mide la presión atmosférica.
D) No acaece que con el barómetro se mida la presión atmósferica.
E) Es inconcebible que el barómetro mida la presión atmosférica.

8. La proposición: “Es innegable que el Perú tiene divisas pero requiere inversión” Es equivalente a:
1) Es falso que, el Perú no tenga divisas o no requiera inversión.
2) El Perú requiere inversión así como que tiene divisas.
3) Es imposible que, si el Perú tiene divisas, no requiere inversión.
4) Es incierto que, en cuanto el Perú tenga divisas es obvio que requiera inversión.
5) Es falso que, si el Perú no tiene divisas entonces requiere inversión.
Son inciertas:
A) 1, 2 y 3 B) Sólo 2, 3 C) 3, 4 y 5
D) Sólo 3, 4 E) Sólo 4 y 5

9. Dado: “Las materias primas peruanas son vendidas a los Estados Unidos” Equivale a:
1) Es innegablemente falso que las materias primas peruanas no sean vendidas a los Estados Unidos.
2) Es imposible que las materias primas no se vendan a los Estados Unidos.
3) Las materias primas peruanas no se venden a los Estados Unidos.
4) Es cierto que las materias primas peruanas no se venden a los Estados Unidos.
5) Las materias primas se venden en todo el extranjero.
Son ciertas:
A) Sólo 1 y 2 B) Sólo 2 y 3 C) Sólo 3 y 4
D) Sólo 4 y 5 E) Sólo 1 y 5

10. La proposición: “El Perú es un país con abundantes riquezas naturales, sin embargo, no es una potencia
económica mundial” Equivale, por D’ Morgan:
A) El Perú no es una potencia económica mundial y/o es un país con abundantes riquezas naturales.
B) Es mentira que, el Perú no sea un país con abundantes riquezas natrales salvo que sea una potencia
económica mundial.
C) Es incierto que, el Perú no sólo sea un país con abundantes riquezas naturales sino también no es
una potencia económica mundial.
D) Es falso que, el Perú no sea un país con abundantes riquezas naturales salvo que necesariamente
sea una potencia económica mundial.
 E) Es mentira que, el Perú no sea un país con abundantes riquezas naturales, o sólo, es una potencia
económica mundial.

11. Son equivalencias de: (A  B)

1) A  B 2) A  B 3) A  B
4) A  B 5) (A  B)
Son no ciertas, excepto:
A) 1, 2 y 5 B) 2, 3 y 4 C) 2, 3 y 4
D) 1, 4 y 5 E) 1, 2 y 3

12. Las equivalencias de: A  B ; son:

1) (AB) 2) (AB)
3) AB 4) (AB)(AB)
5) A  B
Son ciertas:
A) 1, 2 y 3 B) 2, 3 y 5 C) 3, 4 y 5
D) 1, 4 y 5 E) 1, 2 y 5

13. La proposición: “Las drogas no sólo destruyen al organismo, también a la familia” Es equivalente a:
1) Es falso que, las drogas no destruyen el organismo a no ser que no destruyen la familia.
2) Es absurdo que las drogas no destruyen el organismo o es falso que no destruyen la familia.
Aunque las drogas destruyen la familia.
3) Las drogas destruyen la familia a pesar que al organismo también.
4) Las drogas destruyen el organismo.
5) Las drogas destruyen el organismo a no ser que también la familia.
Son ciertas:
A) 1, 2 y 3 B) 1, 2 y 4 C) Sólo 1 y 3
D) Todas E) Ninguna

14. Las equivalencias de A  B son:

1) A  B 2) A  B 3) A  B
4) B  A 5) (A  B)
No son inciertas:
A) 1, 2 y 3 B) 1, 3 y 4 C) 1, 4 y 5
D) 1, 3 y 5 E) 2, 3 y 5

15. “El estado no sólo protege la paternidad responsable sino también fundamentalmente establece que
entre los hijos no hay distinción alguna” Es equivalente a:
1) Es falso que, si el estado protege la paternidad responsable, entonces fundamentalmente establece
que los hijos tienen distinción alguna.
2) Si el estado protege la paternidad responsable, entonces fundamentalmente establece que los hijos
tienen distinción alguna.
3) Es falso que el estado protege la paternidad responsable y es cierto que fundamentalmente establece
que los hijos tienen distinción alguna.
4) Es absurdo que, el estado no protege la paternidad responsable a no ser que fundamentalmente
establece que los hijos no tienen distinción alguna.
5) Es absurdo que, el estado no protege la paternidad responsable a no ser que fundamentalmente
establece que los hijos tienen distinción alguna.
 Son ciertas:
A) 1 y 5 B) 1, 4 y 5 C) 1, 2 y 3
D) Todas E) 2, 3 y 4

16. La ley de conmutación no se cumple en las siguientes fórmulas:

1) A  B 2) (A  B) 3) (A  B)
4) (A / B) 5) (A  B)
Son ciertas:
A) 1, 2 y 5 B) 3, 4 y 5 C) Sólo 3 y 4
D) Todas E) Ninguna
17. La proposición: “La química orgánica es fundamental para la biología, por lo tanto, dado que para la
medicina también es fundamental entonces lo es para la vida humana” Equivale a:
1) B  (A  C) 2) (A  C)  B
3) (A  C)  B 4) A  C  B
5) A  (C  B)
Son ciertas:
A) 1, 2 y 3 B) 2, 3 y 4 C) 3, 4 y 5
D) 2, 3 y 5 E) 1, 2 y 4

18. La Proposición: “Es falso que, el propano y el butano no se usen en la calefacción” Equivale a:
1) (A  B) 2) A / B 3) AB
4) BA 5) (A B)
Son ciertas:
A) 1 y 3 B) 2 y 4 C) 3 y 5
D) Todas E) 2 y 5

19. La proposición: “Es mentira que el huevo de codorniz tenga aceptación comercial y bien, o también
solamente el huevo de avestruz tiene alto contenido de colesterol” Tiene como equivalente:
A) Es falso que, el huevo de codorniz no tiene aceptación comercial además el huevo de avestruz no
tiene alto contenido de colesterol.
B) El huevo de avestruz no tiene alto contenido de colesterol siempre y cuando el huevo de codorniz
no tenga aceptación comercial.
C) Si el huevo de codorniz no tiene aceptación comercial, el huevo de avestruz tiene alto contenido de
colesterol.
D) El huevo de avestruz no tiene alto contenido de colesterol si y sólo si el huevo de codorniz tiene
aceptación comercial.
E) Sólo si el huevo de codorniz tiene aceptación comercial, el huevo de avestruz no tiene alto
contenido de colesterol.

20. Dado el esquema: (A  B)  A. Equivale a:

1) (A  B)  A 2) (A  B)  A
3) [(A  B)  A] 4) [(A  B)  A]
5) (A  B)  (B  A)
Son ciertas:
A) 1, 2 y 3 B) 2, 3 y 4 C) 3, 4 y 5
D) 1, 4 y 5 E) 1, 3 y 4

21. La fórmula: A  (B  C); es equivalente a:

 1) (A  B)  (A  C)
2) (A  B)  (A  C)
3) (A  C)  (A  B)
4) (A  B)  (A  C)
5) (B  A)  (C  A)
Son ciertas:
A) 1, 2 y 4 B) 2, 3 y 5 C) Sólo 2 y 4
D) 1, 4 y 5 E) 2, 3 y 4

22. Las equivalencias de: A  B son:

1) B  A 2) A  B 3) B  A
4) (A  B) 5) A  B
Son ciertas:
A) 1, 2 y 3 B) 2, 3 y 4 C) 1, 3 y 5
D) Todas E) 3, 4 y 5

23. Las equivalencias de: (A  B) son:

1) A  B 2) A  B 3) A  B
4) A  B 5) A  B
Son ciertas:
A) 2, 3 y 5 B) 3, 4 y 5 C) 1, 2 y 4
D) Todas E) 1, 3 y 4

24. Dado el esquema: [(A  B)  B]  A

Equivale a:
A) [(A  B)  A]  B
B) [(A  B)  B]  A
C) [(A  B)  B]  A
D) [(A  B)  B]  A
E) Ninguna
25. Dado el esquema: (AB)  C,
una de sus equivalencias es:
A) [(A  B)  C]
B) [(A  B)  C]
C) [(A  B)  C]
D) [(A  B)  C]
E) [(A  B)  C]
26. El esquema molecular siguiente:
[(A  B)  C]  D
tiene como equivalentes a:
1) C  [A  (B  D)]
2) (A  B)  (C  D)
3) B  [C  (A  D)]
4) [(C  D)  A]  B
5) A  [C  (B  D)]
Son ciertas:
A) 1, 3 y 5 B) 2, 3 y 4 C) 1, 4 y 5
 D) 2, 3 y 5 E) 1, 2 y 4

27. Dado el esquema: A  B, una de sus equivalencias es:

1) (A  B)  (B  A)
2) (A  B)  (A  B)
3)  (A  B)  (A  B)
4)  [(A  B)  (A  B)]
5)  [ (A  B)  (A  B)]
Son ciertas:
A) 1 y 3 B) 2 y 4 C) 3 y 5
D) 1 y 4 E) 2 y 5

28. Dado el esquema: A  B, una de sus equivalencias es:

1) [(A  B)  (A  B)]
2) (A  B)  (A  B)
3) [(A  B)  (A  B)]
4) [(A  B)  (B  A)]
5) (B  A)  (A  B)
Son ciertas:
A) 1, 2 y 4 B) 2, 3 y 5 C) 1, 4 y 5
D) 2, 3 y 4 E) 1, 3 y 5

29. La fórmula lógica: [(AB)  C] D

Tiene como equivalentes a:
1) [(A  B)  C]  D
2) (A  B)  (C  D)
3) A  [B  (C  D)]
4) B  [A  (C  D)]
5) C  [B  (A  D)]
Son ciertas:
A) 1, 2 y 3 B) 2, 3 y 4 C) 3, 4 y 5
D) Todas E) 1, 3 y 5

30. Dada la proposición:

“La UNAM y la UNTRM firmaron un convenio de intercambio académico”
Sólo por D’Morgan equivale a:
A) Es mentira que, la UNAM y la UNTRM no hayan formado un convenio de intercambio académico.
B) La UNAM y la UNTRM no firmaron un convenio de intercambio académico.
C) Es mentira que, la UNAM y la UNTRM hayan firmado un convenio de intercambio académico.
D) No es cierto que, la UNAM y la UNTRM hayan firmado un convenio de desintercambio académico.
E) Imposible aplicar la Ley de D’Morgan a la proposición dada.
Clase V SIMPLIFICACIÓN DE EQUIVALENCIAS LÓGICAS

Absorción A  (A v B)  A A v (A  B)  A
- A v (A  B)  - A  B - A v ( A B)  -A v B

Exportación (A  B)  C  A  (B  C)

Mutación A  (B  C)  B  (A  C)

Idempotencia AAA AvAA

Complemento A  -A  0 A v –A  1

Identidades A1A Av11

A00 Av0A

PRÁCTICA

1. La proposición: “La toxoplasmosis es una Por idempotencia, equivale a:

enfermedad parasitaria del hombre; y también
de los animales o es enfermedad parasitaria del
hombre”, aplicando la absorción equivale a:
A) La toxoplasmosis es una enfermedad
parasitaria del hombre y también de los
animales
B) La toxoplasmosis es una enfermedad
parasitaria del hombre o de los animales.
C) La toxoplasmosis no es una enfermedad
parasitaria del hombre.
D) La toxoplasmosis es una enfermedad
parasitaria del hombre.
E) N.A
2. La proposición:
“La vicuña es un auquénido aunque la vicuña
es un auquénido”.
A) La vicuña no es un auquénido
B) La vicuña es falso que sea un auquénido
C) Es falso que la vicuña sea
innegablemente un auquénido
D) La vicuña es un auquénido
E) N.A.
3. La proposición: “La lógica es una ciencia formal;
a menos que la Física sea una ciencia natural,
la Psicología Ciencia social y la Lógica ciencia
formal”. Por absorción equivale a:
A) La física es una ciencia natural y la
Psicología es ciencia social
B) La Lógica es ciencia formal, la Física es
una ciencia natural y la Psicología ciencia
social
 C) Es falso que la Lógica es una ciencia social
D) Es inequívoco que la Lógica es una ciencia 12. Dada la siguiente fórmula:
formal [(A  B)  (A  B)]  [(A  B)  (A B)]
E) La física es una ciencia formal. Su fórmula equivalente es:
1) A  B 2) (A  B) 3) (A  B)
4. La fórmula {{[A   A)  A]   A}   A ; 4) A  B 5) A  B
por aplicación de la ley del complemento es Son ciertas:
equivalente a: A) 1 y 2 B) 3 y 4 C) 1 , 3 y 5
A) A B)  A C) A   A D) 2 y 5 E) 1 y 5
D) [(A   A)  (A   A)]  A
E) 0 13. Al aplicar las leyes del Algebra booleana al
siguiente esquema:
5. La fórmula lógica: (A  A)  (A  A); por {[(A  B)  C]  (C  D)}  (D  C)
aplicación de la definición de la daga de Su equivalente es:
sheffer en su forma convencional es A) CD B) C  D C) C  D
equivalente a: D) (C  D) E) C  D
A) 1 B) 0 C) A D) A  A E)  A
6. La fórmula lógica : (A  B  C  D  E)  (A 14. Dado el esquema: [(A  B)  A]; tiene
 E); por aplicación de la absorción es como equivalente a:
equivalente a: A) A  A B) B  B C) A  B
A) A  B  C  D y E B) A C) E D) A  A E) A  A
D) A  E E) A  E
15. Dado el esquema: A  [(B  A)  A]; uno
7. La fórmula lógica: (A / B) /  A es equivalente de sus equivalentes es:
a: A) B  A B) A  B C) A  A
A) A B)  A C) A  B D) A  A E) A  A
D)  A  B E) N.A.
16. Dada la proposición: “Porque los humanos no
8. La fórmula lógica: (A   B) /  A  B es son autótrofos, es imposible que sean
equivalente a: invertebrados y bien o también no sean
A)  A / A B)  (A  A) autótrofos”
C)  ( A   A) D) A E)  B Una proposición equivalente a ésta es:
A. Los humanos son heterótrofos.
9. La fórmula lógica [( A  A)  ( B  A)] /  B. Los humanos son autótrofos.
B; es equivalente a: C. Los humanos son vertebrados.
A) A B) B C)  A  B D. Los humanos son invertebrados.
D)  B E) A  B E. Los humanos son autótrofos e
invertebrados.
10. Al simplificar, la fórmula proposicional:
17. La siguiente fórmula:
[(A  B)  (B  A)]  [A  (B  A)]
tiene como equivalente a: {[(AC)A]  [A(BC)]}  B
Equivale a:
A) A  B B) A  A C) A  B
1) A  B 2) A  A 3) B  1
D) (A  B)  A E) (A  B)  A
4) (C  C) 5) C  C
11. Dado el esquema: Son ciertas:
A) Sólo 1 B) Sólo 2 y 4 C) 3 y 5
[(AB)  C]  [C  (DD)]
D) 2, 4 y 5 E) 2, 3 y 4
Es equivalente a:
A) 0 B) 1 C) A D) C E) C
18. Dado el esquema: 3) [p  (p  q)]
[(A  B)  (C  D)(B  D)](A  C) 4) q  (p  q)
tiene como equivalente a: 5) p  p
A) A  C B) A  A C) C  A Son ciertas:
D) B  D E) A  A A) 1, 2 y 3 B) 2, 3 y 4 C) 3, 4 y 5
D) 1, 3 y 5 E) Todas
19. La fórmula: (F / G) / F, es equivalente a:
A) (F  G) B) (F  G)
C) (F  G) D) F  G
E) F 26. Sea la forma proposicional:
“Para que, sea suficiente A para no B, es
20. Dado el esquema: [(A / B)]  A; su suficiente que, para no A sea necesario B” Al
equivalente es: simplificarla tenemos:
A) A  A B) A  A C) A. A es compatible con B
AA B. A es incompatible con B
C. Ni A, ni B
D) A  A E) A  A
D. A salvo que B
E. No A, o sólo no B
21. Dado el esquema: (A  B)  (A  B);
tiene como equivalente a:
27. Sea la forma proposicional:
A) A  B B) A  B C) A  B “A y no B, implican respectivamente a B y no
D) A  B E) A  B A”
Al simplificarla, tenemos:
22. Dado el esquema: [(A  D)  (B  A)]  D; A) A a menos que B B) A aunque B
tiene como equivalente a: C) A excepto que B D) A sólo si B
A) A  A B) A  A C) A  A E) A o sólo B
D) A  A E) A  A
28. Dado el siguiente esquema molecular:
23. Dado el esquema: (A  B)  [(A  B)  (C  D)]
(A  B)  {[(C  D)  (C / D)]  (A  Uno de sus equivalentes es:
B)} A) A  C B) A  B C) A  B
tiene por equivalente a: D) A  (A  B) E) A  B
A) A  C B) A  B C) B  A
D) A  B E) A  B 29. Un equivalente del esquema molecular:
[A  (A  B)]  B es:
24. Dado el esquema: [(A  B)  A] / (B  A) A B) B C) C  C
A); tiene por equivalente a: D) A  B E) A  B
A) A  B B) B  A C) A  B
D) A  B E) B  A 30. La siguiente expresión: ~[(B A)  (A 
B)]
25. La siguiente variable proposicional: p Equivale:
tiene como fórmulas equivalentes a: A) A  B B) B  A C) ~A  ~A
1) [p  (q  q)]  (q  q) D) B  ~B E) ~B  A
2) p  (q  p)
Clase VI CIRCUITOS LÓGICOS

En lo que respecta a los circuitos lógicos hay varios sistemas. Por ejemplo tenemos el sistema de CIRCUITOS
A CONMUTADORES y CIRCUITOS A COMPUERTAS.

A. SISTEMA E CIRCUITOS A CONMUTADORES.

Es un circuito que tiene “Interruptores” que permiten el paso de la corriente o la interrupción de la
corriente.
NOTA:
En este caso:
El 1 indica pasa “Corriente”
El 0 indica “No pasa corriente”
En circuitos se usa como notación:
El 1 en lugar de V
El 0 en lugar de F

DISEÑO DE CIRCUITOS A CONMUTADORES

 Para una proposición:

P
(FOCO ENCENDIDO)
V(P) = 1 : Verdadero

(FOCO APAGADO)
P V(P) = 0 : Falso

 Para dos proposiciones p y q.

CIRCUITO CIRCUITO
LINEAL PARALELO
p
p q
q
pq p  q

NOTA:
En los circuitos conmutadores para representar los otros conectores lógicos, tenemos que hacer uso de
sus equivalentes, los cuales deben contar sólo con el conjuntor y/o disyuntor.
B. SISTEMA DE CIRCUITO A COMPUERTAS.
Son dos sistemas los que utilizaremos para representar a los circuitos lógicos mediante compuertas y
estos son: sistema ASA y el sistema ISO,

FÓRMUL SISTEMA ASA SISTEMA ISO OPERADOR

A LÓGICA

A A A 1 NOT

A A
AB And
B B
A A
AB 1 Or
B B

A A
AB =1 Xor
B B

A .B A A Nxor
=
B B
A A
A/B 1 Notornot
B B

AB A A Notandnot
B B

A A
(AB) Notand
B B

(AB) A A Notor
1
B B

PRÁCTICA

1. La formula (A↓B) ↓ (−C↓−A) A -A

e)
corresponde al circuito: B -C
A–B -C A –--- B
a) b)
A–B C
2. Dado el circuito
-A B
C -A B C -A C
c) d)
-A
-A – B
D C
Corresponde a la fórmula:
a) { [ − A∧( B∨C ) ]∨− A }∨(D∨C )
b) { [− A∧( B∨C ) ]∧− A }∨(D∧C )
c) { [− A∧( B∨C ) ]∨− A }∨(D∧C )
d) { [ A →( B∨C ) ]∨− A }∨( D∧C ) Rpta:…………………………………
7. Buscar la formula lógica correspondiente al
3. El circuito siguiente circuito lógico.
A-B-C
~C
~B

~A

Se formalizan:
[ ( A∧B∧C )∨(−B∧−C )]∨− A Rpta: ………………………………..
a)
b) { [ ( A∨B∨C )∧−B ]∨−C }∧−A 8. El circuito:

c) [ ( A∧B∧C∨−B )∧−C)]∨− A
d) {[ ( A∧B∧C )∨−B ]∧−C }∨−A
Equivale a:
4. El circuito: a) ( A →B )∧(B → A )
A B −(−A↔B)
b)
A C
B
c) ( A∧B)∨(−A∧−B)
A d) Todas
Es el diseño de la fórmula lógica:
a) A∧ [ ( A∧B )∨( B∧ A ) ]∧C 9. El diseño lógico:

b) A∧ [ ( A∧B )∨( B∧ A ) ]∨C

c) A∧ [ ( A∧B )∨( B∨ A ) ] ∧C
Se formaliza:
d) A∧B∧D a) [( A /¬B)∧( A/ B)∧( B/¬A )∧( A →¬ A )]
e) N. A. b) [( A /B )∨( A /¬B)]∧( B/ A )∧( B→¬A )
c) [( A ↓B )+( A /¬B )]∧(B/¬ A)∧( B→¬B )
5. La formula lógica (− A≠ − B ) en d) [( A ↓¬B)+( A /B )]∧(B /¬ A )∧( A→¬B )
circuitos como:
a) 10. La siguiente formula ˜ (˜A←˜ B)↓˜C
b) Se representa:

a) -A B C
d)
c)
b)
6. Encontrar la fórmula correspondiente al
siguiente circuito lógico.
 c) {[( p∧−q )∨r ]∧−p }∨ [ r∨( p∨q ) ]
c)
d) [( p∧−q )∨(r ∧− p) ]∨[ r∨( p∨q ) ]
d) e) Pvq

14. El siguiente diseño:

e) N. A.

11. La formula ( A ↓B )↓(C ↓−A )

corresponde al circuito:

a) b)

c) d)

Corresponde a la formula:…………….
12. El circuito:
15. El siguiente circuito:

Se representa como: Se representa como:

a) [ A∨(B∨C )]∨[ (− A∧−B )∧C ] a) A∧ {[ ( A∧C )∨( A∨B ) ] ∨(B∧C ) }

b) {[ A∧( B∨C )]∧ [(− A∨−B ) ] }∨C b) A∧ {[ ( A∧C )∧( A∨B ) ] ∨(B∧C ) }
c) {[ A∨( B∧C )]∨(− A∧−B) }∧C c) [ A∧( A∧C )∨( A∨B )]∨( B∧C )
d) {[( A∨B)∧C ) ]∨(−A∧−B )}∧C d) A∧( A∨B )∧[ C∧( A∧B )]∨(B∧C )

13. El siguiente diseño: 16. El Circuito Lógico dado:

Equivale a:
A) A B) B C) A  B
Se formaliza como: D) A  B E) B  A
a) {[( p∧−q )∧r ]∧−p }∨ [ r∨( p∨q ) ]
17. El siguiente circuito:
b) {[( p∨−q )∧r ] ∧−p }∨ [ r∨( p∨q ) ]
 A) AND B) OR C) NAND
A D) NOT 6E) NOT XOR

B
A
Tiene como función principal:
18. El Circuito Lógico adjunto:
C

&
>1
=1

Se formaliza como:
A) [(A  B)  (B  C)]  A B) [(A  B)  (B  C)]  A C) [(A  B)  (B  C)]  A
D) [(A  B)  (B  C)]  A E) [(A B)  (B  C)]  A
=

19. El siguiente circuito:

A
=1 1 =1
B

& 1

Representa a la fórmula:
A) ( XOR )∧(NAND ) B) ( NOR)∨( XOR ) C) (OR)⊕( NAND)
D) ( NAND)≡( XOR ) E) ( XOR )⊕( NAND)

20. El siguiente circuito:

Tiene como función principal:

A) AND B) NOT C) NAND D) NOT OR E) NOT NAND

21. El circuito adjunto se formaliza como:

p
q
 a) p  [(p  q)  q] b) p[(qp)p] c) p  [(p  q)  q]
d) p  [(p  q)  q] e) p  [(p  q)  q]
22. El Circuito Lógico dado:
A

Equivale a:
A) A B) B C) A  B D) A  B E) B  A

23. El circuito adjunto:

A =
=
B =1

C =1 =

Equivale a:
A) AA B) A(BC) C) AB
D) AA E) AA

24. El Circuito Lógico dado:

A
B

Equivale a:
A) A B) B C) A  B D) A  B E) B  A

25. El Circuito Lógico adjunto:

B & =1 =

C >1
 Se formaliza como:
A) [(A  B)  (B  C)]  A B) [(A  B)  (B  C)]  A C) [(A  B)  (B  C)]  A
D) [(A  B)  (B  C)]  A E) [(A B)  (B  C)]  A

26. El circuito lógico mostrado en la figura equivale a:

A
>1
>1
1
>1
B >1

A) A  B B) A  B C) A  B
D) A  B E) A  B

27. Dada la compuerta:

A
B = 1
&

Se formaliza como:
A) A  (A  B)  B B) A  [(A  B)  B]
C) A  [(A  B)  A] D) A  [(A  B)  A]
E) A  [(A  B)  B]

28. Dada la compuerta:

A
1
B =
=1
C

Se formaliza como:
A) [(AB)  C]  B B) [(AB)  C]  B C) [(AB)C]  B
D) [(AB)  C]  B

29. La proposición lógica: “La piscina está temperada porque hay calefacción o la piscina está temperada
porque habrá concurso de natación”. Es equivalente en circuito lógico a:
 a) A b) A
B B
C C

c) A d) A
B B

C C

30. El circuito adjunto:

A =
=
B =1

=1
C =

Equivale a:
A) A  A B) A(BC) C) AB
D) A  A E) A  A

31. Dado el siguiente circuito:

p

Uno de sus equivalentes es:

A) pq B) pq C) pq D) pq E) pq

32. Dado el siguiente circuito:

p & 1 =1

Su fórmula simplificada es:

A) pp B) pp C) pp D) pp E) pp

33. El circuito adjunto se lee como:

p 1
1
q 1
A) (pq)(pq) B) (pq)(pq)
C) (pq)(pq) D) [(pq)(pq)]