Sei sulla pagina 1di 9

LÓGICA PROPOSICIONAL

LOGICA PROPOSICIONAL: La lógica OPERACIONES LÓGICAS Y TABLAS DE


proposicional llamada también simbólica o VERDAD
matemática, es parte de la lógica que estudia las La validez de una proposición compuesta depende
proposiciones y la relación que existe entre ellas a de los valores de verdad de las proposiciones
través de las variables proposicionales y los simples que la componen y se determina mediante
conectores. una tabla de verdad.
1. Conjunción: Vincula dos proposiciones
ENUNCIADO: Se denomina enunciado a toda mediante el conectivo lógico "y".
expresión del lenguaje común, el cual puede ser Tabla de Verdad
una frase, oración o expresión algebraica. p q p  q
Ejemplos: V V V
 ¿Qué día es hoy? V F F
F V F
 ¡Auxilio! F F F
 Lima es la capital del Perú
 𝑥+2>3 Tambien equivale al conector conjunción las
palabras, pero; sin embargo; aunque; además, no
PROPOSICIÓNLÓGICA: Son oraciones obstante, incluso, también, etc.
aseverativas que se pueden calificar como 2. Disyunción: Vincula dos proposiciones
verdaderas o falsas. Se representan con las letras mediante el conectivo lógico "o".
minúsculas del abecedario: p ; q ; r ; s. Tabla de Verdad
p q p  q
Ejemplo: V V V
V F V
 Túpac Amaru murió decapitado. F V V
 9 < 10 F F F
 45 = 3  2
3. Disyunción Exclusiva: Vincula dos
CLASES DE PROPOSICIONES: proposiciones mediante el conectivo lógico:
"o ..........., o ............."
1. Proposición Simple: Son proposiciones que Tabla de Verdad
no tienen conjunciones gramaticales ni p q p  q
V V F
adverbio de negación.
V F V
Ejemplo: F V V
* Cincuenta es múltiplo de diez. F F F

2. Proposición Compuesta: Formada por dos o 4. Condicional: Vincula dos proposiciones


más proposiciones simples unidas por mediante el conectivo lógico :
conectivos lógicos o por el adverbio de "Si ............, entonces .............."
negación. Tabla de Verdad
p q p  q
Ejemplo:
V V V
* 29 es un número primo y 5 es impar. V F F
F V V
CONECTIVOS LÓGICOS: Símbolos que enlazan F F V
F

dos o más proposiciones simples para formar una


proposición compuesta. Otras formas son por consiguiente, luego; de
manera que, etc. Condiciones inversas ya que;
Los conectores lógicos que usaremos son:
puesto que; porque; etc.
S ÍMBO LO
O PERAC IÓ N
LÓ GIC A
S IGNIFIC ADO 5. Bicondicional: Vincula dos proposiciones
~

Negación
Conjunción
No p
pyq
mediante el conectivo lógico:


Disyunción poq ".............. si y sólo si .............."
Condicional Si p, entonces q

Bicondicional p si y sólo si q
Tabla de Verdad
Disyunción
 Exclusiva
"o ........ o ........" p q p  q
V V V
V F F
OBS: La negación es un conector monádico, afecta F V F
solamente a una proposición. F F V

1
p ~ p
Algunas equivalentes pueden ser: Cuando y
V F
solo cuando; entonces y solo entonces.
F V

6. Negación: Afecta a una sola proposición. Es OBSERVACIÓN: La cantidad de filas en una tabla
un operador monádico que cambia el valor de es:
verdad de una proposición:
# filas = 2 n
Tabla de Verdad
Donde n es la cantidad de proposiciones simples.

2
TRABAJANDO EN CLASE I
Según la definición, ¿cuáles de las siguientes
expresiones son proposiciones lógicas? 18. La proposición conjuntiva es:

1. Esta fruta está verde. a) El Perú exporta cobre si y sólo si exporta


estaño.
2. 3 + 7 = 10 b) La quiwicha es deliciosa y la quinua tiene
grandes propiedades.
3. La suma entre dos números naturales es un c) El Perú no es el primer productor de harina
número natural. de pescado.
d) Hay estabilidad de precios porque el dólar no
4. Si gasto 1 000 soles al día durante 2 000 años, sube de precio.
no habré gastado 1 000 millones de soles. e) Si hay contaminación ambiental, la gente se
enferma.
5. ¿Estás contenta?
19. "Si el cielo está nublado hace frío", se formaliza
Dadas las siguientes proposiciones diga primero si como:
cada una de ellas es simple o compuesta; luego
simbolice cada una de ellas. 20. Dadas las proposiciones:

