PENSAMIENTO LOGICO MATEMATICO

Trabajo Colaborativo 2: Lógica proposicional

ESTUDIANTES

Álvaro Arce
Jairo Alexis Cárdenas

Stephanie Cobo

Juan José López

GRUPO

311

TUTOR

Hilder Moscote

UNIVERSIDAD NACIONAL A DISTANCIA UNAD

SANTIAGO DE CALI-COLOMBIA
ABRIL 2016
 DESARROLLO

Problemática grupal

Tenemos que darle solución a este planteamiento: 

Si Andrés estudia Economía, entonces participará en la convocatoria de una beca para

especialización. Pero, no participará en la convocatoria, si reprobó el curso de Fundamentos de

Administración y no aprobó el curso de Finanzas. Si Andrés no reprobó el curso de Fundamentos

de Administración o aprobó el curso de Finanzas, entonces participará en la convocatoria de una

beca para especialización. Por lo tanto, participará en la convocatoria si y solo si evidencia un

promedio de 4,3 en todos sus estudios

 Para empezar con este análisis se detectan:

4  proposiciones verbales de forma inicial 

1- Si Andrés estudia Economía, entonces participará en la convocatoria de una beca para

especialización. 

2- Si reprobó el curso de Fundamentos de Administración y no aprobó el curso de

Finanzas entonces no participara en la convocatoria

 3- Si Andrés no reprobó el curso de Fundamentos de Administración o aprobó el curso de

Finanzas, entonces participará en la convocatoria de una beca para especialización.

4- Por lo tanto, participará en la convocatoria si y solo si evidencia un promedio de 4,3 en

todos sus estudios.

 Continuando con el análisis 

Es mejor asignar cada proposición a una variable lógica y generar 5  Proposiciones

simples

p=”Andrés estudia Economía”

q=”Participara en la convocatoria de una beca para especialización”

r=”reprobó el curso de fundamentos de administración”

s=”aprobó el curso de finanzas”

t =” evidencia un promedio de 4,3 en todos sus estudios”

 Y podemos formular las relaciones de esta forma generando 4   Proposiciones

Compuestas

1)   p =>  q

2)  (r   –s) => -q

3)  (-r v s) => q
 4)  q <=>  t

 SIMPLIFICACION de proposiciones compuestas

A)  La 2) segunda se puede simplificar usando LEY DE MORGAN así:

(2) (r   –s)   =  -  (-  r  v  s)  =>   - q

Y esta doble negación es: 

(2)    (-  r  v  s)   =>   q

B) Es la misma proposición (2) Dos = (3) tres.

Se está repitiendo el mismo argumento. Por lo tanto eliminamos

uno.

C) Se puede unir la (1) uno con la (3) tres y nos queden dos proposiciones 

               p   v   (-r    v    s)   =>     q

           q <==>  t

        

    D) Por equivalencia TAUTOLÓGICA

         q == t
   De tal forma es lo mismo la proposición q que la proposición t, reemplazamos y

obtenemos:

 P   v   (-r    v    s) => t

 Simulador TRUTH
 APORTES INDIVIDUALES

1- Conceptualización y ejemplos

Stephanie Cobo Solano

a) Concepto de proposición lógica. Proposiciones simples y compuestas

Una lógica proposicional es un sistema lógico encargado de estudiar el razonamiento

conforme a proposiciones.

Un lenguaje lógico se construye mediante un alfabeto de símbolos y la definición de un

conjunto de cadenas de símbolos de dicho alfabeto llamadas fórmulas bien

formadas (abreviadamente ).

El tipo más simple de lenguaje lógico corresponde a la Lógica Proposicional Clásica. Esta

lógica, con el objetivo de establecer los criterios sobre la exactitud de los razonamientos,

formalizará la parte más elemental del lenguaje natural en el modo más simple.

Características

 Considera únicamente frases declarativas, las llamadas proposiciones o enunciados. A los

