Вы находитесь на странице: 1из 4

RAZONAMIENTO

“UNIVERSIDAD NACIONAL “JORGE BASADRE GROHMANN” MATEMÁTICO


CENTRO PREUNIVERSITARIO
LÓGICA PROPOSICIONAL
CICLO VERANO 2019-III

LÓGICA PROPOSICIONAL
V F
Enunciado. - Es toda frase u oración que se F V
utiliza en nuestro lenguaje
Proposición. -Es todo enunciado, respecto de 2) CONJUNCIÓN ( )
la cual se puede decir si es verdadera (V) o Dadas dos proposiciones p y q,
falsa (F) p  q (se lee "p y q")
Tabla de verdad
CLASES DE PROPOSICIONES
p q p  q
A) Proposición Simple o Atómicas.- Son
V V V
aquellas proposiciones que constan de un
V F F
solo enunciado proposicional .
Por ejemplo, sea la proposición F V F
F F F
p: 4 + 7 = 11

B) Proposición Compuesta o molecular.- Son 3) DISYUNCIÓN ()


aquellas proposiciones que constan de dos o Dadas dos proposiciones p y q
más proposiciones simples. p  q (se lee ”p o q“)
Ejemplo: Tabla de verdad
r: Pitágoras era griego y era geómetra
p q p q p  q
Se encuentra dos enunciados. V V V
(p) afirma que Pitágoras era griego y (q) que V F V
Pitágoras era geómetra. F V V
F F F
I. CONECTIVOS LÓGICOS.-
Enlazan proposiciones simples
A partir de proporciones simples es posible 4) IMPLICACIÓN O CONDICIONAL (→)
generar otras, simples o compuestas. Es decir Dadas dos proposiciones p y q
que se puede operar con proposiciones, y p → q (se lee p entonces q). La
para ello se utilizan ciertos símbolos llamados proposición p se llama antecedente, y la
conectivos lógicos. proposición q se llama consecuente
Tabla de verdad
OPERACIONES PROPOSICIONALES
p q p → q
1) NEGACIÓN ( ~ )
V V V
p : Jorge estudia matemática
V F F
~p : Jorge no estudia matemática
F V V
F F V
Tabla de verdad:
p ~p

1
RAZONAMIENTO MATEMÁTICO Práctica 01

5) DOBLE IMPLICACIÓN O pvF≡p


BICONDICIONAL(↔) p^F≡F
Dadas dos proposiciones p y q pvV≡V
p ↔ q (se lee "p si y sólo si q") p^V≡p
Tabla de verdad Leyes de Complementación
p v ~p ≡ V
p q p ↔ q p ^ ~p ≡ F
V V V Leyes de Idempotencia
V F F pvp≡p
F V F p^p≡p
F F V Leyes Conmutativas
6) Diferencia Simétrica (∆) pvq≡qvp
Dadas dos proposiciones p y q p^q≡q^p
p ∆ q (se lee "p diferencia simétrica q ") Leyes Asociativas
Tabla de verdad p v (q v r) ≡ (p v q) v r
p ^ (q ^ r) ≡ (p ^ q) ^ r
p q p ∆ q Leyes Distributivas
V V F p v (q ^ r) ≡ (p v q) ^ (p v r)
V F V p ^ (q v r) ≡ (p ^ q) v (p ^ r)
F V V Leyes de Morgan
F F F ~ (p v q) ≡ ~ p v ~ q
II. TAUTOLOGÍA, CONTRADICCIÓN Y ~ (p ^ q) ≡ ~ p ^ ~ q
CONTINGENCIA Ley de Involución
~~p≡p
TAUTOLOGÍA Leyes de Absorción
Si al evaluar una fórmula lógica, resulta que p v (p ^ q) ≡ p
todos los valores de verdad resultantes son p ^ (p v q) ≡ p
siempre V para cualquier combinación de Equivalencias del condicional
sus valores veritativos, decimos que dicha p --> q ≡ ~ p v q
fórmula es una Tautología o Ley lógica. p --> F ≡ ~p
V--> q ≡ q
CONTRADICCIÓN p --> V ≡ V
Si al evaluar una fórmula lógica, resulta que F --> q ≡ V
todos los valores de verdad resultantes son p --> p ≡ V
siempre F para cualquier combinación de sus ~p --> p ≡ p
valores veritativos, decimos que dicha p --> ~ p ≡ ~ p
fórmula es una Tautología o Ley lógica. (p ^ q) --> r ≡ (p --> r) v (q --> r)
(p v q) --> r ≡ (p --> r) ^ (q --> r)
CONTINGENCIA: p --> (q ^ r) ≡ (p --> q) ^ (p --> r)
Se entiende por verdad contingente, o p --> (q v r) ≡ (p --> q) v (p --> r)
verdad de hecho, aquella proposición que
puede ser verdadera o falsa, (combinación Equivalencias del Bicondicional
entre tautología y contradicción) según los p <--> q ≡ (p --> q) ^ (q --> p)
valores de las proposiciones que la integran. p <--> V ≡ p
p <--> F ≡ ~ p
III. LEYES LÓGICAS p <--> p ≡ V
Leyes de Identidad p <--> ~ p ≡ F

