Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

PRÁCTICA

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 3

RAZONAMIENTO

“UNIVERSIDAD NACIONAL “JORGE BASADRE GROHMANN” MATEMÁTICO


CENTRO PREUNIVERSITARIO
LÓGICA PROPOSICIONAL
CICLO VERANO 2019-III

LÓGICA PROPOSICIONAL
p q p  q
Enunciado. - Es toda frase u oración que se utiliza V V V
en nuestro lenguaje
V F F
Proposición. -Es todo enunciado, respecto de
F V F
la cual se puede decir si es verdadera (V) o
F F F
falsa (F)

CLASES DE PROPOSICIONES 3) DISYUNCIÓN ()


Dadas dos proposiciones p y q
A) Proposición Simple o Atómicas.- Son p  q (se lee ”p o q“)
aquellas proposiciones que constan de un solo Tabla de verdad
enunciado proposicional .
p q p  q
Por ejemplo, sea la proposición
p: 4 + 7 = 11 V V V
V F V
B) Proposición Compuesta o molecular.- Son F V V
aquellas proposiciones que constan de dos o F F F
más proposiciones simples.
Ejemplo:
r: Pitágoras era griego y era geómetra 4) IMPLICACIÓN O CONDICIONAL (→)
p q Dadas dos proposiciones p y q
Se encuentra dos enunciados. p → q (se lee p entonces q). La
(p) afirma que Pitágoras era griego y (q) que proposición p se llama antecedente, y la
Pitágoras era geómetra. proposición q se llama consecuente
Tabla de verdad
I. CONECTIVOS LÓGICOS.- p q p → q
Enlazan proposiciones simples
A partir de proporciones simples es posible V V V
generar otras, simples o compuestas. Es decir V F F
que se puede operar con proposiciones, y F V V
para ello se utilizan ciertos símbolos llamados F F V
conectivos lógicos.

OPERACIONES PROPOSICIONALES 5) DOBLE IMPLICACIÓN O


BICONDICIONAL(↔)
1) NEGACIÓN ( ~ ) Dadas dos proposiciones p y q
p : Jorge estudia matemática p ↔ q (se lee "p si y sólo si q")
~p : Jorge no estudia matemática Tabla de verdad

Tabla de verdad: p q p ↔ q
p ~p V V V
V F F
F V F
V F
F F V
F V
6) Diferencia Simétrica (∆)
Dadas dos proposiciones p y q
2) CONJUNCIÓN ( ) p ∆ q (se lee "p diferencia simétrica q ")
Dadas dos proposiciones p y q, Tabla de verdad
p  q (se lee "p y q")
Tabla de verdad p q p ∆ q
V V F
V F V
F V V
F F F

1
RAZONAMIENTO MATEMÁTICO Práctica 01

II. TAUTOLOGÍA, CONTRADICCIÓN Y ~p --> p ≡ p


CONTINGENCIA p --> ~ p ≡ ~ p
(p ^ q) --> r ≡ (p --> r) v (q --> r)
TAUTOLOGÍA (p v q) --> r ≡ (p --> r) ^ (q --> r)
Si al evaluar una fórmula lógica, resulta que p --> (q ^ r) ≡ (p --> q) ^ (p --> r)
todos los valores de verdad resultantes son p --> (q v r) ≡ (p --> q) v (p --> r)
siempre V para cualquier combinación de sus
valores veritativos, decimos que dicha fórmula Equivalencias del Bicondicional
es una Tautología o Ley lógica. p <--> q ≡ (p --> q) ^ (q --> p)
p <--> V ≡ p
CONTRADICCIÓN p <--> F ≡ ~ p
Si al evaluar una fórmula lógica, resulta que p <--> p ≡ V
todos los valores de verdad resultantes son p <--> ~ p ≡ F
siempre F para cualquier combinación de sus ~ (p <--> q) ≡ ~ p <--> q
valores veritativos, decimos que dicha fórmula ~ (p <--> q) ≡ p <--> ~ q
es una Tautología o Ley lógica.

CONTINGENCIA:
Se entiende por verdad contingente, o verdad CIRCUITOS LOGICOS
de hecho, aquella proposición que puede ser
verdadera o falsa, (combinación entre SERIE : p^q
tautología y contradicción) según los valores
de las proposiciones que la integran. PARALELO : p v q

III. LEYES LÓGICAS


