Patrocinado por PHPDocX

Síguenos en Twitter

Buscar en WikilleratO
   

Lógica proposicional

De Wikillerato

(Diferencias entre revisiones)
(Proposiciones atómicas y moleculares. Las tablas de verdad ó tablas veritativas)
(Leyes lógicas)
Línea 367: Línea 367:
Dada cualquier expresión, se puede sustituir por otra equivalente, esta afirmación se conoce con el nombre de principio o regla de sustitución.
Dada cualquier expresión, se puede sustituir por otra equivalente, esta afirmación se conoce con el nombre de principio o regla de sustitución.
 +
==Leyes lógicas==
==Leyes lógicas==

Revisión de 10:08 28 mar 2007

Una de las razones que motivó la aparición de la lógica matemática, fue evitar la ambigüedad del lenguaje natural y transformar el pensamiento en un cálculo, según el modo de operar de las matemáticas. Simplificar o simbolizar las oraciones o juicios para poder operar con ellas, así surge el


Tabla de contenidos

Lenguaje formal

Consiste en abreviar o simbolizar las oraciones o juicios, que en la lógica matemática se llaman proposiciones. Estas proposiciones se reducen en el lenguaje formal a una sola letra, que llamamos variable, y la simbolizamos con las letras minúsculas del alfabeto que van de la “p” hasta el final del abecedario.

Si digo por ejemplo:”Antonio ama a Piedad”, esta proposición queda simbolizada en el lenguaje formal mediante la variable “p” o “q”, o “r”, o “s”.

Además de estas variables, la lógica proposicional utiliza otros símbolos, llamados constantes, cuyo significado siempre es el mismo ya que modifican o unen a las variables. Estos símbolos constantes, se llaman funtores, juntores, conectivas u operadores lógicos.

Cuando el funtor afecta a una sola variable, se llama monádico, como por ejemplo el negador ( \bar{ } ) que se lee en el lenguaje natural “no”, y se sitúa encima de la letra variable, \bar{ p} , “no p”. Cuando afectan a más de una variable, son poliádicos. Los funtores más importantes son:

[\land   ] Conjuntor , “ y “ en el lenguaje natural.

[\lor   ] Disyuntor , “ o “.

[\to   ] Condicional, “ si…, entonces”.

[\leftrightarrow   ] Bicondiconal, “ si y sólo si…, entonces”.

[ \underline{\lor   }] Disyunción exclusiva, “o…o”, una proposición excluye a la otra.


El negador además de ser un funtor monádico, es decir que afecta a una variable, puede ser poliádico, cuando afecta a más de una variable o a una expresión entera.

Hay que tener siempre en cuenta, que las variables simbolizan oraciones enteras y no sólo palabras o nombres:

Ejemplos de simbolización de oraciones, del lenguaje natural al lenguaje formal:

1. La conjunción: [ p  \land  q ] “Juan juega y Pedro estudia”.

2. La disyunción: [ p  \lor  q ] “Llueve o nieva”.

3. El condicional: [ p \to  q ] “Si estudias entonces aprendes”.

4. El bicondicional: [ p \leftrightarrow q ] “Si y sólo si tienes dieciocho años puedes votar”.

5. La disyunción exclusiva: [ p  \underline{\lor} q ] “O te quedas o te vas”.

6. La negación: [ \bar{p} ] “Manolo no juega limpio”.

A veces el negador puede afectar a más de una variable o a la conjunción, o disyunción de ambas:

[\overline{p \lor q}   ] “Es falso que estudies o trabajes”.

Valores de verdad

En la gramática estamos acostumbrados a ver que la oraciones pueden ser verdaderas o falsas, según se ajusten o no a la realidad que expresan, por ejemplo si llueve y digo que “hace sol”, esa oración es falsa. En cambio la lógica considera que las proposiciones pueden ser verdaderas o falsas con independencia de que en la realidad lo sean; por eso habla de valores de verdad.

Una proposición [ p ] puede ser indistintamente verdadera o falsa; cuando es verdadera, le damos valor 1, cuando es falsa, le adjudicamos el valor 0. Según esto la variable p, puede tener los siguientes valores:

p
1100
1010


Cuando p siempre tiene valor 1, hablamos de tautología de p. Cuando siempre es falsa, contradicción de p. Si p es primero verdadera y luego falsa, afirmación de p. Cuando es primero falsa y luego verdadera, negación de p.


Si consideramos los valores de dos variables conjuntamente, las posibilidades aumentan según el gráfico siguiente:


