TRABAJO DE USO DE LAS TABLAS DE LA VERDAD

JORGE ENRRIQUE PRADO QUINTERO

c.c.18956555

JORGE MARIO VILLEGAS

200611B_363

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA

PENSAMIENTO LOGICO Y MATEMATICO
AGUSTIN CODAZZI- CESAR
02/11/17
 OBJETIVO
Se realiza con el propsito de conocer, investigar, profundizar y desarrollar todo lo asociado con las tablas de
verdad y el diagrama Venn. Observar el fin que tiene su creacin, dar como prueba que son de gran
importancia en la lgica proporcional y en la lgica matemtica. Donde se puede visualizar que cada una de
las leyes de lgica proporcional dio un gran aporte a las tablas de verdad respecto a su punto de vista, cabe
mencionar que se toman varias presentaciones en tipos de herramientas bastante tiles para que la realizacin
de nuestros aportes sea de manera organizadas.
 INTRODUCCION

Las diferentes soluciones que cada uno de los pensadores creo para cada problema propuesto en la vida, han
convertido nuestro avance a una forma ms sencilla. Donde en este caso podemos admirar el planteamiento
de cada uno de los aportadores de la lgica proporcional y matemtica, en este caso las tablas de verdad y el
diagrama de ven es un claro ejemplo de la forma en como cada uno de los pensadores lograron conseguir una
solucin a nuestros problemas matemticos. Las tablas de verdad son una tabla que muestra el valor de verdad
de una proposicin compuesta, para cada combinacin de verdad que se pueda asignar. Y el diagrama de ven
consistente en dos o ms reas circulares que representan sendos conjuntos (totalidad de elementos que tienen
una caracterstica comn) que se intersecciones y que comparten los subconjuntos representados por las reas
comunes.
 QU ES UNA PROPOSICIN
Es toda oracin o enunciado al que se le puede asignar un cierto valor (v o f). Si no puede
concluir que es verdadero o falso no es proposicin. Es cualquier agrupacin de palabras
o smbolos que tengan sentido y de la que en un momento determinado se pueda asegurar si
es verdadera o falsa. La verdad o falsedad de una proposicin es lo que se llama su valor
lgico o valor de verdad. Las proposiciones se denotan con letras minsculas. Ejemplo: p, q,
r, a, b.
Ejemplo:
Hoy es lunes. (si es proposicin ya que se puede verificar).
Hablo y no hablo.
Viene o no viene.
Carlos Fuentes es un escritor. (Simple)
Sen(x) no es un nmero mayor que 1. (Compuesta)
El 14 y el 7 son factores del 42. (Simple)
El 14 es factor del 42 y el 7 tambin es factor del 42. (Compuesta)
El 2 o el 3 son divisores de 48. (Simple)
El 2 es divisor de 48 o el 3 es divisor de 48. (Compuesta)
Si x es nmero primo, entonces x impar. (Compuesta)
Si x > 10, entonces 2x - 3 > 16. (Compuesta)
No todos los nmeros primos son impares. (Compuesta)
Clases de proposiciones
Existen dos clases de proposiciones:
PROPOSICIONES SIMPLES: tambien denominadas proposiciones atmicas. Son aquellas
proposiciones que no se pueden dividir.
Ejemplos:
El cielo es azul.
PROPOSICIONES COMPUESTAS: tambien denominadas moleculares. Son aquellas que
estn formadas por dos o ms proposiciones simples unidas por los operadores lgicos.
Ejemplos:
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.
Conectivos (operadores) lgicos
Son aquellos que sirven para formar proposiciones ms complejas (compuestas o
moleculares).
Ejemplos de Proposiciones Simples

Las proposiciones simples son aquellas que expresan un estado de situacin en su estado
ms sencillo, es decir uniendo a un sujeto con un objeto a partir del verbo es. Existe tanto
en el mbito de la matemtica como en el de otras disciplinas, e incluso para cuestiones que
no son relativas a ninguna de ellas. Se caracteriza por no tener ningn trmino que condicione
la proposicin de ninguna manera.