2
RAZONAMIENTO MATEMÁTICO Práctica 01

~ (p <--> q) ≡ ~ p <--> q D) «Inés no está bien de salud y sigue las


~ (p <--> q) ≡ p <--> ~ q indicaciones de su médico».
E) «Inés sigue las indicaciones de su
CIRCUITOS LOGICOS
médico o está enferma».
SERIE : p^q
4. Determine cuál de las siguientes
PARALELO : p v q equivalencias son correctas:
a. 𝑝 → 𝑞 ≡∼ [(𝑝 ∨ 𝑞) ∧∼ 𝑞]
EJERCICIOS PROPUESTOS b. 𝑝 → 𝑞 ≡ (𝑝 ∧ 𝑞) ∨∼ 𝑝
c. 𝑝 → 𝑞 ≡∼ 𝑞 →∼ 𝑝
1. Si la proposición: A) Solo c
[(~𝑝 ∨ 𝑠) ∧ (𝑞 →∼ 𝑟)] es verdadera, hallar B) Solo a y b
respectivamente el valor de verdad de las C) Solo a y c
siguientes proposiciones: D) Solo b y c
I. ∼ (𝑞 ∧ 𝑟) ⟶ (𝑝 ∧∼ 𝑠) E) a, b y c
II. (𝑞 ∧ 𝑟) → [(𝑝 ∧ 𝑠) ∨∼ 𝑝]
5. Si se sabe que:
III. (𝑟 →∼ 𝑞) ∨ (𝑝 ∨ 𝑠)
r  s  t  (p  q)   r  t)  s
a) FFF b) FFV c) FVV d) VFF e) VVV qp) es verdadera, hallar el valor
de verdad de:
I. p  q  r   ( t  p )  r
1 𝑠𝑖 "p" 𝑒𝑠 𝑇 II.  (r  s)  t   (p  q)
2. Se tiene que: 𝐹(𝑝) = {
2 𝑠𝑖 "p" 𝑒𝑠 𝐹 III.  (p  q)  ( t   )
a) VVV b) VFF c) VFV
Calcule el valor de 𝐹(𝑐) + 𝐹(𝑏) + 𝐹(𝑎), d) FVV e) VVF
donde:
6. Simplificar:
𝑐 =∼ 𝑞 → (∼ 𝑝 ∨∼ 𝑞) ~ { [ (~p) v (~q) ] v ~q }
𝑏 = [(𝑟 ∧∼ 𝑝) ∧ (𝑝 ∧ 𝑞)] → 𝑟 a) p b) ∼p c) q
𝑎 = [𝑞 ↔ (𝑝 ∧ 𝑞)] ↔ (𝑞 ∧∼ 𝑝) d) p ∧ q e) p v q
a) 2 b) 3 c) 4 d) 5 e) 6
7. Sabiendo que: 𝑟∆𝑠 ≡ 𝑉, simplificar:
{[(𝑟 ∨ 𝑠) ∧ (∼ 𝑝 ∨ 𝑞)] ∧ [(𝑟 ∧ 𝑠) ∨∼ 𝑞]}
3. La negación del enunciado «Si Inés está ∨ (𝑟 ↔ 𝑠)
bien de salud, entonces ella sigue las a) ∼ 𝑝 ∧∼ 𝑞 b) ∼ 𝑝 ∨ 𝑞 c) ∼ 𝑝 ∨∼ 𝑞
d) 𝑝 ∧∼ 𝑞 e) ∼ 𝑝 → 𝑞
indicaciones de su médico» es:
A) «Inés está bien de salud y no sigue las 8. Si la proposición:
indicaciones de su médico». (𝑝 →∼ 𝑞) ∨ (∼ 𝑟 → 𝑠) es falsa
B) «Inés está bien de salud y sigue las Deducir el valor de verdad de:
indicaciones de su médico». a. (∼ 𝑝 ∧∼ 𝑞) ∨∼ 𝑞
C) «Inés no está bien de salud y no sigue b. [(∼ 𝑟 ∨ 𝑞) ∧ 𝑞] ↔ [(∼ 𝑞 ∨ 𝑟) ∧ 𝑠]
las indicaciones de su médico». c. (𝑝 → 𝑟) → [(𝑝 ∨ 𝑞) ∧∼ 𝑞]
a) FVV b) FFV c) VFV
d) FFF e) VFF

