Lógica matemática, proposiciones simples y compuestas

Bravo Ayenla Dayanara LisbethOña Yanangomez Sara Catalina, Orozco Raura Melanie Valeria,
Guallichico Quinga Harold Andrey, Jaqueline Elizabeth Tituaña Sangoquiza
Correos electrónicos: mvorozco@espe.edu.ec, scona1@espe.edu.ec
Universidad de las Fuerzas Armadas ESPE
Abstract

Cuando pensamos en lógica matemática, podemos relacionarla con muchas cosas dentro del mundo matemático, uno de esos

temas es las tablas de verdad que es un tema que se detalla con más profundidad en el desarrollo de este proyecto, pero que a simples

rasgos, son un conjunto de proposiciones a las cuales se les busca encontrarles un valor de verdad. Este valor de verdad se obtiene

conjuntamente con conectores lógicos, que también son usados para la simplificación de estas mismas proposiciones, pero usando leyes

lógicas que, así mismo como las tablas de verdad, son herramientas que nos permiten encontrar un valor de verdad o reducir a una

fracción pequeña la primera proposición dada.

Dentro de este trabajo, podemos encontrar un resumen detallado de leyes lógicas, tablas de verdad y por supuesto, conectores

lógicos, que en este tema son de mucha utilidad saber usarlos adecuadamente.

1. Introducción Al conocer el uso de los conectivos lógicos según

La lógica matemática es el estudio
razonamiento donde se fundamenta su contenido y
desarrollo mediante las proposiciones; existen las
proposiciones simples: que es una frase o
enunciado la cual puede tener o podría indicar un
valor de verdad o falsedad, proposiciones
compuestas: que son varias proposiciones simpes
unidas por un conector lógico que al final se un
valor de verdad o falsedad.
2. Metodología
Podemos generar tablas de verdad según el
número de proposiciones simples (PS) que
tengamos. Para determinar el número de PS que
obtendremos en una tabla, utilizamos la fórmula:
del el caso presentado, se puede generar tablas de
verdad y formalizar proposiciones, esto significa
expresar simbólicamente la proposición dada en
palabras y así otorgar un valor de verdad, ya sea
tautología, contradicción o contingencia.
3. Desarrollo
Negación: es la negación de ambas proposiciones.
Conjunción: es verdadera cuando ambas
proposiciones únicas son verdaderas.
Disyunción inclusiva: es falsa cuando ambos
enunciados únicos son falsos.
Conjunción negativa (↓): Se refiere en una frase
“ni p ni q” ya que es verdad cuando las dos son

(2¿¿ a)¿ donde “a” es el número de PS que falsas y es falsa cuando al menos una es

formaran una proposición compuesta (PC), a su verdadera.

vez podemos conocer el número de posibilidades Disyunción exclusiva (⊻): Nos dice que será falso

que tendremos. cuando sean iguales y será verdadero cuando sean

diferentes.
Conectivo condicional (→): Se refiere a la palabra
“entonces”, solamente será falsa cuando la
primera proposición es verdadera y la que le
sucede es falsa. (academia, s.f.)
Valores de verdad:
Tautología: Cuando todos los valores de una
composición compuesta sean verdaderos.
cómo resultante una tautología donde se dice que
es equivalente con q y p, se denota p ≡Q
Implicaciones Lógicas
En la base para las reglas de inferencia, cuando la
proposición p → q representa una tautología se
dique que: p implica a Q, Q se concluye de p, Q se
deduce a p, Q es consecuencia de p.
Leyes lógicas:
Parten de la infinidad de proposiciones que

Contradicción: Cuando todos los valores de una

composición compuesta sean falsos.
Contingencia: Cuando los valores de la
composición compuesta sean verdaderos y falsos.
(Oyarzún, s.f.)

Tablas de verdad
existen; sin embargo, como hemos visto
Para desarrollar una tabla de verdad con
anteriormente estas son aquellas que se han
proposiciones compuestas (PC) utilizamos las
convertido en leyes y son aplicables en las PC
siguientes herramientas:
para determinar el valor de verdad sin la
 Reescribir la PC
necesidad de generar una “tabla de verdad”
 Dividir mediante una tabla, las
proposiciones simples (PS) 4. Resultados

 Desarrollar la tabla en orden jerárquico

 Primero llenamos las columnas de las PS
5. Bbibliografía
(p, q, r, …)
 Avanzamos con los conectivos entre
paréntesis y con las negaciones.
 Seguimos con los conectivos (∧; ∨)
 Finalmente terminamos con los
conectivos “entonces” y “incondicional”
(Arnaz , 2010)
Equivalencias lógicas
Sea p y q do composiciones compuestas donde
una equivalencia lógica seria cuando p ↔ qde
 academia. (s.f.). Obtenido de https://www.academia.edu/28835158/Tablas_de_verdad

Arnaz, J. (2010). Iniciación a la lógia simbólica. Obtenido de

http://kali.azc.uam.mx/clc/03_docencia/Iniciacion%20a%20la%20Logica%20Simbolica.pdf

Oyarzún, J. (s.f.). Álgebra y Geometría. Obtenido de

http://www.matematicas.ciencias.uchile.cl/juaco/section-1.html