Actividad AA1 Levantamiento de Información

Cristhian Camilo Santos Villa

LOGICA MATEMATICA Y DE PROGRAMACION

Unipanamericana

Kennedy, Bogotá

Cra89A#46-45sur

3177712397

cristhiancsantos@unipanamericana.edu.co
ACTIVIDAD

La proposición es un enunciado que tiene un valor de verdad (verdadero o falso pero no ambos a la vez). No son proposiciones aquellas
expresiones que indican pregunta, un orden o una exclamación.

1. Escribir al frente de cada proposición si es atómica, molecular o no es proposición

a. La botella no es transparente (Atomica)

b. Mi mascota es pequeña y juguetona (Molecular)

c. El niño de 5 años puede entrar a la piscina si y sólo si lo acompaña un adulto (molecular)

d. Feliz día! (Atomica)

e. El día está soleado (Atomica)

2. Escribir 5 proposiciones de su cotidianidad y realizar la negación.

P.

- Hoy voy a visitar a mi Hija

- Hoy lavo la moto.

- Mañana compro almuerzo

- Mañana me levanto temprano

- Tengo sueño

~P.

-Hoy no voy a visitar a mi hija.

- Hoy no lavo la moto

- Mañana no compro almuerzo

- Mañana no me levanto temprano

- No tengo sueño

3. Dadas las proposiciones P y Q, escribir en texto (palabras) las frases con los conectivos lógicos

p: El señor compra el periódico

q: leerá la sección de deportes

a. 𝑝 ∨ 𝑞

b. 𝑝 ∧ ~ 𝑞

c. 𝑝 → 𝑞

d. 𝑝 ↔ 𝑞

e. ~𝑝 → ~ q

a. El señor compra el periódico pero solo leerá la sección de deportes.

b. El señor compra el periódico pero no leerá la sección de deportes.

c. El señor compra el periódico por lo tanto leerá la sección de deportes.

d. El señor compra el periódico porque y solamente leerá la sección de deportes.

e. El señor no compra el periódico por lo tanto no leerá la sección de deportes.

4. Realizar tabla de verdad de cada una de las siguientes proposiciones y determinar si

los esquemas son contradicciones, tautologías o contingencias:

a. (~𝑝 ∧ 𝑞 ) → (𝑝 ↔ 𝑞)

b. [(𝑝 ∧ 𝑞) → ~ 𝑟 ] → [𝑟 ∨ (𝑝 ↔∼ 𝑞)]

c. (𝑝 ∧ ~𝑞) ∨ ~ (𝑞 → ~𝑟)

a.

p q (~p) ((~p)^q) (p↔q) ((((~p)^q))→((p↔q)))

F F V F V V

F V V V F F

V F F F F V

V V F F V V

b.
p q r (p^q) (~r) (((p^q))→(~r)) (~q) (p↔(~q)) (rv((p↔(~q)))) (((((p^q))→(~r)))→((rv((p↔(~q))))

F F F F V V V F F F

F F V F F V V F V V

F V F F V V F V V V

F V V F F V F V V V

V F F F V V V V V V

V F V F F V V V V V

V V F V V V F F F F

V V V V F F F F V V
C.

p q r (~q) (p^(~q)) (~r) (q→(~r)) (~((q→(~r)))) (((p^(~q)))v(~((q→(~r)))))

F F F V F V V F F

F F V V F F V F F

F V F F F V V F F

F V V F F F F V V

V F F V V V V F V

V F V V V F V F V

V V F F F V V F F

V V V F F F F V V