U N I D A D 3

Ensayo
Logica Matematica
Equipo 1
 Logica Proposicional
“La lógica está sobrevalorada”
O eso diría alguien que no sepa lo que es la lógica, la lógica es parte fundamental del pensamiento
humano, esta consiste en el proceso de aplicar la razón para llegar a conclusiones correctas y
coherentes.

Cualquiera que pueda pensar lógicamente debe entender la lógica, esencialmente, la lógica es el
estudio del razonamiento y el razonamiento es la base de todo pensamiento humano. La lógica es
especialmente útil cuando se razona sobre enunciados y conceptos. Este uso de la lógica es empleado
en todos los campos del estudio, tanto como las matemáticas, la ciencia o la filosofía.

La lógica tiene muchas partes, una de ellas es la lógica proposicional que se ocupa de las proposiciones
o "Cosas que pueden ser verdaderas o falsas". En esta rama de la logica matemática cada proposición
es verdadera o falsa, pero nada más cierto o falso, no ambas, no.
En este artículo cubriremos temas de la lógica proposicional, las tablas de verdad, las reglas de
inferencia, y algo de álgebra declarativa; Así que siéntate, ponte cómodo, agarra algo de comer y
aprende sobre lo más importante de la lógica matemática..

La Lógica pretende ser una ciencia y por ello tener capacidad de realizar operaciones o cálculos de
modo preciso. Para conseguirlo se requiere la confección de un lenguaje artificial que, contando con
reglas explícitas, permita usar componentes y combinarlos para formar enunciados.

Logica proposicional

También conocida como lógica simbólica o lógica matemática, es una parte de la lógica y rama de la
lógica matemática básica que estudia la proposición y sus relaciones, es una herramienta para el
razonamiento que nos ayuda a ver lo verdadero o falso de las proposiciones donde se utilizan símbolos
mediante las tablas de verdad. Para que un enunciado pueda considerarse proposicional tenemos que
definirlo como verdadero o falso, algunos enunciados se consideran proposiciones simples pues se nos
da un enunciado con información, donde solo se ve si esta información es verdadera o falsa, también
hay veces en se conectan enunciados, entonces se vuelve una proposición compleja, con los
conectores lógicos o también llamados operadores lógicos, logras que las proposiciones simples se
vuelvan complejas, hay excepciones como las oraciones interrogativas, ya que no brindan información
que se pueda considerar como verdadera o falsa.

¿Por donde podemos empezar?

 Logica Proposicional
Vamos a definir un lenguaje que nos permita representar las fórmulas sentenciales para su estudio. Esto
supone definir los símbolos que utilizaremos y las reglas de cómo utilizar estos símbolos para formar
fórmulas sentenciales correctas, es decir, la sintaxis de nuestro lenguaje, así como la semántica,
asignación de un significado lógico a las sentencias; En la lógica de proposiciones los enunciados
declarativos del tipo:
-Está lloviendo
-Antonio corre
-Clara aprueba
pueden ser verdaderos o falsos, pero no las dos cosas a la vez.
En este tipo de proposiciones se les puede aplicar distintos tipos de operaciones para comprobar su
veracidad, algunos de ellos son:

Conjunción
Son dos enunciados que tienen la
expresión “y” donde se evalua con el
símbolo Λ (pΛq).

Disyuncion
Son dos enunciados que tienen la
expresión “o” donde se representa con el
símbolo V (p V q).

Negación
Siendo antes una proposición verdadera
ahora es falsa o siendo una proposición
falsa ahora sea verdadera, se representa
con el símbolo ¬, ~ ( ¬p, ~q).

Condicional
Es un conectivo logico de dos
proposiciones, con un antecedente y un
consecuente.
Es representada por -> (p -> q). Su valor
es falso solo si el antecendete es falso y el
conscuente es verdadero, para otras
combinaciones siempre es verdadero.

Bicondicional
Igual es un conectivo logico solo que
bidireccional, para ser verdaderas las
dos proposiciones tienen que ser
verdaderas o falsas, se ve representado
por su símbolo <-> (p<->q).
 Tablas de verdad
El valor de verdad o de falsedad de una proposición compuesta, depende de la verdad o falsedad de
las proposiciones simples que la forman. Estos valores de verdad o de falsedad se pueden determinar
mediante las tablas de verdad que indican todos los casos posibles de verdad o de falsedad de las
proposiciones simples.
¿Como se construye una tabla de verdad? se preguntara usted.

Paso numero 1: Paso numero 2:

n
Se colocan las proposiciones simples Debe haber 2 renglones, donde n es
en orden alfabético en cada columna. el número de proposiciones simples.

Paso numero 3:
Despues, en cada columna se determina la verdad o la falsedad de las proposiciones compuestas a
resolver.

