Pensamiento Lgico y Matemtico

Unidad 2: Lgica Proposicional

Aportes individuales

Presentado por:

Falla Arboleda

Grupo: 200611_116

Tutor:
Enrique Rodrguez

Programa de ingeniera Industrial

Escuela de Ciencias Administrativas, Contables Econmicas y de Negocios

Universidad Nacional Abierta y a Distancia

Cali, mayo 2016

PRIMER APORTE INDIVIDUAL: Proposicin Lgica: Proposiciones simples y
compuestas

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.

El valor de verdad de una proposicin depende no solamente de las relaciones entre las
palabras del lenguaje y los objetos en el mundo, sino tambin del estado del mundo y del
conocimiento acerca de ese estado. El valor de verdad de la oracin Juan canta depende no
solamente de la persona denotada en Juan y el significado del verbo cantar, sino tambin del
momento cuando esta oracin es expresada. Juan probablemente canta ahora, pero ciertamente
que no siempre est cantando.

De la misma manera, debemos hacer una distincin entre la oracin gramatical propiamente
dicha, a la que llamaremos enunciado, y el contenido o significado del enunciado, que es la
proposicin. As los siguientes enunciados representan en realidad a la misma proposicin:

En Cali hace mucho calor

Cali es una ciudad muy calurosa
La temperatura media de Cali es bastante alta
El clima de Cali es cliente

Las siguientes expresiones son ejemplos de proposiciones:

Bolvar libert a Colombia

El hierro es un mineral
Einstein fue un fsico terico
36 + 63 = 99
La palabra "esdrjula" es esdrjula

Los siguientes son ejemplos de expresiones las cuales NO son proposiciones

 El hombre ms fuerte del mundo
El director del peridico
Quin se ganara el juego!
13 + 7
T te callas!
Gabo obtuvo el Premio Nobel
Cunto cuesta ese reloj?

Las proposiciones se representan por letras minsculas: p, q, r, s, t, u, etc. Por ejemplo, sea la
proposicin q igual a 34 + 56 = 90

Clasificacin

Proposiciones Simples o Atmicas

Son aquellas que carecen totalmente de conectivos lgicos y que, por lo tanto, son
inseparables. En este grupo se encuentran las proposiciones predicativas, que son aquellas en la
cual se afirma o atribuye una caracterstica respecto de un objeto, como, por ejemplo, Juan Prez
es profesor; y las proposiciones relacionales, en las cuales existe una relacin de dependencia,
estableciendo un enlace entre dos o ms objetos, como por ejemplo, Caracas es la capital de
Venezuela.

Proposicin Compuesta o Molecular

Son aquellas que resultan de la combinacin de varias proposiciones simples, unidas por uno
o ms conectivos lgicos y que pueden ser separadas y descompuestas en proposiciones ms
simples. Su valor de verdad depende del de las proposiciones que la componen.

SEGUNDO APORTE INDIVIDUAL: Problema #4.

El organizador del Congreso Nacional de Matemticas a invitado a un viejo colega para que
sea ponente en la lnea de Ecuaciones Diferenciales. Oscar no llego a tiempo para su ponencia y
en su afn de salvar la situacin le comenta lo siguiente a Andrs el organizador del evento:
como vivo en un lugar muy retirado, entonces debo desplazarme en un viaje de 7 horas por
tierra para llegar a cumplir con la ponencia en el evento. Es as que cuando viajo me mareo.
Siempre que me mareo, me entra un dolor de cabeza. As pues, siempre que me da un dolor
de cabeza, viajo. El organizador del Congreso de Matemticas pensara que es correcta la
justificacin por el retraso o Oscar se contradice o no hay sentido en lo que expresa?
Viajo: p
Mareo: q
Dolor: r

2n = 23 = 8

{(p > q) ^ (q > r)} > (r > p)

p q r {(p > q) ^ (q > r)} > (r > p)

V V V V V V V V V V V V V V
V V F V V V F V F F V F V V
V F V V F F F F V V V V V V
V F F V F F F F V F V F V V
F V V F V V V V V V F V F F
F V F F V V F V F F V F V F
F F V F V F V F V V F V F F
F F F f V F F F V F V F V F

Esta tabla de verdad es una CONTINGENCIA.

TERCER APORTE INDIVIDUAL: Enunciado C.

P1= Ninguna obra de teatro puede ser el reflejo de un sub-realismo.

cuantificador M S
P2= Algunos monlogos pueden ser el reflejo de un sub-realismo
A S
Algunos monlogos no son obras de teatro.
A M

M
A

S
S

M
A

P1= M => ~S

P2= A ^ S

P3= A (LS, P2)

P1= M => ~S
P4= S (LS, P2) P4= S

P5= ~ M (MTT, P1, P4)

C = A ^ ~M

Conclusin:
Algunos monlogos no son obras de teatro.

Hay una X en el crculo de monlogo cuando se compara solo la obra de teatro con los
monlogos la conclusin se valida.
Referencia Cybergrfica, y bibliogrficas

http://webatario.blogspot.com.co/2008/02/proposicin-lgica.html
(2010). Null, F. El razonamiento lgico en estudiantes universitarios. Zona Prxima. p.40.
Disponible en la Biblioteca virtual de la UNAD
Acevedo, G. (2012). Mdulo Lgica Matemtica. Medelln, Antioquia. Recuperado de:
http://datateca.unad.edu.co/contenidos/90004/Logica_matematica_90004_CORE_anteriores/Mod
ulo/2010_febrero_3_Modulo_de_Logica_v2.pdf