SEMNTICA de LP

Interpretar semnticamente un clculo es darle significado. Esta tarea se cumple

cuando se asigna posibles valores de verdad a los smbolos de nuestro clculo.

Consideramos una LGICA BIVALENTE, la que acepta slo dos valores de verdad,
VERDADERO o FALSO.

As, con una proposicin simple tendremos:

Con dos proposiciones simples tendremos:

Con tres proposiciones simples tendremos:

En conclusin para determinar cuntos Estados Posibles del Mundo (lneas de la tabla
de verdad) genera una FBF, debemos aplicar la siguiente frmula: 2n, donde n es el
nmero de variables que tiene la FBF.

Tablas de los operadores

NEGACIN

CONJUNCIN
DISYUNCIN

CONDICIONAL

BICONDICIONAL

FUNCIONES VERITATIVAS
Son expresiones cuyo valor de verdad depende del valor de verdad de sus componentes.

TABLAS DE VERDAD ELEMENTALES:

MTODO DECISORIO
 Es un procedimiento mecnico que permite decidir las condiciones en que una fbf es
verdadera o falsa.

Ejemplos: Tablas de Verdad, Mtodo Abreviado, Diagramas Semnticos, etc.

Tablas de verdad

Aplicacin de tablas de verdad

Halle la tabla de valores de las siguientes fbf:

1. (p q) (r p)

2. p (q r) . . (q ~ r) p

3. [(p q) r] ~ p

4. (p q) r. . ~ r ~ (q p)

5. (q u) ( s w ) ( t r ) .. p q

Ejemplo 1

Ejemplo 2
Ejemplo 3

Si queremos hallar la tabla de verdad de la fbf siguiente:

(q u) ( s w ) ( t r ) .. p q

Sera prctico hacerlo construyendo la tabla de verdad completa?

MTODO ABREVIADO

Es un MTODO DECISORIO que permite evaluar una FBF para determinar si sta es
tautolgica, contradictoria o contingente.

Para aplicar este mtodo debemos en primer lugar aprender las TABLAS
ELEMENTALES, y luego seguir las indicaciones para el PROCESO OPERATIVO.

INDICACIONES PARA PROCESO OPERATIVO DEL MTODO ABREVIADO:

1 El mtodo abreviado parte de una hiptesis o suposicin, es decir, de asumir que la FBF en
cuestin es VERDADERA o FALSA, segn convenga.

Ejemplo:
2 Se desarrolla la hiptesis:

3 Debe trabajarse primero aquellos pedazos de FBF que generen un EPM.

4 Se trasladan los valores de verdad de las variables encontrados, una por una y tratando de
que se cumplan las reglas de las tablas de verdad elementales.

5 Se visualiza si hay al menos una variable con valores opuestos (absurdo).

Decisin

Si hay oposicin en los valores de una variable no se cumple la hiptesis, y si no hay

oposicin, entonces la hiptesis se cumple.

En el ejemplo, la hiptesis era que la fbf era FALSA, como no es posible, entonces la fbf
es Tautolgica.

Algunos ejemplos ms

(q r) (ps)(rt)

r ( q s ) p ( q r )

Procedimiento del MA

Asumir que la fbf es verdadera o falsa, segn convenga.

Deducir los valores de cada parte de la fbf, yendo de mayor a menor jerarqua de los
operadores, hasta llegar a los valores de todas las variables.

Cuando no se pueda deducir el valor de alguna variable, se traslada el valor de

alguna otra; pero solo se traslada lo mnimo necesario para continuar deduciendo.

Cuando, ni aun trasladando los valores de las variables se pueda continuar

deduciendo, hay que DOBLAR LA LNEA.

El procedimiento se termina cuando:

 Se ha determinado el valor de todas las variables o

Se ha encontrado un absurdo (una variable que es V y F a la vez).

Anlisis de los resultados

Se encontr un absurdo, entonces el supuesto nunca se cumple.

Si se supuso F, la fbf ser T.

Si se supuso V, la fbf ser .

No se encontr un absurdo, entonces el supuesto se cumple, pero hay que analizar

en qu casos. Generalmente, la fbf ser contingente.

Anlisis de los resultados en una fbf Q

Ejemplo:

El supuesto s se cumple pero en qu caso?

Anlisis del resultado:

EJERCICIOS

Determinar si las fbf son tautolgicas, contradictorias o contingentes mediante

mtodo abreviado.

Si la fbf resultara contingente, reconstruir su tabla de verdad.

1. [(q ~r) p] (r s) . . s ~t : : q (t p)

2. q (p r) . . [ q (p r) ] ~ (s t)

3. ~[ (~p q ) ~ (~q r ) ] [~ ( ~p ~r) q ]

4. ( ~q ~p ) [ ( r q ) ( p r ) ]

5. ~[(p r) ( r ~q) : : p ( q r .. t )]

6. [ ( r q ) ( q ~r ) ] [ ~r ( s t ) ]

7. ~[~[ (p ~q) (q ~ t)] . . ~ p t ]

8. ~ (p q ) ~ r .. r ( p q )

Bibliografa

D. Rosales, El mtodo de las tablas abreviadas en: Introduccin a la Lgica. Lima:

Monterrico 1994, p. 55-68