Leyes de Identidad EJERCICIOS PROPUESTOS
pvF≡p
p^F≡F 1. Si la proposición:
pvV≡V
,( ) ( )- es verdadera, hallar
p^V≡p
Leyes de Complementación respectivamente el valor de verdad de las
p v ~p ≡ V siguientes proposiciones:
p ^ ~p ≡ F I. ( ) ( )
Leyes de Idempotencia
II. ( ) ,( ) -
pvp≡p
p^p≡p III. ( ) ( )
Leyes Conmutativas a) FFF b) FFV c) FVV d) VFF e) VVV
pvq≡qvp
p^q≡q^p
Leyes Asociativas 2. Se tiene que: ( ) {
p v (q v r) ≡ (p v q) v r
p ^ (q ^ r) ≡ (p ^ q) ^ r
Leyes Distributivas Calcule el valor de ( ) ( ) ( ), donde:
p v (q ^ r) ≡ (p v q) ^ (p v r)
( )
p ^ (q v r) ≡ (p ^ q) v (p ^ r)
Leyes de Morgan ,( ) ( )-
~ (p v q) ≡ ~ p v ~ q , ( )- ( )
~ (p ^ q) ≡ ~ p ^ ~ q a) 2 b) 3 c) 4 d) 5 e) 6
Ley de Involución
~~p≡p
Leyes de Absorción 3. La negación del enunciado «Si Inés está
p v (p ^ q) ≡ p bien de salud, entonces ella sigue las
p ^ (p v q) ≡ p indicaciones de su médico» es:
Equivalencias del condicional
A) «Inés está bien de salud y no sigue las
p --> q ≡ ~ p v q
p --> F ≡ ~p indicaciones de su médico».
V--> q ≡ q B) «Inés está bien de salud y sigue las
p --> V ≡ V indicaciones de su médico».
F --> q ≡ V
p --> p ≡ V
2
RAZONAMIENTO MATEMÁTICO Práctica 01

C) «Inés no está bien de salud y no sigue II.  (r  s)  t   (p  q)


las indicaciones de su médico». III.  (p  q)  ( t   )
D) «Inés no está bien de salud y sigue las a) VVV b) VFF c) VFV
indicaciones de su médico». d) FVV e) VVF
E) «Inés sigue las indicaciones de su
10. Si p y q son proposiciones y se define la
médico o está enferma».
operación representada por ( ) así:
. Decir la tabla de verdad.
I. ( ) es una contradicción.
4. Determine cuál de las siguientes
II. ( ) es una tautología.
equivalencias son correctas: III. ( ) ( )
a. ,( ) - a) VVV b) FVF c) FFV d) FVV
b. ( ) e) FFF
c.
A) Solo c 11. Determinar el valor de verdad de las
B) Solo a y b siguientes proposiciones:
C) Solo a y c I.- Si: 12>30 entonces 5 + 4 = 9
II.- No es cierto que 5 + 6 = 7 si y solo si
D) Solo b y c
9 + 4 = 11
E) a, b y c 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.
5. Si se sabe que: a) VFFV b) VVFF c) FVFV
r  s  t  (p  q)   r  t)  s d) VFVF e) FFFV
qp) es verdadera, hallar el valor
de verdad de: 12. Si p $ q = VVFV Entonces p $( p $ q)
I. p  q  r   ( t  p )  r equivale a:
II.  (r  s)  t   (p  q) a) p v q b) p q c) p→ q
III.  (p  q)  ( t   )
d) p ∆ q e) p  q
a) VVV b) VFF c) VFV
d) FVV e) VVF
13. Simplificar el circuito:

6. Simplificar:
~ { [ (~p) v (~q) ] v ~q }
a) p b) p c) q
d) p q e) p v q Señale el esquema correspondiente.

a) p b) q c) p q d) p q e) ~ p
7. Sabiendo que: simplificar:
*,( ) ( )- ,( ) -+ ( ) 14. Si la proposición compuesta ( )
a) b) c) ,( ) - es falsa. Indique el valor de
d) e) verdad de:
I. ( ) ( )
8. Si la proposición: II. , - ( )
( ) ( ) es falsa III. ( ) , ( )-
Deducir el valor de verdad de: a) VFV b) VVF c) VVV d) FVV
a. ( ) e) VFF
b. ,( ) - ,( ) -
c. ( ) ,( ) - 15. Simplificar la proposición que representa al
a) FVV b) FFV c) VFV circuito:
d) FFF e) VFF ~s t
~s t ~t
~r
9. Si se sabe que:
r  s  t  (p  q)   r  t)  s r
qp) es verdadera, hallar el valor A) r B) s C) t D) E)
de verdad de:
I. p  q  r   ( t  p )  r
3

También podría gustarte