“UNIVERSIDAD NACIONAL JOSE FAUSTINO SANCHEZ

CARRION
TEMA: ENUNCIADOS Y PROPOSICIONES

LÓGICA PROPOSICIONAL A. CONJUNTIVA: Son

aquellas proposiciones
1. PROPOSICIÓN LÓGICA: Es el significado de que se relacionan
una expresión aseverativa, que se caracteriza por mediante la conjunción
tener un valor veritativo (es decir, el significado gramatical copulativa “y”
tiene la posibilidad de ser verdadero o falso pero o sus expresiones
no ambos a la vez). equivalentes.
Las proposiciones lógicas se representan Ejemplos:
mediante letras minúsculas (p; q; r; …) a las  José fue biólogo y Carlos físico
cuales se les denomina variables proposicionales.  17 es impar y además es primo
Ejemplos:  La actriz es delgada, pero con fuerza.
p: (7-2).3>14
q: Lima es una ciudad africana. B. DISYUNTIVA: Son aquellas proposiciones
r: El rio Caplina pasa por Arequipa. que se relacionan mediante la conjunción
disyuntiva “o” o sus expresiones
2. CLASES DE PROPOSICIONES: equivalentes. Pueden ser:

A) PROPOSICIÓN SIMPLE O ATÓMICA: Es Inclusiva (débil): Es aquella en la cual

aquella proposición con un solo significado, se consideran las posibles
carente de conjunciones gramaticales y del ocurrencias simultáneas o
adverbio de negación “NO”. individuales de las
Ejemplos: proposiciones
• 7 y 13 son números primos. componentes.
• El plomo es resistente. Ejemplos:
 Hace frío o está
B) PROPOSICIÓN COMPUESTA O lloviendo.
MOLECULAR: Es aquella que tiene dos o  10 es par o múltiplo de 2.
más significados unidas por conjunciones
gramaticales o en Exclusiva (fuerte): Esta disyunción
todo caso contiene el adverbio de negación excluye la posibilidad de
“NO”. ocurrencia simultanea de
Ejemplos: amabas proposiciones
• Hoy es martes y toca Raz. Matemático. componentes.
• No es cierto que el gato ladre. Ejemplos:
 viajas por tierra o por
3. CONECTIVOS LÓGICOS: Son los términos de aire.
enlace entre proposiciones lógicas simples. Los  es blanco o es negro.
conectivos lógicos que más usaremos son los
siguientes: C. CONDICIONAL: Son
aquellas proposiciones que
Nombre de la Termino en el Símbolo se relacionan mediante la
proposición lenguaje común Scholz conjunción condicional
Negativa No es cierto que ~ “si...entonces...” o sus
Conjuntiva …y … ∧ expresiones equivalentes.
Disyuntiva …o… ∨ Ejemplos:
Condicional Si … entonces … → • Si estudias entonces
Bicondicional … si y solo si … ↔ ingresarás.
• Si llueve entonces me mojaré.
4. ESQUEMA MOLECULAR: Es una fórmula
lógica que resulta de la combinación de variables D. BICONDICIONAL: Son
proposicionales, constantes lógicas y signos de aquellas proposiciones que
agrupación. Un esquema molecular posee un se relacionan mediante la
correspondiente valor de verdad para los valores conjunción compuesta “si y
dados a cada variable proposicional. solo si” o sus expresiones
equivalentes.
5. TABLAS DE VERDAD: Ejemplos:
 11 es primo si y solo si tiene 2 divisores.
 Es un cuadrilátero si y solo si tiene 4
lados.

1
 ABCABAC
E. NEGATIVA: Son aquellas ABCABAC
expresiones que hacen uso A BCA BA C
del adverbio negativo “no” o
sus expresiones  leyes bicondicionales:
equivalentes. A  B   A  B    A  B 
Ejemplos: A  B   A  B    ~A  ~B
• La filosofía no es una ciencia. A  B    A  B
• No es posible que existan los marcianos.
A  B   A  B    A  B 
A  B   A  B    ~A  ~B
6. EVALUACIÓN DE ESQUEMAS
MOLECULARES: Consiste en obtener el valor o
 leyes de transposición:
los valores del conectivo lógico de mayor
jerarquía a partir de los valores veritativos de p  q ≡ ~ q ~ p
cada una de las variables proposicionales. pq≡~q~p≡~p~q
A  B  B  A  A  B
7. LEYES DEL ÁLGEBRA PROPOSICIONAL:
Permiten transformar y simplificar formulas  Unas más:
lógicas: A B AB
A  B  A  B
 leyes de la ABSORCIÓN A  B  A  B
A(AvB)≡A A  B  A  B
Av(AB)≡A
A(~AvB)≡AB  (A  B)  A  A  B
Av(~AB)≡AvB (A  B)  A  A  B
(A  B)  A  A  B
 Elemento Neutro (A  B)  A  A  B
VAV
FAF  AVA
VAA A  F  A
FAA A  V  A
AFA
 A v ~A ≡ V
A  ~A  F  AAV
A  A  F
 leyes del condicional: AAF
AB≡~AvB A  A  V

 leyes de MORGAN 8. CIRCUITOS LÓGICOS:

ABAB Un circuito lógico es la representación gráfica de
ABAB una o más proposiciones, utilizando los esquemas
denominados circuitos eléctricos. Según la
 ley de involución (doble negación) : disposición de los interruptores en un circuito, se
~(~A)≡A tienen dos tipos:

 Ley de ídem potencia A. CIRCUITO EN SERIE: Es aquel que está

AvA≡A constituido por interruptores uno detrás de
AAA otro.

 Leyes conmutativas :  p ∧ q se representa:

ABBA
AvB≡BvA
AB≡BA
ABBA
 p ∧ q ∧ r se representa:
 Leyes asociativas:
(AB)CA(BC)
(AB)CA(BC)
(AB)CA(BC) B. CIRCUITO EN PARALELO: Es aquel que
(AB)CA(BC) está constituido por interruptores uno al lado
del otro.
 Leyes distributivas:
ABCABAC  p ∨ q se representa:

2
 B. UNIVERSALES NEGATIVAS:
“Ningún S es P”
1ra Forma 2da Forma
S P S P

vacío
 p ∨ q ∨ r se representa:

C. PARTICULARES AFIRMATIVAS:
“Algunos S son P”
S P
9. FORMALIZACIÓN:
X
OPERACIÓN SÍMBOLO TRADUCCIÓN
LÓGICA
Conjunción ∧ Y, pero, mas,
también, mientras,
sin embargo, tanto D. PARTICULARES NEGATIVAS:
… como …, “Algunos S no son P”
aunque, además
S P
Disyunción ∨ O, u, salvo, a
débil o menos que,
inclusiva excepto X
Disyunción △ O…o…
fuerte o
exclusiva
Condicional → Si … entonces, de
directa o modo que, por lo
implicación tanto, se sigue
que, implica que,
contiene a
Condicional ← Siempre que, ya
indirecta que, pues, puesto
que, dado que, 1. Sabiendo que la proposición:
cuando, debido a [(p ∧ q) ∧ ~ 𝑟 ] → (s ∨ ~ t) es falsa. Halla los
que, porque. valores de p; q; r; s y t
Bicondicional ↔ Si y solo si,
equivalente a) VVVVV b) FVFFV c) FFVFF
negación ~ No, es falso que, d) VVFFV c) FVFFF
no es cierto que,
no es verdad que SOLUCIÓN:

10. PROPOSICIONES CATEGÓRICAS: [( p ∧ q ) ∧ ~ 𝑟 ] → ( s ∨ ~ t ) ≡ F

Nos permite deducir con certeza una o más V V F V
conclusiones, a partir de una o mas proposiciones
llamadas premisas, por medio del uso de los V V F F
diagramas de Venn.
V F
Se pueden dar los siguientes casos:
p=V q=V r=F s=F t=V
A. UNIVERSALES Y AFIRMATIVAS:
2. El lenguaje tiene significado salvo que tan solo
“Todos los S son P” tenga sentido, no es cierto que el lenguaje no
1ra Forma 2da Forma tiene sentido salvo que tan solo tenga significado.
Su formalización es:
P S P
S A) AB B) (AB)  -(-BA)
vacío C) (AB)  (AB) D) (AB)  (AB)
E) (AB)  -(BA)