Operador O
Verdadero o Verdadero = Verdadero
Verdadero o Falso= Verdadero
Falso o Verdadero = Verdadero
Falso o Falso= Falso

Aplicar proposiciones a nuestra vida diaria es de mucha Despues de construir una tabla de
importancia, para justificar nuestras reacciones frente a un verdad, el resultado puede ser una
problema. Es entonces una cuando una comprobacion nos ayuda tautologia, una contradiccion, o una
al analisis matematico y a la vez a ampliar nuestro conocimiento contingencia:
sobre el tema en el que lo estamos aplicando.
Tautologia es cuando todas las
Imaginemos que tenemos un caso, Si me gano la loteria me voy combinaciones de los valores son
de viaje, ¿Como voy a hacer para saber cuando me ire de viaje?, verdad.
¿Aunque no gane la loteria me ire de viaje?, por eso es importante
tambien para la vida cotidiana, en casos de duda es una gran Contradiccion es cuando todas las
ayuda para aclarar los resultados de las combinaciones, combinaciones son falsas.
estudiando el caso de forma analitica y comprender en que caso
me podre ir de viaje y cuando no. Contingencia es cuando todas las
combinaciones son verdaderas y
falsas.
 Probamos por medio de la logica, pero

Ejercicios: descrubimos por medio de la intuicion

-Henri Poincare

Realizar las tablas de verdad de las siguientes oraciones, coloca un 1 cuando el resultado sea cierto, y
un 0 cuando sea falso, recuerda las tablas de verdad de los operadores vistos anteriormente que te
ayudaran a resolver las tablas:

1. Si estudias y vienes a clases, entonces aprobaras.

2. Voy a ganar una estrella mas y voy a subir de nivel

Solucion numero 1
1.Primero escribimos todas las posibles p q r (p Λ q) -> r
combinaciones de las variables:
p=Estudias 1 1 1 1 1Λ 1 1 1
q=Vienes a clases
r=Aprobaras 1 1 0 1 1 1 0 0

1 0 1 1 0 0 1 1
2. Aqui la oracion dice que si estudias Y apruebas
(conjuncion) VAS a aprobar (condicional).
1 0 0 1 0 0 0 0
3. Se evalua cuando p y q sean ciertos, que es cuando
0 1 1 0 0 1 1 1
ambos sean verdad.
0 1 0 0 0 1 0 0
4. Seguido de esto se evalua el condicional de p y q a
r, que solo es falso cuando solo r sea falso.
0 0 1 0 0 0 1 1
¡Listo tabla resuelta! 0 0 0 0 0 0 1 0

Solucion numero 2
Esta por otra parte es muchooo mas sencilla. p q (p Λ q)
1. Se escriben todas las posibles combinaciones de
las variables.
p=Ganar una estrella 1 1 1 1 1
q=Subir de nivel

2. Aqui la oracion indica que se van a hacer ambas 1 0 1 0 0

cosas, no una o otra, ambas.

3. Se evalua la conjuncion, que unicamente es 0 1 0 0 1

verdadera cuando ambas variables son verdaderas
0 0 0 0 0
¡Listo tabla resuelta!
 Reglas de inferencia
En logica, una regla de inferencia, es una forma logica que se aplica cuando analizamos la sintaxis de
las premisas y devolvemos una conclusion.
Un ejemplo es con la regla modus ponens; Tomamos dos premisas, uno en la forma “Si p, entonces q”
y otra en la forma “p”, y se devuelve la conlusion “q”.
¿Cuales son las reglas de inferencia? ¿En que caso las aplicamos?
Modus Ponens Modus Tollens

Si p implica q, y p es verdadera, Si P implica Q, y Q no es cierta,

entonces q es cierta. entonces P no es cierta.
p q p q
p ¬q
q ¬p
Esta regla nos permite que apartir de Esta regla nos permite, a partir de un
un enunciado condicional, podamos enunciado condicional (P->Q), inferir
concluir la verdad de su consecuente la falsedad de su antecedente (P) si su
a partir de la verdad de su consecuente (Q) también es falso.
antecedente:
Si el pastel está hecho con azúcar,
Si hoy es sábado, entonces Reina entonces el pastel está dulce.
está en la librería.
p=Hoy es sábado. ¬q= El pastel no está dulce.
¬p= Por lo tanto, el pastel no está
q=Por lo tanto, Reina está en la hecho con azúcar.
librería.

Silogismo Hipotético Silogismo Disyuntivo

Si P implica Q, y Q implica R, entonces Ya sea que P es cierta o Q es cierta; P