que es posible asignar un valor de verdad o falsedad y ningún otro, es decir bivaluada

(Principio del tercero excluido). De este modo, su valor de verdad vendrá determinado
 por: el valor de verdad o falsedad de los enunciados simples que la componen, y las

partículas no, o, y, si entonces, si y sólo si a modo de elementos de enlace.

 Es libre de contexto. Esto es, la verdad o falsedad de los enunciados se establece sin

recurrir a consideraciones de contexto alguno. Y sin considerar la estructura interna de los

enunciados simples.

Las proposiciones se denotan con letras minúsculas. Ejemplo: p, q, r, a, b y se dividen en

2 clases:

Proposiciones simples

También denominadas proposiciones atómicas. Son aquellas proposiciones que no se

pueden dividir.

Ejemplos:

 Mi nombre es Marcos 

 La música clásica es bella. 

 El verano es caluroso 

Negación de una proposición simple

Para negar una proposición simple, se le antepone la expresión “no es verdad que” o se le

incluye un “no” para que cambie su significado a exactamente lo contrario. El símbolo que la

negación es “~”, se usa así: ~p y se lee como no. Cuando se niega una proposición simple se

cambia su valor de verdad.

Proposiciones compuestas

También denominadas moleculares. Son aquellas que están formadas por dos o más

proposiciones simples unidas por los operadores lógicos.

Ejemplos:

 Si el miércoles próximo me saco la lotería entonces te regalare un auto (bicondicional)

 El 14 es factor del 42 y el 7 también es factor del 42 (conjunción)

Álvaro Arce

b) Las cuatro Tablas de verdad: conjunción, disyunción, implicación y bicondicional.

Tabla de valores de verdad de una proposición es una tabla que se arma con los posibles

valores de verdad de las proposiciones simples que la componen, con la finalidad de obtener el

valor de verdad de la proposición dada.

¿Cuántos valores de verdad deben llevar una tabla?

Número de valores de proposición con dos proposiciones simples == > 2n

Conjunción

La conjunción de p y q es la declaración p q, que se lee "p y q". Su valor de verdad se

define por el texto de la siguiente tabla de verdad.

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

En las columnas p y q se enumeran las cuatro posibles combinaciones de valores de

verdad para p y q, y en la columna de p q se encuentra el valor de verdad asociada por p q. Por

ejemplo, las entradas de la tercera fila nos dicen que, si p es falsa y q es verdadera, entonces p q

es falsa. De hecho, la única manera de obtener una V en el columna de p q es que sean

verdaderas p y q, como se indica en la tabla de verdad.

El símbolo de conjugación " " es un ejemplo de un operador lógico binario (la palabra

"binario" indica que el operador actúe en un par de proposiciones).

IMPORTANTE!

q es verdadera, de modo que, si p es verdadera también entonces p q es verdadera. Por otra

parte, si p es falsa, entonces toda la declaración p q será falsa

Desde ~q es falsa, toda la declaración p (~q) es falsa (independientemente de si p es verdadera o

no).

a b, y se lee "a y b. "Para que sea verdadera a b ambas a y b deben ser verdaderas.

El símbolo es otro operador lógico. La declaración p q se llama la conjunción de p y q.

Disyunción

La disyunción de p y q es la declaración p q, que se lee "p o q". Su valor de verdad se

define por la siguiente tabla de verdad.

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

Este es el inclusivo o, por lo que p q es verdadera q cuando p es verdadera o es

verdadera q o las dos son verdaderas.

Observe que la única manera para ser falsa toda la declaración es por lo tanto p y q son

falsas. Por esta razón podemos decir que p q también significa "p y q que no todos son falsas".

Vamos a decir más sobre esto en la próxima sección.

El símbolo de disyunción " " es nuestro segundo ejemplo de un operador lógico binario.

IMPORTANTE!

Si al menos uno de p, q, r, o es cierto, todas las declaración (p q) r será verdad.

Simbólicamente como p q, que se lee "p o q".

