LICEO NAVAL C DE C MANUEL CLAVERO CUARTO AÑO

TEMA: LÓGICA PROPOSICIONAL

PROPOSICIONES
Son enunciados que deben ser verdaderas o falsos.

Ejemplos:
- Todas las aves vuelan
- 3 es un número irracional

Las proposiciones pueden ser:

Simples o Atómicas
No tienen conjunciones gramaticales o el adverbio “no”.

Compuestas o Moleculares
Contienen conjunciones gramaticales como “y”, “o”, . . . “si”,
“entonces”, “sí y solo sí”, “no”, etc.

CONECTIVOS LÓGICOS:
Son símbolos que se usan para relacionar proposiciones; para formar
proposiciones compuestas partiendo de las proposiciones simples.

SON LOS SABIOS QUIENES LLEGAN A LA VERDAD A

TRAVÉS DEL ERROR; LOS QUE INSISTEN EN EL

ERROR SON LOS NECIOS

RÜCKERT

ARITMÉTICA 4º AÑO 1
LICEO NAVAL C DE C MANUEL CLAVERO CUARTO AÑO

Símbolo Nombre Lenguaje común

“no”, “no es cierto que” “no
~ Negación
es el caso que”
“y”, pero, sin embargo,
∧ Conjunción
además, aunque.
Disyunción
Ѵ “o”
inclusiva
Disyunción
∆ “o”, “o... o...”
exclusiva
“si... entonces...”
→ Condicional “si... dado que...”
“... siempre que...”
↔ Bicondicional “sí y solo sí”

1. Conjunción
Une dos proposiciones mediante e l término “y”
Ejemplo:
Juan es estudiante y juega fútbol
p: Juan es estudiante
En símbolos p ∧ q
q: Juan juega fútbol

La Conjunción es verdadera solo cuando

ambas proposiciones son verdaderas

2. Disyunción Inclusiva (ѵ)

Une dos proposiciones mediante el término “o”
Ejemplo:
Juan irá al cine o al estadio

p: Juan irá al cine

En símbolos p ѵ q
q: Juan irá al estadio

2 ARITMÉTICA 4º AÑO
LICEO NAVAL C DE C MANUEL CLAVERO CUARTO AÑO

La Disyunción Inclusiva es falsa únicamente

cuando ambos componentes son falsos
siendo verdadera cuando al menos uno de las
componentes es verdadera.

3. Disyunción Exclusiva (∆ )
Une dos proposiciones mediante el conector “o” pero exclusivo.
Ejemplo:
Einstein era Peruano o Judío
P: Einstein era Peruano
En símbolos p ∆ q
q: Einstein era Judío

La Disyunción Exclusiva es verdadera

cuando sus componentes tienen diferentes
valores de verdad y es falsa cuando tienen
iguales valores de verdad o falsedad.

4. Condicional (→)
Es la combinación de dos proposiciones mediante: “si... entonces”
Ejemplo:
Si trabajas tendrás dinero
P: Trabajas
En símbolos p → q
q: Tendrás dinero

El condicional es falso cuando antecedente

es verdadero y el consecuente es falso, en
los demás casos es verdadero.
5. Bicondicional (↔)
ARITMÉTICA 4º AÑO 3
10
LICEO NAVAL C DE C MANUEL CLAVERO CUARTO AÑO

Es la combinación de dos proposiciones con “... si y solo si ...”

Ejemplo:
Serás profesional si y solo si estudias
P: Serás profesional
En símbolos p ↔ q
q: Estudias

La bicondicional es verdadera cuando ambos

componentes tienen igual valor de verdad y
es falso cuando sus componentes son de
diferentes valores.

6. Negación (~)

Cambia el valor de verdad de la proposición

Ejemplo:
No es cierto que Juan sea ingeniero y médico
P: Juan es Ingeniero
En símbolos ~(p ∧q)
q: Juan es médico
Observaciones:
1. ~(~ p) = p
2. p ∆ q ≡ ~(p ↔ q)
3. Cuando las proposiciones compuestas tienen más de 2
conectivos, se usan de agrupación.
Ejemplo:
a) (p ѵ q) ∧ r
b) p ↔ [p ѵ (q → r)]

LEYES LÓGICAS
1. De Morgan

4 ARITMÉTICA 4º AÑO
LICEO NAVAL C DE C MANUEL CLAVERO CUARTO AÑO

~(p ∧ q) ≡ ~p ∨ ~q
~(p ∨ q) ≡ ~p ∧~q

2. De Condicional
p → q ≡ ~p ѵ q
p → q ≡ ~(p∧~q)

3. Transposición
p → p ≠ ~q → ~p
CONTRADICCIÓN

Cuando los valores de su operador principal son todos falsos.

p q [(p ∧ q) ѵ q] ∧ ~q
V V V V V F F
V F F F F F V
F V F F V F F
F F F F F F V

TAUTOLOGÍA
Cuando todos los valores del operador principal son verdaderos.

