COMO RESOLVER PASO A PASO UN PROBLEMA DE TABLAS DE VERDAD

Paso 1
Identificar en el enunciado del problema el razonamiento que va a trabajar.
Normalmente este razonamiento est dado entre comillas.

Enunciado del problema:

Anglica se levant el lunes como lo hace siempre a las 5:30 am para alistarse e
irse a trabajar; pero ese lunes la nostalgia se apoder de ella y sumndole la
predisposicin que suele dar el comenzar la semana de trabajo. Pero ella al mirarse
al espejo minutos antes de salir de su casa hizo la siguiente reflexin: tengo calidad
de vida y poseo una buena salud. Tengo calidad de vida y poseo un excelente
empleo. Es que en realidad poseo una excelente salud y el trabajo que poseo es
excelente. Por consiguiente poseo una calidad de vida. Analiza a travs de las
tablas de verdad si es correcta la reflexin que hace Anglica, determinando si es
tautologa o contradiccin o contingencia.

Paso 2
Identificar las proposiciones simples. Tenga en cuenta que la estructura de una
proposicin simple contiene (sujeto + verbo + predicado). Las proposiciones se
denotan con letras del abecedario (p,q,r,r., . . ) y se escriben en tiempo presente
afirmativo.

Slolucin:

Declaracin de las proposiciones simples

p: tengo calidad de vida.

q: poseo muy buena salud.
r: poseo un excelente empleo.
Paso 3

Identificar los conectores u operadores lgicos resaltando en rojo.

Declaracin de las proposiciones compuestas (lenguaje natural),

tengo calidad de vida y poseo una buena salud. Tengo calidad de vida y poseo un
excelente empleo. Es que en realidad poseo una excelente salud y el trabajo que
poseo es excelente. Por consiguiente poseo una calidad de vida

Paso 4
Con las proposiciones simples del Paso 2 pasar a lenguaje formal las
proposiciones compuestas del paso 3. Lo cual queda de la siguiente forma:

Declaracin de las proposiciones compuestas (lenguaje formal),

[()()()]

Paso 5
Construir la tabla de verdad teniendo en cuenta que el nmero de proposiciones
da el nmero de columnas y para el nmero de filas aplicar la frmula . Donde
(n) representa el nmero de proposiciones. Para hacer la tabla de verdad parta de
la frmula del Paso 4. Primero las negaciones si las hay, luego parntesis, luego
corchetes y luego llaves.
Antes de iniciar debe conocer el funcionamiento de los operadores lgicos
Tabla de verdad

TAUTOLOGIA
Paso 6
Comprobar la frmula del paso 4 en el simulador TRUTH. El resultado del simulador
debe ser igual al resultado de la tabla manual.

Elaborado por: Fabio Ossa Ortega

Tutor del curso