Anda di halaman 1dari 4

DEBER Nº 1 PRIMER PARCIAL

1. Determinar la tabla de verdad de:

Nota: Considere que la expresión ∆ es Disyunción exclusiva

(𝑝∆𝑞) ↔ ⌊(𝑝˄𝑞) ˄ (𝑝˅𝑞)⌋ ˄ 𝑟

2. Aplicando las leyes de las proposiciones, simplificar la siguiente expresión:

Nota: Considere que la expresión ∆ es Disyunción exclusiva

𝑝∆ (~𝑞 ↔ ~𝑝)
3. Aplicando las leyes de las proposiciones, simplificar la siguiente expresión:

⌊(~𝑟 → ~𝑠) → ~( 𝑟 → 𝑠)⌋ ˄ (𝑟 ˅ 𝑠)

4. Demostrar las reglas de inferencia:

Nota: Considere que la expresión ∆ es Disyunción exclusiva

1. (𝑝 ∆ 𝑞)
2. ~(𝑟˄~𝑞)
3. ~(~𝑝˄𝑞)

5.- Formaliza los siguientes razonamientos. ¿Son tautologías, contradicciones o Indeterminaciones


(contingencias)?

a) Si tengo razón, entonces estoy loco. Pero si estoy loco, entonces tengo razón. Por tanto, no estoy loco.

b) Si la prima de Mayra no quiere cenar, entonces come su empanada. Si come su empanada, no le dan
torta. La prima de Mayra no quiere cenar y se retira de la mesa. Por lo tanto no le dan torta.

6.- Simplifica los siguientes esquemas aplicando las leyes del álgebra proposicional:

a) ~ [~ (𝑝  ~ 𝑞)] → ~ 𝑝

b) (~ p → q) ↔ (~q → p)

7.- Sean las proposiciones:

a) Como espinaca b) La Lógica es fácil c) Me divierto con este deber.

Parafrasee las siguientes proposiciones:

a) (𝑎 ∧ 𝑏) ↔ 𝑐
b) (𝑏 ∧ 𝑐) → 𝑎
c) ¬ 𝑎 → (¬ 𝑏 ∨ ¬ 𝑐)

8.- Si la proposición: 𝒑 → (~𝒑  𝒒), es falsa indicar el valor de verdad de la proposición:

(𝑝  𝑞) ↔ [ 𝑝  (𝑝 → 𝑞) ]
9.- Hallar la conclusión C: ~𝒑 , a partir de las siguientes premisas:

1.- (𝑝˅𝑞) → (𝑟˅𝑠)

2.- (𝑟˅𝑠) → ~𝑡

3.- 𝑡

10.- De las siguientes proposiciones: ¿Cuántas proposiciones conjuntivas existen?


A.- Carlos estudia Historia pero descansa los domingos.
B.- Andrés trabaja en forma seria, es una persona desinteresada.
C.- José niega que Ana y Luis son primos.
D.- Gaby está en su casa, dado que no ha ido a trabajar.
E.- Cecilia trabaja a la vez que estudia.

11.- La proposición: “Diana no estudia o sale de casa tarde”


Equivale a:
A.- No es cierto que, Diana sale de casa temprano o estudia.
B.- Si Diana estudia, entonces sale de casa temprano.
C.- Diana sale de casa temprano y estudia.
D.- Si Diana sale de casa temprano entonces estudia.
E.- Si Diana estudia entonces sale de casa tarde.

12.- Si r y s son proposiciones falsa y verdadera respectivamente, señalar cuáles de las siguientes
proposiciones son verdaderas.
1.- (𝑟 ∨ 𝑠)−> 𝑟
2.- ∼ 𝑝 −> 𝑟
3.- ∼ 𝑟 −> 𝑠
4.- ∼ 𝑟 −> (𝑟 ∧ 𝑠)

a) (1) b) (1) y (2) c) (2) y (3) d) (2),(3) y (4) e) Todas

13.- Cuál de las siguientes proposiciones son tautologías?


1.- ∼ 𝑝−> (∼ 𝑝 ∧ 𝑞)
2.- [(𝑝 ∨ 𝑞) ∧ (𝑝 ∧ 𝑞)]−> 𝑝
3.- ∼ (𝑝−> 𝑞) < −>∼ (∼ 𝑝 ∧ 𝑞)
4.- ∼ (𝑝 ∧ 𝑞)−> (∼ 𝑝 =∨ 𝑞)
5.- [(𝑝 ∧ 𝑞) ∨ 𝑝]−>