p q [(~p ∨ q) ∧ ~q] → ~q
V V V F F V F
V F F F V V F
F V F F F V V
F F F V V V V
CONTINGENCIA
Cuando los valores de su operador tiene por lo menos una verdad y
una falsedad.

ARITMÉTICA 4º AÑO 5
LICEO NAVAL C DE C MANUEL CLAVERO CUARTO AÑO

p q (p → q) ∧ (p ∧ q)
V V V F F
V F F F V
F V V V V
F F V F F

PROBLEMAS PARA LA CLASE

1. ¿Cuáles de las Son contingencias:

siguientes proposiciones
compuestas son 3. Si “r ∧ s” es falso
tautológicas? y “r∆ s” es falso. Hallar el
i. (p ∧ ~q) ѵ valor de verdad r y s,
(~p ѵ q) respectivamente
ii. (q → ~p)
∆ (p ∧ ~q) 4. Si “w ↔ t” es verdadero
iii. (~q ↔ p) y
“v → t” es falso, hallar el
→ (q∆ ~ p) valor de verdad de t, v y w,
respectivamente.
2. De las siguientes
proposiciones 5. Si la proposición
i. (p → q) compuesta:
↔ (p∧~q) (p ∧~q) → (r → ~s)
Es falsa, hallar el valor de
ii. (p → q) verdad de las proposiciones
↔ (~p ѵ q) q, p, r, s, respectivamente.
iii. [(p ∧ ~q)
ѵ q] ∧ ~p
6. Si la proposición
iv. [(p ѵ q) → compuesta:
q)] ∆ [(q ∧p) ∆ q] ~[(q ↔ r) ∧ ~(r ѵ t)] es falsa,
hallar el valor de verdad de
6 ARITMÉTICA 4º AÑO
LICEO NAVAL C DE C MANUEL CLAVERO CUARTO AÑO

las proposiciones: q, r, t, proposiciones son

respectivamente. verdaderas?
i. (p ѵ s) ∧q
7. Si la proposición ii. (t ∧ q) →
compuesta: r
~{(q → t) ѵ [q ∆ (p ↔ t)]} iii. (s ∆ t) →
Es verdadera, hallar el valor q
de verdad de las
proposiciones, q, t, p
respectivamente. 11. Sabiendo que:
~(p ∧ q) → [(p → q) ѵ r]
8. Si la proposición es falsa, podemos concluir
compuesta: que:
(~p ∧r) → (r ∧ ~q)
Es falsa, hallar el valor de i. (p ѵ q) es
verdad de las proposiciones verdadera
r, q y p, respectivamente. ii. (p ∧ q) es
verdadera
iii. (p ∆ r)
9. Si se sabe que:
es falsa
[(p ∧r) → q] ∆ [(p ѵ ~q) ѵ (p →
iv. (p ↔ r)
q)] es falsa
Es verdadera, hallar los v. Más de
valores de p, q y r, una es correcta
respectivamente.

10. Si la proposición 12. Si (p ∆ q) y (q → r) son

compuesta: falsas ¿Cuáles de las
siguientes proposiciones son
~ (p ∨~ q) ∧ (q ↔ r)
verdaderas?
Es verdadera y las
proposiciones s y t tienen
i. (~p ѵ t)
valor de verdad desconocido. ѵq
¿Cuáles de las siguientes

ARITMÉTICA 4º AÑO 7
LICEO NAVAL C DE C MANUEL CLAVERO CUARTO AÑO

ii. ~(p ∧ (~q ii. (s → q) ∆

ѵ q)) (p ѵ r)
iii. [~p ѵ (q ∧ iii. (q → r) ѵ
~t)] ↔ [(p → q) ∧ ~(p ∧ (p ∆ r)
t)]
15. Si la proposición
13. Sabiendo que: [(p compuesta
→ q) ѵ ~r] es falsa, y que [(s (r → ~q) ѵ (r ↔ ~s)
↔ p) ∆ r] es verdadera. Es falsa y además t es una
¿Cuáles de las siguientes proposición cuyo valor de
afirmaciones son correctas? verdad se desconoce.
¿Cuáles de las siguientes
i. [~(p ѵ s)] proposiciones son
es verdadera verdaderas?
ii. (s ∧ t) es i. ~r → (t ∧
falsa ~s)
iii. (q → s) es ii. (t → ~q)
verdadera ѵ (r ∧ q)
iii. ~(r ∆ s)
14. Si la proposición: ∧ (r ѵ t)

(p ∆ q) ∧ ~(q → r)
Es verdadera. ¿Cuáles son
verdaderas?

i. (s ∧ r) →
(p ѵ s)

COMO UN IR Y VENIR DE OLA DE MAR, ASÍ

QUISIERA SER EN EL QUERER, DEJAR A UNA

MUJER PARA VOLVER, VOLVER A OTRA MUJER

PARA EMPEZAR

8 ARITMÉTICA 4º AÑO
LICEO NAVAL C DE C MANUEL CLAVERO CUARTO AÑO

