TRABAJO GRUPAL

Presentado por:
Edison Ortiz barragn
COD: 200611-410

Presentado a:
LUZ MILA ROJAS

UNIVERSIDAD ABIERTA Y A DISTANCIA

(UNAD)
IBAGU
2015

CONCEPTO DE PROPOSICION LOGICA

En una oracin o enunciado al que se puede asignar un valor (V o F) si no se puede concluir si es
verdadero o falso entonces no es una proposicin en cualquier agrupacin de palabras o smbolos
que tengan sentido y que en algn momento se pueda asegurar si es falso o verdadero la
proposicin es la que se llama valor lgico o valor de verdad denotndose con letras minsculas
ejemplo: p, q, r, a, b.
Carlos fuentes es un escritor (simple)
Si x es un nmero primo entonces, x es impar. (compuesta)
El 2 o el 3 son divisores de 48 (simple)
No todos los nmeros primos son impares. (compuesta)
Es decir la proposicin es un enunciado al cual se le puede asociar el concepto de verdadero o
falso pero no ambos. Ejemplo.
La luna es cuadrada.
7 es un nmero primo.
Las araas son mamferos.

PROPOSICIONES IMPLES Y COMPUESTAS

Existen dos clases de proposiciones
1. Proposiciones simples tambin llamados atmicas (no usan operadores lgicos) son
aquellas proposiciones que no se pueden dividir. Ejemplo.
El cielo es azul.
Juan juega en el patio
2. Proposiciones compuestas tambin llamados moleculares. (se usan conectivos u
operadores lgicos) son aquellas formadas por dos a ms proposiciones simples unidas
por operadores lgicos. Ejemplo.
Los lectores de este libro son jvenes o universitarios.
Juan juega en el patio y carlos en el jardn.
Si el mircoles prximo me saco la lotera entonces te regalo un auto.
Conectivos lgicos: Son aquellas que sirven para formar proposiciones ms complejas
(compuestas o moleculares) son:

No; y; o; si.. Entonces; si y solo si.

CONECTIVOS LOGICOS
CONECTIVO LOGICO

NOTACION

NOMBRE

O
Y
SIENTONCES
SI Y SOLO SI
NO

DISYUNCION
CONJUNCION
AMPLIACION
EQUIVALENCIA
NEGACION

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):
2. Luis estudiante de psicologa de la UNAD y desea hacer una investigacin con relacin a los
comportamientos heredados a travs de las cadenas transgenericas; para lo cual toma como
muestra tres integrantes de su familia, siendo ellas su hermana, su madre y su abuela materna.
Para ubicarse en el contexto de su realidad familiar hace la siguiente consideracin si catalina
es mayor que sandra, sandra es mayor que Luis. Andrea es mayor que carlos el hermano de Luis,
si sandra es mayor que Luis por lo tanto, si catalina es mayor que sandra, Andrea es mayor que
carlos . es correcto o contradictorio el anlisis?
Declaracin de las proposiciones simples:
p. catalina es mayor que sandra.
q. sandra es mayor que Luis.
r. Andrea es mayor que carlos el hermano de Luis.

)
V

V
F
F
F
F
F
F
F
LA TABLA ES UNA CONTINGENCIA
Comprobacin simulador.

5. Paula es estudiante del curso de Pensamiento Lgico y Matemtico junto con Luisa. Luisa en
un aporte individual para el Trabajo Colaborativo Tres escribe en el foro la siguiente idea: Si
Paula mi compaera de curso, aprende Lgica Proposicional y realiza las tablas de verdad,
entonces Paula aprende Lgica Proposicional, entonces ella realiza Tablas de verdad o Paula
reconoce una Tautologa y Paula no realiza tablas de Verdad y ella no reconoce una Tautologa.
Qu se puede decir de esta informacin?
Declaracin de las proposiciones simples.
p:
q:
r:

Paula mi compaera de curso, aprende lgica proposicional.

Realiza las tablas de la verdad.
Paula reconoce una tautologa.

Declaracin de las propiedades compuestas.

LA TABLA ES UNA CONTRADICCION.

Debe evidenciar el uso del Simulador TRUTH en su aporte individual con relacin al enunciado
escogido; adjuntando un pantallaso de la validacin de la Tabla de Verdad.

Es resultado en el SOFWARE comprueba que es una contradiccin.

Tercer aporte individual.