Inclusivo: p q significa que p es verdadera o q es verdadera, o ambos son verdadero.

Condicional
 La condicional p → q, que se lee "si p, entonces q" o "p implica q," se define con la

siguiente tabla de verdad.

p q p→q
V V V
V F F
F V V
F F V

La flecha "→" es el operador condicional, y en p → q la proposición p es llamada en el

antecedente, o hipótesis, y q es llamada la consecuente, o conclusión.

Observa que el condicional en un nuevo ejemplo de un operador lógico binario -- asigna

a cada par de proposiciones p y q la nueva proposición p → q.

IMPORTANTE

La única manera que puede ser falsa p→q es si p es verdadera y q es falsa—esto es el caso de la

"la promesa rota."

Simbólicamente se ve p =>q y se lee "Si p entonces q."

Bicondicional

El bicondicional p ↔ q, que leemos "p si y solo si q" o "p es equivalente a q," se define por la

siguiente tabla de verdad.

 p q p↔q
V V V
V F F
F V F
F F V

La flecha "↔" es el operador bicondicional.

Ten en cuenta que, en la tabla de verdad, vemos que, para p ↔ q ser verdadera, ambas p

y q deben tener los mismos valores de verdad; sí no, es falsa la conversa.

Jairo Alexis Cárdenas

c) Tautologías, contradicciones y contingencias.

Tautología
 Es una proposición

compuesta en la que los valores

siempre son verdaderos sin

importar el valor de verdad de sus

proposiciones que la componen. En otras palabras Se da cuando todos los resultados toman

valores verdaderos dentro de una tabla de verdad por ejemplo: si realzamos

la tabla de verdad para (p ^ q) → (p v r) se lee (si p y q implica que p o r)

En otros casos cuando todos los resultados de la tabla de verdad dan Falsos se llama

antilogía.

Contradicción

Podemos definirlo como lo inverso a la tautología en la que la proposición en todos los

posibles casos de la tabla de verdad da como resultado Falso, esto quiere decir que no depende

de los valores de verdad de las preposiciones que la componen, por ejemplo la proposición: A ∧

¬A
Contingencia

Son las proposiciones que como resultado dan un resultado negativo y positivo por

ejemplo: A ∧ (B v C)

En Conclusión Podemos decir que:

- Si la tabla de verdad de la proposición es siempre verdadera, independientemente de la verdad

o falsedad de las proposiciones simples, entonces la expresión es tautológica.

- Si la tabla de verdad es siempre falsa, será una contradicción.

- Si es verdadera y falsa, la proposición es una contingencia.

Juan José López

 d) Silogismos categóricos

Los silogismos categóricos o también llamados silogismos clásicos, son aquellos que

están conformados por exactamente 3 proposiciones, quiere decir, dos premisas y una

conclusión. Se dice que una proposición es categórica si cumple con una de las 4 formas

siguientes:

 Universal afirmativa (proposiciones-A): Todo S es P

 Universal negativa (proposiciones-E): Ningún S no es no P

 Particular afirmativa (proposiciones-I): Algunos m no son P

 Particular negativa (proposiciones-O): Algunos S no son P

Los silogismos llevan una estructura en particular y se dice que los silogismos

categóricos están en forma estándar, de manera que cumplan con los siguientes requerimientos:

 La conclusión debe tener dos de los tres términos involucrados

 Los términos mayor y menor se evidencian en diferentes proposiciones

 Las premisas y conclusiones conservan el mismo orden; premisa mayor, premisa menor,

conclusión

Ejemplo:

-Ningún ilógico maneja un cocodrilo

-Todo bebe es ilógico

-Ningún bebe maneja a un cocodrilo

El anterior ejemplo evidencia la estructura de los silogismos lógicos, por las siguientes razones:

 Se conforma por exactamente 3 premisas

 El termino mayor y menor están en premisas diferentes

 Se conserva el orden predeterminado; Premisa mayor, premisa menor y conclusión