6. Si el cielo está nublado entonces el avión p: Marco es comerciante


despegará del aeropuerto. q: Marco es un próspero industrial
r: Marco es ingeniero
7. En el imperio de los incas la llama era usada
como animal de carga. Simbolizar el enunciado:

8. Un número es positivo si y sólo si es mayor que “Si no es el caso que Marco sea un comerciante
cero. y un própero industrial, entonces es ingeniero o
no es comerciante”.
9. O Carlos es matemático y profesor universitario
o es empresario y dueño de una editorial. 21. “Subirá el precio del pan porque subió el precio
de la gasolina, además si subió el precio de la
10. No es el caso que si amanece la temperatura gasolina, el gobierno no puede controlar la
baje. inflación”. Es una proposición cuya
formalización correcta es:
Según la definición, ¿cuáles de las siguientes
expresiones son proposiciones lógicas? 22. La fórmula correcta de la proposición: “Chile
limita con el Océano Pacífico aunque el Perú
11. “Adornado de fiesta estaba el bar aquel día”. limita también con el Océano Pacífico”, es:

12. “César Vallejo fue un gran futbolista”. 23. “No es el caso que Richard no sepa tocar el
violín y no componga una melodía, si es
13. “El general Don José de San Martín fue de egresado del Instituto Regional de Cultura”. Se
nacionalidad argentina”. formaliza como:

14. ¿Cómo estás? 24. Dadas las proposiciones:


p: El hombre es bueno
15. 6 + x = 24 q: El perro es fiel
simboliza:
16. Ni Ecuador ni Bolivia son productores de “Si el hombre es malo, entonces no es cierto
algodón. que, el perro es fiel y su amo es bueno. Además
si el hombre es bueno, el perro será fiel”.
17. Hubiera impedido el asalto al banco, si la alarma
hubiera sonado oportunamente. 25. Simbolizar: “La producción de algodón
aumentó, si hay lluvias en la sierra”.

3
TRABAJANDO EN CLASE II
Dadas las siguientes proposiciones, diga si cada 10. No es el caso que si amanece nublado la
una de ellas es simple o compuesta, luego temperatura baje, ya que será un día
construya la forma lógica de las proposiciones caluroso.
compuestas y finalmente simbolice cada una de
ellas. 11. Daniel viajará al extranjero si y sólo si obtiene
su visa.
1. El Huascarán está en la Cordillera Blanca de la
región Chavín. 12. O tendrás que estudiar Derecho o tendrás que
estudiar Economía.
2. Aníbal cruzó los Alpes y César pasó el Rubicón.
13. No es el caso que María ingrese y no estudie
3. Colón descubrió América el 12 de octubre de en la Universidad.
1492
14. Si ingreso a la Universidad, entonces seré
4. El conocimiento empírico no es abstracto. Médico o Ingeniero.

5. El Perú, o exporta trigo o exporta arroz. 15. El generalísimo don José de San Martín no
luchó en la Batalla de Ayacucho.
6. No es el caso que Brasil y México pertenezcan
al pacto andino. Simbolizar las siguientes proposiciones
compuestas:
7. Se hubiera impedido el asalto al banco si la
alarma hubiera sonado oportunamente. 26. Si hay sequía se arruina la agricultura.

8. Tendremos muchas flores en el jardín, si la 27. Si nuestros futbolistas se esforzaran seríamos


estación es propicia y las semillas no están campeones sudamericanos.
malogradas.
28. O apruebo Aritmética o apruebo Álgebra.
9. Raúl no trabaja en la empresa sin embargo
visita la empresa todos los días y se reúne con 29. Estudio Aritmética si y sólo si el profesor
los trabajadores. aumenta puntos.

30. No es verdad que, si sale el Sol voy al campo.

4
TRABAJANDO EN CLASE III
1. ¿Cuántos de los siguientes enunciados son 9. Determina la tabla de verdad de:
proposiciones lógicas?
(𝑞 → 𝑝) ∧∼ 𝑝
a) Huancayo queda en Junín.
b) ¿Puedes prestarme tu libro? 10. Si la proposición es falsa, determine los valores
c) ¡Feliz cumpleaños! de p, q, r y s, respectivamente:
d) x+1<9
e) 5−6 ≤ 7 (𝑝 ∧∼ 𝑞) → (𝑟 →∼ 𝑠)

