Lógica Proposicional

Ejercicios de Formalización

SIMBOLOS: ¬ ˄ v → { }

a. Si acepto este trabajo o dejo de pintar por falta de tiempo, entonces no

realizaré mis sueños. He aceptado el trabajo y he dejado de pintar. Por lo tanto,
no realizaré mis sueños.

1.Código:
-Acepto este trabajo: p
-Dejo de pintar por falta de tiempo: q
-Realizaré mis sueños: r

2.Forma lógica

(p v q) → ¬ r
(p ˄ q)
¬r

3.Condicional asociado

{[(p v q) → ¬ r ] ˄ (p ˄ q)} → ¬r
4.Tabla de verdad

5.Tipo de razonamiento: Tautología

b. Es falso que hayas estudiado o sepas lógica si no resuelves este problema.

Pero has estudiado o sabes lógica. Por tanto, resolverás este problema.
1.Código

-Has estudiado: p
-Sabes lógica: q
-Resuelves el problema: r { }

2.Forma lógica

¬r → ¬ (p v q)
pvq
r

3.Condicional asociado

{[¬r → ¬ (p v q)] ˄ (p v q)} → r

4.Tabla de verdad

5.Tipo de razonamiento: Tautología