RAZONAMIENTO LGICO Lic.

JOS VILLANUEVA CABANILLAS

El clculo proposicional estudia la estructura de las
proposiciones e inferencias; para ello dispone de
un procedimiento que permite hallar la verdad o
falsedad de la funcin, dependiendo de los valores
que independientemente tomen cada uno de sus
variables componentes.
Este mtodo o procedimiento mecnico se
denomina TABLAS DE VERDAD. Cada variable que
represente a una proposicin verdadera (V) le
daremos el valor 1 y a cada variable falsa (F) se le
asignar el valor O.
Cada conector lgico posee convencionalmente
ciertas reglas, las cuales son derivadas
principalmente de tres principios lgicos o
frmulas tautolgicas denominadas: LEYES DEL
PENSAMIENTO

I. LAS TRES LEYES DEL PENSAMIENTO

1. Principio de Identidad: (Parmnides 515 A.C.)

Si un enunciado es verdadero entonces es
verdadero

Esto significa que toda proposicin se implica
as misma: P P
Ejemplo : Si Amrica es continente entonces
Amrica es un continente

2. Principio de no contradiccin: (Platn 428 A.C.)

Es imposible que un enunciado sea
verdadero y falso a la vez

Esto significa que no puede ser cierto que una
proposicin se acepte simult-neamente con
su contrario : ~ (p . ~ p)

Ejemplo : No es el caso que un hombre sea
mortal y al mismo tiempo no lo sea.



3. Principio del Tercio Excluido: (Aristteles 384
A.C.)

Un enunciado es verdadero o falso, no cabe
una tercera posibilidad

Esto significa que una proposicin lgica es de
carcter bivalente; solo puede ser verdadera o
falsa.
Ejemplo : El nmero 7 es un nmero impar o
no es impar.

II. REGLA DE LOS CONECTORES LGICOS

1. EL NEGADOR
Si una proposicin es verdadera, su negacin
ser falsa y viceversa

A ~A A - A
V F 1 0
F V 0 1
2. EL CONJUNTOR

A . B A x B
V V V 1 1 1
V F F 1 0 0
F F V 0 0 1
F F F 0 0 0

Una proposicin conjuntiva es verdadera
cuando todos sus componentes son
verdaderos. Es falsa cuando por lo menos uno
de sus componentes es falso
3. EL DISYUNTOR DBIL

A v B A + B
V V V 1 1 1
V V F 1 1 0
F V V 0 1 1
F F F 0 0 0

Una proposicin disyuntiva es falsa cuando
todos sus componentes son falsos. Es
verdadera cuando por lo menos uno de sus
componentes es verdadero
4. EL DISYUNTOR FUERTE

A
v
B A - B
V F V 1 0 1
V V F 1 1 0
F V V 0 1 1
F F F 0 0 0

Una frmula Bidisyuntiva es verdadera
cuando sus componentes tienen valores
diferentes. Es falso si sus componentes tienen
valores iguales.



VALORES DE VERDAD FORMAL
RAZONAMIENTO LGICO Lic. JOS VILLANUEVA CABANILLAS
5. EL CONDICIONAL

A B A B
V V V 1 1 1
V F F 1 0 0
F V V 0 1 1
F V F 0 1 0

Una proposicin condicional solo es falsa
cuando el antecedente es verdadero y el
consecuente falso. En los dems casos la
proposicin ser verdadera.
6. EL BICONDICIONAL
A B A B
V V V 1 1 1
V F F 1 0 0
F F V 0 0 1
F V F 0 1 0

Una proposicin Bicondicional es verdadera
cuando todo sus componentes son iguales. Es
falsa si sus componentes tienen valores
diferentes.

III. TABLAS DE VERDAD
Es una grfica que sirve para analizar esquemas
moleculares, estos esquemas dependen de los
valores de las proposiciones componentes y la
correcta aplicacin de las reglas veritativas
correspondientes a sus conectores. Dichos
esquemas pueden ser:

1. TAUTOLOGICOS .- Si su matriz principal est
conformado solo de valores verdaderos.
Ejemplo

