Momento Intermedio paso 2 Uso de las tablas de verdad

PRESENTADO POR:
Yorleybis Palacios Hinestroza
54259701

(Nmero de Grupo Colaborativo)

200611_797

PRESENTADO A:
ENRIQUE RODRIGUEZ BONILLA
Ingeniero industrial

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD ESCUELA DE

CIENCIAS SOCIALES, ARTES Y HUMANIDADES ECSAH
PROGRAMA DE PSICOLOGA PENSAMIENTO LOGICO MATEMATICO
Marzo 26 de 2017
 OBJETIVOS

Con esta actividad se busca conceptualizar, analizar y argumentar de forma adecuada los
procedimientos desde la lgica proposicional utilizados para demostrar la veracidad y
validez de situaciones especficas del mundo real; y as verificar si la tabla de verdad
generada es una tautologa, contradiccin o contingencia.
 INTRODUCCION

Las tablas de verdad nos ayudan a establecer el valor de verdad de diferentes razonamientos
lgicos construidos a base de la combinacin de dos o ms enunciados
Los enunciados nucleares se identifican con las letras del alfabeto, usualmente las de la
segunda mitad del alfabeto: p, q, r, s, t, etc. Puede usarse cualquier smbolo para identificar
a los enunciados nucleares. La tabla de verdad ms simple es la que corresponde a los
valores de verdad de un solo enunciado
CONCEPTUALIZACION
Que es una proposicin?
R/ Son expresiones lingsticas (oraciones) de juicio y por lo general se expresa como una
oracin declarativa cuya caracterstica fundamental me indica es ser verdadera o falsa pero
no ambas valores a la vez.
Para representar proposiciones se usa la letras minsculas p,q,rentre otras por ejemplo:
p: Ocho es mltiplo de dos
q: El mes de Abril tiene 31 das
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. Esa chica es mi amiga.
5. Son las tres de la tarde con veintisis minutos.
6. Los animales carnvoros se alimentan de plantas. (Proposicin falsa)
Las proposiciones compuestas
Son expresiones que pueden descomponerse en otras que a su vez son proposiciones
simples. Estn unidas por palabras de enlace como y, o., si solo si, entonces, llamados
conectivos lgicos.
Ejemplo: Se necesita una secretaria que sepa ingls y espaol
P Q pVq
F F F
F V V
V F V
V V V
*La secretaria no sabe ingls, no sabe espaol
*La secretaria no sabe ingls, si sabe espaol
*La secretaria sabe ingls, no sabe espaol
*La secretaria sabe ingls y espaol
Implicacin condicional:
Es aquella proposicin que es falsa nicamente cuando la condicin suficiente p es
verdadera y la condicin necesaria q es falsa. Se escribe p => q, y se lee "si p entonces q".
Ejemplo: Si va al estadio entonces paga la boleta de entrada
P Q p ===> q
F F V
F V V
V F F
V V V
En el enunciado el componente que est
entre el "si" y el "entonces" es llamado el antecedente o el implicante y el componente
que sigue a la palabra "entonces" es el consecuente o conclusin.

p = Si va al estadio (antecedente)
q = paga la boleta de entrada. (Consecuente o conclusin)
Nota: El antecedente y el consecuente de una condicional pueden estar ligados de muchas
maneras:

A: Si pongo la mano sobre el fuego, entonces me quemo (enlace causal).

B: gana el dpto. Cali, entonces hacemos fiesta (enlace por decisin).
C: Si la carretera es recta, entonces es la distancia ms corta (enlace por definicin).
D: Si vienes hoy, entonces an llegas a tiempo (enlace por circunstancia temporal).

Ejemplos:

Si llueve entonces habr cosecha

Si 3 es impar entonces 3 es menor que 6.
Si los cuerpos se calientan entonces se dilatan.
Me alegrara mucho, si me acompaaras.
Te llevar al baile; si me prometes ser puntual.
Si pones atencin, aprenders ms pronto.
Podra llevar dos materias, si asisto por las tardes.

Doble Implicacin:
P Q p <===> q
F F V
F V F
V F F
V V V

La equivalencia puede reproducirse cuando en la conversacin natural usan "... si y slo

si..." o "exactamente, si". La equivalencia ser cierta, si ambas oraciones tienen igual valor
de certeza. Ejemplo: "El nuevo ao caer exactamente en mircoles, si la noche buena cae
en martes". Las formas idiomticas equivalentes a "... si, y slo si, ..." son: ... slo si..., ...
nicamente si ..., slo en el caso de que ..., ... es necesario ..., si no ..., entonces no ... .

Entonces convenimos en que "p <=> q" es cierta (V) solamente cuando p y q tienen el
mismo valor de certeza; en los otros casos es falsa. La proposicin compuesta "p <=> q" se
lee "p si y slo si q" es la conjuncin de la condicional "p <=> q" con su recproca "<=> p"

EJEMPLOS DE PROPOSICIONES CONDICIONALES DOBLE IMPLICACIN:

a: Habr cosecha si y slo si llueve

b: Tendrs una buena calificacin si y solo si respondes correctamente el examen

Fase individual primera etapa

