Beruflich Dokumente
Kultur Dokumente
TRABAJO COLABORATIVO 1
ANDRES FELIPE GONZALEZ RODRIGUEZ
CODIGO: 1.065.657.140
DELIA ISABEL MAYORGA MUOZ
CODIGO: 1.065.643.399
GUSTAVO ADOLFO ARIAS CUELLO
CODIGO: 1.065.600.474
RICHARD ALEXANDER BLANCO GOMEZ
CODIGO: 1.081.809.552
YAIR GUERRERO
CODIGO:
TUTORA:
SONIA SORADIA PINILLA
CURSO: 90004
GRUPO: 65
CEAD VALLEDUPAR - 2015
INTRODUCCIN
El siguente trabajo lo realizamos con el fin de afianzar los conocimientos previos que tenemos
sobre la teora de conjuntos, proposiciones, tablas de verdad, deduccin e induccin e inferencias
lgicas.
Juane
s
A
15
Shakir
a
2
0
1
5
Platnic
os
Dieg
o
Marcel
An
Aristotli
cos
Silvi
Carl
os
Camil
Literales a resolver:
a) Cuantos estudiantes Aristotlicos son Platnicos.
b) Cuales estudiantes de filosofa son Platnicos
c) Cuales estudiantes de filosofa son Aristotlicos
d) Cuales estudiantes de filosofa no son Aristotlicos
e) Cuales estudiantes de filosofa no son Platnicos
f) Cuales estudiantes son Platnicos Aristotlicos
g) Cuales estudiantes son Platnicos y Aristotlicos
h) Cuales estudiantes son Platnicos pero no son Aristotlicos
i) Cuales estudiantes son Aristotlicos pero no son Platnicos
j) Cuales estudiantes no siguen ninguna corriente filosfica
k) Cuales estudiantes siguen al menos una corriente filosfica
Estudiant
es
de Lgica
Ejercicios a resolver:
a) Bien pensado, no hay por qu ser bien pensante.
b) En caso de que sople el viento, podremos navegara vela.
c) Si alguien escribe como Borges, entonces puede disculprsele todo.
d) La vida es larga si es plena; y se hace plena cuando el alma ha recuperado la posesin de su
bien propio y ha transferido a s el dominio de s misma (Sneca).
La solucin de esta tarea debe contar con las siguientes etapas:
a) Expresin en lenguaje natural en la que se evidencien los conectivos lgicos.
b) Declaracin de las premisas.
c) Expresin en lenguaje natural.
d) Tabla de verdad.
La solucin de la tarea 3 debe cubrir mnimo dos (2) cuartillas del informe final.
Solucin:
a) Bien pensado, ENTONCES no hay por qu ser bien pensante.
P. Bien pensado
q. bien pensante P
P
V
V
Q
V
F
q
~q
F
V
P
F
V
~q
F
F
V
F
F
V
V
V
Q
V
F
V
F
P
V
F
F
V
Q
Q
Q
V
F
V
F
P
V
F
V
V
P
V
V
F
F
Q) [(R S)
Q
V
F
V
F
R
V
V
F
F
S
V
F
F
F
Q)]
Q
V
F
V
V
RS
V
F
F
F
RS
V
V
V
V
(P
Q) [ (R S)
V
F
V
V
Q) ]
Todas las madres primerisas son ms amorosas y comprensivas con sus hijos que las madres que
han tenido ms de 1 hijo, Maria es una madre primerisa, por lo tanto es ms amorosa y
comprensiva con su hija Valeria, que Juana con su hija Sofia.
Enunciados falseables:
Esta afirmacin es falseable, porque con solo encontrar un cuervo que no sea negro podemos
probar que la afirmacin es falsa.
Este enunciado es falseable, ya que, con solo encontrar una persona que no sea de color de
descendencia africana, probamos que es falsa.
Tarea 5. Inferencias Lgicas.
El problema a desarrollar en la tarea 5 es el siguiente:
Si la mercanca llega y la maquinaria funciona, no incumplimos. Si entregamos a tiempo
conservamos el cliente y el cliente paga. Si el cliente paga todos reciben su dinero.
Incumplimos, Qu puede concluirse sobre recibir el dinero?
Para esta tarea el equipo debe entregar las siguientes etapas:
a) Identifica las proposiciones simples y declralas (Asigna letras como p, q,..)
b) Identifica las premisas del problema.
c) Utiliza las leyes de inferencia para poder concluir sobre la proposicin que se pide en el
problema.
Para resolver este ejercicio debes estudiar las leyes de inferencia. La solucin de la tarea 5 debe
cubrir una (1) cuartilla del informe final.
Solucin:
a)
p: si la mercanca llega.
q: la maquinaria funciona.
r: no incumplimos.
s: si entregamos a tiempo.
t: conservamos el cliente.
u: El cliente paga.
v: todos reciben su dinero.
b)
(p q) r
s (t u)
uv
c)
p: Si la mercanca llega
q: la maquinaria funciona
r: no incumplimos
1. (p ^ q) ~r
2. ~r
~p ^ ~q
{[(p ^ q) ~r] ^ ~r} (~p ^ ~q)
s: Si entregamos a tiempo
t: conservamos el cliente
w: el cliente paga
1. (s t) ^ x
2. ~w
~s ~t
{[(s t) ^ w] ~r} (~s ~t)
y: Si el cliente paga
z: todos reciben su dinero
1. (y z)
2. ~y
~z
{[(y z) ~y] } ~z