Unidad 2 LPI

Lenguaje de la Lógica Proposicional I-2023
UNIVERSIDAD DE CARABOBO
FACULTAD DE CIENCIAS DE LA EDUCACIÓN
ESCUELA DE EDUCACIÓN
DEPARTAMENTO DE MATEMÁTICA Y FÍSICA
MÓDULO: LÓGICA Y MATEMÁTICA
UNIDAD CURRICULAR: LÓGICA PROPOSICIONAL E INFERENCIAL
Lenguaje de la Lógica Proposicional

Unidad II
Jefa del Módulo: Prof. Einys Fernández

Correo: einys.nathaly@gmail.com
Canal Youtube: @ProfEinys Fernandez
Instagram: @einys_f
TikTok:@profeinys
Tw: @einys
Whasapp: 0424-4957262 Classroom: sristdp
Todas vuestras cosas sean hechas con amor
1era Corintios 16:14
1/10 Elaborado por: Prof. Einys Fernández UC-FACE Dep. Matemática y Física
ÍNDICE
Pp
Unidad II: Lenguaje de la Lógica Proposicional

*Elementos constitutivos de la Lógica Proposicional…………………………….. -3-
* Las proposiciones..……………………………………………………………… -3-
* Clasificación de las proposiciones……………………………………………… -3-
* Variables proposicionales………………………………………………………. -4-
* Los conectores………………………………………………………………….. -4-
* Tipos de conectores…………………………………………………………….. -5-
* Tabla de conectores de la lógica proposicional…………………………………. -6-
* Los signos de agrupación………………..……………………………………… -7-
* Polinomios Proposicionales…………………………………………………….. -8-
* Pasos sugeridos para simbolizar un polinomio proposicional………………….. -8-
* Simbolización de polinomios proposicionales………………………………….. -8-
* Simbolización de polinomios proposicionales con negaciones………………… -8-
* Tabla de resumen de la simbolización de polinomios proposicionales…………. -9-
* Los conectores y su relación con Teoría de Conjuntos…………………………. -10-
Referencias Bibliográficas………………………………………………………... -10-
UNIDAD II “Lenguaje de la Lógica Proposicional”
Elementos constitutivos de la lógica proposicional
El lenguaje de la Lógica Proposicional está constituido por tres elementos:

proposiciones lógicas, conectivos y signos de agrupación.
Las Proposiciones
Es un enunciado u oración escrito en un lenguaje comunicativo, el
Proposición cual se afirma, independientemente si es verdadero o falso. Su
estructura o partes son el sujeto, verbo y predicado.
Es cualquier enunciado u oración al cual se le puede asignar un valor
Proposiciones lógicas
de veracidad (verdadero o falso).
Son aquellos enunciados que están redactados con una función de uso
Proposición no lógica del lenguaje diferente al comunicativo o enunciativo, es decir, esta
presente el expresivo y/o el directivo
Ejemplo Lenguaje Natural Estructura de la proposición
Sujeto Verbo Predicado
Proposición es una pandemia
El COVID-19 es una pandemia El COVID-19
Lógica
Proposición Venezuela aplicó el plan “Cada Familia el plan “Cada Familia
Venezuela aplicó
Lógica una escuela” una escuela”
Proposición
La matemática es una ciencia hermosa La matemática es una ciencia hermosa
no lógica
Proposición
María dime la hora María dime La hora
no lógica
Clasificación de las proposiciones ellas se clasifican según su relación en

simple o compuesta, según su cualidad en afirmativa o negativa, y según su cantidad en
universal, particular y singular.
Proposiciones atendiendo a su relación
No contiene otra proposición Ejemplo:
como parte integrante de ellas. No - El próximo viernes comienzan
Simples, atómicas o tiene ningún tipo de conector las clases de inglés
categóricas - Hoy es lunes
- El sol es una estrella
-La luna es un satélite
Cuando dos o más proposiciones Ejemplo:
simples se encuentran enlazadas - El próximo viernes no
por un conectivo, es decir, la comienzan las clases de inglés
Complejas, compuestas, proposición tiene uno o más - Hoy es lunes y mañana es
molecular o hipotéticas conectores, independientemente miércoles - El sol y la luna son dos
si lo que se afirma es lumbreras del planeta tierra
verdadero o falso. - El sol no es de color amarillo
Proposiciones atendiendo a su cualidad