SOLUCIÓN:

A: El lenguaje tiene significado

3
 B: Solo tiene sentido
Luego (AB)  -(-BA) SOLUCIÓN:
E= Estudiosos
3. Simplificar el siguiente esquema molecular: P=Playa
~[~(pq) → ~q] T= Aprovechan el tiempo

a) ~p ∧ q b) ~p ∨ q c) p ∧ ~q
d) p ∨ ~q c) p ∧ q

SOLUCIÓN:

~[~(pq) → ~q] Ley condicional

~[(p ∧ 𝑞) ∨ ~q] ley de absorción
Entonces
~[p ∨ ~q] ley de D’Morgan
~p ∧ q

4. Halla una proposición equivalente a: "No es

cierto que Susan postuló a la UNJBG o a la
UNSA".

a) Susan postuló a la UNJBG y a la UNSA

b) Susan postuló a la UNJBG y no a la UNSA
c) Susan no postuló a la UNJBG ni a la UNSA
d) Susan no postuló a la UNJBG y si la UNSA
∴ Algunos estudiosos pierden tiempo
e) Susan postuló a la UNJBG o a la UNSA

SOLUCIÓN:

p: Susan postuló a la UNJBG

q: Susan postulo a la UNAS
Luego: ~(p ∨ q)
1. Son proposiciones lógicas:
Por D’Morgan: ~(p ∨ q) ≡ ~p ∧ ~q
1) A buen entendedor pocas palabras.
∴ Una proposición equivalente sería: 2) Es diputado del Perú.
" 𝑆𝑢𝑠𝑎𝑛 𝑛𝑜 𝑝𝑜𝑠𝑡𝑢𝑙ó 𝑎 𝑙𝑎 𝑈𝑁𝐽𝐵𝐺 𝑛𝑖 𝑎 𝑙𝑎 𝑈𝑁𝑆𝐴" 3) 8 + 3 = 6
4) “Platero, es una palabra de ocho letras”
5. Hallar la fórmula del siguiente circuito: 5) El petróleo es mineral.
Son correctas:

a) 1,2,3
b) 2,3,4
c) 3,4,5
d) 1,3,5
e) 1,4,5
a) ~p → q b) p → q c) p → ~q
d) ~p → ~q c) p ∧ q 2. Son proposiciones simples:
1) Si llegas temprano, haremos fiesta.
SOLUCIÓN: 2) Trabajas o juegas.
3) O tienes sed o tienes hambre.
Aplicando los circuitos en serie y paralelo 4) La lluvia moja la pista.
5) La uva es cereal
(~p ∨ q) ∨ [(~p ∨ q) ∧ r] Son incorrectas:
(~p ∨ q)
p→ q a) 1, 2, 3
b) 2, 3, 4
6. Si: c) 3, 4, 5
 Algunos estudiosos van a la playa d) 1, 3, 5
 Todos los que van a la playa pierden tiempo e) N.A.
Entonces
A) Los que van a la playa no son estudiantes 3. Si el siguiente esquema es falso:
B) Los que van a la playa son estudiosos pqrs rq
C) Algunos estudiosos pierden tiempo Indicar el valor de p, q, r, s
D) Todos los estudiosos aprovechan el tiempo
E) No todos los que van a la playa aprovechan el a) VFVF
tiempo. b) FVFV
4
 c) VVVF c) (A  B)
d) FFVV d) (B  A)
e) FFFV e) N. A.