2. ¿Cuántos de los siguientes enunciados son 11. De la falsedad de la proposición deduce el valor
proposiciones lógicas? de (𝑝 ∧∼ 𝑞) ∨ (∼ 𝑟 → 𝑠) deduce el valor de
verdad de: [(∼ 𝑝 ↔ 𝑟) ∧∼ 𝑠]
a) López Meneses es un poeta
b) 6 +3 > 8 12. Si (𝑝 ∧ 𝑞) 𝑦 (𝑞 → 𝑡) son falsas, ¿cuáles de las
c) x2 ≤ 2 siguientes proposiciones son verdaderas?
d) Perú y Chile son países vecinos
e) Todas
I. (∼ 𝑝 ∨ 𝑡) ∨ 𝑠
3. Determine la tabla de verdad de: II. ∼ [𝑝 ∧ (∼ 𝑞 ∧∼ 𝑝)]
III. ∼ 𝑝 ∨ (𝑞 ∧∼ 𝑡)
(𝑝 ∨∼ 𝑞) →∼ 𝑝
13. Si (𝑝 ∧ 𝑟) 𝑦 (∼ 𝑟 ∨ 𝑞) son esquemas
4. Si: ∼ (𝑝 ∨ 𝑞) es verdadero, determina moleculares falsos, ¿cuáles de las siguientes
(𝑝 → 𝑞) ∧ 𝑞 proposiciones son verdaderas?

5. Si: ∼ (𝑝 ∧ 𝑞) es falso, determina I. (𝑟 →∼ 𝑝) ∧ 𝑞


(∼ 𝑝 → 𝑞) ∧ 𝑞 II. (∼ 𝑟 ∨∼ 𝑝) → (𝑝 →∼ 𝑟)
III. (𝑟 ∨∼ 𝑞) ↔ (𝑝 ∧∼ 𝑟)
6. Si la expresión: (𝑝 ↔∼ 𝑞) →∼ 𝑝; es falsa,
determinar los valores de verdad de ∼ 𝑝 ∧ 14. Sabiendo que la proposición “p” es verdadera,
(𝑞 → 𝑝) ¿en cuál de los siguientes casos es suficiente
dicha información para determinar el valor de
7. Si p y q son proposiciones falsa y verdadera, verdad de las siguientes proposiciones?
respectivamente, señala el valor de verdad de
la siguiente proposición: I) (𝑝 ∨ 𝑞) ↔ (∼ 𝑝 ∧∼ 𝑞)
(∼ 𝑝 ↔ 𝑞) ↔ (𝑝 ↔∼ 𝑞) II) (𝑝 ∧ 𝑞) → (𝑝 ∨ 𝑟)
III) (𝑝 → 𝑞) → 𝑟
8. Determina la tabla de verdad de:

(𝑝 ∧ 𝑞) →∼ 𝑝

5
TIPOS DE ESQUEMAS MOLECULARES: (p  q )  r  p  (q  r)
(p  q )  r  p  (q  r)
* Cuando los valores del operador principal son
todos verdaderos se dice que el esquema d. Ley Distributiva:
molecular es tautológico. p  (q  r)  (p  q )  (p  r)
p  (q  r)  (p  q )  (p  r)
* Se dirá que el esquema molecular es
contradictorio si los valores del operador e. Ley de la Doble Negación:
principal son todos falsos.
~ (~ p)  p
* Si los valores del operador principal tiene por f. Leyes de Identidad:
lo menos una verdad y una falsedad se dice que pV V ; p F  p
es contingente o consistente.
p V  p ; p F  F
LEYES DE ÁLGEBRA PROPOSICIONAL g. Leyes del Complemento:
p ~ p  V
Son equivalencias lógicas que nos permiten reducir
p ~ p  F
esquemas moleculares complejos y expresarlos en
forma más sencilla. Las demostraciones de dichas h. Ley del Condicional:
leyes se hacen construyendo la tabla de verdad en p  q ~ p  q
cada caso. i. Ley de la Bicondicional:
p  q  (p  q )  (q  p)
Principales Leyes: p  q  (p  q )  (~ p  ~ q )
p  q  ~ (p  q )
a. Ley de Idempotencia:
j. Ley de Absorción:
pp p p  (p  q )  p
pp  p p  (p  q )  p
p  (~ p  q )  p  q
b. Ley Conmutativa:
pq qp p  (~ p  q )  p  q

