1

PENSAMIENTO LGICO Y MATEMATICO

ACTIVIDAD INDIVIDUAL
UNIDAD III
LOGICA PROPOSICIONAL

MARIO FERNANDO AVILEZ GULUMA

CC. 1006902632
GRUPO: 200611_500

Universidad Nacional Abierta y a Distancia UNAD

Ingeniera Industrial
1 Er Semestre

Villavicencio Meta, 15 de Mayo de 2016

2
PENSAMIENTO LGICO Y MATEMATICO
ACTIVIDAD INDIVIDUAL
UNIDAD III
LOGICA PROPOSICIONAL

MARIO FERNANDO AVILEZ GULUMA

CC.100690232
GRUPO: 200611_500

Licenciado
ADRIAN REINALDO VALENCIA
Tutor
Universidad Nacional Abierta y a Distancia UNAD
Ingeniera Industrial

Villavicencio Meta, 15 de Mayo de 2016.

3
PRIMER APORTRE INDIVIDUAL
Demostraciones Directas e indirectas.
La demostracin
La demostracin es un razonamiento que prueba la validez de un nuevo conocimiento; es el
enlace entre los conocimientos recin adquiridos y los conocimientos anteriores. Los
procedimientos de demostracin permiten establecer la conexin lgica entre las proposiciones
fundamentales de la teora, sus consecuencias sucesivas, hasta deducir la conclusin o tesis que
as se demuestra.
Los principales tipos de demostracin son:
La demostracin directa
La demostracin directa de una proposicin t (teorema) es un conjunto de proposiciones o
premisas que son postulados o proposiciones de validez aceptada y de las cuales se infiere t
como consecuencia inmediata.
Ejemplo 1.

Dadas las premisas: 1. p ~q

2. r q
Concluir: t. p ~r
Demostracin: Puesto que r q es equivalente a ~q ~r, por MTT se tiene la premisa:
3. ~q ~r, ahora, de las premisas 1 y 3 se puede concluir t, es decir, como
p ~q y ~q ~r, entonces, p ~r. Por SH

4
La demostracin indirecta
Se realiza una demostracin indirecta cuando se establece la validez de una tesis t probando
que las consecuencias de su contraria son falsas.
Ejemplo 1.
Construir la demostracin indirecta de:
Si x2 es par, entonces x es par, (con x entero)
Suponga que existe al menos un entero x tal que x2 es par y x es impar.
Por el ejemplo 2 analizado en la demostracin directa, se sabe que si x es impar, entonces x2
es impar, luego es imposible que x sea impar y que x2 sea par.
Esta es la contradiccin buscada.
SEGUNDO APORTR INDIVIDUAL.
Modus ponendo ponens y modus tollendo tollens
Modus ponendo ponens: El modus ponendo ponens (en latn, modo que afirmando afirma),
tambin llamado modus ponens y generalmente abreviado MPP o MP, es una regla de inferencia
que tiene la siguiente forma:
Si A, entonces B
A
Por lo tanto, B

Ejemplo:
Si son las 6 AM, entonces ya amanecio.
Son las 6 AM.

Modus tollendo tollens: El modus tollendo tollens (en latn, modo que negando niega),
tambin llamado modus tollens y generalmente abreviado MTT o MT, es una regla de inferencia
que tiene la siguiente forma:
si A entonces B
No B
Por lo tanto, no A

EJEMPLO:
Si son las 6 AM, entonces amanecio.
No son las 6 AM.
Por lo tanto, no amanecio.
Por lo tanto, Ya amanecio

6
Tercer aporte individual
Si Bibiana aprueba el periodo acadmico entonces Johanna y Santiago sus hermanos se
enojan con ella. Y si no aprueba el periodo acadmico, pierde los beneficios de la beca obtenida
en la Universidad. Pero, Bibiana aprueba el periodo acadmico o no lo aprueba. Por lo tanto,
Johanna y Santiago sus hermanos se enojan con ella o pierde los beneficios de la beca obtenida
en la Universidad.

P: si Bibiana aprueba el periodo acadmico

Q: sus hermanos se enojan
P: si no aprueba el periodo acadmico
R: pierde la beca
{[(pq) (p r)][(pV p)]}(qVr)
2n(n)=2n(3)=8

RT. Como podemos observar nos arroja una tautologa

PREMISAS
1. pq
2. p r
3. pV p
4. QVr
5. P Simplificado (1) (2)
6. Q TP (1) (2)
7. R

SD

8. Q Adicion