Pensamiento Logico y Matematico

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
Escuela de Ciencias Sociales, Artes y Humanidades

Programa de Psicologa
Pensamiento lgico y matemtico
PENSAMIENTO LOGICO Y MATEMATICO
ACTIVIDAD COLABORATIVA N2
INTEGRANTES
NATALIA ANDREA ARBOLEDA ORTIZ CODIGO 1.113.684.805
LEIDY YOHANNA GALEANO LARA CODIGO: 1.118.293.197
LINA MARCELA MEJIA SANCHEZ CODIGO: 1.116.241.660
GRUPO: 200611_294
TUTOR:
HILDER MOSCOTE
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

VALLE DEL CAUCA
18/ABRIL/2016
1

INTRODUCCION
En este trabajo veremos como La lgica utiliza un lenguaje exacto que no da lugar a imprecisiones, para tal fin toma como elemento
bsico de anlisis a la proposicin, es un enunciado del cual se puede dar un valor de verdad. Para simplificar la escritura de
argumentos lgicos complicados, crea un lenguaje simblico artificial.
Es importante tener en cuenta que las proposiciones representan oraciones declarativas, las cuales contienen un sujeto perfectamente
definido o dado por el contexto, un predicado y una conjugacin del verbo ser estas son:
Proposiciones Simples
Proposiciones Compuestas
De igual manera hemos dominado las Tablas de verdad que no son ms que una representacin esquemtica de las relaciones entre
proposiciones; Esta 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.
Podemos afirmar que en la elaboracin de una tabla de verdad, los trminos de enlace tales como la negacin (~), la disyuncin (V) y
la conjuncin () se consideran conectores fundamentales; por tal razn, sus valores de verdad constituyen base para establecer bajo
qu condiciones una proposicin compuesta es verdadera o falsa
Este trabajo es realizado por las estudiantes de la Universidad Abierta y a distancia del curso pensamiento lgico y matemtico grupo
200611_294

OBJETIVOS
Presentar los conceptos bsicos de la lgica proposicional.
Aprender a identificar las clases de proposiciones que se pueda encontrar en un enunciado.
Entender la aplicacin y el efecto que tienen los trminos de enlace en las proposiciones.
Analizar proposiciones en nuestro idioma para determinar su validez.
Analizar e interpretar proposiciones para simbolizarlas.
Comprender los principios de las operaciones de la lgica proposicional y sus aplicaciones en otras reas de la carrera.

Aporte nmero 1
NATALIA ANDREA ARBOLEDA
Tablas de la verdad: Permite analizar la validez de una formula o premisa planteada. Fue desarrollada por Charles Sanders Pierce por
los aos 1880, pero el formato ms popular es el que introdujo Ludwig Wittgenstein en su Tractatuslogico-philosophicus, publicado
en 1921. Tiene como objetivo nos permite mostrar la validez de un suceso, las tablas de verdad se utiliza en lgica simblica para
establecer la validez de las proposiciones.
Tabla de verdad de la disyuncin:
La disyuncin es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones,
devolviendo el valor de verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando
ambas son falsas.
Un ejemplo cotidiano sera:
*si voy al parque
; no voy al parque es falso

EJEMPLOS:
p = El nmero 2 es par
q = la suma de 2 + 2 es 4
pvq: El nmero 2 es par o la suma de 2 + 2 es 4
p = La raz cuadrada del 4 es 2

q = El nmero 3 es par
pvq: La raz cuadrada del 4 es 2 o el nmero 3 es par
Tabla de Vedad de la Conjuncin
La conjuncin es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones,
devolviendo el valor de verdad V ER D A D ER O cuando ambas proposiciones son verdaderas, y FA L S O en cualquier otro caso. Es decir
es verdadera cuando ambas son verdaderas.

p ^ q (se lee: p y q)
EJEMPLOS:
p = El nmero 4 es par
q =Siempre el residuo de los nmeros pares es 2
p^q: El nmero 4 es par y Siempre el residuo de los nmeros pares es 2
p = El nmeroms grande es el 34
q =El tringulo tiene 3 lados
p^q: El nmeroms grande es el 34 y El tringulo tiene 3 lados
Tabla de verdad de la Negacin

La negacin es un operador que se ejecuta. Sobre un nico valor de verdad, devolviendo el valor contradictorio de la proposicin
considerada.

EJEMPLOS
p: 4 + 4 es igual a 9
-p: 4 + 4 no es igual a 9
p: El 4 es un numero par
-p: El 4 no es un numero par
Tabla de la verdad del condicional