P implica R. no es cierta; por lo tanto, Q es cierta, o
viceversa.
p q pVq pVq
q r ¬p ¬q
p r q p
La regla de silogismo hipotético nos O Jeanne trabajó en la biblioteca o
permite establecer que la verdad de P Marco jugó una partida de ajedrez.
implica la verdad de R.
¬q= Marco no jugó una partida de
p->q= Si el cristianismo es verdadero, ajedrez.
entonces el alma existe.
p= Por lo tanto, Jeanne trabajó en la
q->r= Si el alma existe, entonces el ser biblioteca.
humano tiene libre albedrío.

p->r= Por lo tanto, si el cristianismo es

verdadero, entonces el ser humano
tiene libre albedrío.
 Algebra Declaratica
Lo que algunos llaman álgebra declarativa no es otra cosa que el álgebra proposicional, o sea, la
estructura algebraica que se forma con expresiones utilizando los conectivos lógicos.
Empezaremos por definir formalmente cómo se construye una fórmula en lógica.
Una expresión sintácticamente correcta se le llama fórmula bien formada (fbf) o simplemente fórmula y
su definición es:

Una fórmula en lógica de proposiciones se obtiene al aplicar una ó más veces las siguientes reglas:
(B) si p es una proposición lógica, es una fbf.
(R) si F es una fórmula bien formada (fbf) también lo es (¬F).
(R) si p,q son fbf entonces también lo es (p*q) donde * es uno de los operadores logicos.

¿Cómo simplificar en lógica?

Hay que utilizar equivalencias lógicas.

Involución:
¬ (¬ p) <-> p (se lee «no, no p, equivale a p»)

Idempotencia:
(p Λ ¬ p) <-> p
(p V¬ p) <->p

Conmutatividad:
a) de la disyunción: p V q <-> q V p
b) de la conjunción: p Λ q <->q Λ p

Asociatividad:
a) de la disyunción: (p V q) V r <-> p V q V r)
b) de la conjunción: (p Λ q) Λ r <-> p Λ (q Λ r)

Distributividad:
De la conjunción respecto de la disyunción: (p Ú q) Ù r <-> (p Ù r) Ú (q Ù r)
De la disyunción respecto de la conjunción: (p Ù q) Ú r <-> (p Ú r) Ú (q Ú r)

Leyes de De Morgan:
¬( p Ú q ) <-> ¬p Ù ¬q
«La negación de una disyunción equivale a la conjunción de las negaciones»
¬( p Ù q ) <-> ¬p Ú ¬q
«La negación de una conjunción equivale a la disyunción de las negaciones»

Negación de una Implicación:

Las proposiciones p Þ q y ¬(p Ù ¬q) son equivalentes.
 Logica En Computacion
La lógica proposicional es de suma importancia en la industria, sobre todo en sistemas
computacionales formales e inteligentes, ya que esta sienta las bases para poder tener fundamentos
teóricos y formales para el modelado de sistemas al igual que el tratamiento inteligente de datos para
una solución tecnológica.

"Debido a que los computadores trabajan con información binaria, la herramienta matemática
adecuada para el análisis y diseño de su funcionamiento es el Álgebra de Boole. El Álgebra de Boole fue
desarrollada inicialmente para el estudio de la lógica. Hoy en día, esta herramienta resulta fundamental
para el desarrollo de los computadores ya que, con su ayuda, el análisis y síntesis de combinaciones
complejas de circuitos lógicos puede realizarse con rapidez."

La logica hoy en dia es una de las bases para la computacion y sistemas, desde la inteligencia artificial,
hasta la creacion de circuitos para estas mismas.

Un ejemplo mas comun en computación es cada línea de un programa que se obtiene

inconcientemente aplicando una regla de inferencia y por lo tanto cada instrucción tiene su orden en
que debe de ir colocada, si se cambia esa línea seguramente el resultado ya no será igual. Pero hay
tantas formas de resolver un problema por medio de un programa como alumnos distintos tenga un
maestro.

La idea principal de este trabajo es que el alumno aprenda el concepto de proposición, la forma en
que se pueden formar proposiciones compuestas usando los conectores lógicos, representar
enunciados por medio de simbología lógica, conocer los conceptos de tautología, equivalencia
lógica, regla de inferencia. Realizar demostraciones de teoremas por medio del método directo y
contradicción, 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 él
tenga la habilidad, confianza e iniciativa para inferir posibles soluciones.

FUENTES:
https://came.milaulas.com/pluginfile.php/397/mod_resource/content/2/index.html
https://descargas.intef.es/cedec/proyectoedia/filosofia/contenidos/Filoland3_palabras_poder/las_tablas_de_la_verdad.pdf)
Johnsonbaugh, R. (2005). “Matemáticas Discretas”. (6ta. Ed.). México: Pearson Educación.
https://crossexamined.org/logica-04-10-reglas-de-inferencia-logica/

INTEGRANTES:
EDUARDO JIMENEZ RAMIREZ
MARTIN
MONICA
CHUY
CESAR