Momento Intermedio (Tablas de verdad).

Pensamiento Lgico y Matemtico

Estudiante:

JHON HENRY BARRIOS VELASQUEZ

GRUPO: 200611_609

Tutor
Jhon Jairo Prez

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

2017

1
 1. INTRODUCCIN

La lgica utiliza un lenguaje exacto que no da lugar a imprecisiones, para tal fin toma como
elemento bsico de anlisis a la proposicin, que no es otra cosa que una oracin del lenguaje
cotidiano con un significado mucho ms limitado, en tales condiciones, se puede considerar una
proposicin como una excepcin lingstica que tiene la propiedad de ser verdadera o falsa, y para
simplificar la escritura de argumentos lgicos complicados; crea un lenguaje simblico artificial,
en donde establece un conjunto de reglas claras, bien definidas y que no presentan las
ambigedades ni vaguedades del lenguaje corriente. Es importante tener en cuenta que las
proposiciones representan oraciones declarativas, las cuales contienen un sujeto perfectamente
definido o dado por el contexto, un predicado y una conjugacin del verbo ser. Las proposiciones
se representan simblicamente mediante el uso de letras minsculas del alfabeto tales como p, q,
r, s, ..., x, y, z, las cuales reciben el nombre de letras o variables proposicionales, de esta forma, el
lenguaje proposicional se hace ms simple y exacto que el lenguaje natural

Una tabla de verdad es una representacin esquemtica de las relaciones entre proposiciones; sirve
para determinar los valores de verdad de proposiciones compuestas, las cuales dependen de los
conectivos utilizados y de los valores de verdad de sus proposiciones simples. En la elaboracin
de una tabla de verdad los trminos de enlace tales como la negacin ( ~ ), la disyuncin (
) y la conjuncin ( ) se consideran conectivos fundamentales; por tal razn, sus valores de
verdad constituyen base para establecer bajo qu condiciones una proposicin compuesta es
verdadera o falsa.

2
 2. OBJETIVOS

Familiarizarnos con las diferentes Operaciones con las tablas de verdad

Aprender los conectivos lgicos: disyuncin, conjuncin, negacin, implicacin y
equivalencia
Tener bases fundamentales de las aplicaciones al campo de la matemtica
Creacin e interpretacin de Diagramas de zenn para los silogismo
Realizar las diferentes operaciones con las tablas de verdad
Definir y diferenciar conceptos tales como razonamiento, demostracin y argumento

3
 3. CONCEPTUALIZACIN TABLAS DE VERDAD

Una tabla de verdad es una representacin esquemtica de las relaciones entre proposiciones; sirve
para determinar los valores de verdad de proposiciones compuestas, las cuales dependen de los
conectivos utilizados y de los valores de verdad de sus proposiciones simples.
3.1 Negacin

La negacin es un operador que se ejecuta, sobre un nico valor de verdad, devolviendo el

valor contradictorio de la proposicin considerada
Tabla 1

3.2 Conjuncin
La conjuncin es un operador, que acta sobre dos valores de verdad, tpicamente los valores de
verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas
proposiciones son verdaderas, y falso en cualquier otro caso. Es decir, es verdadera cuando ambas
son verdaderas
La tabla de verdad de la conjuncin es la siguiente
Tabla 2

3.3 Disyuncin

La disyuncin es un operador que acta sobre dos valores de verdad, tpicamente los valores de
verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando una de las
proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.
La tabla de verdad de la disyuncin es la siguiente:
Tabla 3

4
3.4 Implicacin o Condicional

El condicional material es un operador que acta sobre dos valores de verdad, tpicamente los
valores de verdad de dos proposiciones, devolviendo el valor de falso slo cuando la primera
proposicin es verdadera y la segunda falsa, y verdadero en cualquier otro caso.
La tabla de verdad del condicional material es la siguiente
Tabla 4

3.5 Equivalencia, doble implicacin o Bicondicional

El bicondicional o doble implicacin es un operador que funciona sobre dos valores de verdad,
tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de
verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando
sus valores de verdad son diferentes.
La tabla de verdad del bicondicional es la siguiente:
Tabla 5

Ejemplo 1. Construir la tabla de verdad para la proposicin ~ (p q).

5
Tabla 6

Ejemplo 2. Elaborar la tabla de verdad de la proposicin: (p q) (p q)

Tabla 7

Ejemplo 3 Elaborar la tabla de verdad para la doble negacin, es decir, ~ (~ p)

Tabla 8

6
 4. SITUACIONES PROBLMICAS DE LA LGICA PROPOSICIONAL FASE
INDIVIDUAL

Problema 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 mirarse al espejo minutos antes de salir de su casa hizo
la siguiente reflexin: tengo calidad de vida y poseo una buena salud. Tengo calidad de vida y
poseo un excelente empleo. 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.

P: Calidad de vida
Q: poseo una salud
R: poseo un buen empleo

Basado la expresin de anglica y haciendo el anlisis de sus reflexin tenemos que.

Si tengo calidad de vida entonces poseo buen empleo y si poseo buena salud, entonces poseo buen
empleo, entonces si tengo calidad y poseo buena salud entonces

Tabla 9. Elaboracin de tabla de verdad respeto al problema

Pantallazos de Truth

Tabla 10

