Vous êtes sur la page 1sur 8

APORTE INDIVIDUAL TRABAJO COLABORATIVO DOS

OSWALDO ALBARRACIN TELLEZ


GRUPO COLABORATIVO: 200611_59

UNAD
INGENIERIA EN TELECOMUNICACIONES
PENSAMIENTO LOGICO Y MATEMATICO
BOGOTA DC
ABRIL 11 DE 2016

1. APORTE INDIVIDUAL NUMERO 1


TABLA DE VERDAD:

Definicin: Una tabla de verdad es una representacin esquemtica de las relaciones


entre proposiciones; sirve para determinar los valores de verdad de proposiciones
compuestas, las cuales dependen de los conectivos utilizados y de los valores de
verdad de sus proposiciones simples

La representacin formal de los conectores lgicos es:


Lenguaje natural
Y
O
NO
SI ...entonces
Si y solo si

Lenguaje formal

v
~

Los valores de verdad de estos conectores


proposicin compuesta es falsa o verdadera:
p
V
V
F
F

q
V
F
V
F

~p

F
F
V
V

pq
V
F
F
F

son la base para determinar si una


pvq
V
V
V
F

p q
V
F
V
V

pq
V
F
F
V

Para simbolizar los valores de verdad se le asigna 1 al valor verdadero y 0 al valor


falso:
p
1
1

q
1
0

~p

0
0

1
0

0
0

pq
1
0

pvq
1
1

p q
1
0

pq
1
0

1
1

0
0

1
0

1
1

0
1

1.1 Tablas de verdad para los conectores lgicos:


A. Conjuncin:

p
1
1
0
0

q
1
0
1
0

pq
1
0
0
0

De esta tabla se concluye que una conjuncin es verdadera nicamente cuando las
dos proposiciones simples son verdaderas.
Ejemplo: Juanita, podrs salir a la calle cuando arregles la cama y limpies los muebles.
B. Disyuncin
p
1
1
0
0

q
1
0
1
0

pvq
1
1
1
0

De esta tabla se concluye que una Disyuncin es verdadera si una o las dos
proposiciones son verdaderas.
Ejemplo: Juanita, te dejo salir a jugar cuando arregles la cama o sacudas el polvo.

C. Negacin
p
1
0

~p

0
1

D. Condicional o implicacin:

p
1
1
0
0

q
1
0
1
0

p q

1
0
1
1

De esta tabla se concluye cuando las dos proposiciones son verdaderas la proposicin
es verdadera y la proposicin solo es falsa cuando la primera proposicin es verdadera
y la segunda falsa.
Ejemplo: Si ha llovido entonces las calles estn mojadas.

E.Bicondicional o doble implicacin:


p
1
1
0
0

q
1
0
1
0

p q

1
0
0
1

De esta tabla se deduce que la proposicin es verdadera cuando sus dos


proposiciones simples tienen el mismo valor ya sea falso o verdadero .cuando alguna
de las dos difiere el valor ser falso.

Ejemplo: x es un nmero par si y slo si x es mltiplo de 2.

2. SEGUNDO APORTE INDIVIDUAL


Planteamiento y resolucin (utilizando las operaciones necesarias y la
representacin a travs de las Tablas de Verdad) de uno de los siguientes
problemas de Lgica Proposicional; adems establecer si la correspondiente
tabla es una Tautologa, Contradiccin o Contingencia (slo selecciona uno e
informa en el foro el seleccionado para que no sea escogido por otro
integrante):
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?
Hallar las proposiciones simples:
P: francisco aprende cmaptools
q: francisco realiza mapas conceptuales
Al realizar la simbologa del enunciado encontramos:
(p^q) (p^q) ^ (~p^~q)
Tabla de verdad: Truth tables

De esta informacin se deduce que francisco no aprendi cmaptools ni


sabe realizar mapas conceptuales porque cuando p y q son verdaderas su
valor es falso.
Este enunciado es una contingencia porque la tabla de verdad nos arroja los dos
valores falso y verdadero.

3. Tercer Aporte Individual:


Seleccionar uno de los siguientes enunciados e identificar en dicho silogismo las
diferentes proposiciones categricas, y proponer una representacin mediante
Diagramas de Venn de las diferentes relaciones entre las clases implicadas, segn las
proposiciones categricas:
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.

Respuesta:
3.1) En el primer enunciado: Todos los egresados de programas del SENA
pueden estudiar por convenio en la UNAD. esta es una proposicin categrica
universal afirmativa porque en los enunciados:
Todos los egresados de porgramas sena y
Pueden estudiar por convenio en la unad
Todos los elementos del primer conjunto se encuentran contenidos en el segundo
El sujeto de este enunciado es: egresados del sena
El predicado de este enunciado es: puede estudiar en la unad
Y se cumple la ley de que todo S es P
Diagrama de ven:
Estudiantes

:
Puede estudiar en la unad

Egresados del
sena

3.2) En el segundo enunciado Algunos jvenes tcnicos no pueden estudiar por


convenio en la UNAD. encontramos que esta es una proposicin categrica
negativa particular
En este enunciado algunos jvenes se refiere a algunos jvenes tcnicos ( sujeto de la
proposicin) osea parte de todo el conjunto de los jvenes tcnicos y es negativa
porque niega que puedan estudiar en la unad que es el predicado de la proposicin asi
la relacin que se concluye es : algn S no es P .
Diagrama de venn:

JOVENES TECNICOS

Algunos jvenes
tcnicos

Estudian en la
UNAD

ALGUN S NO
ES P

3.3) el tercer enunciado Algunos jvenes tcnicos no


son egresados del SENA. tambien es una proposicin
categorica negativa particular en donde el sujeto : algunos jvenes tcnicos no esta
contenido totalmente en el predicado de la proposicin: egresados del sena y es
negativa porque niega que algunos de ellos son egresados del sena .

Diagrama de venn:
JOVENES TECNICOS

Jvenes
tcnicos

Egresados del
sena

ALGUN S NO
ES P

4.

CUARTO APORTE INDIVIDUAL

Participacin en E-PORTAFOLIO:
Link de prezi publicado en e-portafolio:
https://prezi.com/kxj0qnhh4rq8/leyes-de/