LÓGICA PROPOSICIONAL

Es un sistema lógico que trata la clase de argumentos cuya validez exclusivamente

dependen de cómo están conectados los enunciados.

PROPOSICIONES Y CONECTORES LÓGICOS:

Una proposición o enunciado es una oración diofántica (bivalente) que puede ser V o F,
pero no puede tener estos dos valores de verdad al tiempo.

La proposición es un elemento fundamental de la lógica preposicional ya que cada

proposición tiene una forma lógica la cual se expresa con un nombre o variable
preposicional y se distinguen cuatro tipos de proposiciones:

 Enunciados Abiertos
 Enunciados Cerrados
 Proposiciones Simples
 Proposiciones Compuestas

a) ENUNCIADOS ABIERTOS:

Un enunciado abierto es una oración donde el sujeto de la acción no se identifica claramente.

Ejemplo:

X es un número par y primo

Y es un día de la semana.

Nota: Un enunciado abierto que involucra una igualdad y en la que se desconocen uno o
varios de sus términos se llama ECUACIÓN.

b) ENUNCIADOS CERRADOS:

Es un enunciado que puede ser VERADERO o FALSO, cuando identificamos claramente el

sujeto que realiza la acción. Un enunciado abierto, puede convertirse en un enunciado
cerrado, verdadero o falso, al sustituir el término variable por un término constante elegido de
un conjunto referencial.

Ejemplo:

2 es un número par y primo (Verdadero)

7 es un número par y primo (Falso)

Carlos es un día de la semana (Falso)

Jueves es un día de la semana (Verdadero)

c) PROPOSICIONES SIMPLES:

Una proposición se considera simple si en ella no intervienen conectores lógicos o términos

de enlace. Las proposiciones simples se representan mediante las letras del alfabeto español
p, q, r, s, t, usadas comúnmente. A las cuales se les denomina como variables
proposicionales.

Ejemplo:

p: Camila estudia Medicina

q: Laura estudia Comunicación Social

Enlaces Lógicos:

Los conectores son las contrapartidas formales de las conjunciones gramaticales, mediante las
cuales formamos de enunciados simples, otros llamados compuestos.

“y” se representa “  “

“o” se representa “ ”

“Si…entonces…” se representa “ ” o “ ”
“…si y sólo si…“ se representa “ ” o “ ”

“No…, ni…” se representa. “ , ~”

d) PROPOSICIONES COMPUESTAS:

Una proposición compuesta es un enunciado de verdad que está compuesto por dos o más
proposiciones simples, unidas mediante conectores lógicos, formando una nueva oración.

Una proposición se considera compuesta o molecular si se juntan dos o más proposiciones

simples con términos de enlace o conectores.

Los conectores o términos de enlace “ y “, “ o ”, “Si… entonces”, “Si y solo si”; se usan para
ligar dos proposiciones, el término “ no ”se agrega a una sola proposición.

Ejemplos:

p: Hoy es día miércoles.

q: Hay clase de lógica matemática.

Estas proposiciones son simples, y con ellas se puede formar o construir proposiciones
compuestas.

Como:

a. Hoy es día miércoles y hay clase de lógica matemática.

Y se presenta simbólicamente así: “p y q”

En notación lógica: p  q

b. Hoy es día miércoles o hay clase de lógica matemática se presenta simbólicamente así: “p
o q”

En notación lógica: p  q
Signos De Agrupación:

  Paréntesis   Corchetes   Llaves

Con estos elementos del vocabulario, variables, conectivos y signos de agrupación se puede
presentar la sintaxis de la lógica, podemos explicitar las reglas sintácticas mediante las cuales
podemos formar proposiciones moleculares a partir de otras fórmulas o proposiciones
atómicas.

Valores De Verdad De Una Proposición

Una proporción puede tener un solo valor de verdad, así este conformando una proposición
compuesta.

Pueden suceder las siguientes probabilidades de acuerdo a cada opción de trabajo:

Si es una proporción simple:

Si son proposiciones compuestas, depende del número de proposiciones compuestas:

Si son 2 proposiciones Si Son 3 proposiciones

Si observamos, de acuerdo con el número de proposiciones simples, que conformen una
proporción compuesta, obedece a la sucesión   n 2

Si es una proposición   n 2 = 2  2 1  , quiere decir que tiene 2 valores de verdad.

