Ver código fuente

De Wikillerato

No tienes permiso para hacer eso, por los siguientes motivos:
Esta página ha sido bloqueada para evitar su edición.
No está autorizado a ejecutar la acción que ha solicitado.
Puedes ver y copiar el código fuente de esta página:
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 lenguaje formal.


==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 <math>p</math> 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 <math>p</math> o <math>q</math>, o  <math>r</math>, o <math>s</math>.

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 ( <math>\bar{ } </math> ) que se lee en el lenguaje natural «no», y se sitúa encima de la letra variable,  <math>\bar{ p} </math>, «no <math>p</math>». Cuando afectan a más de una variable, son poliádicos. 
Los funtores más importantes son:

:<math>[\land   ]</math>    '''Conjuntor''' ,  «y» en el lenguaje natural.

:<math>[\lor   ]</math>    '''Disyuntor''' ,  «o».

:<math>[\to   ]</math>   '''Condicional''',  «si... entonces».

:<math>[\leftrightarrow   ]</math>   '''Bicondiconal''', «si y sólo si... entonces».

:<math>[ \underline{\lor   }]</math>  '''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:

# La conjunción: <math>[ p  \land  q ]</math> «Juan juega y Pedro estudia».
# La disyunción: <math>[ p  \lor  q ]</math> «Llueve o nieva».
# El condicional: <math>[ p \to  q ]</math> «Si estudias entonces aprendes».
# El bicondicional: <math>[ p \leftrightarrow q ]</math> «Si y sólo si tienes dieciocho años puedes votar».
# La disyunción exclusiva: <math>[ p  \underline{\lor} q ]</math> «O te quedas o te vas». 
# La negación: <math>[ \bar{p} ]</math> «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:                                                                                                 
                                                   
<math>[\overline{p \lor q}   ]</math>  «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 [ <math>p</math> ] 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 <math>p</math>, puede tener los siguientes valores:
<table cellspacing="6">
<tr>
<td><math>p</math></td><td></td>
</tr>
<tr>
<td>1</td><td>1</td><td>0</td><td>0</td>
</tr>
<tr>
<td>1</td><td>0</td><td>1</td><td>0</td>
</tr>
</table>


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



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


<table cellspacing="6">
<tr>
<td><math>p\, q</math> </td><td></td><td></td><td></td><td></td><td></td><td></td><td></td><td></td><td></td><td></td><td></td><td></td><td></td><td></td><td></td>
</tr>
<tr>
<td>1 &nbsp;1&nbsp; </td><td>   1  </td><td>  1 </td><td>   1  </td><td>  1 </td><td>   0  </td><td>  1  </td><td>  0   </td><td> 0 </td><td>   1 </td><td>   1 </td><td>   0  </td><td>  0 </td><td>   0 </td><td>   0 </td><td>   1 </td><td>   0 </td>
</tr>
<tr>
<td>1 &nbsp;0 &nbsp; </td><td>   1  </td><td>  1 </td><td>   1 </td><td>   0  </td><td>  1 </td><td>   1 </td><td>   0 </td><td>   1 </td><td>   0 </td><td>   0  </td><td>  1</td><td>    0  </td><td>  0  </td><td>  1 </td><td>   0 </td><td>   0 </td>
</tr>
<tr>
<td>0&nbsp; 1&nbsp; </td><td>    1 </td><td>   1 </td><td>   0 </td><td>   1 </td><td>   1 </td><td>   0  </td><td>  1  </td><td>  1 </td><td>   0 </td><td>   1 </td><td>   0 </td><td>   0  </td><td>  1 </td><td>   0 </td><td>    0 </td><td>   0 </td>
</tr>
<tr>
<td>0&nbsp; 0&nbsp;  </td><td>   1 </td><td>   0 </td><td>   1  </td><td>  1  </td><td>  1  </td><td>  0  </td><td>  1 </td><td>   0  </td><td>  1 </td><td>   0  </td><td>  1  </td><td>  1  </td><td>  0 </td><td>   0 </td><td>   0 </td><td>   0 </td>
</tr>
</table>


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===


<table cellspacing="6">
<tr>
<td><math>p</math></td><td><math>\land</math></td><td><math>q</math></td>
</tr>
<tr>
<td>1</td><td style="color: #b70000">1</td><td>1</td>
</tr>
<tr>
<td>1</td><td style="color: #b70000">0</td><td>0</td>
</tr>
<tr>
<td>0</td><td style="color: #b70000">0</td><td>1</td>
</tr>
<tr>
<td>0</td><td style="color: #b70000">0</td><td>0</td>
</tr>
</table>

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

Se lee <math>p</math> y <math>q</math>.

===Proposición disyuntiva inclusiva===

<table cellspacing="6">
<tr>
<td><math>p</math></td><td><math>\lor</math></td><td><math>q</math></td>
</tr>
<tr>
<td>1</td><td style="color: #b70000">1</td><td>1</td>
</tr>
<tr>
<td>1</td><td style="color: #b70000">1</td><td>0</td>
</tr>
<tr>
<td>0</td><td style="color: #b70000">1</td><td>1</td>
</tr>
<tr>
<td>0</td><td style="color: #b70000">0</td><td>0</td>
</tr>
</table>

La disyunción es verdadera en todos los casos menos cuando <math>p</math> vale 0 y <math>q</math> vale 0.

Se lee <math>p</math> ó <math>q</math>.

===Proposición disyuntiva exclusiva===


<table cellspacing="6">
<tr>
<td><math>p</math></td><td><math>\underline{\lor}</math></td><td><math>q</math></td>
</tr>
<tr>
<td>1</td><td style="color: #b70000">0</td><td>1</td>
</tr>
<tr>
<td>1</td><td style="color: #b70000">1</td><td>0</td>
</tr>
<tr>
<td>0</td><td style="color: #b70000">1</td><td>1</td>
</tr>
<tr>
<td>0</td><td style="color: #b70000">0</td><td>0</td>
</tr>
</table>

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 <math>p</math> excluye a <math>q</math>.

===Proposición condicional===


<table cellspacing="6">
<tr>
<td><math>p</math></td><td><math>\to</math></td><td><math>q</math></td>
</tr>
<tr>
<td>1</td><td style="color: #b70000; text-align: center">1</td><td>1</td>
</tr>
<tr>
<td>1</td><td style="color: #b70000; text-align: center">0</td><td>0</td>
</tr>
<tr>
<td>0</td><td style="color: #b70000; text-align: center">1</td><td>1</td>
</tr>
<tr>
<td>0</td><td style="color: #b70000; text-align: center">1</td><td>0</td>
</tr>
</table>

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

Se lee <math>p</math> condiciona a <math>q</math>.

===Proposición bicondicional===


<table cellspacing="6">
<tr>
<td><math>p</math></td><td><math>\leftrightarrow</math></td><td><math>q</math></td>
</tr>
<tr>
<td>1</td><td style="color: #b70000; text-align: center">1</td><td>1</td>
</tr>
<tr>
<td>1</td><td style="color: #b70000; text-align: center">0</td><td>0</td>
</tr>
<tr>
<td>0</td><td style="color: #b70000; text-align: center">0</td><td>1</td>
</tr>
<tr>
<td>0</td><td style="color: #b70000; text-align: center">1</td><td>0</td>
</tr>
</table>

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

Se lee <math>p</math> bicondiciona a <math>q</math>.

===Proposición negativa===


<table cellspacing="6">
<tr>
<td><math>p</math></td><td><math>\bar p</math></td>
</tr>
<tr>
<td>1</td><td style="color: #b70000; text-align: center">0</td>
</tr>
<tr>
<td>0</td><td style="color: #b70000; text-align: center">1</td>
</tr>
</table>

La negación - que se lee no <math>p</math> -, cambia el valor de la variable que se niega: sólo es verdadera si <math>p</math> es falsa y es falsa si <math>p</math> 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:

<math>[ (p  \to  q)  \land p ]  \to  q</math>

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

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.

<table  border="0" cellspacing="3">
  <tr>
    <td align="center"><math>[ (p</math></td>
    <td align="center"><math>\to</math></td>
    <td align="center"><math>q)</math></td>
    <td align="center"><math>\land</math></td>
    <td align="center"><math>p]</math></td>
    <td align="center"><math>\to</math></td>
    <td align="center"><math>q</math></td>
  </tr>
  <tr>
    <td align="center">1</td>
    <td align="center">1</td>
    <td align="center">1</td>
    <td align="center">1</td>
    <td align="center">1</td>
    <td align="center" style="color: #b70000" >1</td>
    <td align="center">1</td>
  </tr>
  <tr>
    <td align="center">1</td>
    <td align="center">0</td>
    <td align="center">0</td>
    <td align="center">0</td>
    <td align="center">1</td>
    <td align="center" style="color: #b70000" >1</td>
    <td align="center">0</td>
  </tr>
  <tr>
    <td align="center">0</td>
    <td align="center">1</td>
    <td align="center">1</td>
    <td align="center">0</td>
    <td align="center">0</td>
    <td align="center" style="color: #b70000" >1</td>
    <td align="center">1</td>
  </tr>
  <tr>
    <td align="center">0</td>
    <td align="center">1</td>
    <td align="center">0</td>
    <td align="center">0</td>
    <td align="center" >0</td>
    <td align="center"  style="color: #b70000" >1</td>
    <td align="center">0</td>
  </tr>
</table>

En esta expresión, se comienza  hallando el valor del condicional en el primer paréntesis puesto que une a la <math>p</math> con la <math>q</math>; después la conjunción que une el resultado del condicional con la <math>p</math> dentro del corchete; y por último el condicional que une el resultado recién hallado de la conjunción con la última variable <math>q</math>.
        
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:

<table  border="0" cellspacing="3">
  <tr>
    <td align="center"><math>(p</math></td>
    <td align="center"><math>\to</math></td>
    <td align="center"><math>q)</math></td>
    <td align="center">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td>
    <td align="center"><math>(\bar p </math></td>
    <td align="center"><math>\lor</math></td>
    <td align="center"><math>q)</math></td>
  </tr>
  <tr>
    <td align="center">1</td>
    <td style="color: #b70000" >1</td>
    <td align="center">1</td>
    <td align="center"></td>
    <td align="center">0</td>
    <td style="color: #b70000" >1</td>
    <td align="center">1</td>
  </tr>
  <tr>
    <td align="center">1</td>
    <td style="color: #b70000" >0</td>
    <td align="center">0</td>
    <td align="center"></td>
    <td align="center">0</td>
    <td style="color: #b70000" >0</td>
    <td align="center">0</td>
  </tr>
  <tr>
    <td align="center">0</td>
    <td style="color: #b70000" >1</td>
    <td align="center">1</td>
    <td align="center"></td>
    <td align="center">1</td>
    <td style="color: #b70000" >1</td>
    <td align="center">1</td>
  </tr>
  <tr>
    <td align="center">0</td>
    <td style="color: #b70000" >1</td>
    <td align="center">1</td>
    <td align="center"></td>
    <td align="center">1</td>
    <td style="color: #b70000" >1</td>
    <td align="center">0</td>
  </tr>
</table>


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==

Todas aquellas proposiciones tautológicas '''son leyes de la lógica proposicional'''. Por ejemplo:

<table  border="0" cellspacing="3">
  <tr>
    <td align="center"><math>p</math></td>
    <td align="center"><math>\lor</math></td>
    <td align="center"><math>\bar p</math></td>
  </tr>
  <tr>
    <td align="center">1</td>
    <td style="color: #b70000" >1</td>
    <td align="center">0</td>
  </tr>
  <tr>
    <td align="center">0</td>
    <td style="color: #b70000" >1</td>
    <td align="center">1</td>
  </tr>
</table>

Es una ley lógica que ya conoció [[Aristóteles (384 – 322)  | Aristóteles]] con el nombre de tercero excluido o tertio excluso.

Las leyes lógicas son muy numerosas, pero hay algunas muy importantes que se refieren a la conjunción, disyunción y negador (La <math>T</math> significa tautología y la <math>C</math> contradicción):


===Idempotencia===

<math>( p  \lor   p )  \leftrightarrow  p</math>

===Asociativa===

<math>[ (  p  \lor  q  )  \lor   r  ]  \leftrightarrow p  \lor   q  \lor   r</math>

<math>[ (  p  \land  q  )  \land   r  ]  \leftrightarrow p  \land   q  \land   r</math>

===Conmutativa===

<math>(  p  \lor  q  )  \leftrightarrow  (q  \lor   p)</math>

<math>(  p  \land  q  )  \leftrightarrow  (q  \land   p)</math>

===Identidad===

<math>(  p  \lor  T )  \leftrightarrow  T</math>

<math>(  p  \land  T )  \leftrightarrow  p</math>

<math>(  p  \lor  C )  \leftrightarrow  p</math>

<math>(  p  \land  C)  \leftrightarrow  C</math>

===Absorción===

<math>p \lor ( q \land p ) \leftrightarrow p \,</math>

<math>p \land ( q \lor p ) \leftrightarrow p \,</math>

===Distributiva===

<math>p \lor ( q \land r ) \leftrightarrow  ( p\lor q) \land ( p\lor r) </math>

<math>p \land ( q \lor r ) \leftrightarrow  ( p\land q) \lor ( p\land r) </math>

===Negación===

<math> ( p \lor \bar p) \leftrightarrow  T </math>

<math> ( p \land \bar p) \leftrightarrow  C </math>

===De Morgan===

<math> ( \overline{ p  \land  q } )  \leftrightarrow  (\bar p  \lor   \bar q) </math>

<math> ( \overline{ p  \lor  q } )  \leftrightarrow  (\bar p  \land   \bar q)  </math>

===Doble negación===

<math>\bar{\bar p} \leftrightarrow p</math>

<math>\bar C\leftrightarrow T </math>

<math>\bar T\leftrightarrow C </math>



Para desarrollar la lógica proposicional no es necesario utilizar todos los funtores, es suficiente hacerlo con un número mínimo, son los funtores primitivos, a partir de los primitivos se obtienen los derivados.

La conjunción, disyunción y el negador son los primitivos, ya que gracias a la regla de sustitución, los demás funtores como el condicional o el bicondicional se pueden reducir a ellos:

===Regla de sustitución===  



1.  <math>( p \leftrightarrow  q  )  \leftrightarrow  [ ( p  \to   q  ) \land   (  q  \to   p  ) ] </math> 
                                       
2.  <math>( p \to q  )  \leftrightarrow   ( \bar p  \lor   q  ) </math> 
 
&nbsp;&nbsp;&nbsp; <math>( p \to q  )  \leftrightarrow   ( \overline{p  \land  \bar q } ) </math>

==Ejercicios==  

Hallar la tabla veritativa de las siguientes expresiones:

En primer lugar hallamos los valores del primer paréntesis, después los valores del otro paréntesis; finalmente hallamos los valores del condicional relacionando los resultados de ambos paréntesis. La expresión es una tautología.


===Ejercicio 1===

<table  border="0" cellspacing="3">
  <tr>
    <td align="center"><math>(p</math></td>
    <td align="center"><math>\land</math></td>
    <td align="center"><math>\bar q)</math></td>
    <td align="center"><math>\to</math></td>
    <td align="center"><math>(q </math></td>
    <td align="center"><math>\to</math></td>
    <td align="center"><math>p)</math></td>
  </tr>
  <tr>
    <td align="center">1</td>
    <td align="center" >0</td>
    <td align="center">0</td>
    <td align="center" style="color: #b70000">1</td>
    <td align="center">1</td>
    <td align="center" >1</td>
    <td align="center">1</td>
  </tr>
  <tr>
    <td align="center">1</td>
    <td align="center" >1</td>
    <td align="center">1</td>
    <td align="center" style="color: #b70000">1</td>
    <td align="center">0</td>
    <td align="center" >1</td>
    <td align="center">1</td>
  </tr>
  <tr>
    <td align="center">0</td>
    <td align="center" >0</td>
    <td align="center">0</td>
    <td align="center" style="color: #b70000">1</td>
    <td align="center">1</td>
    <td align="center" >0</td>
    <td align="center">0</td>
  </tr>
  <tr>
    <td align="center">0</td>
    <td align="center" >0</td>
    <td align="center">1</td>
    <td align="center" style="color: #b70000">1</td>
    <td align="center">0</td>
    <td align="center" >1</td>
    <td align="center">0</td>
  </tr>

</table>

Es una''' tautología'''.

===Ejercicio 2===

<table  border="0" cellspacing="3">
  <tr>
    <td align="center"><math>(p</math></td>
    <td align="center"><math>\land</math></td>
    <td align="center"><math>q)</math></td>
    <td align="center"><math>\lor</math></td>
    <td align="center"><math>(p </math></td>
    <td align="center"><math>\land</math></td>
    <td align="center"><math>\bar q)</math></td>
  </tr>
  <tr>
    <td align="center">1</td>
    <td align="center" >1</td>
    <td align="center">1</td>
    <td align="center" style="color: #b70000">1</td>
    <td align="center">1</td>
    <td align="center" >0</td>
    <td align="center">0</td>
  </tr>
  <tr>
    <td align="center">1</td>
    <td align="center" >0</td>
    <td align="center">0</td>
    <td align="center" style="color: #b70000">1</td>
    <td align="center">1</td>
    <td align="center" >1</td>
    <td align="center">1</td>
  </tr>
  <tr>
    <td align="center">0</td>
    <td align="center" >0</td>
    <td align="center">1</td>
    <td align="center" style="color: #b70000">0</td>
    <td align="center">0</td>
    <td align="center" >0</td>
    <td align="center">0</td>
  </tr>
  <tr>
    <td align="center">0</td>
    <td align="center" >0</td>
    <td align="center">0</td>
    <td align="center" style="color: #b70000">0</td>
    <td align="center">0</td>
    <td align="center" >0</td>
    <td align="center">1</td>
  </tr>

</table>

===Ejercicio 3===

<table  border="0" cellspacing="3">
  <tr>
    <td align="center"><math>(p</math></td>
    <td align="center"><math>\leftrightarrow</math></td>
    <td align="center"><math> q)</math></td>
    <td align="center"><math>\lor</math></td>
    <td align="center"><math>(p </math></td>
    <td align="center"><math>\to</math></td>
    <td align="center"><math>\bar q)</math></td>
  </tr>
  <tr>
    <td align="center">v</td>
    <td align="center" >1</td>
    <td align="center">1</td>
    <td align="center" style="color: #b70000">1</td>
    <td align="center">1</td>
    <td align="center" >0</td>
    <td align="center">0</td>
  </tr>
  <tr>
    <td align="center">1</td>
    <td align="center" >0</td>
    <td align="center">0</td>
    <td align="center" style="color: #b70000">1</td>
    <td align="center">1</td>
    <td align="center" >1</td>
    <td align="center">1</td>
  </tr>
  <tr>
    <td align="center">0</td>
    <td align="center" >0</td>
    <td align="center">1</td>
    <td align="center" style="color: #b70000">1</td>
    <td align="center">0</td>
    <td align="center" >1</td>
    <td align="center">0</td>
  </tr>
  <tr>
    <td align="center">0</td>
    <td align="center" >1</td>
    <td align="center">0</td>
    <td align="center" style="color: #b70000">1</td>
    <td align="center">0</td>
    <td align="center" >1</td>
    <td align="center">0</td>
  </tr>
</table>

Es una '''tautología'''.

===Ejercicio 4===

<table  border="0" cellspacing="3">
  <tr>
    <td align="center"><math>(p</math></td>
    <td align="center"><math>\land</math></td>
    <td align="center"><math>q)</math></td>
    <td align="center"><math>\lor</math></td>
    <td align="center"><math>(\bar p </math></td>
    <td align="center"><math>\land</math></td>
    <td align="center"><math>\bar q)</math></td>
  </tr>
  <tr>
    <td align="center">1</td>
    <td align="center" >1</td>
    <td align="center">1</td>
    <td align="center" style="color: #b90000">1</td>
    <td align="center">0</td>
    <td align="center" >0</td>
    <td align="center">0</td>
  </tr>
  <tr>
    <td align="center">1</td>
    <td align="center" >0</td>
    <td align="center">0</td>
    <td align="center" style="color: #b90000">0</td>
    <td align="center">0</td>
    <td align="center" >0</td>
    <td align="center">1</td>
  </tr>
  <tr>
    <td align="center">0</td>
    <td align="center" >0</td>
    <td align="center">1</td>
    <td align="center" style="color: #b90000">0</td>
    <td align="center">1</td>
    <td align="center" >0</td>
    <td align="center">0</td>
  </tr>
  <tr>
    <td align="center">0</td>
    <td align="center" >0</td>
    <td align="center">0</td>
    <td align="center" style="color: #b90000">1</td>
    <td align="center">1</td
    <td align="center" >1</td>
    <td align="center">1</td>
  </tr>
</table>

==El razonamiento o inferencia==


Hasta aquí hemos considerado las proposiciones y sus conexiones. Ahora vamos a observar 
la relación interna de las proposiciones y el modo de progresar en el conocimiento, 
obteniendo conclusiones a partir de proposiciones ya conocidas. Es el razonamiento o 
inferencia.

Razonar es un proceso progresivo de la mente, que va de unas proposiciones 
ya conocidas llamadas premisas a otra nueva llamada conclusión. La conclusión está 
en parte contenida en las premisas, de modo que para que el razonamiento 
esté bien construido tiene que haber una relación de necesidad entre las premisas 
y la conclusión. La conclusión se deriva necesariamente de las premisas. Por ejemplo, 
cuando descargo un camión de muebles, extraigo éstos del interior, y es en ese momento 
cuando puedo apreciarlos en su conjunto. Sacar conclusiones es derivarlas de las 
proposiciones anteriores o premisas:

 "Si estudio, aprendo. Es así que estudio, luego aprendo".

La conclusión de un razonamiento es la proposición que se afirma sobre la base 
de las otras proposiciones que nos dan los elementos de juicio o razones para aceptar la conclusión.


En el lenguaje formal la conclusión va precedida del símbolo <math>[\vdash ]</math>
que se lee "luego".

El razonamiento anterior se simboliza:


<table cellspacing=3>
<tr>
<td>1.</td><td><math>p \to    q</math></td><td>  ( primera premisa )</td>

</tr>
<tr>
<td>2.</td><td><math>p</math></td><td> ( segunda premisa )</td>
</tr>

<tr>
<td></td><td><math>\vdash q</math></td><td>(conclusión)</td>
</tr>
</table>

Un razonamiento bien construido puede ser falso en su contenido material, por ejemplo si digo:


 "Todos los burros vuelan".<br>
 "Platero es un burro".<br>
 Luego "Platero vuela".

El razonamiento es materialmente falso pero es válido lógicamente porque está bien construido. A la lógica sólo le importa la validez formal.

Otro ejemplo descabellado puede ser:

 "La tierra está formada de plastilina".<br>
 "Mi brazo forma parte de la tierra".<br>
 Luego "Mi brazo está formado de plastilina".


El razonamiento es lógica o formalmente verdadero porque la lógica busca que la 
conclusión se derive necesariamente de las premisas, y no una verdad de hecho.

Puede darse el caso, sin embargo, de razonamientos que sean verdaderos 
materialmente y válidos formalmente, por ejemplo:

 "Quien no se presente a examen, suspenderá".<br>
 "Pepa no se ha presentado".<br>
 Luego "Pepa suspende". 

En resumen, en lógica no interesa tanto la verdad o falsedad 
de las proposiciones, sino las <b>relaciones lógicas</b> que existen entre ellas.
 
Un razonamiento es <b>válido</b> cuando la conclusión se deriva necesariamente de las 
premisas y es <b>inválido</b> cuando la conclusión no se deriva de las premisas. 

Ejemplos de razonamiento:


<table  border="0" cellspacing="3">
<tr>
<td>1. <math>p\to q  </math> &nbsp;&nbsp;&nbsp;</td><td>2.<math>p\to q</math>&nbsp;&nbsp;&nbsp;</td><td>3. <math>p\to q</math>&nbsp;&nbsp;&nbsp;</td><td>4. <math>p\to q</math>&nbsp;&nbsp;&nbsp;</td>
</tr>  
<tr>
<td align="center"><math>p</math></td><td align="center"><math>q</math></td><td align="center"><math>\bar p</math></td><td align="center"><math>\bar q</math></td>                                            
</tr>
<tr>  
<td align="center"><math>\vdash q</math></td><td align="center"><math> \vdash p</math></td><td align="center"><math>\vdash \bar q</math></td><td align="center"><math>\vdash \bar p</math></td>    
</tr>
</table>


También pueden escribirse:  <math>p\to q</math>,  <math>p \vdash  q</math>; <math>p\to q</math>, <math>q +\vdash p</math>  etc.

¿Cómo se puede saber si un razonamiento es o no válido sin necesidad de traducirlo al lenguaje natural?

Podemos hacerlo mediante las <b>tablas veritativas</b>.

<b>Modus operandi</b>:

1.	Se hallan las tablas de cada una de las premisas y de la conclusión.<br>
2.	Si se da el caso de que teniendo valor verdadero las premisas, la conclusión es falsa, la inferencia es inválida.<br>
3.	Si la conclusión es verdadera al igual que las premisas, el razonamiento es válido. Por ejemplo:

<table cellspacing=3>
<tr>
<td>1.</td><td><math>p \lor    q</math></td><td>  ( primera premisa )</td>

</tr>
<tr>
<td>2.</td><td><math>\bar p</math></td><td> ( segunda premisa )</td>
</tr>

<tr>
<td></td><td><math>\vdash q</math></td><td>(conclusión)</td>
</tr>
</table>


<table  border="0" cellspacing="3">
 <tr> 
<td align="center" width="50"><math>p\lor q</math></td><td align="center" width="50"><math>\bar p</math></td><td align="center" width="50"><math>q</math></td>                                            
</tr>
<tr>  
<td align="center">1</td><td align="center">0</td><td align="center">1</td>   
</tr>
<tr>  
<td align="center">1</td><td align="center">0</td><td align="center">1</td>   
</tr>
<tr>  
<td align="center" style="color: #b70000">1</td><td align="center" style="color: #b70000">1</td><td align="center" style="color: #b70000">1</td>   
</tr>
<tr>  
<td align="center">0</td><td align="center">1</td><td align="center">0</td>   
</tr>
</table>

La columna de la izquierda expresa los valores de la disyunción de <math>p\lor q</math>; los del centro 
la segunda premisa que es <math>\bar p</math>  , y la última columna los valores de la conclusión <math>q</math>.

Vemos que no hay ningún caso en que siendo verdaderas ambas premisas, la conclusión sea falsa. 
Luego el razonamiento es válido.

Si razonamos así:

<table cellspacing=3>
<tr>
<td>1.</td><td><math>(p \lor \bar q) \to p</math></td><td>  ( primera premisa )</td>

</tr>
<tr>
<td>2.</td><td><math>(p \to q)</math></td><td> ( segunda premisa )</td>
</tr>

<tr>
<td></td><td><math>\vdash p \land q</math></td><td>(conclusión)</td>
</tr>
</table>


<table  border="0" cellspacing="3">
<tr> 
    <td align="center" width="60"><math>p</math></td>
    <td align="center" width="60"><math>q</math></td>
    <td align="center" width="60"><math>\bar q</math></td>                                            
    <td align="center" width="80"><math>p\lor \bar q</math></td>
    <td align="center" width="80"><math>p\lor \bar q\to p</math></td>
    <td align="center" width="80"><math>p \to q</math></td>
    <td align="center" width="80"><math>p \land q</math></td>
</tr>
<tr>  
<td align="center">1</td>
    <td align="center">1</td>
    <td align="center">0</td>
    <td align="center">1</td>
    <td align="center">1</td>
    <td align="center">1</td><td align="center">1</td>  
</tr>
<tr>  
<td align="center">1</td><td align="center">0</td><td align="center">1</td><td align="center">1</td>
    <td align="center">1</td>
    <td align="center">0</td>
    <td align="center">0</td>   
</tr>
<tr>  
    <td align="center" >0</td>
    <td align="center" >1</td>
    <td align="center" >0</td>
    <td align="center" >0</td>
    <td align="center" style="color: #b70000">1</td>
	<td align="center" style="color: #b70000">1</td>
    <td align="center" style="color: #b70000">0</td> 
</tr>
<tr>  
<td align="center">0</td>
    <td align="center">0</td>
    <td align="center">1</td>
    <td align="center">1</td>
    <td align="center">0</td>
    <td align="center">1</td>
    <td align="center">0</td>    
</tr>
</table>

En la tercera fila se observa que, siendo verdaderas las dos premisas, la conclusión es falsa, luego el razonamiento es inválido.
De este modo podemos comprobar la validez de muchos razonamientos.


Algunos razonamientos válidos, son leyes lógicas como las que anteriormente hemos expuesto, y sirven también para calcular la validez de otros razonamientos.

Los más usados son:


===Modus ponendo ponens o modus ponens===

<math>p\to q</math>, <math>p \vdash q</math>

===Modus tollendo ponens===

<math>p\lor q</math>, <math>\bar p \vdash q</math>

<math>p\lor q</math>, <math>\bar q \vdash p</math>

===Modus tollendo tollens===

<math>p\to q</math>, <math>\bar q \vdash \bar p</math>

===Ley conjuntiva===

<math>p</math>, <math>q \vdash p\land q</math>

===Ley simplificativa===

<math>p\land q  \vdash  p</math>

<math>p\land q  \vdash  q</math>

===Ley aditiva===

<math>p \vdash p \lor q</math>

===Silogismo condicional o ley transitiva===

<math>p\to q</math>, <math>q \to r \vdash p\to r</math>

Silogismo condicional, es aquel en que la premisa mayor es una proposición condicional y la menor una categórica. Por ejemplo:

 Si Pedro es mayor de edad, puede emanciparse;<br>
 Pedro es mayor de edad,<br>
 Luego Pedro puede emanciparse.

Recordando la regla de verdad de las proposiciones condicionales, sucederá en este silogismo que de la verdad de la condición se seguirá la del condicionado. Efectivamente, un silogismo condicional no es más que una proposición condicional más desarrollada. En ambas operaciones mentales la conexión entre el antecedente y el consecuente debe ser necesaria. Las conclusiones deben venir por causalidad lógica.

===Ley de transposición===

<math>p\to q  \vdash  \bar q \to \bar p</math>

<math>\bar q\to \bar p  \vdash  p \to q</math>

===Ley de traslación===

<math>(p \land q) \to r  \vdash  p \to (q \to  r)</math>

<math>p \to( q \land r)  \vdash  (p \land q) \to r</math>

===Dilema constructivo===

<math> (p \to q) \land (r \to  s) </math>, <math> p \lor r \vdash q\lor s</math>

===Dilema destructivo===

<math> (p \to q) \land (r \to  s) </math>, <math> \bar q \lor \bar s \vdash \bar p\lor \bar r</math>


Para conocer la validez o invalidez de un razonamiento, existen otros dos procedimientos más rápidos que las tablas de verdad: la '''prueba formal de invalidez''' y la '''prueba formal de validez'''.

==Prueba formal de invalidez==

Se trata de una demostración indirecta por reducción al absurdo. Si la conclusión tiene valor 0, es falsa, y las premisas pueden tener valor 1, el razonamiento es inválido.


<b>Modus operandi</b>: 

Se da valor 0 a la conclusión y se intenta que todas las 
premisas adquieran valor de verdad - operando como hacíamos en las tablas veritativas -. Si las premisas son verdaderas y la conclusión falsa, el razonamiento es <b>inválido</b>.
 
Por ejemplo:

<table cellspacing=3>
<tr>
<td>1.</td><td><math>p \to    q</math></td>
</tr>
<tr>
<td>2.</td>
    <td><math>q\lor r</math></td>
</tr>
<tr>
    <td>3.</td>
    <td><math>r\leftrightarrow s</math></td>
</tr>
<tr>
<td></td>
    <td><math>\vdash s</math></td>
</tr>
</table>

Operamos así:

<table cellspacing=3>
<tr>
<td>1.</td>
    <td><math>p</math></td><td><math>\to</math></td><td><math> q</math></td>
</tr>
<tr>
	<td></td><td align="center"> 1/0</td><td align="center" style="color: #b70000"> 1</td><td align="center"> 1</td>
</tr>
<tr>
<td>2.</td><td><math>q</math></td><td><math>\lor</math></td><td><math> r</math></td>
</tr>
<tr>
	<td></td><td align="center"> 1</td><td align="center" style="color: #b70000"> 1</td><td align="center"> 0</td>
</tr>
<tr>
    <td>3.</td>
    <td><math>r</math></td><td><math>\leftrightarrow</math></td><td><math> s</math></td>
</tr>
<tr>
	<td></td><td align="center"> 1</td><td align="center" style="color: #b70000"> 1</td><td align="center"> 0</td>
</tr>
<tr>
<td></td>
    <td colspan="3"><math>\vdash s</math></td>
</tr>
<tr>
<td></td><td colspan="3" style="color: #b70000">&nbsp;&nbsp;&nbsp;&nbsp;0</td>
</tr>
</table>

El razonamiento es inválido, ya que hemos podido dar valor 1 a las premisas, siendo falsa la conclusión.

Consideremos ahora el siguiente razonamiento:

<table cellspacing=3>
  <tr> 
    <td>1.</td>
    <td><math>(p\lor q)</math></td>
    <td><math>\to</math></td>
    <td><math> p</math></td>
  </tr>
  <tr> 
    <td></td>
    <td align="center"> 0 1 1</td>
    <td align="center" style="color: #b70000"> 1</td>
    <td align="center"> 0</td>
  </tr>
  <tr> 
    <td>2.</td>
    <td align="center"><math>q</math></td>
    <td><math>\land</math></td>
    <td><math> p</math></td>
  </tr>
  <tr> 
    <td></td>
    <td align="center"> 1</td>
    <td align="center" style="color: #b70000"> 0</td>
    <td align="center"> 0</td>
  </tr>
  <tr> 
    <td><math>\vdash</math></td>
    <td align="center"><math>q</math></td>
    <td><math>\to</math></td>
    <td><math> p</math></td>
  </tr>
  <tr> 
    <td></td>
    <td align="center"> 1</td>
    <td align="center" style="color: #b70000"> 0</td>
    <td align="center"> 0</td>
  </tr>
</table>

Como la segunda premisa no puede tener valor 1, no se puede probar la invalidez del razonamiento.

Sin embargo, para probar la validez de un razonamiento, es necesario además realizar la prueba formal de validez.

==Prueba formal de validez==
 
Consiste en obtener la conclusión, a partir de las premisas utilizando las leyes de la lógica y los razonamientos válidos expuestos más arriba.

'''Modus operandi''':

Se numeran las premisas, y también  cada uno de los pasos que se van dando, indicando a la derecha  - en lenguaje natural - la ley lógica que se aplica, hasta alcanzar la conclusión.

===Ejemplo 1===
 

Hallar la siguiente conclusión <math>\vdash q \to  p</math>, a partir de las premisas:

1. &nbsp; <math>( p  \lor  q )  \to   p</math>

2.&nbsp; <math>q  \lor   p</math>


<b>Solución</b>:
    
3. &nbsp; <math>(\overline{p\lor q} ) \lor    p\,</math> Sustitución del condicional en 1.

4. &nbsp; <math>( \bar p \land \bar q) \lor p\,</math>   Ley de Morgan en 3.

5. &nbsp; <math>\bar q \lor p \,</math>  Ley simplificativa en 4.

6. &nbsp; <math>q \to  p\,</math>  Sustitución del condicional en 5.

En este último paso, alcanzamos la conclusión: <math>q \to  p</math>, luego el razonamiento es válido.

===Ejemplo 2===
 

Demostrar la siguiente conclusión <math>\vdash r \to  \bar q</math>, a partir de las premisas:

1. &nbsp; <math>\overline{ r  \land  s}</math>

2.&nbsp; <math>q  \to   s</math>


<b>Solución</b>:
    
3. &nbsp; <math>\bar r\lor \bar s} \,</math> Ley de Morgan en 1.

4. &nbsp; <math>r \to \bar s\,</math>   Sustitución condicional en 3.

5. &nbsp; <math>\bar s \to \bar q \,</math>  Ley de transposición en 2.

6. &nbsp; <math>r \to \bar q\,</math>  Silogismo condicional o ley de transitividad entre 4 y 5.

En este último paso, alcanzamos la conclusión: <math>\vdash r \to  \bar q</math>,  luego el razonamiento es válido.


===Ejemplo 3===

Traducir al lenguaje formal y demostrar por el método de validez formal el siguiente razonamiento, 
tomado libremente de Los hermanos Karamazov de Fedor Dostoievsky:

 1. Si Dios no existe, todo estaría permitido.<br>
 2. Si Dios no existe, no habría normas morales.<br>
 3. Es así que hay normas morales.<br>
  Luego Dios existe.

En primer lugar transformamos el lenguaje natural en lenguaje formal:

1. Si Dios no existe, todo estaría permitido: <math>\bar p \to s</math>

2. Si Dios no existe, no habría normas morales: <math>\bar p \to \bar r</math>
     
3. Hay normas morales: <math>r</math>

Luego Dios existe:  <math>\vdash p</math>


1. &nbsp;<math>\bar p \to s</math>

2. &nbsp;<math>\bar p \to \bar r</math> 
 
3. &nbsp;<math>r</math>

&nbsp;<math>\vdash p</math> 
    
<b>Solución:</b>

Intentamos demostrar la conclusión <math>\vdash p</math>, a partir de las tres premisas:


4.&nbsp;<math>p</math> &nbsp; Modus tollendo tollens entre la premisa 2 y la 3.


===Ejemplo 4===
 

Demostrar la siguiente conclusión <math>\vdash \bar p \to   r</math>, a partir de las premisas:

1. &nbsp; <math>p  \lor \bar  s</math>

2.&nbsp; <math>\bar r  \to   s</math>


<b>Solución</b>:
    
3. &nbsp; <math>\bar p\to \bar s} \,</math> Sustitución del condicional en 1.

4. &nbsp; <math>\bar s \to r\,</math>   Transposición en 2.

5. &nbsp; <math>\bar p\to r\,</math>  Ley de transitividad en 3 y 4.


En este último paso, alcanzamos la conclusión: <math>\vdash \bar p \to  r</math>,   luego el razonamiento es válido.

===Ejemplo 5===

Traducir al lenguaje formal y probar la validez del siguiente razonamiento:

 No es verdad que estudias y trabajas.<br> 
 Si quieres conseguir dinero entonces trabajas.<br>  
 Luego si estudias entonces no consigues dinero.

1. No es verdad que estudias y trabajas: <math>\overline { p \land q}</math>

2. Si quieres conseguir dinero entonces trabajas: <math>r \to q</math>

Luego si estudias entonces no consigues dinero:  <math>\vdash p \to \bar r</math>


1. &nbsp;<math>\overline {p \land q}</math>

2. &nbsp;<math>r \to q</math> 

&nbsp; <math>\vdash p \to \bar r</math> 
    
<b>Solución:</b>


3. &nbsp; <math>\bar p \lor \bar q</math> Ley de Morgan en 1.

4. &nbsp; <math>p \to \bar q</math>   Sustitución del condicional en 3.

5. &nbsp; <math>\bar q \to \bar r</math>  Transposición en 2.

6. &nbsp; <math>p \to  \bar r</math>  Ley de transitividad entre 4 y 5.

En este último paso, alcanzamos la conclusión: <math>\vdash p \to \bar r</math>, luego el razonamiento es válido.

===Ejemplo 6===

Traducir al lenguaje formal y probar la validez del siguiente razonamiento:

 O me traes a casa, o no voy a la fiesta.<br> 
 Si no llueve entonces voy a la fiesta.<br>  
 Luego si no me traes a casa llueve.

1. O me traes a casa, o no voy a la fiesta: <math>p \lor \bar q}</math>

2. Si no llueve entonces voy a la fiesta: <math>\bar r \to q</math>

Luego si no me traes a casa llueve:  <math>\vdash \bar p \to  r</math>


1. &nbsp; <math>p \lor \bar q}</math>

2. &nbsp; <math>\bar r \to q</math> 

&nbsp;<math>\vdash \bar p \to  r</math> 
    
<b>Solución:</b>


3. <math>\bar p \to \bar q</math> Sustitución del condicional en 1.

4. <math>\bar q \to r</math>   Ley de transposición en 2.

5. <math>\bar p \to  r</math>  Ley transitiva en 3 y 4.

En este último paso, alcanzamos la conclusión: <math>\vdash \bar p \to  r</math>, luego el razonamiento es válido.


En el momento en el que no pueda llegar a la conclusión de un razonamiento con las premisas dadas, tiene que resolver el ejercicio por reducción al absurdo. De esta forma (forma directa) pueden resolverse todos lo ejercicios de lógica proposicional pero siempre que le pidan que llegue a una conclusión debe hacerlo de forma indirecta antes, cuando esté seguro de que no se puede hacer pase a hacerlo de forma directa. Para hacerlo de esta forma, tiene que sacar la negación de la conclusión del razonamiento y utilizarlo como una premisa más. 

'''NOTA''': ''cuando se está resolviendo un ejercicio por reducción, no tiene que llegar a la conclusión, solamente buscar una contradicción en el ejercicio.''


[[Category: Filosofía]]
Volver a Lógica proposicional.
Obtenido de "http://wikillerato.org/L%C3%B3gica_proposicional.html"
Navegación

Herramientas

Buscar en WikilleratO

Ver código fuente

De Wikillerato