p\, q
1  1  1 1 1 1 0 1 0 0 1 1 0 0 0 0 1 0
1  0   1 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0
0  1  1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0
0  0  1 0 1 1 1 0 1 0 1 0 1 1 0 0 0 0


Las dos primeras columnas indican los cuatro valores posibles que pueden tener dos proposiciones simples, si se consideran sus valores a la vez: las dos verdaderas, la primera verdadera y la segunda falsa, la primera falsa y la segunda verdadera y las dos falsas.

Las restantes dieciséis columnas representan los valores de verdad o falsedad, de cada una de las dieciséis proposiciones de orden dos.

Entre estas proposiciones, hay algunas que tienen especial interés en lógica, según los valores que adoptan las variables cuando están afectadas por funtores:

Proposición conjuntiva

p\landq
111
100
001
000

La conjunción es verdadera sólo cuando ambas variables lo son y es falsa en los demás casos.

Se lee p y q.


Proposición disyuntiva inclusiva

p\lorq
111
110
010
000

La disyunción es verdadera en todos los casos menos cuando p vale 1 y q vale 0.

Se lee p ó q.


Proposición disyuntiva exclusiva

p\underline{\lor}q
101
110
011
000

La disyunción exclusiva es verdadera cuando una variable es verdadera y la otra falsa, y es falsa en los demás casos.

Se lee p excluye a q.

Proposición condicional

p\toq
111
100
011
010

El condicional es verdadero en todos los caso menos cuando p vale 1 y q vale 0.

Se lee p condiciona a q.


Proposición bicondicional

p\leftrightarrowq
111
100
001
010

El bicondicional es verdadero cuando ambos son verdaderos o cuando ambos son falsos, y es falso en los demás casos.

Se lee p bicondiciona a q.

Proposición negativa

p\bar p
10
01

La negación - que se lee no p -, cambia el valor de la variable que se niega: sólo es verdadera si p es falsa y es falsa si p es verdadera.


Proposiciones atómicas y moleculares. Las tablas de verdad ó tablas veritativas

En Química se aprende que los cuerpos están formados de átomos que se asocian formando moléculas; cuando una proposición consta de una sola variable la llamamos proposición atómica, y, cuando consta de muchas variables, proposición molecular.

Para hallar el valor de verdad de una proposición molecular, hay que descubrir el funtor capital, aquel que liga más, es decir que une o liga toda la expresión.

Un mecanismo sencillo para conocer el valor del funtor capital en una proposición molecular es el llamado método de las tablas de verdad.


Sirve de ayuda para localizar al funtor capital, la utilización de paréntesis y corchetes:

[ (p  \to  q)  \land p ]  \to  q

En esta expresión se ve con claridad que el funtor capital es el condicional, que une todo el corchete con q.

El modus operandi es ir encontrando el valor de verdad primero de los funtores que ligan menos, hasta llegar en último lugar al funtor capital.

[ (p \to q) \land p] \to q
1 1 1 1 1 1 1
1 0 0 0 1 1 0
0 1 1 0 0 1 1
0 1 0 0 0 1 0

En esta expresión, se comienza hallando el valor del condicional en el primer paréntesis puesto que une a la p con la q; después la conjunción que une el resultado del condicional con la p dentro del corchete; y por último el condicional que une el resultado recién hallado de la conjunción con la última variable q.

Cuando en la tabla aparece en todos los lugares de funtor capital el valor 1, la expresión es una tautología o identidad. Si en todos los lugares el valor es 0, es una contradicción. Finalmente cuando en el funtor capital encontramos valores de 1 y de 0, la proposición es indeterminada.

Dos proposiciones son equivalentes si tienen la misma tabla veritativa:

(p \to q)         (\bar p \lor q)
1 1 1 0 1 1
1 0 0 0 0 0
0 1 1 1 1 1
0 1 1 1 1 0


Según se observa en este ejemplo, el resultado del condicional en el primer paréntesis, es el mismo que el resultado de la disyunción en el segundo paréntesis. Estas proposiciones son por tanto, equivalentes; esto quiere decir que pueden ser sustituidas una por la otra.

Dada cualquier expresión, se puede sustituir por otra equivalente, esta afirmación se conoce con el nombre de principio o regla de sustitución.


Leyes lógicas

   
 
ASIGNATURAS
MatemáticasFísicaQuímicaBiologíaDibujoHistoriaLengua y LiteraturaHistoria del ArteFilosofía
Creative Commons License
Los contenidos de Wikillerato están disponibles bajo una licencia de Creative Commons.
Pueden utilizarse y redistribuirse libremente siempre que se reconozca su procedencia.