Pensamiento Lógico Matemático

Derney Ortiz Rodríguez

CC 80180608

Grupo
200611_8

Tutor:
Maria Yolanda Soracipa

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Ingeniería Electrónica
Noviembre 2017
Tema: Demostración directa e Indirecta

La demostración es un razonamiento que prueba la validez de un conocimiento, es el

enlace entre los conocimientos recién adquiridos y los conocimientos anteriores. Los
procedimientos de demostración permiten establecer la conexión lógica entre las
proposiciones fundamentales de la teoría; sus consecuencias sucesivas hasta deducir
la conclusión o tesis que así se demuestra.

Demostración Directa

La demostración de directa de una proposición t (teorema) es un conjunto de

proposiciones o premisas que son postulados o proporcionados de validez aceptada y
de las cuales se infiere t como consecuencia inmediata.

Ejemplo
Si x es un numero entero impar, entonces 𝑥 2 en un número impar

Demostración: supongamos que x es impar entonces por definición de números entero

impar, existe un numero entero a tal que.

𝑥 = 2𝑎 + 1
Ahora

𝑥 2 = (2𝑎 + 1)2
=(2a+1)*(2a+1)
=4𝑎2 + 4𝑎 + 1
=2(2𝑎2 + 2𝑎) + 1
=2k+1(k=2𝑎2 + 2𝑎)
Donde 𝑥 2 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟

Ejemplo

Se tienen las proposiciones P1, P2 ….. Pn procediendo a la deducción de que la

conclusión es Q es verdadera a través de un proceso lógico deductivo, es decir como
una cadena de implicaciones lógicas, el esquema de demostración en método directo
queda de la forma:

𝑃1 ∧ 𝑃2 ∧ … . .∧ 𝑃𝑛 ⟶ 𝑄
Ejemplo

Tenemos b/a y b/c entonces b/a+c

𝑎 = 𝑏𝑐; 𝑐 =∝ 𝑏
𝑎 + 𝑐 = 𝑏𝑐 + 𝑏 ∝= 𝑏(∝ +𝑐) = 𝑏ℎ
b/a+c;

3/12 3/12+15

3/15 3/27

Demostración Indirecta

Se realiza una demostración indirecta cuando se establece la validez de una tesis t

probando que las consecuencias de su contraria son falsas.

Ejemplo

Si 3x-1 es par, entonces x es impar

Demostración, supongamos que x no es impar, entonces x es par, así existe un

numero entero a tal que

X=2a

3x-1=3(2a)-1
=6a-1-1+1
=6a-2+1
=2(3a-1) +1
=2k+1(k=3a-1)
En consecuencia, 3x-1 es par.

Dilema Construcción y Absorción

Dilema Construcción: es el nombre de una regla de inferencia de valida de lógica

proporcional. Es una inferencia que dice si P implica Q y R implica S y, o bien Q es
falsa o es falsa entonces P o R debe ser falsa, en una suma, si dos condicionales son
verdaderas, pero una de sus consecuentes es falsa, entonces uno de sus
antecedentes tiene que ser falsa. El dilema constructivo es la versión disyuntiva del
modus tollens la versión disyuntiva de modus ponens, mientras que el dilema
destructivo es la versión disyuntiva del modus tollens la regla puede afirmar:
 𝑃 → 𝑄, 𝑅 → 𝑆, 𝑃 𝑉 𝑅
∴𝑄𝑉𝑆
Donde la regla es que donde quiera que aparezca las instancias de 𝑃 → 𝑄 ;
𝑅 → 𝑆 𝑦 𝑃 𝑉 𝑅 en una línea de alguna demostración, se puede colocar 𝑄 𝑉 𝑆 en una
línea posterior

Ejemplo:

(𝑃 𝑄) ∧ (𝑅 𝑆)
PVR
QVS

Absorción

P Q
P (Q ∧ P)

Dilema Constructivo Compuesto

Si hoy es sábado, voy al cine; pero si hoy voy a la playa, comeré ceviche, hoy es sábado o voy
a la playa. Por lo tanto

⌊(𝑝 → 𝑞) ∧ (𝑟 → 𝑠) ∧ (𝑝 𝑉 𝑟)⌋ → (𝑞 𝑉 𝑟)

Formalización vertical

𝑝→𝑞
𝑟→𝑠
𝑝𝑉𝑟

𝑞 𝑉 𝑟 “voy al cine o incluso comeré ceviche”

Dilema Contractivo

Condicional P→ 𝑄
Conjunción P ∧ Q
Disyunción P V Q

Se forma en tres niveles

1- (𝑃 → 𝑄) ∧ (𝑅 → 𝑆)
2- 𝑃 ⋁ 𝑅
3- ∴ 𝑄 ⋁ 𝑆
Ejemplo

Si es temporada de lluvia tengo que comprar un paraguas y si es temporada de calor me iré a

la playa

O es temporada de lluvia o es temporada de calor

Por lo tanto, o me compro un paraguas o me voy a la playa.

 Si es temporada de lluvia tengo que comprar un paraguas y si es temporada de calor

me iré a la playa = (𝑷 → 𝑸) ∧ (𝑹 → 𝑺)
 O es temporada de lluvia o es temporada de calor = 𝑷 ⋁ 𝑹
 Por lo tanto, o me compro un paraguas o me voy a la playa. =∴ 𝑸 ⋁ 𝑺

Definición y ejemplos Algebra de Boole

El algebra de Boole

Un algebra de Boole es aquella que utiliza variables que solo pueden tomar 2 valores llamadas
variables booleanas, A los dos valores diferentes de una variable booleana se les codifica con
los bits “o” y “1” estos valores no representan dígitos numéricos, si no que representan dos
estados distintos de un dispositivo. Los operadores binarios (.) y (+) u (‘) definidos de la
siguiente forma:

1- propiedad conmutativa

A+B=B+A
A*B=B*A

2- Propiedad Distributiva

A*(B + C) = A * B + A * C
A + B * C = (A + B) * (A + C)

3- Elementos Neutros

A + A’ = 1
A * A’ = 0

4- Siempre existe el complemento de A, Denominado A’

A + A’ = 1
A * A’ = 0

Operaciones y Expresiones Booleanas

Adición

0+0=0
0+1=1
1 + 0 =1
1+1=1

Multiplicación

0*0=0
0*1=0
1*0=0
1*1=1