3
RAZONAMIENTO MATEMÁTICO Práctica 01

a) p b) q c) p ∧q d) p∨q e) ~ p
9. Si se sabe que:
r  s  t  (p  q)   r  t)  s 14. Si la proposición compuesta (𝑝 ∨∼ 𝑞) ∨
qp) es verdadera, hallar el valor [(𝑝 ∧ 𝑟) ∨ 𝑡] es falsa. Indique el valor de
de verdad de: verdad de:
I. p  q  r   ( t  p )  r I. (∼ 𝑝 → 𝑡) → (∼ 𝑞 → 𝑟)
II.  (r  s)  t   (p  q) II. ∼ [∼ 𝑝 ∨∼ 𝑞] → (𝑟 ∨∼ 𝑡)
III.  (p  q)  ( t   ) III. ∼ (𝑞 ∨ 𝑟) ∨ [∼ 𝑡 ∧ (𝑝 ∨ 𝑞)]
a) VVV b) VFF c) a) VFV b) VVF c) VVV d) FVV
VFV e) VFF
d) FVV e) VVF
15. Simplificar la proposición que representa
10. Si p y q son proposiciones y se define la al circuito:
operación representada por (↓) así: 𝑝 ↓ ~s t
~s t ~t
𝑞 ≡∼ 𝑝 ∧∼ 𝑞. Decir la tabla de verdad. ~r
I. (𝑝 ↓ 𝑝) ↓∼ 𝑝 es una contradicción. r
II. (𝑝 ↓ 𝑝) →∼ 𝑝 es una tautología. A) r B) s C) t D) E)
III. (𝑝 ↓ 𝑝) ↓ (𝑞 ↓ 𝑞) ≡∼ 𝑝 ∧∼ 𝑞
a) VVV b) FVF c) FFV d) FVV
e) FFF

11. Determinar el valor de verdad de las


siguientes proposiciones:
I.- Si: 12>30 entonces 5 + 4 = 9
II.- No es cierto que 5 + 6 = 7 si y solo si
9 + 4 = 11
III.- Tacna no es capital del Perú,
entonces Lima es la capital de Tacna.
IV.- Tacna está en el Perú o el Perú está
en Tacna.
a) VFFV b) VVFF c) FVFV
d) VFVF e) FFFV

12. Si p $ q = VVFV Entonces p $( p $ q)


equivale a:
a) p v q b) p ∧ q c) p→ q
d) p ∆ q e) p  q

13. Simplificar el circuito:

Señale el esquema correspondiente.

Вам также может понравиться