Si una proposición compuesta, tiene 2 proposiciones simples, tendríamos que   n 2 = 2  4

2  ; es decir, cada proposición puede tener cuatro valores de verdad.

Si una proposición compuesta, tiene 3 proposiciones simples, tendríamos que   n 2 = 2  8

3  ; es decir, cada proposición puede tener ocho valores de verdad. Y así sucesivamente.

CONECTORES LÓGICOS

Los conectores lógicos son palabras o expresiones que sirven para relacionar las ideas dentro
de un texto. En ese sentido, su presencia es fundamental para que un texto sea mucho más
que un conjunto de oraciones independientes y autónomas. La claridad de la argumentación
de un texto depende principalmente del uso adecuado de los conectores; un conector lógico
mal utilizado puede cambiar completamente el sentido del texto.

a) CONECTORES ADITIVOS:

Sirven para indicar que la información a continuación añade a lo dicho antes del conector. Se
pueden dividir a su vez en dos subcategorías:

 De suma: Lo que se dice a continuación suma a lo anterior en un nivel de similar

intensidad.

- Ejemplos: y, además, también, asimismo, por añadidura, igualmente, del mismo modo, de la
misma manera.

 Matiz de mayor intensidad: En este caso se refuerza la idea anterior con lo que se
dice después del conector.

- Ejemplos: encima, es más, más aún, incluso, de hecho.

 b) CONECTORES OPOSITIVOS:

Sirven para indicar que la información a continuación modifica lo dicho anteriormente. En

oposición a los aditivos, cuya función es expresar básicamente una noción de igualdad entre
los enunciados, estos conectores sirvan para presentar contraste entre ideas. Se pueden dividir
en dos categorías.

 Restrictivos: Señalan que la información precedente requiere una aclaración en algún

aspecto. Son sinónimos de pero.

- Ejemplos: No obstante, con todo, sin embargo, en todo caso, en cualquier caso.

 Exclusivos: Sirven para indicar que la información precedente no tiene su sentido

habitual, tiene un sentido diferente. Son sinónimos de sino.

- Ejemplos: Más bien, antes bien.

c) CONECTORES CAUSALES:

Sirven para indicar una relación de causalidad, generalmente que el enunciado precedente es
quien causa al enunciado que sigue.

- Ejemplos: por tanto, por consiguiente, de ahí que, en consecuencia, así pues, por
consiguiente, por lo tanto, por eso, por lo que sigue, por esta razón, entonces, entonces resulta
que, de manera que.

d) CONECTORES TEMPORALES:

Sirven para indicar el orden en el tiempo en que ocurren los eventos narrados, o se desarrolla
la argumentación del texto. Se pueden dividir en tres categorías que no requieren mayor
explicación:

Anterioridad.

- Ejemplos: antes, hace tiempo, al comienzo, en primer lugar, inicialmente.

Simultaneidad.
- Ejemplos: simultáneamente, al mismo tiempo, entonces.

Posterioridad.

- Ejemplos: luego, después, más tarde, en adelante.

e) CONECTORES REFORMULATIVOS:

Sirven para expresar de nuevo, bajo otra forma, ideas dichas anteriormente. Se dividen en tres
grupos.

Explicativos: Sirve para decir de otra forma lo dicho anteriormente, sin intención alguna de
modificar su sentido o establecer nuevas relaciones.

- Ejemplos: es decir, esto es, a saber, en otras plabras.

De recapitulación o conclusión: Ayudan a sintetizar información dispersa que se ha

presentado antes en el texto.

- Ejemplos: en resumen, en conclusión, en definitiva, finalmente.

Ejemplificación: Señalan que la información a continuación es un ejemplo de lo dicho

anteriormente.

- Ejemplos: así, de esta manera, verbigracia, es decir, concretamente.

BIBLIOGRAFÍA:

 Alberto, J. (2001). Modelos de Razonamiento Lógico-matemático. Implementados en

situaciones problema, en algunos temas específicos de la Matemática. Colección
educativa Aula abierta.
 Allendoerfer, C., & Cletus, O. (1990). Matemáticas Universitarias. Mc Graw-Hill.
Latino Americana.
 Galicia Arrambide, M. (2006). Introducción a la lógica matemática. México: McGraw
Hill.