PENSAMIENTO LÓGICO

Y MATEMATICO

JOSE LUIS GUANCHA.

JOHN HERNANDO BARRERA
DIEGO DIAZ

200611_164

TUTOR: ALVARO JAVIER ROJAS BARACALDO

Universidad Abierta Y A Distancia - UNAD

Pensamiento lógico y matemático
Sogamoso, 16 de abril de 2017
 INTRODUCCION

En la lógica matemática se conoce como el álgebra de las proposiciones en donde por

medio de equivalencias se establece cuando dos proposiciones son esencialmente la
misma. Es objetivo de este tema conocer las leyes de la lógica para poder establecer
equivalencias. Conocer, entender y aprender las siguientes leyes de la lógica: Semántica
de lógica proposicional: Leyes de Impotencia, Leyes Asociativas, Leyes Conmutativas,
Leyes distributivas, Leyes de D’ Morgan.

Para analizar la demostración de teoremas dentro de las matemáticas discretas se estudia

el concepto de argumento y de cuándo un argumento es válido o invalido. La lógica
pretende ser una ciencia rigurosa y universal que permita realizar cálculos exactos. Para
ello, la lógica requiere el diseño de un lenguaje artificial que sea formal, donde lo que
importe sea la forma o aspecto externo, y no el significado de las frases y donde sólo los
mensajes que cumplan rigurosamente las normas sintácticas sean aceptados como
correctos.
La lógica se ocupa básicamente de declaraciones o enunciados que se caracterizan
porque sus afirmaciones tienen un valor de verdad. Esto es, la lógica trata a las
proposiciones que se pueden definir como enunciados simples, ya sean falsos o
verdaderos, son proposiciones.
OBJETIVOS

OBJETIVO GENERA:
 Resolver problemas de tablas de verdad con respectivas proposiciones,
analizando cuidadosamente su formulación y ecuación.

OBJETIVOS ESPECIFICOS:
 Verificar las proposiciones y premisas del problema dado.
 Ordenar los conectores para así realizar la ecuación, asignando letras a cada
proposición y verificando si es conjunción, disyunción o condicional.
 Realizar la tabla de verdad con la ecuación y ver si es contingencia, tautología o
contradicción.
Silogismo categórico:
Un silogismo categórico o silogismo clásico es un silogismo compuesto por
exactamente tres proposiciones categóricas (dos premisas y una conclusión).1 Una
proposición es categórica cuando tiene una de las siguientes cuatro formas:1

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

Universal negativa (proposiciones-E): Ningún S es P
Particular afirmativa (proposiciones-I): Algunos S son P
Particular negativa (proposiciones-O): Algunos S no son P
Por ejemplo, el siguiente argumento es un silogismo categórico:

Todos los gatos son animales.

Algunos gatos son negros.
Por lo tanto, algunos animales son negros.
Todo M es S
Algunos M son P
Por lo tanto, algunos S son P

TABLAS DE VERDAD

es una tabla que muestra el valor de verdad de una proposición compuesta, para cada
combinación de verdad que se pueda asignar.

Para empezar, debemos de conocer los Símbolos de las conectivas:

NEGACION: ¬, se lee “No es cierto que …”
CONJUNCION: ^, se lee “… y …”
DISYUNCION: v, se lee “… o …
CONDICIONAL: →, se lee “si … entonces …”
BICONDICIONAL: ↔, se lee “… si y solo si …”

La conjunción
es un operador que actúa sobre dos valores de verdad, típicamente 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 disyunción es un operador que actúa sobre dos valores de verdad, típicamente 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 disyunción es la siguiente:

Implicación o Condicional
El condicional material es un operador que actúa sobre dos valores de verdad,
típicamente los valores de verdad de dos proposiciones, devolviendo el valor
de falso sólo cuando la primera proposición es verdadera y la segunda falsa, y
verdadero en cualquier otro caso.
La tabla de verdad del condicional material es la siguiente:

Equivalencia, doble implicación o Bicondicional

