TRABAJO INDIVIDUAL

UNIDAD 3: PAS 3 USO DE LAS REGLAS DE INFERENCIA

TUTOR DEL CURSO: HILDER MOSCOTE

NOMBRE ESTUDIANTE: ELVIA MARINA GARCIA MONTES

CDIGO DEL CURSO: 1.101.819.456

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD PENSAMIENTO LOGICO MATEMATICO

22/NOV/2017
Objetivos

Objetivos Especficos
Introduccin
Primera etapa

Demostracin por contraejemplo

El mtodo por contraejemplo se aplica de manera muy particular para demostrar la falsedad de
proposiciones cuya hiptesis est construida mediante un "cuantificador universal". Esto es, se
aplica para demostrar la falsedad de una proposicin que tenga una conclusin referida para
"todos los elementos de un cierto conjunto.

Qu entender por un contraejemplo

Para demostrar la falsedad de proposiciones de este tipo, basta exhibir un elemento que satisfaga
la hiptesis de la proposicin, pero que no satisfaga su conclusin. A dicho elemento se le conoce
con el nombre de contraejemplo.

El uso del contraejemplo, es muy til cuando uno se encuentra ante una proposicin con
cuantificador universal, de la cual no se sabe si es verdadera o falsa.

La primera idea es buscar un contraejemplo. Si no se encuentra en una primera instancia, se

intentar demostrar su veracidad aplicando los otros mtodos o una combinacin de ellos.

Ejemplos: 1

Demostrar que son FALSAS las siguientes proposiciones:

Ejemplo: 2

Un contraejemplo es un ejemplo que prueba la falsedad de un enunciado se establece con una

demostracin. La falsedad de un enunciado se establece con un contraejemplo.

La suma de dos nmeros compuestos debe ser un nmero compuesto.

Ejemplo contraejemplo

4+4:8 8+9:17

4+6:1 por lo tanto, el enunciado es falso

 Ejemplo: 3

2 + cos 2 =
= 0 1 = 2

Segunda etapa

Dilema contractivo y absorcin

Cuarta etapa

https://prezi.com/p/lk4ij6ka96ll/