A continuacin una lista de proposiciones simples, verdaderas o falsas.

1. El 9 y el 27 son factores del 81.

2. Esa caja es de madera.
3. Nada es para siempre.
4. La msica clsica es la ms antigua del mundo.
5. Los nmeros pares son divisibles por dos.
6. La capital de Rusia es Mosc.
7. Esa chica es mi amiga.
8. Son las tres de la tarde con veintisis minutos.
9. Los animales carnvoros se alimentan de plantas. (Proposicin falsa)
10. Mi nombre es Fabin.
11. Est lloviendo.
12. El nmero 1 es un nmero natural.
13. En este pas, el verano es muy caluroso.
14. Maana ser mircoles.
15. El nmero 6 es menor al nmero 17.
16. Hoy es 7 de octubre.
17. Su gato es marrn.
18. Mi hermano vende pastas.
19. La tierra es plana.
20. Mario Vargas Llosa es un importante escritor.

Ejemplos de Proposiciones Compuestas

Las proposiciones compuestas, a diferencia de las simples, aparecen mediadas por la

presencia de alguna clase de conector, que puede ser de oposicin (habitualmente o)
de adicin (habitualmente y) o de condicin (habitualmente si).

Esto explica que en la proposicin compuesta la relacin entre el sujeto y el objeto no se

produzca en forma general, sino sometida a la presencia del conector: podr cumplirse solo
cuando otra cosa suceda, podr cumplirse tanto para ese como para otros, o podr cumplirse
solo para uno de todos.

Adems, se consideran compuestas a las proposiciones negativas, que incluyen la palabra

no. A continuacin, algunos ejemplos de estas proposiciones compuestas:

1. Puedo manejar un auto si tiene direccin hidrulica.

 2. Gabriel Garca Mrquez fue un gran escritor y bailarn.
3. Las clulas son procariotas o eucariotas.
4. La raz cuadrada de 25 es 5, o -5.
5. No todos los nmeros primos son impares.
6. Mi cuado es arquitecto e ingeniero.
7. Los aparatos tecnolgicos son negros, blancos o grises.
8. Si tengo hambre pues cocino.
9. Turqua es un pas que se encuentra en Asia y Europa.
10. La suma de los cuadrados de ambos catetos es igual al cuadrado de la hipotenusa, si
se trata de un tringulo rectngulo.
11. Una ballena no es roja.
12. El nmero ms grande no es 1000000.
13. Si el ovino come pasto, es herbvoro.
14. Si la informacin no es completa para oferentes y demandantes, hay una falla de
mercado.
15. Est lloviendo y hace calor.
16. Nuestra bandera es blanca y celeste.
17. El 9 es divisor del 45, y el 3 es divisor del 9 y del 45.
18. Marcos se dedica a la natacin o al alpinismo.
19. El nmero 6 es mayor que el 3 y menor que el 7.
20. He pasado todas mis vacaciones en Grecia y Marruecos.

LEYES DE MORGAN

Las Proposiciones.
Una proposicin es una afirmacin que puede recibir un valor de verdad falso (F), o bien
verdadero (V), pero no ambos a la vez.

Su denotacin generalmente la encontramos con las letras (p, q, r)

Conectores Lgicos
Podemos formar nuevas proposiciones a partir proposiciones dadas mediante el uso de
conectivos lgicos. Algunos de ellos son:
^ y conjuncin
v o disyuncin
-> si , entonces implicacin
<-> si y slo si doble implicacin
no negacin

Leyes de Morgan
Son una parte de la Lgica proposicional, analtica ,y fueron creada por Augustus de
Morgan.
Estas declaran las reglas de equivalencia en las que se muestran que dos proposiciones
pueden ser lgicamente equivalentes.

LAS LEYES DE MORGAN PERMITEN:

El cambio del operador de conjuncin en operador de disyuncin y viceversa.

Las proposiciones conjuntivas o disyuntivas a las que se aplican las leyes de Morgan
pueden estar afirmadas o negadas (en todo o en sus partes).