p q  q p k. Leyes de "De Morgan":


~ (p  q )  ~ p  ~ q
c. Ley Asociativa: ~ (p  q ) ~ p  ~ q

6
TRABAJANDO EN CLASE IV
1. Según la definición dad, indica que tipo de 11. Si la proposición es falsa determine los
esquema es la siguiente proposición: valores de p y r.

∼ 𝑝 → (𝑞 ∨ 𝑝) (𝑝 ∨∼ 𝑞) → (𝑝 → 𝑟)
2. Simplifica:
∼ (∼ (∼ (∼ (𝑝 ∨ 𝑞)))) 12. Indica el número de falsas en

(∼ 𝑝 →∼ 𝑞) ↔ [∼ (∼ 𝑞 ∨ 𝑟) ∧∼ 𝑝]
3. Según la definición dada, indica que tipo de
esquema hay en la siguiente proposición: 13. De los enunciados, ¿Cuáles son
proposiciones?
∼ (𝑝 ↔ 𝑞) ∧∼ (𝑝 → 𝑞)
4. Se tiene el siguiente circuito lógico cuyo I. Huayna Cápac fue un inca.
valor de verdad es verdadero. II. 8+3−5 = 6
III. Pedro tiene 15 años.
∼𝑝
IV. ¿Qué hora es?
𝑝
14. Simbolice:
∼𝑞 “Si George es ingeniero y no es médico,
entonces George no es odontólogo”.
¿Cuáles son los valores de p y q,
respectivamente? 15. Indica el valor de verdad (V) o falsedad (F)
según corresponda.
5. Se tiene el siguiente circuito lógico cuyo
 (2 + 3 = 5) ∨ (3 × 7 = 10)
valor de verdad es verdadero.
 (√4 + √9 = 7) → (4 − 3 = −1)
𝑝  (2! + 3 = 5) ↔ (√16 = 2)
∼𝑝  (𝑀𝐶𝐷(3, 7) = 1) ∧ (𝑀𝐶𝑀(4, 8) = 4)

16. ¿Cuántas verdaderas se obtienen de la tabla


𝑞
de verdad del esquema?
¿Cuáles son los valores de p y q, (𝑝 ∧ 𝑞) ∧ (∼ 𝑝 ∨ 𝑞)
respectivamente?
17. Indique el número de verdaderas en:
[(𝑝 ∧ 𝑞) → 𝑟] ↔ [𝑝 →∼ (𝑞 → 𝑟)]
6. Simplifica el esquema.
18. Si la proposición es falsa, determinar el
[(𝑝 ∧∼ 𝑞) ∧ (𝑞 → 𝑝) ∧ 𝑟] ∨ 𝑝
valor de verdad de p, q y r
(∼ 𝑝 ∧∼ 𝑞) →∼ 𝑟
7. Realiza el circuito del siguiente esquema
molecular 19. Si la proposición es falsa, determinar el
valor de verdad de p, q, r y s son:
[(𝑝 ∧∼ 𝑞) ∨∼ 𝑝] ∨ 𝑞 (𝑝 ∧∼ 𝑞) → (𝑟 →∼ 𝑠)
8. Al evaluar, ¿cuántas falsas se obtiene? 20. Si la proposición (𝑝 ∨∼ 𝑞) → (𝑝 → 𝑟) es
(∼ 𝑝 ∧ 𝑞) ∧ 𝑝 falsa, se afirma que:
9. Indique el número de verdades en I. (𝑝 ∨ 𝑞) es falsa.
{𝑝 → [(∼ 𝑝 ∧ 𝑞) ∧ 𝑟]} ↔∼ (𝑟 → 𝑝) II. (𝑟 → 𝑞) es falsa.
III. (∼ 𝑞 → 𝑝) es verdadera.
10. Indique el número de falsedades en ¿cuál(es) es(son) correcta(s)?
[(𝑝 ∧ 𝑞) ∨ (𝑝 ∧∼ 𝑞)] ∨ (∼ 𝑝 ∧ 𝑞)