Concepto de proposicin lgica. Proposiciones simples y compuestas.
Segunda etapa
Del anexo 1
. Anglica se levant el lunes como lo hace siempre a las 5:30 am para alistarse e irse a
trabajar; pero ese lunes la nostalgia se apoder de ella y sumndole la predisposicin que
suele dar el comenzar la semana de trabajo. Pero ella al mirar al espejo minutos antes de
salir de su casa hizo la siguiente reflexin: SI tengo calidad de vida y poseo una buena
salud. Entonces Tengo calidad de vida y poseo un excelente empleo. SI Es que en realidad
poseo una excelente salud y el trabajo que poseo es excelente. Por consiguiente poseo una
calidad de vida. Analiza a travs de las tablas de verdad si es correcta la reflexin que hace
Anglica, determinando si es tautologa o contradiccin o contingencia.

DECLARAR PROPOSICIONES SIMPLES

P: tengo calidad de vida
Q: poseo una buena salud
R: poseo un excelente empleo
S: Es que en realidad poseo una excelente salud
T: el trabajo que poseo es excelente
U: poseo una calidad de vida

DECLARACION DE PROPOSICIONES COMPUESTAS

1. SI tengo calidad de vida y poseo una buena salud. Entonces Tengo calidad de vida
y poseo un excelente empleo.
2. SI Es que en realidad poseo una excelente salud y el trabajo que poseo es excelente.
Por consiguiente poseo una calidad de vida.

DECLARACION DE PROPOSICIONES COMPUESTAS LENGUAJE NORMAL O

SIMBOLICAS.
1. (P^Q=>P^R)
2. (S^T=>U)
DECLARACION DE RAZONAMIENTO EN LENGUAJE FORMAT

[(P^Q)=>(P^R)=> (S^T)]=>U

26= 64
ANEXO 3 y hacer uso del simulador TRUTH para comprobar la respectiva tabla de verdad.
Es necesario clasificar la tabla de verdad en Tautologa, Contradiccin o Contingencia
segn

TABLA DE VERDAD

p q r s u [(pq)(pr) (sT)]u

T T T T T T
T T T T F F
T T T F T T
T T T F F T
T T F T T T
T T F T F F
T T F F T T
T T F F F F
T F T T T T
T F T T F F
T F T F T T
T F T F F T
T F F T T T
T F F T F F
T F F F T T
T F F F F T
F T T T T T
F T T T F F
F T T F T T
F T T F F T
F T F T T T
F T F T F F
F T F F T T
F T F F F T
F F T T T T
F F T T F F
F F T F T T
F F T F F T
F F F T T T
 F F F T F F
F F F F T T
F F F F F T

LA REFLEXION ES VERDDERA
DETERMINACION: CONTIGENCIA
Tercera etapa
Anexo 2

3. Todos los bachilleres que presentaron PRUEBAS SABER 11 despus del ao 2012
pueden acceder al crdito condenable dado por el Estado Algunos jvenes de estrato tres no
pueden acceder al crdito condenable. Algunos jvenes de estrato tres no son bachilleres
que hayan presentado PRUEBAS SABER 11 despus del ao 2012.

A B

J3NB J3N
AJ

J3NB= JOVENES DE ESTRATO 3 NO BACHILLERES

AJ= ALGUNOS JOVENES
J3N= JOVENES DE ESTRATO 3 NO PUDEN ACCEDER

Link para ver el concepto de la ley

http://prezi.com/mul9sad8w0nq/?utm_campaign=share&utm_medium=copy
 CONCLUSIONES

La idea principal de este trabajo aprender el concepto de proposicin, la forma en que se

pueden formar proposiciones compuestas usando los conectores lgicos, representar
enunciados por medio de simbologa lgica, conocer los conceptos de tautologa,
equivalencia lgica, regla de inferencia. Realizar demostraciones de teoremas por medio
del mtodo directo y contradiccin. Pero con problemas que le sean familiares e
interesantes. Se trata de que en cada uno de los subtemas participe proponiendo sus propios
ejemplo y que sobre todo al final de la unidad tener la habilidad, confianza e iniciativa para
inferir posibles soluciones.
BIBLIOGRAFIAS

Argoty, L. (2015). Repaso Lgica Matemtica. Recuperado

dehttp://erenriquez.net/largoty/Ova01MD/
Villalpando, B. J. F. (2000). Matemticas discretas: aplicaciones y ejercicios. Larousse -
Grupo Editorial Patria. (pp. 19 - 29). Recuperado de:http://hdl.handle.net/10596/6551
Chvez, C. P. (2000). Compendio de lgica. Larousse - Grupo Editorial Patria. (pp. 151-
162). Recuperado de: http://hdl.handle.net/10596/6552
Gonzles, T. L., & Saavedra, M. (2009). Aciertos matemticos 11: serie para la educacin
media. Bogot, CO: Educar Editores S.A. (pp. 151 -162) Recuperado
de: http://hdl.handle.net/10596/6541
Bustamante A. A. (2009). Lgica y Argumentacin: De los argumentos inductivos a las
lgebras de Boole. 1. Edicin. Mxico: Editorial Pearson. (pp. 63-81). Recuperado
de: http://hdl.handle.net/10596/7959