7
Tabla 11

Truth Table

La reflexin no es contradictoria, no es contingencia. Por lo tanto, es tautologa, y esa

reflexin es correcta segn las tablas de verdad

TAUTOLOGIA: Es una formula siempre valida, sean cuales sean los valores de verdad de las
preposiciones que la integran

8
 5. SILOGISMOS FASE INDIVIDUAL

Problema 3

Todos los bachilleres que presentaron PRUEBAS SABER 11 despus del ao 2012 pueden
acceder al crdito condonable dado por el Estado

Algunos jvenes de estrato tres no pueden acceder al crdito condonable.

Algunos jvenes de estrato tres no son bachilleres que hayan presentado PRUEBAS SABER 11
despus del ao 2012.

Solucin:

Si todos x bachiller, que presentan prueba saber 11 despus del ao 2012, P entonces pueden
acceder acredito dado por el estado q

Si algunos jvenes de estrato tres r entonces no pueden accder al crdito condonable ~q

Si algunos jvenes del estrato tres no son bachilleres que hallan presentando saber 11 despues de
2012

Lay del silogismo

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

B= Todos los Bachilleres pueden acceder a crdito condonable

J= Algunos jvenes estrato tres no pueden acceder el crdito condonable
A continuacin se identifican los siguientes pasos

9
Primer paso

Pm: premisa mayor

PM: Todos B pueden acceder c

Pm J no pueden acceder a c
C: Algunos A no han presentado pruebas B

Segundo paso
PM: BC=
Pm: JC
C: LC

Tercer Paso

Cuarto paso

Vemos que la conclusin C, que seala que existen elementos comunes a L y S,

efectivamente queda diagramada cuando dibujamos las premisas, el silogismo es
vlido

10
 6. PRESENTACION PREZZI

Se eligi Propiedad Asociativa para su presentacin a continuacin se relaciona el Link

http://prezi.com/pe4-tqhdvie_/?utm_campaign=share&utm_medium=copy

11
 7. CONCLUSIONES

Se construy las tablas de verdad y se profundizo en el tema gracias al entorno de

conocimiento y referencias bibliogrficas
Se reconoci las diferentes operaciones entre para el uso de tablas de verdad y sus
aplicaciones en la vida cotidiana
Se lograr clasificar y reconocer los silogismo

12
 8. SITUACIN PROBLMICA DE LA LGICA PROPOSICIONAL FASE
GRUPAL

Para todos es preocupante la situacin econmica actual que vivimos y que infortunadamente todo
est muy costoso y el dinero no alcanza. Clemencia reflexiona acerca de su proceder con su propia
economa y su esposo reflexiona lo siguiente: Clemencia mi esposa escribe su lista de gastos y
ella consigue un trabajo alterno en otra universidad. Mi esposa viaja en bicicleta a su trabajo por
lo cerca que queda o ella se desplaza caminando. Si Clemencia escribe su lista de gastos, entonces
ella ahorra mucho dinero. Por consiguiente, mi esposa ahorra mucho dinero. Es claro lo que
expresa el esposo de Clemencia? Para dar la respuesta es necesario elaborar la tabla de verdad de
lo que comenta el esposo de Clemencia, si es tautologa es afirmativo el comentario, si da
contradiccin hay falsedad en lo expresado, y si da contingencia, es porque hace falta informacin
para tener asertividad del comentario hecho.

Solucin

Preposiciones simples
P: Clemencia escribe su lista de gastos
q: Clemencia consigue un trabajo alterno en otra universidad
r: Clemencia viaja en bicicleta
s: clemencia se desplaza caminando

Declaracin de las preposiciones compuestas (Lenguaje natural)

Clemencia mi esposa escribe su lista de gastos y ella consigue un trabajo alterno en otra universidad. Mi
esposa viaja en bicicleta a su trabajo por lo cerca que queda o ella se desplaza caminado. Si clemencia

13
escribe su lista de gastos, entonces ella ahorra mucho dinero. Por consiguiente, mi esposa ahora mucho
dinero

Tabla 12. Construccin de tabla de verdad

(p v (p > t [(P V Q) ( r v s) ]<> (p

p q r s t q) (r v s) [(p v q) (r v s)] ) >t)
v v v v v v v v v v
v v v f f v v v f v
v v f v v v v v v f
v v f f f v f f f v
v v v v v v v v v v
v v v f f v f f f v
v v f v v v v v v v
v v f f f v f f f v
v f v v v v v v v v
v f v f f v f f f v
v f f v v v v v v v
v f f f f v f f f v
v f v v v v v v v v
v f v f f v f f f v
v f f v v v v v v v
v f f f f v f f f v
f v v v v v v v v v
f v v f f v f f v f
f v f v v v v v v v
f v f f f v f f v f
f v v v v v v v v v
f v v f f v f f v f

Al analizar la tabla de verdad hay Contingencia, es porque hace falta informacin para tener
asertividad del comentario hecho

14
 9. BIBLIOGRAFIA

1) https://edumatematicas.files.wordpress.com/2012/05/modulo-logica-matematicas-
unad.pdf pg. (9,17,18) 2017/04/01 hora 18:00

2) https://www.youtube.com/watch?v=lvpt1tx-tVY 2017/04/12 hora 18:00

15
16