2- Planteamiento y resolución

a. Rafael siempre quiso ser actor de teatro, pero no logró cumplir su sueño 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 Sofía quiere ser actriz de teatro y pensando en su hija construye en

su mente el siguiente pensamiento: “No es cierto que: si mi hija Sofía estudia los libretos,

obtiene representar el papel protagónico en la obra de Teatro. Si no estudia, lo pasa

divertido en el ensayo. Si no obtiene el papel protagónico, no lo pasa bien en el ensayo.

Así pues, mi hija Sofía obtiene el papel protagónico. De acuerdo al resultado en la tabla

de verdad justifique si el pensamiento de Rafael con relación a su hija es coherente o

incoherente. [ CITATION Lóp161 \l 3082 ]

El anterior enunciado se divide en 3 proposiciones

p: Mi hija Sofía estudia los libretos

q: Obtiene el papel protagónico

r: Pasa divertido en el ensayo

Lo que simplifica el texto en 3 proposiciones lógicas

1. ~p>q

2. ~p>r

3. ~q>~r

Lo que nos da 3 tablas de verdad

1.

Contingencia

2.

Contingencia

3.

Contingencia
 Se define como contingencia a los resultados de las tablas de verdad que se conforman

por valores V y F. De acuerdo con los resultados de las tablas el pensamiento que tiene Rafael

respecto a su hija es coherente debido a que es posible en al menos un mundo.

b. Francisco es estudiante del curso de Herramientas Digitales para la Gestión 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 compañero 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 información? [ CITATION Arc162 \l 3082 ]

Se puede reformular simplemente analizando simbólicamente así:

p: “Francisco aprende cmaptools.”

q: “Francisco realiza los mapas conceptuales.”

r: “Francisco reconoce una red de conceptos.”

La condición es entonces

(p q)→ p

→ ( q r) ( -q –r )

__________________________
¿Qué se puede decir de esta información?

Que es incompleta y está mal formulada.

Pues al segundo condicional le hace falta el antecedente o condición o hipótesis.

Por lo tanto de la cual no se puede concluir nada.

c. El organizador del Congreso Nacional de Matemáticas ha invitado a un viejo colega para

que sea ponente en la línea de Ecuaciones Diferenciales. Óscar no llegó a tiempo para su

ponencia y en su afán de salvar la situación le comenta lo siguiente a Andrés 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 en avión me mareo. Siempre que me da mareos, me

entra un fuerte dolor de cabeza. Así pues, siempre que me entra un fuerte dolor de

cabeza, viajo”. ¿El organizador del Congreso de Matemáticas pensará que es correcta la

justificación por el retraso o Óscar se contradice o no hay sentido en lo que expresa?

[ CITATION Cob162 \l 3082 ]

Solución

Proposiciones simples

p: Oscar viaja

q: Oscar le da mareos

r: Oscar le da un fuerte dolor de cabeza

 p => q ^ r => p

2 n  = 23 = 8 combinaciones posibles

La tabla de la verdad es una Contingencia ya que sus resultados son tanto verdaderos

como falsos y por lo cual se considera que es un enunciado que no permite descifrarse. Por ende,

el organizador del evento puede que encuentre sin sentido lo que Oscar manifiesta en la excusa

pero no tiene forma de comprobarlo.

d. En el Fondo de empleados de una empresa desean premiar a los asociados más antiguos

con un viaje para dos personas con todo pago a la isla de San Andrés, los asociados más

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 consideración con relación 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 análisis? [ CITATION

Cár163 \l 3082 ]

Asignación de Proposiciones:

P: Si Alberto posee mayor cantidad de ingresos que Javier

Q: Javier posee mayor cantidad de ingresos que Luis

R: Camilo posee mayor cantidad de ingresos que Carlos

S: si Javier posee mayor cantidad de ingresos que Luis

En lenguaje formal quedaría así:

P ⇒ Q ٨ R⇒S ⇒ P⇒R

