Академический Документы
Профессиональный Документы
Культура Документы
UNAD
INGENIERIA EN TELECOMUNICACIONES
PENSAMIENTO LOGICO Y MATEMATICO
BOGOTA DC
ABRIL 11 DE 2016
Lenguaje formal
v
~
q
V
F
V
F
~p
F
F
V
V
pq
V
F
F
F
p q
V
F
V
V
pq
V
F
F
V
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
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.
q
1
0
1
0
p q
1
0
0
1
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
JOVENES TECNICOS
Algunos jvenes
tcnicos
Estudian en la
UNAD
ALGUN S NO
ES P
Diagrama de venn:
JOVENES TECNICOS
Jvenes
tcnicos
Egresados del
sena
ALGUN S NO
ES P
4.
Participacin en E-PORTAFOLIO:
Link de prezi publicado en e-portafolio:
https://prezi.com/kxj0qnhh4rq8/leyes-de/