REPÚBLICA BOLIVARIANA DE VENEZUELA

MINISTERIO DEL PODER POPULAR PARA LA EDUCACIÓN UNIVERSITARIA

UNIVERSIDAD NACIONAL EXPERIMENTAL “SIMÓN RODRÍGUEZ”
NÚCLEO BARCELONA - EXTENSIÓN CUMANÁ

UNIDAD. I
LÓGICA PROPOSICIONAL

Realizado por:
Jorge Sánchez
C.I: 29.721.671
R.M.F Sección “A”

Cumaná, mayo de 2020

 INTRODUCCIÓN

La lógica proposicional es la más antigua y simple de las formas de lógica.

Utilizando una representación primitiva del lenguaje, permite representar y
manipular aserciones sobre el mundo que nos rodea. La lógica proposicional
permite el razonamiento, a través de un mecanismo que primero evalúa
sentencias simples y luego sentencias complejas, formadas mediante el uso de
conectivas proposicionales.

Este mecanismo determina la veracidad de una sentencia compleja,

analizando los valores de veracidad asignados a las sentencias simples que la
conforman. La lógica proposicional, permite la asignación de un valor verdadero o
falso para la sentencia completa, no puede analizar las palabras individuales que
componen la sentencia.

La lógica proposicional fue desarrollada en una lógica formal por

Chrysippus en el siglo III AC y ampliada por su sucesor Stoics. La lógica
proposicional se centró en proposiciones. Sin embargo, más tarde en la
antigüedad, la lógica proposicional desarrollada por los estoicos no se comprendía
En consecuencia de ello, el sistema fue reinventado esencialmente por Pedro
Abelardo en el siglo XII.

La lógica proposicional fue finalmente refinada usando la lógica simbólica,

se acreditó ser el fundador de la lógica simbólica el matemático Gottfried Leibniz
siglo XVII/XVIII, por su trabajo ratiocinator del cálculo. Aunque su trabajo era unos
de los primeros, era desconocido para la comunidad lógica más grande. En
consecuencia, muchos de los avances logrados por Leibniz fueron recreados por
lógicos como George Boole y Augustus De Morgan completamente
independientes a Leibniz.
CONCEPTOS FUNDAMENTALES
Lógica: lenguaje preciso, claro y formal que estudia a las proposiciones. Es ese
elemento de juicio del sujeto, que le permite fundamentar las decisiones en una
estructura coherente del pensamiento, que viene siendo desarrollada desde los
filósofos de la antigua Grecia.

Proposición: es toda expresión lingüística que se puede afirmar si es verdadero

“V” o falso “F”, pero no puede ser ambas. Aun cuando una proposición no puede
tener una característica interrogativa o exclamativa, al convertirla en una pregunta,
esta última solo se puede contestar con expresiones afirmativas o negativas.

Valor de verdad: es un valor que indica en qué medida una declaración es

verdad. En lógica clásica bivalente los valores de verdad sólo son dos, usualmente
designamos verdadero y falso. 

Conectivos lógicos: son símbolos que sirven para unir dos o más proposiciones.
Conectivo Expresión Símbolo
Conjunción y α ᴧ
Disyunción inclusiva o débil …o… ᴠ
Disyunción exclusiva o fuerte o… o… Δ v
Condicional Sí… entonces… =>,
Bicondicional …Si y sólo si… <=>,
Negación No… N,

IDENTIFICAR PROPOSICIONES SIMPLES Y COMPUESTAS

Proposiciones simples: tiene un solo significado y carece de conectivos lógicos.
Son aquellas que no tienen oraciones componentes afectadas por negaciones
("no") o términos de enlace como conjunciones ("y"), disyunciones ("o") o
implicaciones ("si . . . entonces"). Pueden aparecer términos de enlace en el sujeto
o en el predicado, pero no entre oraciones. Ejemplos:
 la matemática es una ciencia.
  Carlos Fuentes es un escritor.                                          
 El 14 y el 7 son factores del 42.                                        
 El 2 o el 3 son divisores de 48.                                         

Proposiciones compuestas: Tiene más de dos significados y contiene al menos

un conectivo lógico, es decir, si está afectada por negaciones o términos de enlace
entre oraciones componentes. Ejemplos:
 María sabe hablar inglés y francés.
 Sen(x) no es un número mayor que 1.                             
 El 2 es divisor de 48 o el 3 es divisor de 48.                     
 Si x > 10, entonces 2x - 3 > 16.                                         

IDENTIFICAR PROPOSICIONES DE UN GRUPO DE ORACIONES DADAS

 En 1990, George Bush era presidente de los Estados Unidos
Puesto que se trata de un enunciado declarativo, es sin duda una
proposición.
 x + 3 es un entero positivo
Puesto que el enunciado es verdadero o falso, según los valores que toma
x, no es una proposición.
 Si Carlos suspende esta asignatura, su padre se enfadará