4. Si: (  p   r    r  q  es falso. 10. “No es el caso que; Kasandra no sepa tocar el

Señale cuales son verdaderas: órgano y no componga una canción, puesto que
I. psq es egresada del conservatorio de música”, se
II. tqp formaliza:
III. qs
a) r  (p  q)
a) Sólo I b) (p  q)  r
b) I y III c) (p  q)  r
c) I y II d) r  (p & q)
d) II y III e) r  (p   q)
e) N. A.
11. La proposición: “Sin mandato judicial ni
5. Si el siguiente esquema: autorización de la persona que lo habita, no se
prspqrs puede ingresar en el domicilio, tampoco efectuar
es falso; hallar el valor de verdad de: investigación ”, se formaliza:
I. psq
II. sqp a) (p  q)  (r  s)
III. srpq b) (p  q)  (r  s)
c) (p  q)  (r  s)
a) VFF d) (p  q)  (r  s)
b) FFV
e) (p  q)  (r  s)
c) VVF
d) FVV
12. La proposición “No es falso que sea absurdo que,
e) N. A.
el león es un mamífero”, equivale a:
i. El león no es doméstico.
6. Simplificar el siguiente esquema:
ii. El león no es mamífero
rqpq iii. Es objetable decir que, el león sea mamífero
iv. El león es mamífero o además vertebrado.
a) p v. No es innegable que, el león sea mamífero.
b) p  q No son ciertas excepto:
c)  q  p
d) V a) i, ii, iii
e) q  p b) ii, iii, v
c) i, ii, v
7. Simplificar el esquema: d) ii, iii, iv
qppqpq e) N.A.

a)  p   q 13. La proposición: “Si se restringen los créditos

b) p  r bancarios, muchas empresas se ven obligadas a
c) p cerrar”, se define como:
d)  q 1) No se restringen los créditos bancarios
e) q jamás
2) Muchas empresas se verán obligadas a cerrar
8. Al simplificar: suponiendo que se restrinjan los créditos
ppq bancarios
se obtiene: 3) Muchas empresas se ven obligadas a cerrar
salvo que no se restrinjan los créditos
a) p  q bancarios
b) q  p 4) Se restringen los créditos bancarios pero
c) p   q muchas empresas no se ven obligadas a cerrar
d) p  q 5) Es mendaz que, muchas empresas no se vean
obligadas a cerrar pero se restrinjan los
e) p  q
créditos bancarios
Son ciertas:
9. La proposición lógica: “No se da que, un
triángulo escaleno tiene un lado mayor porque es
a) 1, 2 y 3
opuesto al ángulo de 90º”.
b) 2, 3 y 4
Se formaliza:
c) 3, 4 y 5
a) (A  B)
d) 2, 4 y 5
b) B  A e) 2, 3 y 5
5
 18. “Ningún tirano es demócrata y algún tirano es
14. La proposición: “La Lógica es necesaria para la peruano”, concluimos que:
ciencia a menos que para la ciencia sea necesaria
la Lógica; aunque; es necesaria para la ciencia, la a) Todos los peruanos son demócratas.
Lógica”. Equivale a: b) Algún peruano no es demócrata
a) La Lógica no es necesaria para la c) Algún peruano es demócrata.
ciencia d) Algún demócrata no es peruano.
b) La Lógica es necesaria para la ciencia e) Todos los demócratas son peruanos.
c) Para la ciencia, la Lógica no es
necesaria 19. “Todo biólogo es empirista y todo empirista es
d) La ciencia no es necesaria para la inductivista”, luego:
Lógica
e) Ni la Lógica ni la ciencia dejan de ser a) Algunos biólogos son empiristas.
necesaria para la humanidad b) Todo inductivista es biólogo.
c) Todo biólogo es inductivista.
d) Algunos inductivistas son biólogos.
15. Simplificar el siguiente circuito: e) Todo biólogo no es inductivista.
-p q
q 20. Ningún orate toca violín. Ningún francés deja de
p tocar el violín. Todos los estudiantes son orates.
-q
p
Entonces:

a) Algunos estudiantes tocan violín.

a) p
b) Los franceses estudian.
b) q
c) Ningún francés es estudiante.
c) p d) Algunos franceses son estudiantes.
d) pq e) Algunos franceses son estudiantes y algunos
e) q orates no tocan el violín

16. Al simplificar el siguiente circuito lógico:

q
-p
q p r
r p

a) q
p

b) q
p

c) q
q
-p
d) r

e) p q

17. Simplificar el circuito:

p p
-r -q
q r
r
-q
Si cada conmutador del siguiente circuito cuesta
S/. 15. ¿Cuánto se ahorrará con su mínimo
equivalente?

a) 80
b) 100
c) 65
d) 75
e) 55

6
7