Académique Documents
Professionnel Documents
Culture Documents
LOGICA MATEMATICA
Trabajo colaborativo 1.
Presenta.
Fabin Alexander Moreno Galindo
cd. 1014221042
Tutor.
Ana Milena Corredor
20/04/2012
BOGOTA DC.
INTRODUCCION
1.1. Haciendo uso de los diagramas de Venn, plantea una propuesta para representar el
rea sombreada para la expresin: Juan matricul lgebra o Lgica pero no
Competencias Comunicativas.
1.2. Haga uso de la representacin simblica de las operaciones entre conjuntos, para
representar el rea sombreada en el diagrama del numeral anterior
Clases= {Algebra, Lgica, Competencias comunicativas}
Algebra = {Juan}
Lgica = {Juan}
Competencia C = { }
Algebra Lgica = {Juan}
Lgica Competencias C = { }
Algebra Competencias C = { }
2.1 En su aporte individual, cada estudiante debe plantear diez expresiones relacionadas
con su programa de estudio, tal que cinco de las expresiones correspondan a
proposiciones lgicas y cinco expresiones que no puedan ser clasificadas como
proposiciones. De estas expresiones, el equipo debe elegir una de las propuestas por
cada participante:
Son proposiciones
lgicas
Si estudio ingeniera
industrial ser un ingeniero
Mi carrera consta de 170
crditos
Soy estudiante de
ingeniera industrial
Veo clase virtual en la unad
La unad es una universidad
abierta y a distancia
No son proposiciones
lgicas
Si estudio en la unad soy
ingeniero.
si apruebo 70 crditos
habr culminado mi carrera
Si estudio ingeniera
industrial ser un buen
abogado
Estudio presencial en la
unad
La unad es una universidad
presencial y toca ir todos
los das
premisas
Lenguaje simblico
Si hay tolerancia,
entonces hay paz
p = hay tolerancia
q = hay paz
pq
Para aprender
matemticas es
necesario ser
ordenado y constante.
P Q^R
Ana tiene
perseverancia, orden y
amor por la tarea.
P = Perseverancia
Q = Orden
R = Amor
S = ANA TIENE
(P Q R) S
S (P ^Q ^R)
2.1.
Las tablas de verdad nos permiten conocer el valor de verdad de una
proposicin compuesta para cada valor posible de las proposiciones simples que la
conforman. A continuacin, el equipo debe elaborar la tabla de verdad de las
siguientes proposiciones lgicas, finalmente, deben clasificar la proposicin como
tautologa, contradiccin o contingente de acuerdo al resultado:
p q q p r q s
p q p q
P
(PV
Q)
V V V V V
V V V F V
(PVQ)
^Q
P^
R
[(PVQ)^q]^
(P^R)
(QV
S)
[(PVQ)^q]^(P^R
)->(QVS)