El bicondicional o doble implicación es un operador que funciona sobre dos valores de
verdad, típicamente 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:
PLANTEAMIENTO Y RESOLUCIÓN
Segunda etapa anexo 1 numero 2:
Paola entra en una discusión con su esposo Jairo por el derroche de dinero que han
tendió en los últimos meses. En una conversación un tanto acelerada, Jairo le dice a su
esposa: “No es cierto que, compré un carro nuevo o una motocicleta de alto cilindraje, o
compré un auto nuevo o perdí el premio económico de la empresa por superar el
número de ventas. Y es que perdí el premio que otorgaba la empresa por superar el
número de ventas”. ¿será que Paola le dará la razón a su esposo o considerará que es
falso lo que él dice? Según el resultado de la tabla de verdad, determinando si es
tautología, contradicción o contingencia, plantea una respuesta sobre la percepción de
Paola respecto a lo que mencionó su Jairo.

P Jairo compro vehículo de alto cilindraje

Q Paola a Jairo

(p + q) > (p → r)
Anexo 2
1. Algunos cursos del Área de Matemáticas son obligatorios de los programas de
Ingeniería en la UNAD.
Todos los cursos de tres (3) créditos son cursos obligatorios de los programas de
Ingenierías en la UNAD.
Algunos cursos de tres (3) créditos no son cursos del Área de Matemáticas.

Ingenierías unad

créditos son cursos obligatorios de los

programas de Ingenierías en la UNAD.

créditos no son cursos

del Área de
Matemáticas.

TRABAJO GRUPAL

PLANTEAMIENTO Y LA SOLUCIÓN DEL SIGUIENTE PROBLEMA DE

LÓGICA PROPOSICIONAL:

ANEXO 3
SITUACIÓN PROBLÉMICA DE LA LÓGICA PROPOSICIONAL FASE GRUPAL
Para todos es preocupante la situación económica actual que vivimos y que
infortunadamente todo está muy costoso y el dinero no alcanza. Clemencia
reflexiona acerca de su proceder con su propia economía 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 tautología es afirmativo el comentario, si da contradicción hay
falsedad en lo expresado, y si da contingencia, es porque hace falta información
para tener asertividad del comentario hecho.

(p → q) Λ [(r Λ ¬ s) → ¬ q]Λ [(¬r v s) →q] → (q ↔ t)

p q r s t ¬q ¬r ¬s (p→ q) [(r Λ [(r Λ ¬ s) (p → q) Λ (¬r v [(¬r v s) (q ↔ t) [(p → q) Λ [ (r Λ ¬ s) → ¬ q]

[(r Λ ¬ s) →q] Λ [ (¬r v s ) →q ]
¬ s) → ¬ q] →¬q]
s)
→ (q ↔ t)

V V V V V F F F V F V V V V V V
V V V V F F F F V F V V V V F F
V V V F V F F V V V F F F V V V
V V V F F F F V V V F F F V F V
V V F V V F V F V F V V V V V V
V V F V F F V F V F V V V V F F
V V F F V F V V V F V V V V V V
V V F F F F V V V F V V V V F F
V F V V V V F F F F V F V F F V
V F V V F V F F F F V F V F V V
V F V F V V F V F V V F F V F V
V F V F F V F V F V V F F V V V
V F F V V V V F F F V F V F F V
V F F V F V V F F F V F V F V V
V F F F V V V V F F V F V F F V
V F F F F V V V F F V F V F V V
F V V V V F F F V F V V V V V V
F V V V F F F F V F V V V V F F
F V V F V F F V V V F F F V V V
F V V F F F F V V V F F F V F V
F V F V V F V F V F V V V V V V
F V F V F F V F V F V V V V F F
F V F F V F V V V F V V V V V V
F V F F F F V V V F V V V V F F
F F V V V V F F V F V V V F F V
F F V V F V F F V F V V V F V V
F F V F V V F V V V V V F V F F
F F V F F V F V V V V V F V V V
F F F V V V V F V F V V V F F V
F F F V F V V F V F V V V F V V
F F F F V V V V V F V V V F F V
F F F F F V V V V F V V V F V V

VERDAD INDETERMINADA O CONTINGENCIA

 CONCLUSIONES

 A partir de este trabajo, aprendimos a conocer y solucionar paso a paso,

problemas que cotidianamente estamos viviendo, para así determinar en cierto
modo si es verdadero o es falso

 Comprendimos de una manera clara los conceptos básicos que vemos en esta
unidad, además que también utilizamos una teoría que vimos en las unidades
pasadas, la teoría de conjuntos.

PROPIEDADES DE OPERACIONES DE LA LÓGICA PROPOSICIONAL

Presentación prezi:
 LEYES D’ MORGAN
http://prezi.com/twzlz6rdi0cs/?utm_campaign=share&utm_medium=copy&rc=ex0share