Está claro que es un argumento verdadero o falso (aunque no lo sepamos).
 Hasta el 30 de Junio de 2002, Arantxa Sánchez Vicario había ganado tres
veces el abierto de Francia
Independientemente de que sea verdad o no, está claro que se trata de una
proposición.

DEFINIR OPERADORES LÓGICOS Y CADA UNA DE LAS OPERACIONES

CON PROPOSICIONES.
Los operadores lógicos: nos proporcionan un resultado a partir de que se
cumpla o no una cierta condición, producen un resultado booleano, y sus
operandos son también valores lógicos o asimilables a ellos (los valores
numéricos son asimilados a cierto o falso según su valor sea cero o distinto de
cero). Los operadores lógicos son tres; dos de ellos son binarios, el último
(negación) es unario.
 Y
 O
 Negación NO

Operaciones con proposiciones

La negación: es un operador que se ejecuta sobre un único valor de verdad,
devolviendo el valor contradictorio de la proposición considerada. Ejemplo:
p: “4 + 4 es igual a 9”
-p: “4 + 4 no es igual a 9″

La conjunción: es un operador que utiliza dos valores de verdad, devolviendo el

valor de verdad verdadero cuando ambas proposiciones son verdaderas,
y falso en cualquier otro caso. Ejemplo:
p = “El número 4 es par”
q = “Siempre el residuo de los números pares es 2″
entonces…
p^q: “El número 4 es par y siempre el residuo de los números pares es 2″
Disyunción inclusiva: es un conectivo lógico que une dos
proposiciones p y q formando una nueva proposición p∨q,  de tal manera que su
valor de verdad es falsa si las proposiciones p y q resulta ser falsas, en caso
contrario resulta ser verdadera si al menos una de sus proposiciones
componentes es verdaderas. Ejemplo:
El número 2 es real o entero.

p q pvq
V V V
V F V
F V V
F F F

Disyunción exclusiva: viene a decir que al menos una de las opciones es

verdadera, pero sólo una. En este sentido exclusivo, si en "p q", p es verdadera y
q también lo es, la disyunción exclusiva es falsa. Ejemplo:
Cuando decimos que un examen se aprueba o se suspende.

p q pq
V V F
V F V
F V V
F F F
Condicional: es un operador que trabaja sobre dos valores de verdad,
devolviendo el valor de verdad falso sólo cuando la primera proposición es
verdadera y la segunda falsa, y verdadero en cualquier otro caso. Ejemplo:
p: “llueve”
q: “hay nubes”
p→q: “si llueve entonces hay nubes”

Bicondicional: es un operador que funciona sobre dos valores de verdad,

devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen el
mismo valor de verdad, y falso cuando sus valores de verdad difieren. Ejemplo:
p: “10 es un número impar”
q: “6 es un número primo”
p↔q: “10 es un número impar si y solo si 6 es un número primo”
CONSTRUIR PROPOSICIONES NUEVAS A PARTIR DE PROPOSICIONES
DADAS UTILIZANDO LOS CONECTIVOS LÓGICOS
 p: El número 4 es un entero par.
q: El número 5 es un entero impar.
Para formar la nueva proposición r: El número 4 es un entero par y el
número 5 es un entero impar. Así, dadas dos proposiciones cualesquiera p
y q, podemos combinarlas para formar una nueva proposición p y q. Se usa
el símbolo ∧ para indicar la palabra y. De esta manera, p∧q significa p y q.
La proposición p ∧ q es verdadera si ambas proposiciones p y q son
verdaderas. En cualquier otro caso, es falsa.

p q P∧q
V V V
V F V
F V V
F F F

 p: El número 4 es un entero par.

q: El número 5 es un entero impar.
Para formar la nueva proposición r: El número 4 es un entero par o el
número 5 es un entero impar. Así, dadas dos proposiciones cualesquiera p
y q, podemos combinarlas para formar una nueva proposición p o q. Se usa
el símbolo ∨ para indicar la palabra o. De esta manera, p∨q significa p o q.
La proposición p ∨ q significa que una o ambas proposiciones son
verdaderas. Esto se resume en la siguiente tabla de verdad.

p q PVq
V V V
V F V
F V V
F F F
  Otra manera de obtener nuevas proposiciones a partir de otras es usando
la palabra no. Dada una proposición cualquiera p; podemos formar una
nueva proposición no es verdadero que p. Por ejemplo, si consideramos la
proposición (verdadera) el número entero 3 es impar podemos formar la
nueva proposición. No es verdadero que el número entero 3 es impar, la
cual evidentemente es falsa.

p -p
V F
F V

CONSTRUIR TABLA DE VERDAD

pq “y” “o” “si…entonces “si y sólo si” “o… o…”

pᴧq pᴧq p => q p <=> q pNq
VV V V V V F
VF F V F F V
FV F V V F V
FF F F V V F

CONCLUSIÓN

Los alumnos, cuando abordan en sus cursos de matemáticas el tema de la