El análisis es contradictorio o no sería correcto ya que Alberto es que lleva mayor tiempo

y es el que tiene más dinero ahorrado según el enunciado es Alberto, no se puede decir

que camilo posee mayor cantidad de dinero que Carlos porque no se han asociado con los

demás trabadores.
3-

Silogismo de

proposiciones categóricas mediante Diagramas de Venn

Álvaro Arce

a. Todos los egresados de programas del SENA pueden estudiar por convenio en la UNAD.

Algunos jóvenes técnicos no pueden estudiar por convenio en la UNAD.

Algunos jóvenes técnicos no son egresados del SENA.

- Todos los egresados de programas del SENA pueden estudiar por convenio en la UNAD.
Es una Proposición Categórica Universal afirmativa

Dos clases:

1. Egresados de programas del SENA (S)

2. personas que pueden estudiar por convenio en la UNAD (P)

La primera clase está contenida en la segunda, lo cual significa que cada miembro de la

primera clase es también miembro de la segunda. En este ejemplo, el término sujeto SENA,

designa a la clase de todos los egresados del SENA. El término predicado convenio, designa a la

clase de todas las personas convenio UNAD.

Este tipo de proposición categórica se llama universal afirmativa, porque la proposición

afirma que la relación de inclusión entre las dos clases es completa, todos los elementos o

miembros de S también lo son de P. Todas las proposiciones universales afirmativas se pueden

escribir simbólicamente así:

Todo S es P.

Donde S representa el sujeto y P el predicado.

- Algunos jóvenes técnicos no pueden estudiar por convenio en la UNAD.

Es una Proposiciones categóricas Negativa particular

Dos clases:

1. Jóvenes técnicos (T)

2. personas que pueden estudiar por convenio en la UNAD (P)

En este ejemplo el antecedente (algunos jóvenes técnicos) es particular en el sentido que

no se refiere universalmente a los todos jóvenes técnicos, sólo a algunos de ellos, algunos

miembros de esa clase.

Una proposición particular negativa, se escribe en forma simbólica así:

Algún T no es P.
 Por lo menos un miembro que pertenece a la clase designada por el término sujeto, T, es

excluido de la totalidad de la clase designada por el término predicado, P.

- Algunos jóvenes técnicos no son egresados del SENA.

Es una Proposiciones categóricas Negativa particular

Dos clases:

1. Jóvenes técnicos (T)

2. Egresados de programas del SENA (S)

En este ejemplo el antecedente (algunos jóvenes técnicos) es particular en el sentido que

no se refiere universalmente a los todos jóvenes técnicos, sólo a algunos de ellos, algunos

miembros de esa clase.

Una proposición particular negativa, se escribe en forma simbólica así:

 Algún T no es S.

Por lo menos un miembro que pertenece a la clase designada por el término sujeto, T, es

excluido de la totalidad de la clase designada por el término predicado, S.

Otro análisis y conclusión con diagramas de Venn

Se nos muestran las dos premisas y la conclusión de un silogismo categórico Graficados

en un diagrama de VENN, plasmando cada premisa en el diagrama, se pretende determinar si la

conclusión es válida dado que las premisas lo son.

La combinación de las premisas nos dirá si el contenido de la conclusión es válido según

los diagramas de Venn.

 Dado que la conclusión se nos muestra dentro del Diagrama de Venn indicado por una

“X” en la zona de “algunos jóvenes técnicos que no son estudiantes del SENA”, entonces la

conclusión es válida.

Stephanie Cobo

b. Ningún empleado puede ser Gerente y Tesorero al mismo tiempo.

Es una proposición negativa universal. Esta confirma que ningún J es T o ningún T es J.

Se simboliza: JT = 0 y TJ= 0.

Esto quiere decir, que ninguna de las 2 está relacionada entre sí.
 J

- Jacobo es un empleado.

Es una proposición particular afirmativa.