Casos:
(P ^ Q) (P v Q)
Si nos encontramos con una proposicin conjuntiva totalmente negada, la ley de Morgan
nos permite transformarla en una proposicin disyuntiva con cada uno de su miembros
negados

(P v Q) (P ^ Q)
Si nos encontramos con una proposicin disyuntiva totalmente negada, la ley de Morgan
nos permite transformarla en una proposicin conjuntiva con cada uno de sus miembros
negados

(P ^ Q) ( P v Q)
Si nos encontramos con una proposicin conjuntiva afirmada, la ley de Morgan nos permite
transformarla en una proposicin disyuntiva negada en su totalidad y en sus miembros.

(P v Q) (P ^ Q)
Si nos encontramos con una proposicin disyuntiva afirmada, la ley de Morgan nos permite
transformarla en una proposicin conjuntiva negada en su totalidad y en sus miembros
 PRESENTACION PREZI

https://prezi.com/view/g4C2MpoHCMn8nMnjqI3W/ PRESENTACION PREZI.

 LGICA PROPOSICIONAL
4. Luisa ha recibido una bonificacin de la empresa donde trabaja porque en el mes
anterior fue la mejor vendedora, superando las ventas de los ltimos cinco aos. Ella
compr varias cosas que necesitaba y quera. Das despus ella estaba recordando qu
haba comprado e hizo la siguiente reflexin: Compr una Tablet, y, no compr un
computador porttil y no compr una Tablet, y, no compr una tablet o no compr un
celular de ltima tecnologa. Transforma el texto que recrea los recuerdos de Luisa en
lenguaje formal, realiza las respectivas tablas de verdad e indica si es tautologa,
contradiccin o contingencia. Adems debes hacer la comprobacin con el uso del
simulador TRUTH.
p: luisa compro una Tablet

q: no compro un porttil

~p: luisa no compro una Tablet,

r: No compro un celular de ltima tecnologa

[(p>q) & (~p>r)] 24 = 16

TABLA DE VERDAD

[(p > q) & (~p > r)]

V V V V F V V
V V V F F F F
V F F F F V V
V F F F F F F
V V V V F V V
V V V F F F F
V F F F F V V
V F F F F F F
F V V V V V V
F V V F V F F
F F F F V V V
F F F F V F F
F V V V V V V
F V V V V F F
F F F V V V V
F F V V V F F
 PANTALLAZO

Es una tautologa
2. Algunos Grupos de Investigacin del rea Formativa son Categorizados ante
Colciencias. Todas las propuestas de investigacin son Categorizadas ante Colciencias.
Algunas propuestas de investigacin no son de Grupos de Investigacin del rea
Formativa.

PREMISA 1: Algunos Grupos de Investigacin del rea Formativa son Categorizados ante
Colciencias.

Grupos de
investigacin Colciencias
del rea
formativa

PREMISA 2: Todas las propuestas de investigacin son Categorizadas ante Colciencias.

PROPUESTAS DE
INVESTIGACION

COLCIENCIA
S
PREMISA 3: Algunas propuestas de investigacin no son de Grupos de Investigacin del
rea Formativa.

Grupos de
Propuesta de Investigacin
investigacin del rea
Formativa.
 CONCLUSIN

En este trabajo podemos comprender el trmino de lgica proposicional, descripcin y

explicacin de lo que son las proposiciones (simples o compuestas) dando ejemplos de
ellas. Principales conectores utilizados en la lgica proposicional para hacer operaciones
con proposiciones, segn el resultado de las tablas de verdad.
 BIBLIOGRAFIA.

Fuente: http://www.ejemplos.co/40-ejemplos-de-proposiciones-simples-y-
compuestas/#ixzz4x3S54D5y

http://www.monografias.com/trabajos100/proposiciones-simples-y-
compuestas/proposiciones-simples-y-compuestas.shtml

http://logica-icoubb.blogspot.com.co/2010/07/leyes-de-morgan.html