Trabajo Práctico

Proposiciones y Tablas de Verdad

Materia: Matemática para informática

Comisión: 13
Grupo: 1
Integrantes:
 Romina Soledad Alem
 Karen Ayelén Anaquin
 Luciano Demian Pereira
 Juan Pablo Mounier

1º Sean las proposiciones: p: “Hace calor” y q: “Es un día soleado”.

Describir con un enunciado verbal las siguientes aserciones:

A) 𝑝  𝑞 HACE CALOR Y ES UN DIA SOLEADO.

B) 𝑞 𝑝 ES UN DIA SOLEADO SI Y SÓLO SI HACE CALOR.

C) ∼𝑝  ∼𝑞 NO HACE CALOR Y NO ES UN DIA SOLEADO.

D) 𝑝 ∼𝑞 HACE CALOR SI Y SÓLO SI NO ES UN DIA SOLEDADO.

E) (𝑝  ∼ 𝑞 ) 𝑝 HACE CALOR Y NO ES UN DIA SOLEADO SI Y SÓLO SI HACE

CALOR.

2º Sean P: “Juan es alto” y q: “Juan es joven”. Escribir los

siguientes enunciados en forma simbólica con p y q

A) “Juan es alto, pero no es joven”: 𝑝  ∼𝑞

B) “Juan es alto, o Juan es bajo y joven”: 𝑝  (∼ 𝑝  𝑞)
C) “Juan no es ni alto ni joven”: ∼ 𝑝  ∼𝑞
D) “No es verdad que Juan es bajo o que no es joven”: ∼ (∼ 𝑝  ∼𝑞)
3º Hallar las tablas de verdad de cada proposición

A) ∼(𝑝  𝑞)  ∼ (𝑞 𝑝)

∼ (𝑝  𝑞)  ∼ (𝑞 𝑝)

F V V V F F V V V

V V F F V V F F V

V F F V V V V F F

V F F F V F F V F

B) (𝑝 → 𝑞)  ∼ (𝑝 ∼𝑞 )

(𝑝 → 𝑞)  ∼ (𝑝 ∼ 𝑞)
V V V V V V F F V
V F F F F V V V F
F V V V F F V F V
F V F V V F F V F

C) [ 𝑝 → (∼ 𝑞  𝑟)]  ∼[𝑞  (𝑝 ∼ 𝑟)]

[𝑝 → (∼ 𝑞  𝑟)]  ∼ [𝑞  (𝑝 ∼ 𝑟)]
V V F V V V F F V V V F F V
V F F V F F F F V V V V V F
V V V F V V V V F F V F F V
V V V F V F F F F V V V V F
F V F V V V F F V V F V F V
F V F V F F F F V V F F V F
F V V F V V F F F V F V F V
F V V F V F V V F F F F V F
D) [ (𝑝  𝑞)  𝑟 ]  𝑠

[ (𝑝  𝑞)  𝑟]  𝑠
V V V V V V V
V V V V V F F
V V V V F V V
V V V V F F F
V V F V V V V
V V F V V F F
V V F V F V V
V V F V F F F
F V V V V V V
F V V V V F F
F V V V F V V
F V V V F F F
F F F V V V V
F F F V V F F
F F F F F F V
F F F F F F F

E) (𝑝  𝑟) ( 𝑟  ∼𝑠)

(𝑝  𝑟) (𝑟  ∼ 𝑠)
V V V F V F F V
V V V V V V V F
V V F F F F F V
V V F F F F V F
F V V F V F F V
F V V V V V V F
F F F V F F F V
F F F V F F V F
F) [(𝑝  𝑟)  𝑠] → ( 𝑟  𝑠)

[(𝑝  𝑟)  𝑠] → (𝑟  𝑠)
V V V V V V V V V
V V V F F V V V F
V V F V V V F V V
V V F F F V F F F
F V V V V V V V V
F V V F F V V V F
F F F F V V F V V
F F F F F V F F F