Afirmativa No se niega la proposición, es decir la Ej.
proposición esta de manera simple, - El sol es de color amarillo
independientemente de lo que se afirme sea 2 = −2
verdadero o falso -La inflación es evitable
-Juan es responsable
Se niega la proposición, es decir la Ej.
proposición esta de manera compuesta - El sol no es de color amarillo
negada, tiene una palabra como “no”, 2 ≠ −2
Negativa “tampoco”, “es falso que”, “no es igual”, un -La inflación es inevitable
prefijo de negación, independientemente de lo -Juan es irresponsable
que se afirme sea verdadero o falso
Proposición atendiendo a su cantidad

Se refiere a toda la extensión universal Ej.
Todo hombre es mortal
Universal ∀𝑥 ∈ ℝ
Ningún hombre es mortal
Es una parte de la extensión universal Ej.
Algunos hombres son altos
Particular Algunos hombres no son altos
∃𝑥 ∈ ℝ
Es cuando se refiere a un único individuo, Ej.
objeto o cosa Pedro es mortal
Singular Pedro es un hombre n alto
𝑥∈ℝ
Variables Proposicionales:
Son símbolos que se usan para representar proposiciones, donde
cada una de ellas representa un sólo enunciado o proposición p, q, r, s, t, …
simple. Estos símbolos son las letras minúsculas
Ejemplo
Pedro es mortal ≡ 𝑝
Algunos hombres son mortales ≡ 𝑞
∃𝑥 ∈ ℝ ≡ 𝑝
2x + 5=3 ≡ 𝑟
Nota: las variables proposicionales se pueden repetir cuando cada uno son planteamientos
de ejercicios diferentes, pero cuando se trata de un mismo ejercicio de debe respetar el
orden de las variables y el que se le asignó.
Los conectores
Son palabras o términos lingüísticos del lenguaje lógico que se utilizan para relacionar
o combinar proposiciones simples, originando una nueva proposición denominada
proposición compuesta.
Tipos de Conectores
La negación:
Es un conector unitario que se representa con el símbolo -, el cual significa que dentro
del lenguaje natural se identifica con algún termino lingüístico asociado a un “no, tampoco,
nunca, no es cierto que” entre otros; o en su defecto, con algún prefijo de negación o un /
sobre algún signo de relación de la matemática.
La conjunción
Es un conector binario que se representa con el símbolo ^, el cual asocia dos variables
proposicionales dándose la ocurrencia precisa de ambas. Ahora bien, en del lenguaje
natural se identifican con términos lingüísticos “y, e, además, pero, tambien” entre otros.
La disyunción inclusiva
Es un conector binario que se representa con el símbolo v, el cual asocia dos variables
proposicionales a través de un dilema, pudiendo darse la ocurrencia de ambas, o de algunas
de las dos alternativas proposicionales. Ahora bien, en el lenguaje natural se identifican el
término lingüístico de dos “o” entre las proposiciones lógicas “o…o….”
La disyunción exclusiva
Es un conector binario que se representa con el símbolo v, el cual asocia dos variables
proposicionales a través de un dilema no permitiendo darse la ocurrencia de ambas
alternativas proposicionales. Ahora bien, en el lenguaje natural se identifican con el término
lingüístico “…o…”.
El condicional
Es un conector binario que se representa con el símbolo →, el cual asocia dos variables
proposicionales a través de una condición de causa efecto o de un razonamiento donde las
premisas implican conclusión. Ahora bien, en el lenguaje natural se identifican con
términos lingüísticos como “cuando… entonces…, si... entonces…, por lo tanto, en
consecuencia, entonces, por consiguiente” entre otros.
El bicondicional
Es un conector binario que se representa con el símbolo ↔, el cual asocia dos variables
proposicionales a través de una doble condición de causa efecto o de un razonamiento
donde las premisas implican conclusión, y viceversa. Ahora bien, en el lenguaje natural se
identifican con términos lingüísticos como “si y solo si, solamente si, solo si, únicamente
si” entre otros.
Tabla de conectores de la Lógica Proposicional
Palabra que Proposición compuesta
Símbolo Nombre
representa Lenguaje natural Simbolización
No, tampoco, nunca, no es Ayer no estudie -p
cierto que, es falso que, ni,
no es igual a, no es menor Es falso que ayer hubo clase -q
- Negación que, prefijos de negación, Es inevitable reír -r
el / sobre algún símbolo de
relación matemática 2 ≠ −2 -t
Ayer estudie y hoy fue el
examen p^q
Es falso que ayer hubo clase y
que ayer no estudie -p ^ - q
Y, además, pero, también,
e, en suma a esto. Juan no baila ni canta -p ^ - q
^ Conjunción Nota. A veces se usa una María baila además canta p^q
coma o punto. Dos conjuntos se pueden unir e
interceptar p^q
Juan baila. María canta y Pedro
toca el bongo p ^ (q ^ r)
Disyunción Hoy es viernes o lunes pvq
V O, u Una proposición es un
inclusiva enunciado u oración pvq
O vives en Valencia o en
Disyunción Caracas pvq
V o…o, o…u
exclusiva U hoy no es lunes o no es
martes -p v–q
Si bailo entonces canto p→ q
Si…. entonces, cuando…
entonces, si…., cuando ….,
Cuando bailo entonces no canto p→ - q
si … (el entonces Si llueve las calles se mojan p→ q
sobreentendido), cuando … Hoy es lunes por lo tanto
→ Condicional (el entonces mañana es martes p→ q
sobreentendido), por lo
tanto, por consiguiente,
Cuando no estudio no aprendo - p→ - q
entonces, en consecuencia, Hoy es lunes luego es jueves p→ q
luego Si vivo en Valencia entonces
soy valenciana p→ q
Hoy es lunes si y sólo si mañana
es martes p↔q
Soy valenciana únicamente si
naci en Valencia p↔q
Si y sólo si, solamente si,
↔ Bicondicional únicamente si, sólo si, Una función tiene inversa sólo
p↔q
siempre y cuando. si la función es biyectiva
Voy a tu casa sólo si no va Juan p↔-q
Voy al cine siempre y cuando
vaya con Juan p↔q
Nota. Hay textos en que la disyunción no la clasifican en disyunción inclusiva (dando la
posibilidad de ocurrencia de ambas proposiciones) y exclusiva (no dan la posibilidad de
ocurrencia de ambas proposiciones)
Nota. Recuerde que lo que se afirma en una proposiciones previamente es independiente de
su valor veritativo, más adelante cuando se evalué la veracidad de cada enunciado allí se
podrá indicar si la relación entre las proposiciones es válido o no valido, de tal manera
emergería el proceso de validez de razonamientos, uno de estos métodos son las tablas de
verdad, el cálculo de inferencias o los silogismos. Hay silogismos o polinomios que pueden
ser o no validos.
Los signos de agrupación:

Los signos de agrupación son los que usamos para combinar la asociación de las
variables proposicionales con los conectores, estos signos de agrupación los paréntesis ( ),
corchetes [ ], llaves { }, barras │ │, las dobles barras ║ ║ y así sucesivamente.
Los paréntesis
El signo de agrupación más pequeño y se usa para unir dos variables proposicionales,
pero, dentro del lenguaje natural se reconocer por la lógica del razonamiento en el empleo
de los signos de puntuación.
Los corchetes
Se usa para unir una variable y un par paréntesis, un par de paréntesis y una variable, o
dos par de paréntesis.
Las llaves
Se usa para unir una variable y un par de corchetes, un par de corchetes y una variable,
un par de paréntesis y un par de corchete, un par de corchetes y un par de paréntesis, o une
dos pares de corchetes.
Polinomios Proposicionales:
Son formas proposicionales compuestas con dos o más conectivos que se encuentran
relacionados por medio de los signos de agrupación, para formular los polinomios
proposicionales se sugiere seguir los pasos que más abajo se indican, aplicando la lógica.
Pasos sugeridos para simbolizar un polinomio proposicional
Ejemplo:
Es falso que: si hoy no es lunes entonces mañana no es martes, pero, si mañana es martes
hoy es lunes.
1.- Hacer una lectura comprensiva y 2.- Marcar conectores
3.- Identificar variables proposicionales
marcar los signos de puntuación
Es falso que: si hoy no es Es falso que: si hoy no es lunes entonces
Es falso que: si hoy no es lunes lunes entonces mañana no es mañana no es martes, pero, si mañana es martes
entonces mañana no es martes, pero, si martes, pero, si mañana es →hoy es lunes.
mañana es martes hoy es lunes. martes →hoy es lunes. p: hoy es lunes -p: hoy no es lunes
q: mañana es martes -q: mañana no es martes
5.- Cambio los signos de Nota: los signos de puntuación se usan a través
4.- Realizar un primer bosquejo de la
puntuación por signos de de parejas de variables iniciando con el
simbolización
agrupación paréntesis, luego corchetes, llaves y barras.
Nota: siempre que una negación tenga después
-[(-p → -q) ^ (q → p)]
un signo de puntuación, la negación va desde el
-: -p → -q, ^ , q → p. El conector principal es la
signo de puntuación hasta el primer punto.
negación del corchete.
Simbolización de polinomios proposicionales con negaciones