LEONIDAS YEROVI

ARITMÉTICA 4º AÑO 9
LICEO NAVAL C DE C MANUEL CLAVERO CUARTO AÑO

PROBLEMAS PARA LA CASA

1. Si la proposición ii. “s ∧ t”
(~p ∧~r) → (r ∆ q) puede ser verdadera o
Es falsa y las proposiciones s falsa.
y t tienen valor de verdad iii. “q” es
desconocido. ¿Cuál de las falsa
siguientes proposiciones son
verdaderas? A) B)
i. (p ∧ s) ѵ q Sol I y
ii. (s ѵ t) → oI II
r C) D)
iii. (t ∧ q) → II I y
p y III II
E)
A) B) Nin
Solo II Solo III guna
C) D)
I y II II y III 3. La proposición
E) compuesta:
Ninguna (p ↔ q) → (q ѵ r)
Es falsa, luego:
i. “p ∆ q”
2. Si la proposición
no es falsa
compuesta:
(q ∧ s) ∆ (s ѵ t) ii. “q ∧ r” no
Es verdadera. ¿cuáles de las es verdadera
siguientes afirmaciones son iii. “q → q”
correctas? es falsa
i. “q → t” Son ciertas:
es verdadera.

A B

10 ARITMÉTICA 4º AÑO
LICEO NAVAL C DE C MANUEL CLAVERO CUARTO AÑO

S S C D
olo I olo II ) )
C D I I
) ) y II y III
I I E
y II y III )
E T
) odas
T
odas 5. Si la proposición
compuesta:
~(s ∆ r) ѵ ~(r ∧t)
4. Sabiendo que la Es falsa ¿Cuáles de las
proposición r es verdadera. siguientes proposiciones son
¿En cuál de los siguientes falsas?
casos es suficiente dicha i. (s → p) ѵ
información para determinar (r ∧q)
el valor de verdad de las ii. (q ѵ s) →
proposiciones? (p ѵ t)
i. ~r ∧ (p ∆ iii. (r ↔ s) →
q) [(r ∧p) ↔ (s ∆ t)]
ii. (p → r) ∧
q A) B)
iii. r ∧ (~q ↔ Sol Sol
~p) oI o II
C) D)
A B II To
) ) y III das
S S E)
olo I olo III
ARITMÉTICA 4º AÑO 11
LICEO NAVAL C DE C MANUEL CLAVERO CUARTO AÑO

Nin suficiente dicha información

guna para determinar el valor de
verdad de las proposiciones?
6. Sabiendo que la
i. (~p → r)
proposición “r” es verdadera
ѵ [(r ѵ s) ∆ t]
¿En cuál de los siguientes
ii. (p ∧ r) ∆
casos es suficiente dicha
[p ѵ (q → s)]
información para determinar
iii. [~p ∧ (q ѵ
el valor de verdad de las
r)] → [s ↔ (r → t)]
proposiciones?
i. ~r ∧ (p ∆
q) A B
ii. (p → r) ѵ ) )
q S S
iii. (p ∆ r) → olo I olo III
(r ∧q) C D
) )
A) B) I I
Sol Sol I y III y III
oI o II E
C) D) )
Sol I y N
o III II inguna
E)
II
8. Para determinar
y III
el valor de verdad de la
7. Si “p” es
proposición:
verdadera ¿En cuál de los
(p ∆ q) → (r ∧s)
siguientes casos es

12 ARITMÉTICA 4º AÑO
LICEO NAVAL C DE C MANUEL CLAVERO CUARTO AÑO

Es suficiente para saber

que: A) B)
Sol Sol
oI o II
A) “r” es C) D)
falsa Sol I y
B) “s” es o III II
E)
verdadera
II
C) “r ѵ s” es y III
falsa
10. Si
D) “q ∆ r”
{~[(p ↔ ~s) ∧~(r * s)] ѵ (p →
es verdadera r)}
E) “p ↔ q” Es falsa, entonces r * s
es verdadera puede ser:
i. r ∧s
ii. rѵs
9. Sabiendo que la iii. r →s
proposición “p” es falsa ¿En iv. r∆ s
cuáles de los siguientes
casos es suficiente dicha A) B)
información para determinar I y II
el valor de verdad de las II I y IV
proposiciones? C) D)
i. [(p ∧ q) → II I,
r] ↔ [(q → r) ∧p] y IV I, y IV
ii. (p ∆ ~p) ∧ E)
(p ↔ p) I,
iii. (p ѵ q) → III y IV
(r ∧p)

ARITMÉTICA 4º AÑO 13
LICEO NAVAL C DE C MANUEL CLAVERO CUARTO AÑO

CLAVES

1 6
. .
E D

2 7
. .
E D

3 8
. .
B E

4 9
. .
A

5 1
. 0
E .
E

LICEO NAVAL CAPITAN DE

CORBETA
“MANUEL CLAVERO MUGA”
SUB DIRECCIÓN DE SECUNDARIA

14 ARITMÉTICA 4º AÑO