Algoritmia

Ministerio de Educación y Cultura
Centro Regional de Educación Saturio Rios

Trabajo Práctico
De
Algoritmia

Tema: Inferencia Lógica
* Integrantes:
* Álvaro Sánchez
* NahuelNúñez
* Alejandro Chena
* Jorge Ferreira
Curso: 1° Sección: BTI
Profesora: Gladys Chaves
Turno: Tarde

Asunción Paraguay- 2012



Inferencia Lógica
Leyes de De Morgan
En ellenguaje cotidiano, podemos enunciar de manera diferente los mismos juicios. Analizando las formas de las Leyes de De Morgan, podemos obtener modelos que nos indican que proposiciones son equivalentes,cambiando los conectivos de la disyunción y de la conjunción, así como de la negación.
Para el uso correcto de estas Leyes, es importante tener en cuenta que los conectivos de negación: <<esfalso que>>, <<no es cierto que>>, <<no es verdad que>>, <<no ocurre que>>, <<no se da el caso que>>, <<no es posible que>>, <<nopuede ser que>>, <<en ningún caso>>, utilizados al inicio de una expresión absoluta (niega toda la expresión molecular). Se abrevia indistintamente (LM o DM).
Modelos de las Leyesde De Morgan
La conjunción de dos negaciones equivale a la negación de una disyunción.
Ejemplo:
Los paraguayos no valoran los trabajos artesanales y no quieren pagar un precio justo.
–P.-Q1) Reglas de Inferencia
En lógica, especialmente en lógica matemática, una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticasentre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión. Estas relaciones sintácticas son usadas en el proceso de inferencia, por el que se llega a nuevas aserciones verdaderasa partir de otras ya conocidas. Las reglas también se aplican a la lógica informal y a las discusiones, pero la formulación es mucho más difícil y polémica.
Las leyes de inferencia rigen el uso...