El condicional material es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos
proposiciones, devolviendo el valor de verdad F A LS O slo cuando la primera proposicin es verdadera y la segunda falsa, y
V ER D A D ER O en cualquier otro caso.
La condicional de dos proposiciones p, q da lugar a la proposicin; si p entonces q, se representa por p q
EJEMPLOS
p: llueve
7

q: hay nubes
pq: si llueve entonces hay nubes
p: Hoy es mircoles
q: Maana ser jueves
pq: Si Hoy es mircoles entonces Maana ser jueves
Tablas de la verdad del bicondicional

El bicondicional o doble implicacin es un operador que funciona sobre dos valores de verdad, tpicamente los valores de verdad de
dos proposiciones, devolviendo el valor de verdad V ER D A D ER O cuando ambas proposiciones tienen el mismo valor de verdad, y
falso cuando sus valores de verdad difieren.
EJEMPLOS
p: 10 es un nmero impar
q: 6 es un nmero primo
pq: 10 es un nmero impar si y solo si 6 es un nmero primo
8

p: 3 + 2 = 7
q: 4 + 4 = 8
pq: 3 + 2 = 7 si y solo si 4 + 4 = 8
LEIDY YOHANNA GALEANO LARA
CONCEPTO DE PROPOSICIN LGICA

Una proposicin es una oracin con valor referencial o informativo, de la cual se puede predicar su veracidad o falsedad, es decir, que
puede ser falsa o verdadera pero no ambas a la vez.
La proposicin es la expresin lingstica del razonamiento, que se caracteriza por ser verdadera o falsa empricamente, sin
ambigedades. Son proposiciones las oraciones aseverativas, las leyes cientficas, las frmulas matemticas, las frmulas y/o
esquemas lgicos, los enunciados cerrados o claramente definidos. No son proposiciones las opiniones y suposiciones; los proverbios,
modismos y refranes; los enunciados abiertos no definidos; las oraciones interrogativas, exclamativas, imperativas, desiderativas y
dubitativas; las interjecciones en general; ni las operaciones aritmticas.

CLASES DE PROPOSICIONES
Existen dos clases de proposiciones:

PROPOSICIONES SIMPLES:
Son aquellas que no tienen oraciones componentes afectadas por negaciones (no) o trminos de enlace como conjunciones (y),
disyunciones (o) o implicaciones (s. . . entonces). Pueden aparecer trminos de enlace en el sujeto o en el predicado, pero no
entre oraciones.
Tambin denominadas proposiciones atmicas. Son aquellas proposiciones que no se pueden dividir.
Ejemplos:
El cielo es azul.
La ballena es roja.
La raz cuadrada de 16 es 4.
Gustavo es alto.
Teresa va a la escuela
PROPOSICIONES COMPUESTAS:
Una proposicin ser compuesta si no es simple. Es decir, si est afectada por negaciones o trminos de enlace entre oraciones
componentes.
Tambin denominadas moleculares. Son aquellas que estn formadas por dos o ms proposiciones simples unidas por los operadores
lgicos.
Ejemplos:
10

Fui al banco, pero el banco estaba cerrado.

Los lectores de este libro son jvenes o universitarios.
Si el mircoles prximo me saco la lotera entonces te regalare un auto.
Aprender Matemticas si y slo si estudio mucho.
LINA MARCELA MEJIA

Silogismos categricos.
Un silogismo es un argumento deductivo en el que se infiere una conclusin a partir de dos premisas. El silogismo contiene
exactamente tres trminos, cada uno de los cuales slo aparece en dos de las proposiciones que lo constituyen. Se dice que un
silogismo est en forma estndar cuando sus premisas y conclusin estn arregladas en cierto orden especfico. La conclusin de un
silogismo de forma estndar es una proposicin que contiene dos de los tres trminos del silogismo. El trmino que aparece como
predicado de la conclusin se llama el trmino mayor del silogismo, y el trmino que aparece como sujeto de la conclusin es el
trmino menor del silogismo. As, en el siguiente silogismo:
Ningn hroe es cobarde

Algunos soldados son cobardes
Por lo tanto, algunos soldados no son hroes.
El trmino soldados es el trmino menor y el trmino hroes, es el trmino mayor. El tercer trmino del silogismo que no
aparece en la conclusin, y que aparece en cambio en ambas premisas se llama el trmino medio. En nuestro ejemplo, el trmino
cobardes es el trmino medio. Los trminos mayor y menor de un silogismo en forma estndar aparecen, cada uno, en una premisa
diferente. La premisa que contiene el trmino menor se llama premisa menor y la premisa que contiene el trmino mayor se llama
11

