ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

PROGRAMA: INGENIERIA INDUSTRIAL

CURSO: 200611
GRUPO.231

PENSAMIENTO LOGICO MATEMATICO

UNIDAD 3- PASO 3- USO DE REGLAS DE INFERENCIA

ESTUDIANTES
LEANDRO EMMANUEL SANCHEZ RINCON
C.C: 1115.911.404

TUTOR

EDGAR CASTILLO

FECHA
23 DE MAYO 2017

YOPAL-CASANARE
 2

Objetivo

Es un proceso que parte de un conocimiento general de la aplicacin aprendida entre las

demostraciones directas e indirectas por proposiciones verdaderas o ilgicas en la cual veremos a

cual pertenece, igualmente se logra la identificacin con ejemplos de silogismo hipottico,

silogismo disyuntivo.

Con la tabla de verdad identificaremos como se soluciona la comprobacin por medio del

simulador TRUTH
 3

INTRODUCCION.

El propsito de esta actividad es describir y ejercitarse en algunas tcnicas en demostraciones

directas que nos ayudaran por medio de hiptesis para establecer unas operaciones lgicas donde

se escriben proposiciones verdaderas se justifican y finalmente se afirman demostraciones

indirectas para determinar si una proposicin donde encontraremos la Contraresiproca y la

reduccin a lo simple y lo ilgico.

En inferencia lgica veremos proposiciones ciertas silogismos hipotticos y silogismos

disyuntivos, premisas con sus respectivos ejemplos desarrollados para asi tener un mayor

entendimiento a nivel general de tautologa y leyes de inferencia

Establecimos ejercicios desarrollados atreves de las tablas de verdad con su respectiva aplicacin

de leyes de inferencia, dndole su respectivo desarrollo al enunciado que se elija y evidenciarlo

atreves de simulador.
 4

METODOLOGIA DE DEMOSTRACIONES DIRECTAS O INDIRECTAS

Se llega a la conclusin atreves de las premisas mediante el uso de reglas, para asi demostrar un

teorema de estos mtodos y si la conclusin es buscada se establecen los siguientes pasos.

Se determina especficamente la hiptesis y la tesis del teorema el cual se va a demostrar y esta

incluye la construccin de auxiliares que apoye la demostracin del teorema.

Se relaciona la hiptesis con las definiciones, postuladas y teoremas demostrados anteriormente

una sucesin lgica de proposiciones que permitan validar la validez de la tesis que generalmente

se representa en dos:

- Se escriben las proposiciones verdaderas

- Se escribe la justificacin correspondiente y luego se afirma.

METODO INDIRECTO: L os principales mtodos indirectos son la Contraresiproca y la

reduccin a lo absurdo.
 5

CONTRARRESIPROCRA: Dependiendo de la preposicin a demostrar se puede usar el mtodo

de la forma p, entonces si llueve entonces no voy a caminar ahora la Contraresiproca no q

entonces no p si voy a caminar entonces no llueve, para demostrar un teorema utilizando la

Contraresiproca, se establece como hiptesis, es decir, se muestra el teorema no q entonces no

p

EJEMPLO 1

Cuando A es congruente B y B con C

Paso 1: Si A es congruente con B y B congruente con C, entonces A es congruente con

C

Paso dos: la grfica o diagrama representado

Paso 3: Hiptesis.

AByBC

Tesis:

AC

Paso 4 identificar un plan ideado: Si se considera los datos como proposiciones sobre medicin

de ngulos, entonces se puede usar la propiedad transitiva de los nmeros y por la definicin de

los ngulos congruentes y se saben que este tiene igual medida.

Paso 5.
 6

EJEMPLO NUMERO 2

Si los puntos A, B, C y D estn sobre una recta de manera que B es el punto medio del segmento

AC y C es el punto medio del segmento BD, entonces.

PASO 1: El primer paso est contenido en la proposicin del teorema

Paso 2

A B C D

Paso 3 hiptesis: B es el punto del segmento AC

