[go: up one dir, main page]
Scribd
Cargar
261 vistas2 páginas

Tablas de Verdad y Tautologías

El documento presenta tres actividades relacionadas con tablas de verdad y proposiciones lógicas: 1) Construir la tabla de verdad de la proposición ¬(P ∧ ¬Q), 2) Demostrar mediante tabla de verdad que ¬(P ∨ Q) ⇒ ((¬P) ∧ (¬Q)) es una tautología, 3) Determinar si ciertas proposiciones son tautologías, contingencias o contradicciones usando tablas de verdad.

Cargado por

Montse Rosas
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
261 vistas2 páginas

Tablas de Verdad y Tautologías

El documento presenta tres actividades relacionadas con tablas de verdad y proposiciones lógicas: 1) Construir la tabla de verdad de la proposición ¬(P ∧ ¬Q), 2) Demostrar mediante tabla de verdad que ¬(P ∨ Q) ⇒ ((¬P) ∧ (¬Q)) es una tautología, 3) Determinar si ciertas proposiciones son tautologías, contingencias o contradicciones usando tablas de verdad.

Cargado por

Montse Rosas
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
Está en la página 1/ 2

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

También podría gustarte