Introducción al pensamiento matemático (Actividad 4).

1. Construir la tabla de verdad de la proposición ¬ (P ∧ ¬Q).

n=número de proposiciones
n=2(P, Q)
Numero de filas=2n=22=4
P Q ¬𝑄 𝑃 ∧ ¬𝑄 ∽ (𝑃 ∧ ¬𝑄)
F V V F V
F F F F V
V V V V F
V F F F V

2. Prueba usando tablas de verdad que la proposición ¬(𝑃⋁𝑄) ⇒ ((¬𝑃) ∧ (¬𝑄)) es una
tautología
n= número de proposiciones simples =P, Q
Numero de filas=2n=22=4 filas
P Q 𝑃 ∨ 𝑄 ¬𝑃 ∨ 𝑄 ¬𝑃 ¬𝑄 (¬𝑃) 𝑃 → 𝑄 ¬𝑃 ∨ 𝑄)
∧ (¬𝑄) → ((¬𝑃)
∧ (¬𝑄))
F F F V V V V V V
F V V F V F F V V
V F V F F V F F V
V V V F F F F F V

3. Si P y Q son proposiciones atómicas distintas establecer si las siguientes proposiciones son

tautologías, contingencias o contradicciones utiliza tablas de verdad
i) [p ∧ (q ∨ r)] −→ [(p ∧ q) ∨ (p ∧ r)]

Tautología:

P Q R 𝑄∨𝑅 𝑃∧𝑄 𝑃∧𝑄 𝑃∧𝑅 (𝑃 ∧ 𝑄) [𝑃 ∧ (𝑞 ∨ 𝑟)]

∨𝑅 ∨ (𝑃 → [(𝑝 ∧ 𝑞) ∨ (𝑝
∧ 𝑅) ∧ 𝑟)]

F F F F F F F F V

F F V V F F F F V

F V F V F F F F V

F V V V F F F F V

V F F F V F F F V

V F V V V F V V V

V V F V V V F V V
V V V V V V V V V

ii) [(p ∧ q) ←→ p] −→ (p ←→ q)

Contingencia:

P Q 𝑃∧𝑄 (𝑃 ∧ 𝑄) ↔ 𝑃 𝑃↔𝑄 [(𝑝 ∧ 𝑞) ↔ 𝑝]

→ (𝑝 ↔ 𝑞)
F F F V V V
F V F V F F
V F F F F V
V V V V V V