Se simboliza (x) (Jx ^ Px)

Esta confirma que algún J es P y denota que pertenece total o parcialmente al predicado.
- Jacobo no puede ser Gerente y Tesorero al mismo tiempo.

Es una proposición particular negativa.

La misma nos indica que algún J no es P dado que separa totalmente al sujeto del

predicado.

Como conclusión, podemos indicar que el enunciado es un silogismo valido ya que se

encuentra en una de las zonas una X y esto denota que Jacobo no puede tener los 2 cargos al

mismo tiempo.

Jairo Alexis Cárdenas

c. Ninguna obra de teatro puede ser el reflejo de un subrealismo.

Algunos monólogos pueden ser el reflejo de un subrealismo.

 Algunos monólogos no son obras de teatro.

- Proposición Universal Negativa: Ninguna obra de teatro puede ser el reflejo de un

subrealismo.

- Proposición Categórica Particular Afirmativa: Algunos monólogos pueden ser el reflejo de

un subrealismo.

- Proposición Categoría Particular Negativa: Algunos monólogos no son obras de teatro.

A: Ninguna obra de teatro puede ser el reflejo de un subrealismo.

Donde P son las obras de Teatro y Q es el Reflejo del Subrealismo donde Ningun P es Q
B: Algunos monólogos pueden ser el reflejo de un subrealismo.

Donde R son los monólogos y S el subrealismo donde algún R es T es decir que por lo menos

un miembro de la clase R pertenece al grupo T de subrealismo.

C: Algunos monólogos no son obras de teatro.

Donde S las obras de teatro P los monólogos algún S es P es decir que por lo menos un miembro

de la clase S pertenece al grupo P de las obras de teatro.

Juan José López

d. Ninguna obra de teatro puede ser el reflejo de un subrealismo

Algunos monólogos pueden ser reflejo de un subrealismo

Algunos monólogos no son obras de teatro

 Ninguna obra de teatro puede ser el reflejo de un subrealismo

La anterior es una proposición universal negativa, de la forma Ningún S no es no P, y se

representan de la siguiente manera en un diagrama de Venn, en el cual los términos están

totalmente excluidos uno del otro

 S P
 Algunos monólogos pueden ser reflejo de un subrealismo

La anterior es una proposición particular afirmativa, de la forma Algunos M no son P, y se

representarían de la siguiente manera en un diagrama de Venn, en el cual parte de los

elementos de M se ven incluidos dentro de P

M P
 Algunos monólogos no son obras de teatro

La conclusión de nuestro silogismo es una proposición particular negativa, de la forma

Algunos m no son P, se representa de la siguiente manera en un diagrama de venn donde se

muestra la exclusión de una parte del conjunto M.

M P
Bibliografía
Arce, Á. (2016). Cali.

Cárdenas, J. (2016). Cali.

Cobo, S. (2016). Cali.

López, J. J. (2016).

Monografias.com. (s.f). Obtenido de http://www.monografias.com/trabajos100/proposiciones-simples-

y-compuestas/proposiciones-simples-y-compuestas.shtml

Murillo Rivas, J. C. (s.f). Blog Matemáticas y Física 1. Obtenido de

http://matematicaslito.blogspot.com.co/p/logica-y-conjuntos.html

Pacheco, E. (s.f). Eric Pacheco Blog. Obtenido de

https://ericmat.wordpress.com/2010/06/17/proposiciones-conjunciones-disyunciones-
implicaciones/

Pagina web sobre filosofia. (s.f). Obtenido de http://www.paginasobrefilosofia.com/html/Diagramas

%20de%20Venn/Presentacion/welcome.html

Truth. (s.f). Obtenido de http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

Waner, S., & Costenoble, S. R. (1996). Introducción a la Lógica. Obtenido de

http://www.zweigmedia.com/MundoReal/logic/logic1.html

Youtube. (28 de enero de 2011). Obtenido de https://www.youtube.com/watch?v=r9fJfts3Ktk