A B (A . B) (A v B)
1 1 1 1 1
1 0 0 1 1
0 1 0 1 1
0 0 0 1 0
|
Matriz principal

2. CONTRADICTORIOS .- Si en su matriz principal
todo los valores son falsos. ejemplo :

A B (A v B) (-A . -B)
1 1 1 0 0
1 0 1 0 0
0 1 1 0 0
0 0 0 0 1
|
Matriz principal

3. CONTINGENTES.- Si en su matriz principal
aparece por lo menos un valor verdadero y un
falso. ejemplo :

A B (A v B) (A . B)
1 1 1 1 1
1 0 1 0 0
0 1 1 0 0
0 0 0 1 0
|
Matriz principal

NOTA : Una frmula proposicional ser valida si es
Tautolgica y se dir que es falsa en toda
interpretacin si es contradictoria.

Como vemos : El mtodo de las tablas de verdad
puede ser aplicado en la demostracin de la
validez de frmulas proposicionales; sin embargo
existen un procedimiento que evita el laborioso
trabajo de combinar todos los valores para
obtener el resultado veritativo de una frmula
proposicional denominado el mtodo de las tablas
abreviadas.
IV. EL MTODO DE LAS TABLAS ABREVIADAS
Gracias a este mtodo podemos averiguar de
manera ms directa si una frmula es
tautolgica, contradictoria o consistente.

Procedimiento para averiguar si una frmula es
tautolgica o no:
1. Se supone la falsedad del operador o
conector principal de la frmula
proposicional que se est analizando.
2. Asignamos los valores correspondientes a
las variables para satisfacer las condiciones
de nuestra suposicin
3. Se sigue el mismo proceso encadenado
hasta obtener el valor veritativo de cada
proposicin simple teniendo en cuenta el
principio del Tercio Excluido
4. Se en el resultado final por lo menos una
proposicin atenta contra el principio de
La no contradiccin; entonces cometimos
un error al suponer inicialmente la
existencia de la falsedad del operador o
conector principal.
5. Como no es posible hacer dicha suposicin,
entonces todos los valores deben ser
verdaderos; es decir las tablas de verdad
representara a un esquema tautolgico y la
frmula proposicional ser vlida.

RAZONAMIENTO LGICO Lic. JOS VILLANUEVA CABANILLAS
Si el paso nmero 4 no atenta contra el
principio citado entonces nuestra suposicin
fue correcta y la frmula proposicional por lo
menos no sera tautolgico; puede ser
consistente o contradictorio, para eso hay que
empezar suponiendo la verdad del operador o
conector principal y seguir cada uno de los
pasos anteriores.
Ejemplo: Analizar la validez de la sgte. frmula
proposicional :
( ) | | ( ) r p ) r q ( q p .
Solucin:
Desarrollaremos los pasos 1,2 y 3
( ) |
|
( )
r p ) r q ( q p .
V V V V V
V
F
F
F
V
V
|


Vemos que el valor de r es verdadero dentro
del corchete y falso en el tercer parntesis
atentando al principio de no contradiccin;
llegamos a un absurdo, luego todos los valores
de la matriz principal sern verdaderos, la
frmula proposicional es vlida.
Ejemplo : Ser contradictoria la sgte. frmula
proposicional?

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

Ejemplo : Analizar la sgte. frmula e indique a
qu esquema pertenece

[(p q) . (r s) . - (q . s)] (r - p)

V. QUIN ES EL MENTIROSO?
Un chico y una chica con ganas de hacer una
broma, estn sentados uno junto al otro; no se
saben nombres, solo se sabe que un individuo
tiene los cabellos negros y el otro los cabellos
rubios.

Yo soy un chico - dice el individuo de cabello
negros
Yo soy una chica - dice el individuo de
cabellos rubios.
Si se sabe que por lo menos uno de los dos
MIENTE; haciendo uso de las tablas de certeza
averiguar el sexo de los chicos de cabellos
negros y rubios respectivamente.

Rpta. : ......