PENSAMIENTO LGICO MATEMTICO

TRABAJO COLABORATIVO DOS

PRESENTADO A:

ANDREA PATRICIA HERRERA CONTRERAS

TUTORA

ENTREGADO POR:
KELLY JOHANA OSPINO ARRIETA
CDIGO: 1.065.638.161
SEIVER OLIVEROS LOBO
CDIGO: 1065 593 732
NELSON ARLEY MARTNEZ DAZ
CDIGO:

GRUPO: 200611A_289

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

2016
 INTRODUCCION

La Lgica proposicional o de enunciados es el apartado ms elemental y bsico de la

Lgica. Es el ms elemental porque es el ms sencillo. Es bsico, porque sirve de base
al resto del edificio de la Lgica.

La tarea de la Lgica proposicional consiste en ocuparse de estudiar la validez formal de

los razonamientos tomando en bloque las proposiciones que los forman, es decir, sin
hacer un anlisis de tales proposiciones.

Una proposicin es tomada en bloque cuando no se tienen en cuenta los elementos que
la integran, pasando a ser considerada como un todo o unidad lingstica bsica. Para
esto se plantean unas proposiciones que pueden ser simples o compuestas, en las
cuales se establece una condicin de la verdad. Para lograr esto se deben aplicar una
serie de leyes, conectores y fundamentos matemticos para su anlisis y solucin.
 DESARROLLO DE LA ACTIVIDAD INDIVIDUAL

Primer Aporte Individual

Socializar en el Foro de Interaccin y Produccin la conceptualizacin y algunos

ejemplos de alguna de las terminologas de la Lgica Proposicional (slo selecciona una
e informa en el foro cual escogi, para que no sea escogida por otro integrante), las
terminologas son:

1. Concepto de proposicin lgica. Proposiciones simples y compuestas

PROPOSICIN LGICA

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.

Pensamiento

Proposicin

Hechos Texto
Ejemplos de proposiciones:
Bolvar libert a Venezuela
El hierro es un mineral

Ejemplos que no son proposiciones:

El hombre ms fuerte del mundo
El director del peridico

Proposiciones simple
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.
Ejemplo:
El cielo es azul.
Carlos Fuentes es un escritor.

Proposiciones Compuestas
Una proposicin ser compuesta si no es simple. Es decir, si est afectada por
negaciones o trminos de enlace entre oraciones componentes.

Ejemplos:
Fui al banco, pero el banco estaba cerrado.
Los lectores de este libro son jvenes o universitarios.

2. Las cuatro Tablas de verdad: conjuncin, disyuncin, implicacin y bicondicional

Una tabla de verdad es un dispositivo para demostrar ciertas propiedades lgicas y

semnticas de enunciados del lenguaje natural o de frmulas del lenguaje del clculo
proposicional:

- Sin son tautolgicas, contradictorias o contingentes

- Cules son sus condiciones de verdad
- Cul es su rol inferencial, es decir, cules son sus conclusiones lgicas y de qu otras
proposiciones se siguen lgicamente.
 El procedimiento para construir una tabla de verdad es sencillo y relativamente
mecnico; en esta pltica, asumir que todos saben ya cmo hacer una tabla de verdad
para cualquier frmula del clculo proposicional clsico. Para aplicar el mtodo de tablas
de verdad a un enunciado o proposicin, por lo tanto, es necesario primero simbolizarlo,
es decir, determinar qu frmula del lenguaje proposicional muestra su forma lgica y,
luego, elaborar la tabla de verdad de dicha frmula.

Si al aplicar el mtodo de tablas de verdad encontramos que una frmula es tautolgica,

presumimos que ella es una verdad lgica del clculo proposicional es decir que es
lgicamente vlida, lgicamente verdadera o verdadera con necesidad lgica. Por lo
tanto, el uso de las tablas de verdad como mtodos para demostrar que algo es
lgicamente necesario presupone ciertas tesis sobre la verdad y la necesidad lgicas.
Cada uno de los pasos y cada una de las caractersticas de las tablas de verdad
representan una tesis lgica sustancial.

En la elaboracin de una tabla de verdad los trminos de enlace tales como la negacin (
~ ), la disyuncin ( v ) y la conjuncin ( ) se consideran conectivos
fundamentales; por tal razn, sus valores de verdad constituyen base para establecer
bajo qu condiciones una proposicin compuesta es verdadera o falsa.