C es el segmento de BD

Tesis:

Paso 4 idese el Plan: Se interpreta cada una de las proposiciones sobre la congruencia de

segmentos y se utiliza la propiedad transitiva.

Paso 5
 7

EJEMPLO NUMERO 3

Es un tringulo de issceles, el segmento que va del ngulo diferente al punto del medio del lado

opuesto, forman un par de tringulos congruentes.

PASO 1.

PASO 2.

PASO 3.
 8

PASO 4.

Idese un plan: Se usar la informacin proporcionada, la definicin del punto medio, la

propiedad reflexiva y el postulado LLL de la congruencia.

PASO 5.

LEY DE INFERANCIA LOGICA

SILOGISMO HIPOTETICO: Se caracteriza por estar formado por juicios hipotticos, la

estructura formal del silogismo hipottico es la siguiente:

Si A es, B es

SI B es, C es

Luego si A es, C es

Silogismo hipottico mixto.

Se llama hipottico mixto al silogismo que est formado por una premisa mayor hipottica, una

premisa menor categrica y una conclusin tambien categrica.

Tienen dos modos principales: modus ponen (Afirmativo) y modus Tollens (Negativo)

La estructura formal del Modus penens es la siguiente.

Si A es, B es.

Ahora bien, A es
Luego, B es.
 9

La estructura formal del Modus Tollens es la siguiente.

Si A es, B es.

Ahora bien, B no es.

Luego, A no es.

SILOGISMO HIPOTETICO DISYUNTIVO.

Si la premisa mayor es a la vez hipottica y disyuntiva es similar al hipottico mixto, pues su

premisa mayor es disyuntiva mientras que la menor y la conclusin son categricas.

Este silogismo admite tambien dos modos; Modus ponenes (Afirmativo negativo) y modus

Tollens ponens (Negativo afirmativo).

La estructura formal del modus del modus Ponendo tollens es la siguiente.

A es B o C.

Ahora bien, es B.

Luego no, es C

La estructura formal del modus Tollendo ponens es la siguiente.

A es B o C

Ahora bien, no es B

Luego B es o C es

Este ltimo razonamiento se llama tambien razonamiento lematico (lema= a supuesto),

De donde se llama tambien dilema, cuando tiene 2 miembros disyuntivos; tambien puede ser

(trilema) o en general (Polilema)

Lo afirma el filsofo Essen que ese tipo de razonamiento sirve para rebatir una afirmacin

mostrando lo que afirma implcitamente y necesariamente, negando luego ambos miembros de la

disyuncin, por lo cual la afirmacin queda negada.

 10

Ejemplo 1:

a. Si mi hermano est en casa, entonces no hace nada.

b. Si no hace nada, entonces no trabaja.
c. Luego, si mi hermano esta en casa, no trabaja.

Ejemplo 2:

a. Si los hombres son caballeros, entonces son respetuosos.

b. Si son respetuosos, entonces tratan bien a las damas.
c. Luego, si los hombres son caballeros, entonces tratan bien a las damas.

Ejemplo 3:

a. Si hoy es lunes entonces tenemos juegos

b. Hoy es lunes
c. Entonces, tenemos juegos

Ejemplos de silogismos disyuntivos:

Ejemplo 1 (modo Ponendo- tollens)

Premisa mayor: O naci perro o naci perra

Premisa Menor: Naci perra

Conclusin: Entonces, no naci perro

Ejemplo 2 (modo Tollendo- ponens)

Premisa mayor: O es de da o es de noche

Premisa menor: No es de noche

Conclusin: Entonces, es de da

Ejemplo 3 (modo Ponendo- tollens)

Premisa mayor: o ganaron las camisas amarillas o ganaron las camisas negras

Premisa menor: Ganaron las camisas amarillas

Conclusin: Entonces no ganaron las camisas negras

 11

Ejemplo 4.

Premisa mayor: O tomo agua o tengo sed

Premisa menor: Tomo agua.

Conclusin: Entonces, no tengo sed