7
TRABAJANDO EN CLASE V
1. ¿Cuántos verdaderos (V) y cuantos falsos (F) ¿Cuántas “V” y cuántas “F” aparecen
aparecen al desarrollar el esquema molecular respectivamente?

(𝑝 ∧ 𝑞) → (𝑝 ∨ 𝑞)
8. La tabla de verdad de: (∼ 𝑝 → 𝑞) ∧∼ 𝑞 está dada
2. La tabla de verdad de; (p  q)  ~ q está dada por:
por:

9. ¿Cuál de las siguientes fórmulas son lógicamente


3. La tabla de verdad de: (p  q) ~ p está dada equivalentes?
por:
I. ∼𝑝∧𝑞
II. ∼ 𝑝 →∼ 𝑞
4. Si "p", "q" y "r" son proposiciones cuyos valores III. ∼ (𝑞 → 𝑝)
son: "V", " F" y "F" respectivamente, indicar el
valor de cada una de las siguientes 10. Evaluar las siguientes fórmulas:
proposiciones:
I. [𝑝 → (𝑞 ∨∼ 𝑝)] ↔ (𝑝 → 𝑞)
 (p  q)  r
II. ∼ (𝑝 ∧ 𝑟) → (q ∨∼ 𝑟)

 p  ( r  ~ q) III. (𝑝 → 𝑞) ∧ (𝑝 → 𝑟) ∧ (𝑝 ∧∼ 𝑟)

5. Determine si es tautología, contradicción o Señale lo correcto:


contingencia cada una de las siguientes
fórmulas: a) Las fórmulas I y II son tautologías
b) Las fórmulas I y iII son tautologías
 (𝑝 ∧ 𝑞) ∨ 𝑝 c) Ninguna de las tres es contradicción
d) Sólo II es contingencia
 (𝑝 ∨ 𝑞) →∼ 𝑝 e) N.A.

 ∼ (𝑝 ↔ 𝑞) ∧ 𝑞 11. Al desarrollar la tabla de verdad de:

 (∼ 𝑝 → 𝑞) ↔ (𝑝 ∨ 𝑞) (𝑝 ∨∼ 𝑞) → (𝑝 ∧∼ 𝑞)

 ∼ (𝑝 ↔∼ 𝑞) →∼ (∼ 𝑝 ∧ 𝑞) El número de valores verdaderos en el operador


principal es:
6. ¿Cuáles de las siguientes proposiciones son
equivalentes?
12. ¿Cuál de las siguientes oraciones es una
 (∼ 𝑝 ∨ 𝑞) ∧ (𝑝 ∨∼ 𝑞) proposición lógica?

 (𝑝 ∨ 𝑞) ∨ (𝑝 ∧ 𝑞) a) ¿Cuánto valen los muebles en esta casa?


b) Tres más tres es igual a nueve.
c) ¡Qué excelente inteligencia tiene Coco!
 (𝑝 ∧ 𝑞) ∨ (∼ 𝑝 ∧ 𝑞) d) “Mi alma no se contenta con haberla
perdido”.
 ∼𝑝∨𝑞 e) ¿Quién fue el culpable de la pelea?
7. Luego de construir la tabla de verdad de la
siguiente proposición: (𝑝 ↔ 𝑞) → (𝑟 ∧ ~𝑝).

8
13. Indicar los valores de verdad de las Simbolizar: “Es falso que, si Ana no se
siguientes proposiciones: compra un vestido no podrá ir a la fiesta.
Además no bailará”.
I. (2 + 7 = 9) V (6 - 2 = 5)
II. (4 - 3 = 2)  (2 - 7 = 1) 16. ¿Cuál de las siguientes proposiciones son
III. (3 + 4 = 7(6 - 2 > 3) tautologías?
IV. (3 . 4 = 10) (9 - 4 = 3)
I. [((𝑝 → 𝑞) ∧∼ 𝑞)] →∼ 𝑝
14. La siguiente fórmula lógica:
[∼ (𝑝 ∨ 𝑞) ∨ (𝑝 ∧ 𝑞)] ∧ (𝑝∆𝑞) II. [((𝑝 → 𝑞) ∧ 𝑝)] → 𝑞

Es del tipo: III. [(𝑝 → (𝑞 ∧∼ 𝑞))] →∼ 𝑝

15. Dadas las proposiciones:

p: Ana se compra un vestido


q: Ana va a la fiesta
r: Ana baila

Potrebbero piacerti anche