Ejemplo:
No ocurre que: O Juan es bailarín y cantante, o, es actor y cantante.
1.- Hacer una lectura comprensiva y
2.- Marcar conectores 3.- Identificar variables proposicionales
No ocurre que: O Juan es bailarín y cantante, o,
No ocurre que: O Juan es es actor y cantante.
No ocurre que: O Juan es bailarín y
bailarín y cantante, o, es p: Juan es bailarín
cantante, o, es actor y cantante.
actor y cantante. q: Juan es cantante
r: Juan es actor
5.- Cambio los signos de
puntuación por signos de
simbolización
agrupación Nota: la negación va desde los dos puntos hasta
- [ (p ^ q) v ( r ^ q)] el primer punto.
- : p ^ q, v , r ^ q. El conector principal es la
Simbolización de polinomios proposicionales
Ejemplo:
No es cierto que “Juan es bailarín y cantante, o, es actor y no cantante”
No es cierto que “Juan es bailarín y cantante, o,
No es cierto que “Juan es es actor y no cantante”
No es cierto que “Juan es bailarín y
bailarín y cantante, o, es p: Juan es bailarín
cantante, o, es actor y no cantante”
actor y no cantante” q: Juan es cantante
r: Juan es actor
4.- Realizar un primer bosquejo de la Nota: la negación va desde donde abre la
simbolización comilla hasta donde cierra.
agrupación
- [ (p ^ q) v ( r ^ -q)]
- “ p ^ q, v , r ^ - q” El conector principal es la
Simbolización de polinomios proposicionales
Ejemplo:
Es falso que, Juan sea bailarín y cantante. O, es actor y no cantante.
Es falso que, Juan sea bailarín y cantante. O, es
Es falso que, Juan sea actor y no cantante.
Es falso que, Juan sea bailarín y
bailarín y cantante. o, es p: Juan sea bailarín
cantante. O, es actor y no cantante.
actor y no cantante. q: Juan sea cantante
r: Juan es actor
simbolización
agrupación
[- (p ^ q) v ( r ^ -q)] Nota: la negación va desde la coma hasta el
El conector principal es el primer punto.
- , p ^ q, v , r ^ - q. disyuntivo que une el
paréntesis negado con el
otro paréntesis.
Tabla de resumen de la simbolización de polinomios proposicionales

Signo de Agrupación Polinomio Proposicional Simbolización
(p ↔ q)
Hoy es lunes si y sólo si mañana es martes
Conector principal: ↔
p^-q
Hoy es lunes y mañana no es martes
Paréntesis Une dos variables Conector principal: ^
() proposicionales - (p ^ - q)
Es falso que: hoy es lunes y mañana no es martes.
Conector principal: -
No ocurre que “si hoy es lunes entonces mañana es - (p → q)
martes” Conector principal: -
Une una variable Hoy es lunes si y sólo si, mañana es martes y luego [p ↔ (q ^ r)]
y un paréntesis miércoles Conector principal: ↔
Corchete Une un paréntesis Si hoy es lunes entonces mañana es martes, pero hoy [(p → q) ^ -p]
[] y una variable no es lunes Conector principal: ^
Une dos [(p ^ q) ^ (-r ^ -s)]
María baila y canta, pero, Juan no baila ni canta
paréntesis Conector principal: ^
Une una variable Si ayer fue domingo entonces; hoy es lunes si y sólo {p →[q ↔ (r ^ p)]}
y un corchete si, mañana es martes y luego miércoles Conector principal: →
Une un corchete y Hoy es lunes si y sólo si, mañana es martes y luego {[p ↔ (q ^ r)] ^ s}
une variable miércoles. Además ayer fue domingo Conector principal: ^
Si antes de ayer fue sábado y ayer domingo,
Une un paréntesis {(p ^q)→[r ↔ (s ^ t)]}
Llaves entonces; hoy es lunes si y sólo si, mañana es martes
y un corchete Conector principal: →
{ } y luego miércoles
Hoy es lunes si y sólo si, mañana es martes y luego
Une un corchete y {[p ↔ (q ^ r)] ^ (s ^ t)}
miércoles. Además, antes de ayer fue sábado y ayer
un paréntesis Conector principal: ^
fue domingo
{[p ↔ (q ^ r)] → [r ↔ (s ^ t)]}
Une dos corchetes
Conector principal: →
Nota. Cuando sólo existe un polinomio proposicional conformado por dos variables y un
sólo conector no se hace necesario colocar el paréntesis
Los conectores y su relación con Teoría de Conjuntos