Para simbolizar los valores de verdad de una proposicin, se utiliza el sistema binario,
mediante el cual se le asigna 1 al valor verdadero y 0 al valor falso.

Tabla 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 verdadero
cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir es
verdadera cuando ambas son verdaderas.

Tabla 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.

Tabla de la implicacin o condicional

El condicional material es un operador que acta sobre dos valores de verdad,

tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de falso
slo cuando la primera proposicin es verdadera y la segunda falsa, y verdadero en
cualquier otro caso.

Tabla 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 verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso
cuando sus valores de verdad difieren.

3. Silogismo categrico

Es un argumento que consiste en tres proposiciones que contienen tres trminos, los
cuales aparecen en dos proposiciones, dos de ellas se conocen como premisas y una de
ellas como conclusin.
Ejemplo:
Los perros y los lobos son animales caninos, slo los perros son domsticos; por lo tanto
no todos los caninos son domsticos.

Premisa mayor: Los perros y los lobos son animales caninos,

Premisa menor: slo los perros son domsticos;
Conclusin: por lo tanto no todos los caninos son domsticos.

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):

1. 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. De acuerdo al
resultado en la tabla de verdad justifique si el pensamiento de Rafael con relacin a su
hija es coherente o incoherente.
Solucin:

p: Estudiar los libretos es una proposicin.

q: Papel principal o protagnico.

r: Divertirse durante el ensayo.

Representacin en la tabla de la verdad:

p Q r ~p ~q p^ q ~p^ q P^~q P ^ r q ^r ~p^ r ~q^ r

V V V F F V F V V F F

V F V F V F V V V F F V

F V F V F F V V V F F V

F F F V V V F F V V F F

Corresponde a una tautologa, si es coherente la afirmacin con la razn, debido a que si

la proposicin es verdadera por ende la razn es verdadera, si negamos la afirmacin no
se puede obtener una veracidad de la razn.

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?

Si Francisco mi compaero de curso, aprende Cmaptools y realiza los mapas

conceptuales, entonces Francisco aprende Cmaptools

p=q2

Entonces el realiza mapas conceptuales o reconoce una red de conceptos

p+q3

Francisco no realiza mapas conceptuales y el no reconoce una red de conceptos

p&q.

4. El organizador del Congreso Nacional de Matemticas ha invitado a un viejo colega

para que sea parte ponente en la lnea de Ecuaciones Diferenciales. Oscar no lleg a
tiempo para su ponencia y en su afn de salvar la situacin le comenta lo siguiente a
Andrs el organizador del evento:

Conjuncin.
A Oscar le dejan el ltimo turno y expone su tema.
Contingencia
p q p^
q
V V V
V F F
F V F
F F F

Disyuncin.
Oscar expone su tema en el ltimo turno o pierde la oportunidad de exponer.
Tautologa

p q pV
q
V V V
V F V
F V V
F F F

Negacin.
Si a Oscar lo dejan de primer lugar no podr realizar su exposicin.
Contradiccin.
Tercer aporte individual:

1. 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 mayor:

- Todos los egresados de programas del SENA pueden estudiar por convenio en la
UNAD. Egresados del SENA (E.S)

Premisa menor:

- Algunos jvenes tcnicos no son egresados del SENA. No egresados del SENA (N.E.S)

Conclusin:

- Algunos jvenes tcnicos no pueden estudiar por convenio en la UNAD. No tienen

convenio UNAD (N.C)

Diagrama de Ven:

p ~p
V F
F V
2. Ningn empleado puede ser Gerente y Tesorero al mismo tiempo. Jacobo es un
empleado. Jacobo no puede ser Gerente y Tesorero al mismo tiempo
Premisa mayor: Ningn empleado puede ser Gerente y Tesorero al mismo tiempo.
Premisa menor: Jacobo es un empleado.
Conclusin: Jacobo no puede ser Gerente y Tesorero al mismo tiempo

Premisa mayor.
A = Gerente y Tesorero
B = Empleado

B
A

Premisa menor.
B = Empleado
C = Jacobo

Conclusin.
A = Gerente y Tesorero
C = Jacobo

C
A
5. Algunos docentes en Licenciatura son de la Universidad UNAD. Todos los docentes
de Matemticas son de la Universidad UNAD. Algunos docentes de Matemticas no son
docentes en Licenciatura.