a) 1y2 b) 2 y 4 c) 1,2 y 4 d) 3,4, y 5 e) 1,2, y 5

14.- Cuál de las siguientes condicionales es una implicación lógica?


1.- ∼ 𝑝−> (∼ 𝑝 ∨ 𝑞)
2.- ∼ 𝑝−> 𝑝 ∧ 𝑞
3.- ∼ (𝑝 ∧ 𝑞)−> (𝑝 ∨ 𝑞)
4.- ∼ (∼ 𝑝 ∧ 𝑞)−>∼ 𝑝
5.- ∼ (∼ 𝑝 ∨ 𝑞)−> 𝑝

a) 1y2 b) 2 y 3 c) 1 y 3 d) 2 y 4 e) 1 y 5

15.- Simplificar: [(𝒑 ∧∼ 𝒒) ∧ (𝒒−> 𝒑) ∧ 𝒓]𝒑

a) 𝑝∧𝑞 b) 𝑝 ∧ 𝑞 c) 𝑝−> 𝑞 d)
16..- Simplificar: ∼ [(𝒑 ∧ 𝒒) ∨∼ (𝒑 ∧∼ 𝒒)]−> 𝒒

a) 𝑝∨𝑞 b) 𝑝 ∧ 𝑞 c) 𝑝−> 𝑞 d) ∼ 𝑝−> 𝑞 e) 𝑝−>∼ 𝑞

17.- Utilizando reglas de inferencia

Demostrar: 𝑟 ∨ 𝑠 𝑈𝑡𝑖𝑙𝑖𝑧𝑎𝑛𝑑𝑜 𝑙𝑎𝑠 𝑠𝑖𝑔𝑢𝑒𝑛𝑡𝑒𝑠 𝑝𝑟𝑒𝑚𝑖𝑠𝑎𝑠


1.- 𝑝−>∼ 𝑐
2.- 𝑎 ∧∼ 𝑏
3.- (∼ 𝑝 ∧ 𝑞)−> (𝑟 ∧ 𝑡)
4.- 𝑏 ∨ 𝑟
5.- 𝑎−> (𝑐 ∨∼ 𝑑)

18.- Demostrar la siguiente Equivalencia:

[(𝑝−> 𝑞) ∧ 𝑝]−> 𝑞 ≡ 𝑉

19.- Utilizando las leyes lógicas Simplificar:

∼ (𝑝 ∨ 𝑞) ∨ (∼ 𝑞 ∧ 𝑝)

20.-Demuestre con tablas las leyes de Morgan.

21.-Si:

𝑝: 2 > 3

𝑞: − 4 < 0

𝑟: 𝐸𝑙 𝑓𝑢𝑡𝑏𝑜𝑙 𝑒𝑠 𝑢𝑛 𝑝𝑎𝑠𝑜 𝑑𝑒 𝑏𝑎𝑖𝑙𝑒.

Determine el valor de verdad de:

~𝑝 ↔ [𝑞^~𝑟 ]

22.-Sean las proposiciones:

𝑝: 2 + 3 = −1

𝑞: 5 + 𝑦 = 4

𝑟: 33 + 3 < 10

Con 𝑦 ≠ −1, 𝑦 ∈ 𝑅

Determine el valor de verdad de

(~𝑟^~𝑝)𝐯[~(𝑝 → 𝑞) ↔ ~𝑞]

23.-Demuestre con las leyes lógicas

𝑎. [𝑝 ↔ (𝑞v𝑝)] ≡ [(𝑝v𝑞) ↔ 𝑝]

𝑏. [(𝑝^𝑞) → 𝑟] ≡ [𝑝 → (𝑞 → 𝑟)]
Simplificar la expresión recuerde Ubicar la ley que utiliza

24.- [(p p)  q]  [~q  (r  q)]  [p  (p  ~q)]

25.- [~ (p  q)  (~p  q)]  (~p  q)

26.- [(p ~q)  ~p ]  q


27.- [(p ˄ q)  ~r] v [p  (q ~r)]
28.- ~{[(~p)  (~q)]  ~q ]}

Anda mungkin juga menyukai