premisa mayor. Una caracterstica definitoria de un silogismo de forma estndar consiste en que la premisa mayor se enuncia primero,
en seguida la premisa menor y al final la conclusin.
El modo de un silogismo de forma estndar est determinado por las formas de las proposiciones categricas de forma estndar que
contiene. Es decir, el silogismo se
Representa por tres letras, la primera de las cuales nombra la forma de la premisa mayor del silogismo, la segunda la de la premisa
menor y la tercera la de la conclusin. Por ejemplo, en el caso del silogismo precedente, puesto que su premisa mayor es una
proposicin E, su premisa menor es una proposicin I y su conclusin una proposicin O; el modo del silogismo es EIO.
El modo slo describe parcialmente la forma de un silogismo, pues silogismos con el mismo modo pueden diferir en sus formas,
dependiendo de las posiciones relativas de los trminos medios. La forma de un silogismo se puede describir por completo
enunciando su modo y su figura, donde la figura indica la posicin del trmino medio en las premisas. Es claro que hay cuatro
posibles figuras distintas que pueden tener los silogismos. El trmino medio puede ser el sujeto de la premisa mayor y el predicado de
la premisa menor, o puede ser el predicado de ambas premisas, o puede ser el sujeto de ambas premisas, o puede ser el predicado de
la premisa mayor y el sujeto de la premisa menor. Estas diferentes posiciones posibles del trmino medio constituyen las cuatro
figuras del silogismo
MP
PM
MP
PM
SM
SM
MS
MS
SP
SP
SP
SP
12

Silogismo vlido Diagrama de ven
Unsilogismo resulta invlido al no cumplir al menos una de estas reglas:

El silogismo debe tener tres trminos: mayor, menor y medio.
Los trminos no deben tener mayor extensin en la conclusin que en las premisas1
El trmino medio nunca debe pasar a la conclusin.
El trmino medio debe ser universal por lo menos una vez.
Dos premisas afirmativas, no pueden dar conclusin negativa.
Dos premisas negativas, no dan conclusin.
13

Dos premisas particulares no dan conclusin.

La conclusin siempre sigue la parte ms dbil (particular y negativa).
Reglas de figuras
Primera figura: mayor universal, menor afirmativa.
Segunda figura: mayor universal, una negativa.
Tercera figura: menor afirmativa, conclusin particular.
Cuarta figura: si la mayor es afirmativa, la menor debe ser universal.
Cuarta figura: si la menor es afirmativa, la conclusin debe ser particular.
Cuarta figura: si alguna premisa es negativa, la mayor debe ser universal
Aporte nmero 2
Rafael siempre quiso ser actor de teatro, pero no logr cumplir su sueo porque se dedic a trabajar para buscar su sustento diario.
Pero ha llegado una felicidad a Rafael y es el hecho de que su hija Sofa quiere ser actriz de teatro y pensando en su hija construye en
su mente el siguiente pensamiento: No es cierto que: si mi hija Sofa estudia los libretos,obtiene representar el papel protagnico en
la obra de Teatro. Si no estudia, lo pasa divertido en el ensayo. Si no obtiene el papel protagnico no lo pasa bien en el ensayo. As
pues, mi hija Sofa obtiene el papel protagnico.
14

De acuerdo al resultado en la tabla de verdad justifique si el pensamiento de Rafael con relacin a su hija es coherente o incoherente.
PREMISA 1 a:Sofa estudia los libretos

PREMISA 2 b: Obtiene representar el papel protagnico
PREMISA 3 c:Lo pasa divertido en el ensayo
a: Sofa No estudia
b: Sofa No obtiene representar el papel protagnico
c: No la pasa bien en el ensayo
15

(a
b)
(a c)
(a c)
(a
b)(a c) (a c)
POR SU RESULTADO VERDADERO Y SEGN LA DEFINICION OBTENEMOS QUE ESTE PROBLEMA ES UNA
CONTINGENCIA
16

LINA MARCELA MEJIA SANCHEZ
En el Fondo de empleados de una empresa desean premiar a los asociados ms antiguos con un viaje para dos personas con todo
pago a la isla de San Andrs, los asociados ms antiguos son Alberto, Javier, Camilo y los hermanos Luis y Carlos. En la Junta para
determinar a quien otorgar el premio se hace la siguiente consideracin con relacin a los ahorros: Si Alberto posee mayor cantidad
de ingresos que Javier, Javier posee mayor cantidad de ingresos que Luis. Camilo posee mayor cantidad de ingresos que Carlos el
hermano de Luis, si Javier posee mayor cantidad de ingresos que Luis. Por lo tanto, Si Alberto posee mayor cantidad de ingresos que
Javier, Camilo es quien posee mayor cantidad de ingresos que Carlos. Es correcto o contradictorio el anlisis?
Premisa 1:
P = Alberto posee mayor cantidad de ingresos que Javier A$>J
Premisa 2: Q = Javier posee mayor cantidad de ingresos que Luis
J$>L
Premisa 3: R = Camilo posee mayor cantidad de ingresos que Carlos C$>CAR
((p->q) & (q->r))-> (p->r)
17