Algunos docentes en licenciatura son de la universidad UNAD

Todos los docentes de Matemticas son de la Universidad UNAD
Algunos docentes de Matemticas no son docentes en Licenciatura.

PREMISA MAYOR (A): Todos los docentes de

matemticas son de la
universidad UNAD

PREMISA MENOR (B): Algunos docentes en

licenciatura son de la
universidad UNAD

CONCLUCION (C): Algunos docentes de

Matemticas no son docentes
en Licenciatura.

U= ESTUDIANTES A

Estudiante
De la UNAD
B
Convenio
BB
C SENA
B

No egresados
Sena
 FASE GRUPAL

El primer momento consiste en la participacin significativa de cada integrante en el E

Portafolio del Curso. Para este aporte, cada estudiante escoger una de las siguientes
propiedades de las operaciones de la Lgica Proposicional (publicar en el Foro de
Interaccin y Produccin la propiedad seleccionada para evitar que otro integrante
la seleccione) y publicar en el E-Portafolio el link de la presentacin en Prezi de la
demostracin o un ejemplo. Las propiedades son:

Leyes de Idempotencia.

Leyes Asociativas: https://prezi.com/anxpnc8jbpoz/edit/#4_196885377

https://prezi.com/gd6tdt1cikk7/copia-de-mind-mapping-template/

Leyes Conmutativas.

Leyes distributivas.

Leyes de DMorgan.

El segundo momento de la Fase Grupal, como grupo realicen el planteamiento y la

solucin del siguiente problema de Lgica Proposicional:

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:

Planteamiento:

1. p = Andrs estudia economa.

2. q = participar en la convocatoria de una beca para especializacin.

3. r = reprobar el curso de Fundamentos de Administracin.

4. s = aprobar el curso de finanzas.

5. t = evidencia un promedio de 4,3 en todos sus estudio.

CONCLUSIONES

La lgica investiga la relacin de consecuencia que se da entre una serie de premisas y

la conclusin de un argumento correcto. Se dice que un argumento es correcto (vlido)
si su conclusin se sigue o es consecuencia de sus premisas; de otra forma es incorrecto.

La lgica proposicional estudia las variables proposicionales o sentencias lgicas, sus

posibles implicaciones, evaluaciones de verdad y en algunos casos su nivel absoluto de
verdad. Para su mayor validez utiliza una serie de smbolos especiales que lo acercan
al lenguaje matemtico.

En el lenguaje simblico de la lgica de proposiciones, a los enunciados simples,

atmicos o elementales son los que no pueden descomponerse en otros ms simples y
se les llama variables.

Adems de las variables, la lgica proposicional tiene otros elementos en su alfabeto: las
constantes lgicas y los smbolos auxiliares que forman los enunciados compuestos.
Esos smbolos se llaman conectores.

La importancia de estudiar este tema se va aplicar a los largo de la vida, con el objetivo
de fortalecer el anlisis de cualquier situacin cotidiana.
 BIBLIOGRAFA

https://edumatematicas.files.wordpress.com/2012/05/modulo-logica-matematicas-
unad.pdf

2010. Arenas Favian. Camargo amaury. Universidad de Cordoba. Recuperado de:

https://tecnologiaacademica.files.wordpress.com/2014/09/index_1_introduccion_a_la_logi
ca_matematica.pdf

http://www.filosoficas.unam.mx/~abarcelo/INTENSIONAL/2012/260312.pdf

(2010). Null, F. El razonamiento lgico en estudiantes universitarios. Zona Prxima. p.40.

Disponible en la Biblioteca virtual de la
UNAD: http://primo.gsl.com.mx:1701/primo_library/libweb/action/display.do?tabs=details
Tab&ct=display&fn=search&doc=TN_doaj5a0f4daa829dec5b5e6cf53dbea7a4a6&indx=1
&recIds=TN_doaj5a0f4daa829dec5b5e6cf53dbea7a4a6&recIdxs=0&elementId=0&render
Mode=poppedOut&displa

Acevedo, G. (2012). Mdulo Lgica Matemtica. Medelln, Antioquia. Recuperado de:

http://datateca.unad.edu.co/contenidos/90004/Logica_matematica_90004_CORE_anterio
res/Modulo/2010_febrero_3_Modulo_de_Logica_v2.pdf