UNIVERSIDAD DE LOS LLANOS

DESARROLLO DEL PENSAMIENTO LÓGICO MATEMÁTICA

TALLER 2

Determina el valor de verdad de cada una de las siguientes fórmulas Bien Construida.
Utiliza el método de las tablas de verdad

MERLY SHERIK DAZA HUMOA 117004604

1. [ ( P v R) Ʌ ( Q → P)] ↔ R

P Q R [(p v R) ʌ (Q → P)] ↔ R
V V V V V V V V V V V V
V V F V V F V V V V F F
V F V V V V V F V V V V
V F F V V F V F V V F F
F V V F V V F V F F F V
F V F F F F F V F F V F
F F V F V V V F V F V V
F F F F F F F F V F V F

CONTINGENCIA

2. ( P V S) → ( R Ʌ S)

P R S (P V S) → (R Ʌ S)
V V V V V V V V V V
V V F V V F V V F F
V F V V V V F F F V
V F F V V F F F F F
F V V F V V V V V V
F V F F F F F V F F
F F V F V V F F F V
F F F F F F V F F F

CONTINGENCIA
3. [ ( P Ʌ M ) V ( Q → M)]

M P Q [(P Ʌ M) V (Q → M)]
V V V V V V V V V V
V V F V V V V F V V
V F V F F V V V V V
V F F F F V V F V V
F V V V F F F V F F
F V F V F F V F V F
F F V F F F F V F F
F F F F F F V F V F

CONTINGENCIA

4. P → [( S V R) Ʌ ( N)]

P S R N P → [( S V R) Ʌ ( N)]

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

CONTINGENCIA
2. Analice los siguientes enunciados, estructure la formula lógica, evidenciando las
premisas, las conclusiones y determine su valor de verdad mediante la tabla de
verdad.

2.1 “ Si el señor Suárez y la señora Suárez, ganan más de 10 salarios mínimos legales
vigente, la familia Suárez puede pasar las vacaciones en Miami. Puesto que el señor
Suarez o su esposa ganan más de 10 SMLV, concluyo que pueden pasar las
vacaciones en Miami”.

2.2 “Si no hubiese llovido, ayer se habría llevado a cabo la regata. Cuando hay
regata, se entrega un trofeo. El trofeo no fue entregado. Por lo tanto, sabemos que
llovió.”

2.3 Si la tormenta continua, nos quedaremos a cenar. Si nos quedamos a cenar, no

iremos mañana al concierto. Pero sí iremos mañana al concierto. Así pues, la
tormenta no continua

[(P→Q) Ʌ(Q→¬R) Ʌ (R)]→(¬P)

P R Q [(P → Q) Ʌ (Q → ¬R) Ʌ (R) ] → (¬P)

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

CONTINGENCIA