(p->q)
&
(q->r)
->
(p->r)
El anlisis demuestra que es una tautologa por cuanto el resultado final todo es verdadero
18

LEIDY GALEANO
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?
PREMISA 1 P = aprende Lgica Proposicional
PREMISA2 Q = Reconoce una Tautologa
(PQ) (PQ) V (P~Q) ~P
P
V
V
F
F
Q
V
F
V
F
(PQ) (PQ) V (P~Q)

~P
V
V
V
V
Este problema de Lgica Proposicional corresponde a una
Tautologa
19

Escuela
scuela de Ciencias Sociales, Artes y Humanidades
Aporte nmero 3
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
PREMISA UNIVERSAL AFIRMATIVA

A: Todos Los egresados de programa SENA pueden estudiar por convenio en la UNAD
PREMISA PARTICULAR NEGATIVA
B:: Algunos no pueden estudiar por convenio en la UNAD
PREMISA PARTICULAR NEGATIVA
C: Algunos jvenes tcnicos no son egresados del SEN
SENA
20

LEIDY GALEANO
Ningn empleado puede ser Gerente y Tesorero al mismo tiempo.

Jacobo es un empleado.
Jacobo no puede ser Gerente y Tesorero al mismo tiempo.
Encontramos tres proposiciones categricas.
1 Ningn empleado puede ser gerente y tesoreroal mismo tiempo
Universal y afirmativa
2 Jacobo es un empleado
Particular y afirmativa
3 Jacobo no puede ser empleado y tesorero al mismo tiempo
Particular negativa silogismo ferio
Hay que tener en cuenta que tipo de proposiciones encontramos si verdaderas o falsas ya que si esto pasa estaramos hablando de una
contingencia
A: Jacobo empleado.
B: Jacobo comoempleado y gerente.
C: Jacobo como empleado y tesorero.
21

LINA MARCELA MEJIA
Algunos docentes en Licenciados son de la Universidad UNAD. Todos los docentes de Matemticas son de la Universidad UNAD.
Algunos docentes de Matemticas no son docentes en Licenciados.
Premisa Universal: A Todos los Docentes de matemticas son de la universidad UNAD

Premisa Particular Negativa: B Algunos docentes en Licenciados son de la Universidad UNAD
Premisa Particular Negativa: C Algunos docentes de Matemticas no son docentes en Licenciados
22

PROBLEMA 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.
Premisas.
P Andrs estudia economa

Q Andrs participara en la convocatoria de una beca para especializacin.
R reprob el curso de fundamentos de administracin
S aprob el curso de finanzas
T evidencia un promedio de 4,3 en todos sus estudios.
Expresin Booleana
(p>q) & q>(r&~ s) (r>q) &(q=t)
23

TABLA DE VERDAD CON EL SIMULADOR TRUTH
24

Conclusiones
Este trabajo nos ha permitido profundizar los conocimientos del uso de la lgica para la resolucin de problemas o la
representacin de la realidad a nivel de proposiciones.
Las tablas de verdad son un mecanismo que ayuda al individuo a mostrar la validez de un planteamiento por medio de
premisas. Estas tablas de verdad se clasifican de acuerdo a los conectores por el cual estn unidas varias oraciones, cada uno
de ellos le da un sentido diferente a la oracin.
El trabajo nos retoma la importancia de tener soluciones claras ya que nos es de ayuda en el momento de responder con
claridad ante un problema de investigacin ya que se podra sustentar racionalmente, manejando reglas y estrategias
adecuadas mediante lenguajes simblicos y as pasar de una informacin a una respuesta concreta y correcta en este caso de la
lgica proporcional
Con ayuda del Simulador de tablas de verdad pudimos comprobar la validez de nuestro resultado en las tablas realizadas con
respecto a los problemas que se presentaron en la gua de actividades.
25

Referencias Bibliogrficas
Domingo A., Lgica matemtica, recuperado de http://cmapspublic3.ihmc.us/rid=1KF3RZJ6C-8F09MCWM7/TABLAS%20DE%20VERDAD.pdfz
Nez H., Garca A., Proposiciones compuestas (Disyuncin, Conjuncin, Negacin, Condicional, Bicondicional), recuperado de
https://matedisunidad3.wordpress.com/2011/10/18/proposiciones-compuestas-disyuncion-conjuncion-negacion-condicionalbicondicional/
26

Pensamiento Logico y Matematico

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Pensamiento Logico y Matematico

Caricato da

Copyright:

Formati disponibili

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela de Ciencias Sociales, Artes y Humanidades