Leyes de Inferencia

Universidad IVES

Licenciatura en Psicología

Leyes de Inferencia

Equipo: 4

Integrantes: Diaz Hernandez Amairani

Aburto Sayago Flor Esbeidi

Hernandez Martinez Yarely Estefania

Garcia Hernandez Nancy Lizbeth

Gallegos Chong Heidi Jennifer

Profesor: Paulo Trejo Wong

Materia: Lógica simbólica y semántica

Grupo: 101

Xalapa, ver.,04,noviembre,2014

Índice

Introducción ………………………………………………………………………..p.3

Leyes de inferencia ………………………………………………………………..p.4

Leyes de adición …………………………………………………………………...p.5

Silogismo Hipotético ……………………………………………………………….p.6

Ley del silogismo disyuntivo……………………………………………………….p.7

Simplificación disyuntiva……………………………………………………………p.8

Ley conmutativa …………………………………………………………………….p.9

Leyes de Morgan ……………………………………………………………….…..p.10

Conclusión …………………………………………………………………………...p.11

Anexos ………………………………………………………………………………..p.12

Bibliografía …………………………………………………………………..………..p.13

Webiografia …………………………………………………………………………...p.13

INTRODUCCIÓN

Este trabajo nos hablara de seis interesantes leyes de inferencia, aparte nos dará ejemplos precisos de cada una de las siguientes leyes: ley de la adición

Ley del silogismo hipotético, ley del silogismo disyuntivo, ley de la simplificación disyuntiva, ley conmunitativa y ley de Morgan.

La lectura de este trabajo es sumamente importante ya que estos temas los veremos en clase de lógica simbólica y ayudara a entender mejor algunas leyes que no entendemos.

Este trabajo aparte de darnos algunos ejemplos, nos dará también conceptos de lo que es y de lo que trata cada ley de inferencia.

Leyes de inferencia

En lógica una ley de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamadas premisas y una aserción llamada conclusión.

Las proporciones conocidas como reglas de separación, también conocidos como razonamientos validos elementales, leyes del pensamiento, implicaciones lógicas o de inferencia.

Estas leyes son muy importantes porque el razonamiento constituye la unidad central del análisis de la lógica.

En lógica, una ley de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre 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 verdaderas a partir de otras ya conocidas. Las leyes 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.

Como se mencionó, la aplicación de una ley de inferencia es un procedimiento puramente sintáctico. Sin embargo, debe también ser válido, o mejor dicho, preservar la validez. Para que el requisito de preservación de la validez tenga sentido, es necesaria una cierta forma semántica para las aserciones de las leyes de inferencia y las leyes de inferencia en sí mismas.

Ley de inferencia: teniendo proposiciones podemos a partir de ellas concluir otras proposiciones que sean verdaderas, un ejemplo:

(Modos Pones) ( ( p = > q) ^ p ) = q

Proposición El río tiene agua entonces me mojo si entro en el

Ley de adición

Regla especial de la adición establece que si dos eventos A y B son mutuamente excluyentes, la probabilidad de que uno u otro evento ocurra es igual a la suma de sus probabilidades.

Es una relación útil cuando tenemos dos eventos y estamos interesados en conocer la probabilidad de que ocurra al menos uno de ellos.

La implicación respectiva es: P ( p v q )

Dada a una proposición cualquiera que se establece como premisa, la ley de adición permite obtener como conclusión, una proposición disyuntiva en la que una de las alternativas es la premisa, en tanto que la otra disyuntiva puede ser cualquier otra proposición.

De acuerdo con esto de la premisa:

1- Sirio es una estrella

Podemos concluir

2- Sirio es una estrella o sirio es una constelación

El esquema del argumento es:

1- r

2- r V s

1. Dada una proposición cualquiera que se establece como premisa, la ley de adición

...