Manual de Ingeniería Informática/Lógica Matemática


La Biblia de Actualizacion y Reparacion de PC - Desktop Edition

Descripcion

Este volumen único, aunque pesado, contiene un profundo nivel de detalle. Con más de 1340 páginas en 41 capítulos, 200 páginas de apéndices e índices finamente impreso, más de 700 cuadros e ilustraciones, y una fabulosa lista de casi todos los vendedores de todos los componentes del PC imaginables.

Este volumen sirve como una referencia de escritorio de todo - incluyendo actualizaciones de almacenamiento y memoria, mejoras multimedia, las necesidades especiales de la computadora portátil apto para circular y portátiles, impresión, redes, módems y otros periféricos. tabla de datos del libro es muy útil y, en muchos casos, la evidencia fotográfica ayuda con la aplicación práctica de una actualización en particular.



LINK DE DESCARGA  :  http://depositfiles.com/es/files/h9ncvqixm


---------------------------------------------------------------------------------------------------



Cálculo Proposicional

Una proposición es una frase o sentencia declarativa que es verdadera o falsa pero no ambas cosas a la vez. El cálculo proposicional se encarga del estudio de las relaciones lógicas entre proposiciones.
Los conectivos lógicos se combinan con las proposiciones simples para formar nuevas proposiciones, que llamaremos proposiciones compuestas y representaremos con letras mayúsculas. Los conectivos lógicos básicos son:
  • Negación: \neg
    • \neg p, no p
  • Disyunción: \vee
    • p \vee q, p ó q
  • Conjunción: \wedge
    • p \wedge q, p y q
  • Implicación Condicional: \rightarrow
    • p \rightarrow q, p implica q
  • Implicación Bicondicional: \leftrightarrow
    • p \leftrightarrow q, p si y sólo si q
La proposición q \rightarrow p es la recíproca de p \rightarrow q, mientras que la proposición \neg p \rightarrow \neg q es la contrarrecíproca de p \rightarrow q.
Como hemos dicho, las proposiciones pueden tomar dos valores, verdadero o falso, que representaremos respectivamente con los números 1 y 0. Por tanto, cuando digamos que una proposición toma valor 1 estaremos diciendo que es verdadera.
El valor de verdad de una proposición compuesta queda determinado por los valores de las proposiciones simples que la forman. Las tablas de verdad nos indican los valores de verdad de una proposición para cada posible combinación de los valores de las proposiciones simples (variables) que la la forman.
TODO: ejemplo de tabla de verdad
Una tautología es una proposición compuesta que toma valor 1 para cualquier combinación de los valores de sus variables. Lo contrario de una tautología es una contradicción, proposición compuesta que siempre es falsa.
TODO: ejemplo de tautología

Equivalencia Lógica

Diremos que dos proposiciones P y Q son lógicamente equivalentes si P \leftrightarrow Q es una tautología, es decir, si las tablas de verdad de P y Q son iguales.
Hay equivalencias lógicas de uso tan frecuente que poseen nombre propio

Leyes Lógicas

  • Doble negación
  • Conmutativas
  • Asociativas
  • Distributivas
  • Leyes de DeMorgan
  • De idempotencia
  • De identidad
  • De dominación
  • Inversas
  • De absorción

Reglas de Sustitución

  • Sea P una tautología y q una variable de P. Si sustituimos cada aparición de q por cualquier otra proposición Q entonces la proposición resultante es también una tautología.
  • Sea P una tautología y Q una proposición que aparece en P. Si reemplazamos Q por una proposición lógicamente a Q obtendremos una nueva proposición lógicamente equivalente a P.
  • Cualquier proposición es lógicamente equivalente a otra que contiene solamente los conectivos lógicos -, v,and.

Dualidad

Llamaremos dual de una proposición que contiene sólo los conectivos lógicos not ,and or a la proposición resultante de sustituir and por or, or por and y 1 por 0.
Principio de Dualidad: si P y Q son dos proposiciones lógicamente equivalentes que contienen sólo los conectiv, y escribiremos Ps lógicos not, or, and entonces los duales de ambas proposiciones también son equivalentes entre sí.

Implicación Lógica. Reglas de Inferencia

Dadas dos proposiciones P y Q diremos que P implica lógicamente Q , y escribiremos P \Rightarrow Q si P \rightarrow Q es una tautología.
Si P es falso, entonces la proposición P \rightarrow Q es verdadera independientemente del valor de Q. Por tanto, P \Rightarrow Q si los valores de las variables que hacen a P verdadero también hacen verdadero a Q. De manera equivalente P \Rightarrow Q significa que P y Q no tienen nunca de manera simultánea los valores de verdad 1 y 0 respectivamente.
Es importante no confundir P \Rightarrow Q con P \rightarrow Q. Ésta última es una proposición que puede o no ser verdadera, mientras que la primera, P \Rightarrow Q, es una relación que nos indica que P \rightarrow Q es una tautología.

Implicaciones Lógicas

  • Modus Ponens: p \wedge ( p  \rightarrow q ) \Rightarrow q
  • Modus Tollens: \neg q \wedge ( p  \rightarrow q ) \Rightarrow \neg p
  • Reducción al Absurdo: ( \neg p \rightarrow 0 ) \Rightarrow p
  • Silogismo Disyuntivo: ( p \vee  q ) \wedge  \neg p ) \Rightarrow q
  • Silogismo o Transitividad de: \rightarrow ( p \rightarrow  q ) \wedge (q   \rightarrow r ) \Rightarrow ( p \rightarrow r )
  • Ampliación disyuntiva:  p  \Rightarrow p \vee q
  • Simplificación Conjuntiva: p \wedge q  \Rightarrow p

1 comentario :

DEJA TU COMENTARIOS CON TUS DUDAS Y SUGERENCIAS,ASI COMO TAMBIEN UN PEDIDO EN PARTICULAR.
TAMBIEN PUEDES TU CORREO ELECTRONICO PARA UNA RESPUESTA MAS RAPIDA.