Los operadores lógicos se emplean también en teoría de conjuntos, y representan una
operación matemática
Operaciones Relación de los conectores lógicos y
Definición
con Conjuntos las operaciones con conjuntos
Unión de Para la unión ( ⋃) se emplea la
𝐴⋃𝐵 = 𝑥/𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝐵 disyunción (v)
conjuntos
Intersección Para la intersección (⋂) se emplea la
𝐴⋂𝐵 = 𝑥/𝑥 ∈ 𝐴 ∧ 𝑥 ∈ 𝐵 conjunción (^)
de conjuntos
Para la diferencia de conjuntos (-) se
Diferencia de
𝐴 − 𝐵 = 𝑥/𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐵 emplea la conjunción (^) y la
conjuntos negación del símbolo pertenece (∉)
Diferencia Para la diferencia simétrica ( △) se
emplea la disyunción ( ∨ ) y las
simétrica de 𝐴 △ 𝐵 = 𝑥/𝑥 ∈ 𝐴 − 𝐵 ∨ 𝑥 ∈ (𝐵 − 𝐴)
diferencia de conjuntos 𝐴−
conjuntos 𝐵 𝑦 (𝐵−𝐴)
Complemento Para el complemento de un conjunto
de un ′
𝐴 = 𝑥/𝑥 ∈ 𝑈 ∧ 𝑥 ∉ 𝐴 ( ′ ) se emplea la conjunción (^) y la
conjunto negación del símbolo pertenece (∉)
Referencias Bibliográficas
Afcha, K. (1993). Temas Fundamentales de Lógica Matemática. Publicaciones

Educación. Producción Universitaria. Talleres Gráficos del Departamento de
Publicaciones de la Facultad de Ciencias de la Educación. Universidad de Carabobo.
Venezuela.
Agudo, C. y Peña, G. (2002). Lógica y Matemática. Caracas, Venezuela.
Corral, Y. y Manzanares, L. (2018). Nociones Elementales de Lógica Matemática y
Teoría de Conjuntos. Fondo Editorial Opsu. Caracas, Venezuela.
Durant, M. y Naveda, O. (2013). Transformación Curricular por Competencias en la
Educación Universitaria bajo el Enfoque Ecosistémico Formativo. 2da edición.
FUNDACELAC. Venezuela.
Gómez, J. (2005). Lógica Ilógica. Selector actualidad editorial. México.
Napolitano, A. (2005). Lógica Matemática. 2da edición, reimpresión 2012. Editorial
Biosfera. Caracas, Venezuela.
Pérez, E. (2013). Cómo evaluar aprendizajes por competencias. Biblioteca Ciencias de
la Educación. Universidad de Carabobo. Venezuela.
Romero, F. (1973). Lógica e Introducción a la Problemática Filosófica. Editorial
Losada. Buenos Aires Argentina.
Suppes, H. Hill. (1988). Introducción a la Lógica Matemática. Editorial Reverté
Colombiana. Bogotá, Colombia.
Yoris, C. (2001). Introducción a la Lógica. UCAB. Caracas, Venezuela.

Unidad 2 LPI

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Unidad 2 LPI

Cargado por

Copyright:

Formatos disponibles

Lenguaje de la Lógica Proposicional I-2023

Lenguaje de la Lógica Proposicional

Jefa del Módulo: Prof. Einys Fernández

Unidad II: Lenguaje de la Lógica Proposicional

Referencias Bibliográficas………………………………………………………... -10-

UNIDAD II “Lenguaje de la Lógica Proposicional”

Elementos constitutivos de la lógica proposicional

El lenguaje de la Lógica Proposicional está constituido por tres elementos:

Clasificación de las proposiciones ellas se clasifican según su relación en

Proposiciones atendiendo a su cualidad

Proposición atendiendo a su cantidad

Los signos de agrupación:

Simbolización de polinomios proposicionales con negaciones

Tabla de resumen de la simbolización de polinomios proposicionales

Los conectores y su relación con Teoría de Conjuntos

Afcha, K. (1993). Temas Fundamentales de Lógica Matemática. Publicaciones

También podría gustarte