1

PENSAMIENTO LGICO Y MATEMATICO

ACTIVIDAD INDIVIDUAL
UNIDAD II
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, 09 de Abril de 2016

2
PENSAMIENTO LGICO Y MATEMATICO
ACTIVIDAD INDIVIDUAL
UNIDAD II
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, 09 de Abril de 2016.

Tabla de contenido
Primer aporte individual:
Segundo aporte Individual.
Tercer aporte individual
Bibliografa

5
7

4
Primer aporte individual:.
Una formula F s dice tautologa si para cualquier interpretacin de su conjunto de letras
proposicionales, su significado (verdadero) es V,

se dice contradiccin si para cualquier

interpretacin su significado es F y se dice contingencia si no esa tautologa o contradiccin.

Ejemplo
Determinar el tipo de (Tautologa, contingencia o contradiccin de cada una de las siguientes
formulas
1. f= p v q q v p
2. f= p p

3.

f=p (q v r)

Si f= p v q q v p entonces f={p,q}

p
q
v
v
v
f
f
v
f
f
Entonces (f) es tautologa

pvq
v
v
v
f

Si f= p p entonces f={p}

p
v
f

p
f
v

p p
f
f

Entonces (f) es contradiccin.

qvp
v
v
v
f

pvqqvp
v
v
v
v

5
Si f=p (q v r) entonces ={p,q,r}

p
v
v
v
v
f
f
f
f

v
v
f
f
v
v
f
f

r
v
f
v
f
v
f
v
f

qvr
v
v
v
f
v
v
v
f

p (q v r )
v
v
v
f
f
f
f
f

Entonces (f) es contingencia.

Segundo aporte Individual.
Problema #2

Francisco es estudiante del curso de Herramientas Digitales para la Gestin del

Conocimiento junto con Luis. Luis en un aporte individual para el Trabajo Colaborativo
Uno escribe en el foro la siguiente idea: Si Francisco mi compaero de curso, aprende
Cmaptools y realiza los mapas conceptuales, entonces Francisco aprende Cmaptools,
entonces el realiza mapas conceptuales o reconoce una red de conceptos y Francisco no
realiza mapas conceptuales y el no reconoce una red de conceptos. Qu se puede decir
de esta informacin?

P. Si Francisco mi compaero de curso, aprende Cmaptools

6
Q. realiza los mapas conceptuales
R. reconoce una red de conceptos

Q. Francisco no realiza mapas conceptuales

R el no reconoce una red de conceptos
2N(3)=8
((P Q) P) ((Q R) (Q R ))

RT. Entonces (f) es contradiccin.

Tercer aporte individual.

Definicin del problema (A)
Todos los egresados de programas del SENA pueden estudiar por convenio en la UNAD.
Algunos jvenes tcnicos no pueden estudiar por convenio en la UNAD.
Algunos jvenes tcnicos no son egresados del SENA.
Como el argumento deductivo est formado por tres proposiciones categricas que contienen
exactamente los tres trminos:
no son egresados del SENA, no pueden estudiar por convenio en la UNAD, Todos los egresados
de programas del SENA pueden estudiar por convenio en la UNAD se puede afirmar que se trata
de una proposicin subcontraria.

8
La conclusin se identifica como la proposicin: Todos los egresados de programas del SENA
pueden estudiar por convenio en la UNAD
Las premisas como las proposiciones: no pueden estudiar por convenio en la UNAD y no son
egresados del SENA
El predicado de la conclusin es estudiar por convenio, el cual se constituye en el trmino mayor
y por consiguiente la premisa mayor es no pueden estudiar por convenio en la UNAD, El sujeto
de la conclusin es todos los egresados, el cual se constituye en el trmino menor y por
consiguiente la premisa menor es no son egresados del SENA,. El anlisis anterior permite
afirmar que es una proposicin subcontraria el cual se puede escribir as:
Premisa mayor: no pueden estudiar por convenio en la UNAD
Premisa menor: no son egresados del SENA
Conclusin: Todos los egresados de programas del SENA pueden estudiar por convenio en la
UNAD

EGRESADOS
SENA

Algunos: E no son S y algunos E no son U.

UNAD

Bibliografa
S/N. (11 de 04 de 2013). Tautologias Contradicciones y Contingencias. Obtenido de 12.
Tautologias Contradicciones y Contingencias:https://www.youtube.com/watch?
v=myOBOoWfQSU

Trabajo grupal
Si Andrs estudia Economa, entonces participar en la convocatoria de una beca para
especializacin. Pero, no participar en la convocatoria, si reprob el curso de Fundamentos de
Administracin y no aprob el curso de Finanzas. Si Andrs no reprob el curso de Fundamentos
de Administracin o aprob el curso de Finanzas, entonces participar en la convocatoria de una
beca para especializacin. Por lo tanto, participar en la convocatoria si y solo si evidencia un
promedio de 4,3 en todos sus estudios
P= Andrs estudia Economa
Q= Andrs participar en la convocatoria de una beca
R= Andrs aprob los cursos
S= Andrs participar en la convocatoria si y solo si evidencia un promedio de 4,3 en todos
sus estudios
2(N)=284)=16

{[(PQ) (~q ~r) (r q)] q} s

10

Desacuerdo a lo anterior esto se denomina contingencia

11