lógica proposicional, manifiestan un alto grado de desmotivación, debido a la
manera como este se les presenta. Su enseñanza se centra en encontrar el valor
de verdad de las proposiciones y demostrar sus propiedades mediante el uso de
tablas de verdad, olvidando, en la mayoría de los casos, la importancia de aplicar
dichos conceptos y propiedades a situaciones reales, lo que daría sentido a lo que
aprenden, pues además de desarrollarles el pensamiento formal, les permitiría
adquirir un aprendizaje significativo.
 La lógica centra su atención en el lenguaje, por éste es la manifestación
sensible del pensamiento, dado que el pensamiento no es tangible. Esto quiere
decir que en la medida en que se estructuren correctamente los enunciados
lingüísticos, también se estructurará el pensamiento. La lógica no es ajena al
pensamiento sino, por el contrario, el pensamiento humano es lógico y es de esas
estructuras lógicas desde donde se extraen las leyes del pensamiento.

La proposición tiene una estructura que relaciona sujeto y predicado con un

verbo como cópulas pero, además, tiene elementos que requieren un análisis más
detenido: nombres, sentido y significado. Los nombres en una proposición toman
el lugar de los objetos en el mundo real, además, no poseen sentido, solo
significado; en la medida en que la persona entienda el significado de las palabras
que conforman el nombre, podrá captar el sentido completo de la proposición.

De esta manera, en este trabajo se presentan algunos ejemplos en

contextos reales, donde se aplican ciertos conceptos y propiedades de la lógica
proposicional, que sirvan como motivación para ayudar a desarrollar el
pensamiento formal y a adquirir un aprendizaje significativo de esta área del
saber. 
BIBLIOGRAFÍA

Callisaya, Nahim. Lógica Proposicional. Canal: Algebra Preuniversitaria. Vídeo en

línea. Consultado el día 23 de mayo de 2020, en:
https://www.youtube.com/watch?v=lrnmYWx9NNM

Cohaguila, Sergio. La Disyunción Lógica. Blog en línea. Consultado el día 21 de

mayo de 2020, en: https://ciencias-basicas.com/matematica/superior/logica-
proposicional/la-disyuncion-logica/
Ejercicios Resueltos del Tema 0. Documento en línea. Consultado el día 22 de
mayo de 2020, en:
http://caminos.udc.es/info/asignaturas/grado_tecic/101/AL1/pdfs/Precursos/pr
oblemastema0.pdf

El Condicional. Página en línea. Consultado el día 21 de mayo de 2020, en:

http://fcalzado.es/logica/logica/02lenglogica/050conddef.html

Gutiérrez V, Juan Camilo (2018). Introducción a los Conceptos de la Lógica

Proposicional desde la Experiencia. Universidad Nacional de Colombia.
Documento en línea. Consultado el día 21 de mayo de 2020, en:
http://bdigital.unal.edu.co/62494/1/9977611.2018.pdf

Hernández N, Hector J. (2011). Proposiciones Compuestas (Disyunción,

Conjunción, Negación, Condicional, Bicondicional) Blog en línea. Consultado
el día 22 de mayo de 2020, en:
https://matedisunidad3.wordpress.com/2011/10/18/proposiciones-
compuestas-disyuncion-conjuncion-negacion-condicional-bicondicional/

Hurtado C, Esteban R. Antecedentes Proposiciones. Facultad de Ciencias UNAM.

Documento en línea. Consultado el día 22 de mayo de 2020, en:
http://sistemas.fciencias.unam.mx/~erhc/calculo1_20161/Antecedentes_Prop
osiciones.pdf

Lógica, Tipos de Propocisiones. Página en línea. Consultado el día 23 de mayo de

2020, en: http://132.248.17.238/calculo/Logica/l_logic07_d.html

Operadores Lógicos. Página en línea. Consultado el día 23 de mayo de 2020, en:

https://www.ecured.cu/Operadores_l%C3%B3gicos
 RESÚMEN

La lógica proposicional es un método que nos permite ver la veracidad o

falsedad de las proposiciones o enunciados a través de tablas de la verdad., como
por ejemplo: “hoy es lunes”.

Existen dos tipos de proposiciones: simples y compuestas. Las simples son

aquellas proposiciones que no tienen conectivos lógicos, ejemplo: Tania es una
mujer alta; Tania es una mujer delgada. Mientras que las compuestas si usan
conectivos lógicos, ejemplo: Tania es una mujer alta y delgada.
 Los conectivos lógicos son palabras que sirven para enlazar dos o más
proposiciones simples para convertirlas en proposiciones complejas. Estos
conectivos son: conjunción, disyunción inclusiva, disyunción exclusiva, negación,
condicional y bicondicional.

La tabla de verdad es aquella que permite establecer la validez de una o

más proposiciones. Esta tabla se construye con los conectivos lógicos y el
resultado puede ser verdadero o falso.