Pensamiento matemático

Unidad 1: actividad 3

Actividad 3. Operaciones proposicionales y lenguaje formal

I. Simboliza las siguientes proposiciones en lenguaje formal y determina,

por medio de una tabla de v erdad, si se trata de una contradicción, una
tautología o una contingencia.

o no hay fiesta.

se pone feliz, entonces Juan se casará con ella.

no lo llevará al parque o a comer una hamburguesa.

II. Determina el v alor de verdad de las siguientes proposiciones por medio

de una tabla de v erdad.

P  (Q  (R  S))  R  (P  (Q  S))

P  Q ↔ P ⋁ Q

P ⋁ Q ↔ P  Q

(P  Q)  R, (P  Q)  R  P ∧ Q

PQ, P  R
Título
Subtítulo
P  Q, P  Q  P

UNADM | DCEIT | MAT | 00000 2