Solucionar uno de los siguientes enunciados e identificar en dicho silogismo las diferentes
proposiciones categricas. Y proponer una representacin mediante diagrama de ven de las
diferentes relaciones entre las clases implicadas, segn las proposiciones categricas:
e. - Algunos docentes en licenciados son de universidad UNAD.
-Todos los docentes de matemticas son de la universidad UNAD.
-Algunos docentes de matemticas no Son docentes en licenciados.
PASO 1. Lectura y anlisis del escenario,
Segn la lectura del ejercicio concluimos que es un silogismo categrico y consiste en tres
proposiciones categricas (dos premisas y una conclusin.)
PASO 2: clasificacin de los trminos y conceptos confusos.
El silogismo categrico contiene tres trminos, cada uno aparece en dos de las proposiciones que
lo constituye.
Los siguientes son los tres trminos
1. Docentes en licenciados.
2. Docentes de matemticas.
3. Universidad UNAD.
Conceptos confusos.
1. Algunos son de universidad UNAD
2. Algunos docentes de matemticas no Son docentes en licenciados.
PASO 3: Determinar el problema
Por medio de la conceptualizacin se identifica que el silogismo categrico es un argumento
deductivo llegando a una conclusin a partir de dos premisas en trminos y conceptos confusos
representndolos por ultimo en un diagrama de ven.
PASO 4: Anlisis del problema:
A partir de lo anterior relacionamos la clasificacin de las proposiciones categricas.
Premisa 1 (universal afirmativa UA) Todos los docentes de matemticas son de la
universidad UNAD.
Premisa 2 (particular afirmativa PA) Algunos docentes en licenciados son de universidad
UNAD
Conclusin particular (particular Negativa PN) Algunos docentes de matemticas no Son
docentes en licenciados.

TERMINO MAYOR: docentes de matemticas

TERMINO MENOR: docentes en licenciados
TERMINO MEDIO: universidad UNAD

Docentes
de
matemtic

Universidad
UNAD

Universidad UNAD

Docentes
en
licenciados

invalida

Docentes en
licenciados

Docentes en
matemticas

Universidad
UNAD

La figura algunos docentes en matemticas no son docentes en licenciados en invalido ya que

todos pertenecen a la universidad UNAD

Trabajo grupal.
Leyes asociativas
Tercer aporte individual.
Solucionar uno de los siguientes enunciados e identificar en dicho silogismo las diferentes
proposiciones categricas. Y proponer una representacin mediante diagrama de ven de las
diferentes relaciones entre las clases implicadas, segn las proposiciones categricas:
LEYES ASOCIATIVAS:
Viene del contexto algebra aplicndolos a dos tipos de operaciones suma y multiplicacin
indicando que cuando existen tres o ms cifras en estas operaciones, el resultado no depende en
la manera en que se agrupen los trminos, queriendo decir que mas all como se junten lo
diferentes nmeros de la operacin la suma y la multiplicacin dar el mismo resultado
indicando que no importa cmo se asocien lo trminos se obtendr el mismo resultado.
(2+4) +6 = 2 + (4+6)

6+ 6
12

2+10
12

La suma: se entiende que cuando se juntan de cualquier modo los sumandos no altera el
resultado de la operacin partiendo de una expresin algebraica as:
B + (C+D) = (B+C) +D
Al reemplazar las letras por nmeros se demuestra la igualdad de la ley asociativa.
14 + (20+10) = (10+14) = 20
14 +30 = 24 + 20
44 = 44
La multiplicacin:
B * (C*D) = (B*C) *D
Al reemplazar las letras por nmeros se demuestra la igualdad de la ley asociativa.
14 * (20*10) = (10*14) = 20
14 *200 = 140 * 20
2800 = 2800
Como podemos observar se cumple la ley asociativa para los dos tipos de operaciones.

LEYES DE IDEMPOTENCIA
Consiste en realizar una accin determinada varias veces consiguiendo el mismo resultado desde
luego se obtendra si se realizase una sola vez por esta razn este elemento se llamara
idempotente, si un elemento se multiplicara as mismo varias veces dara el mismo resultado.
Por ejemplo los nicos nmeros idempotentes que se aplicaran para la operacin del producto
son: 0 y 1 (0 0= 0,1 1=1
Un conjunto con una operacin binaria *

un elemento

se llamara idempotente si
si todo
fuese idempotente bajo * lo que podemos decir que toda esta operacin de
denominara operacin idempotente.
Para hablar de conjunto entre la uni e interseccin de un conjunto consigo mismo ofrece como resultado
el mismo conjunto.
Algebra booleana. Los operadores Y () O (V) son idempotentes en efecto V: VERDADERO F: FALSO
V V = V, V V: V igualmente para F.
Algebra lineal: cualquier matriz que proyecta todos los vectores sobre un subes paci V no
necesariamente es idempotente, si V mismo esta fijo punto por punto.
IDEMPOTENCIA EN FUNCIONES
Una funcin f: M
de un conjunto Mismo se llama idempotente si se cumple para la composicin
de funciones.
, es decir,

En equivalencia es decir que:

IDEMPOTENCIA EN ANILLOS
Un anillo en el cual la multiplicacin es idempotente. (

) Se llama anillo de Boole el

cual se demuestra que el anillo la multiplicacin es conmutativa.

Bibliografa:
https://blu185.mail.live.com/mail/ViewOfficePreview.aspx?
messageid=mg3Wr2o9Fr5RG-IAAhWtek-A2&folderid=flinbox&attindex

 http://www.monografias.com/trabajos100/proposiciones-simples-ycompuestas/proposiciones-simples-y-compuestas.shtml
https://es.wikipedia.org/wiki/Silogismo_categ%C3%B3rico
https://www.youtube.com/watch?v=UqYFBYCvEIo
https://es.wikipedia.org/wiki/Idempotencia