Universidad Nacional De Piura Matemática Básica

Facultad de Ciencias – Escuela de Matemática

LOGICA PROPOSICIONAL

CONTENIDO
1. INTRODUCCIÓN ....................................................................................................................................................1
2. LA NATURALEZA DEL LENGUAJE LÓGICO....................................................................................................................1
3. INFERENCIA ........................................................................................................................................................1
4. PROPOSICIONES ...................................................................................................................................................2
5. FORMALIZACIÓN DE PROPOSICIONES ........................................................................................................................5
6. TABLAS DE VERDAD ..............................................................................................................................................7
7. LEYES DE INFERENCIA INMEDIATA Y MEDIATA ...........................................................................................................9
8. BIBLIOGRAFÍA .....................................................................................................................................................9

1. Introducción

La lógica es un conocimiento que aparece por primera vez, en los escritos de Aristóteles 1 con un objetivo
definido como es el análisis formal de los razonamientos. En su desarrollo a través de la historia ha venido a
constituirse en un tema central en los cursos de matemática.
El análisis formal de los razonamientos se propone deslindar la validez o invalidez de las inferencias 2. Este
deslinde se efectúa mediante el empleo de métodos o procedimientos que consisten en la aplicación de
definiciones y leyes o reglas lógicas.
Vista de esta manera la lógica es una ciencia que estudia los métodos o procedimientos que aplican
definiciones y leyes o reglas con el propósito de determinar la validez o invalidez de las inferencias.
Sanguineti acota en su obra “Lógica” lo siguiente: “… a la lógica le interesa la lengua como expresión de
conocimientos: es decir, en cuanto nuestro conocer y razonar se deja traslucir en la misma estructura
gramatical del hablar humano”.

2. La naturaleza del lenguaje lógico

Para Sanguineti (1994, Pg. 57) definir la naturaleza del lenguaje implica: “El conocimiento intelectual y los
actos de la voluntad del hombre se traducen exteriormente en el conjunto de signos sensibles que componen
el lenguaje humano. La finalidad del habla es doble: 1) Expresiva: Hablamos para exteriorizar los actos
internos de nuestro espíritu: nuestros conocimientos, ideas, estados de ánimo, etc. 2) Comunicativa: el
lenguaje sirve para comunicar estos actos a los demás. Siendo el hombre por naturaleza un animal político y
social, fue necesario que cada uno pudiera comunicar sus pensamientos a los demás, cosa que se hace
posible por el lenguaje. Fue preciso, pues, que hubiera palabras dotadas de significado, para que los hombres
pudieran convivir juntamente; de allí que sea difícil la convivencia entre personas de distinta lengua.”

3. Inferencia

La inferencia es un proceso que consiste en obtener la conclusión a partir de un conjunto de premisas.

Ejemplo: Si el galeón no trae piratas, entonces el capitán ha muerto o está prisionero. Pero, el capitán no ha
muerto ni está prisionero. En consecuencia, el galeón trae piratas.

1
Los escritos lógicos de Aristóteles (384 – 322 a.C) están reunidos en un libro llamado Organón.
2
Usaremos como sinónimos los términos inferencias, razonamiento y argumento.
1
Dra. Diana Judith Quintana Sánchez
Universidad Nacional De Piura Matemática Básica
Facultad de Ciencias – Escuela de Matemática

La distinción entre un conjunto de premisas y la conclusión está determinada por algunas palabras que
sirven de referencia. Por ejemplo: luego, por lo tanto, en consecuencia.
Las expresiones que componen un conjunto de premisas y la conclusión se llaman proposiciones, entonces
podemos decir que la inferencia es una estructura de proposiciones que consiste en pasar de un conjunto de
proposiciones llamadas premisas a otra proposición que es la conclusión. Cuando la conclusión está
contenida en un conjunto de premisas o se deriva necesariamente del conjunto de premisas, la inferencia es
válida, en este caso la inferencia se denomina deductiva.

4. Proposiciones

Definición: Son expresiones del lenguaje de las que tiene sentido decir que son verdaderas o falsas.
Clases de proposiciones

A. Proposición Simple o Atómica: Formada por un solo sujeto y predicado, es decir que carece de
conectores lógicos monádicos o binádicos.
Ejemplos:
 Las plantas son seres vivos.
 Los coronavirus son una amplia familia de virus que pueden causar diversas afecciones.
B. Proposiciones Compuestas o Moleculares: Son aquellas que se obtienen al combinar las proposiciones
simples unidas por uno o más conectores lógicos.
Ejemplos:
 Es falso que, las matemáticas sean difíciles.
 El deporte es divertido y ayuda a la salud.
Proposición Conjuntiva: Se denomina así a la proposición que presenta el conector binario “y” el cual
desempeña el papel de compatibilizador de dos proposiciones.
Algunas traducciones verbales del conjuntor son:
 AyB  A de la misma manera B  A también B
 A del mismo modo que B  Tanto A como, cuanto B  A aunque B
 A sin embargo B  No sólo A también B  A pero B
 A al igual que B  Siempre ambos A con B  A incluso B
 A así como B  A es compatible con B  A tal como B
 A no obstante B  A incluso B

Proposición Disyuntiva Incluyente: Se denomina así a la proposición que presenta el conector binario
“o” el cual da la posibilidad dos o más proposiciones a la vez. Para aclarar mejor se puede agregar el
término al final “o ambos”.
Algunas traducciones verbales de la disyunción incluyente son:
 AoB  A excepto que B
 A salvo que B A a menos que B
 A menos que A, B A o también B

2
Dra. Diana Judith Quintana Sánchez
Universidad Nacional De Piura Matemática Básica
Facultad de Ciencias – Escuela de Matemática

Proposición Disyuntiva Excluyente: Se denomina así a la proposición que presenta el conector binario
“o” y excluye la posibilidad de que se den ambas proposiciones a la vez.
Algunas traducciones verbales de la disyunción excluyente son:
 bien A o bien B Ya bien A ya bien B
 OAoB  A o solamente B
 AoB  A o sólo B

Proposición Implicativa: Se denomina así a la proposición que presenta el conector binario “Si A
entonces B”, el cual enlaza a una proposición que es el antecedente con otra proposición que es el
consecuente o conclusión. Algunas traducciones verbales de la disyunción excluyente son:
 Si A entonces B  De A deducimos (inferimos,
 Cuando A así pues B llegamos, concluimos) en B
 Con tal que A es obvio que B  A es condición suficiente para B
 En el caso de que A en tal Ya que A bien se ve que B
sentido B  Siempre que A por consiguiente B
 En virtud de que A es evidente B Toda vez que A en consecuencia B
 Dado A por eso B  En la medida que A de allí B
 En cuanto A por tanto B  En el caso de A en este caso B
 De A deviene B  De A derivamos B
 A es condición suficiente paraB A impone a B

Proposición Replicativa: Se denomina así a la proposición que presenta el conector binario “Si”. Es un
caso especial de proposición implicativa el cual resulta cuando el “Si” o sus sinónimos están entre A y B.
Algunas traducciones verbales del replicador son:
A porque B A es insuficiente para B A puesto que B
A es condición necesaria para B A cada vez que B A es condición de que B
A, si B A dado que B A en vista de que B
A se concluye de B A ya que B A pues B

Proposición Biimplicativa: Se denomina así a la proposición que presenta el conector binario “si y sólo
si” el cual desempeña la función de doble implicador. Es decir, la conjunción de la condicional con la
recíproca. Algunas traducciones verbales de la biimplicación son:
 A si y sólo si B  A se define como B
 A es equivalente a B  A es lo mismo que B
  B
A siempre que y sólo cuando A si de la misma forma B
  B
A por lo cual y según lo cual A es idéntico a B

3
Dra. Diana Judith Quintana Sánchez
Universidad Nacional De Piura Matemática Básica
Facultad de Ciencias – Escuela de Matemática

Proposiciones Negativas: Se denomina así a la proposición que presenta el conector monádico “No” el
cual permite cambiar el valor de veracidad de la proposición. Algunas traducciones verbales de la
negación son:
 No A  No ocurre que A  De ninguna forma se da que A
 Nunca A  No es verdad que A Es erróneo que A
 Jamás A  No es el caso que A Es incorrecto que A
 Tampoco A  Es mentira que A  Es incierto que A
 Es absurdo queA Es inadmisible queA No es innegable que A

Ejercicio nº 1

1. A continuación, se tiene un conjunto de pasajes. En cada caso diga si expresan o no una inferencia. Si
lo es distinga el conjunto de premisas de la conclusión.

1. La policía y las brigadas de socorro rescatan niños, si y sólo si resultan heridos en el accidente.
2. Si se produjeron cambios sociales en Rusia entonces Rusia tiende al capitalismo. Se produjeron cambios
sociales en Rusia. Luego Rusia tiende al capitalismo.
3. Si Pizarro conquistó el Perú entonces fundó la ciudad de Lima. Lima fue la capital del virreinato, pero en
la ciudad e Lima no se libraron las batallas más importantes.
4. Si aumenta el precio de la gasolina entonces nuestra moneda se devalúa. Pero, nuestra moneda no se
devalúa. En consecuencia, si aumenta el precio de la gasolina entonces la inflación no se eleva.
5. la Tierra es un planeta y la Luna es un satélite. La Luna gira alrededor de la tierra y la tierra gira
alrededor del sol. Luego, la Luna gira alrededor del sol.

2. Determine cuales de las siguientes expresiones son proposiciones y cuáles no. Justifique cada caso.

1. Las mejores canciones del repertorio de Pavarotti.

2. Bernard transplantó por primera vez el corazón humano.
3. El único satélite terrestre carece de atmósfera, agua y luz propia.
4. Lance la bola tan lejos como pueda y verifique su puntuación.
5. El jefe de la blindada salió corriendo y le dijo a su lugarteniente: “¡Es una orden! Tienes que quedarte”.
6. ¿El bien siempre triunfa sobre el mal?
7. Adán comió la manzana prohibida del paraíso.
8. las importaciones están aumentando porque el gobierno no está aplicando una economía liberal.
9. Papá, no te olvides de traerme un pan, porque de harina es la mitad del sueño, según mamá me dice, y de
harina es también toda la dicha.
10. Andrés Avelino Cáceres, por sus acciones en las batallas de Pucará, Marcavalle y Concepción, fue llamado
el “Brujo de los Andes”.
11. ¿Sabías que la distancia media de la luna a la Tierra es de 412, 000 Km? Sería fascinante viajar al satélite
de la Tierra.
4
Dra. Diana Judith Quintana Sánchez
Universidad Nacional De Piura Matemática Básica
Facultad de Ciencias – Escuela de Matemática

12. El cólera no es un problema clínico sino un problema ecológico y ambiental.

3. De los siguientes enunciados determine las proposiciones simples, compuestas y los términos de
enlace.
1. O los soldados van a la guerra o se rinden incondicionalmente.
2. Hitler y Musolini fueron los representantes del fascismo en Europa.
3. La capital del Perú no es la única ciudad desordenada en América del Sur.
4. Si el rey no hubiese actuado rápido, la victoria se habría perdido.
5. Si sale el sol o no llueve, las competencias deportivas serán exitosas.
6. Las selecciones del Perú y Chile competirán el próximo verano en un país neutral.
7. En la Cordillera Blanca del departamento de Ancahs, el Huascarán es el pico más elevado del Perú.
8. Es objetable que la Región Grau está formada por el departamento de Tumbes.
9. La sigla ONU corresponde a la Organización de la Salud o a la Organización de las Naciones Unidas
10. Si hay vida en la nebulosa de Andrómeda entonces existen seres extraterrestres.
11. Es falso que el Perú se encuentre situado en la costa Central y Occidental de Sudamérica

5. Formalización de proposiciones

A partir de mediados del siglo pasado, la lógica formal comenzó a elaborarse como un cálculo algebraico,
adoptando un simbolismo peculiar para las diversas operaciones lógicas. Gracias a este nuevo método, se
han podido construir grandes sistemas axiomáticos de lógica, a manera de las matemáticas, con los que
pueden efectuarse con rapidez y simplicidad razonamientos que la mente humana no puede conseguir
actuando espontáneamente.
La lógica simbólica también llamada lógica matemática, tiene el mismo objeto que la lógica formal
tradicional: estudiar y hacer explícitas las formas de la inferencia, dejando de lado- por abstracción – el
contenido de verdades que esas formas pueden transmitir. La diferencia con la lógica formal clásica está en
que con el cálculo simbólico se llega en cierto modo a la automatización del pensamiento ya que la simple
aplicación de reglas permite pasar
Mecánicamente de unos símbolos a otros, de modo análogo a cuando efectuamos una multiplicación.

Variables proposicionales: Son símbolos que representan proposiciones simples. Para denotarlos
utilizaremos las letras minúsculas del alfabeto como: p, q, r , , etc .
Por ejemplo, dada la siguiente proposición: “El Perú es un país latinoamericano”.

Su representación simbólica es: p por ser una proposición simple.

Conectivos lógicos: Son símbolos que sirven de enlace entre dos proposiciones. Se clasifican en:
a) Nonádicos: Cuando afecta a una variable.

-La negación: "”, “ p ”, “ p”

Ejemplo: En Colombia no hay paz social ~ p
b) Binádicos: Cuando afectan a dos o más variables y son:

5
Dra. Diana Judith Quintana Sánchez
Universidad Nacional De Piura Matemática Básica
Facultad de Ciencias – Escuela de Matemática

CONECTOR
SIMBOLO SE LEE LENGUAJE NATURAL FORMALIZACION
LOGICO

CONJUNTOR  "y" Estudia y trabaja. pq

Eres abogado o
DISYUNTOR DEBIL "o" pq
 profesor.

DISYUNTOR FUERTE  , , 
 "o...o..." O cantas o bailas. p q
"si ... Si estudias entonces
IMPLICADOR  pq
entonces..." egresarás.
Sudas si corres
REPLICADOR  "... si ..." pq
demasiado.
Habrá cosecha sí y sólo
BIIMPLICADOR ,  Sí y sólo sí pq
sí llueve.

NEGADOR CONJUNTOR  "Ni... ni ..." Ni estudia ni trabaja. pq

"No ... o no No es ingeniero o no es
NEGADOR DISYUNTOR p q
..." matemático.

Simbolización de proposiciones y el uso de los signos de agrupación

Simbolizar un argumento consiste en asignar a cada proposición simple una variable proposicional y a cada
conector lógico su respectivo símbolo.

Los signos de agrupación son: PARENTESIS ( ) CORCHETES [ ] LLAVES { }

Y se utilizan para evitar ambigüedades en las fórmulas proposicionales.

Prioridad o jerarquía de los conectivos lógicos

En la formalización de proposiciones hay que tener muy en cuenta la prioridad que tienen los conectivos
cuando no hay signos de agrupación. Así tenemos el siguiente orden:

1ro. Negación: ~ 2do. Conjuntor y Disyuntor: "" , ""

3ro. Implicador: "" 4to. Disyunción Fuerte: "  "

5to. Biimplicador: ""

Observación:
Se denomina conectivo dominante, al conectivo que está fuera de todo signo de agrupación.

Ejemplo: Es absurdo que, la pizarra sea negra y la tiza sea blanca. Luego: ~ ( p  q)

Ejemplos:
1. Se ha anunciado el segundo pago del bono asignado a las personas de menores recursos económicos; y,
para evitar las enormes filas en los bancos, se han implementado nuevos sistemas de pago. Su
formalización correcta es:

2. Las ideas y opiniones expresadas en un artículo de opinión son de responsabilidad del autor.

6
Dra. Diana Judith Quintana Sánchez
Universidad Nacional De Piura Matemática Básica
Facultad de Ciencias – Escuela de Matemática

3. No es el caso que, Fernando no sepa tocar guitarra y no componga una melodía, puesto que es egresado

del conservatorio de música. Su formalización correcta es: ~ (~ p  ~ q)  r

Ejercicio nº 2
Formalizar cada una de las siguientes proposiciones compuestas

1. María cobró del bono después de haberse inscrito con la verificación de tus datos en la Reniec y de haber
confirmado su número de celular; luego recibió una clave secreta a través de un mensaje de texto.
2. Es imposible que Daniel es estudioso igualmente un prospero economista; de ahí que será estudioso y
bien o también ganará mucho dinero.
3. El Perú crece pues aumentó el P.B.I; o a la vez no aumento el P.B.I. En consecuencia, el Perú es un país
subdesarrollado.
4. 18 es múltiplo de 9 por consiguiente es divisible por 3 tal como 15>100, o incluso 18 no es divisible por
3; sólo si 15<100.
5. Ya que Jorge participa en el comité electoral e la universidad bien se ve que los estudiantes se enojarán
con él, aunque las autoridades universitarias se enojarán con él si no participa en un comité electoral de
la universidad.
6. Ya que ingreso a la universidad luego podré ser un buen profesional.
7. Sube el precio del pan como consecuencia a que sube el precio de la gasolina.
8. Miguel de Unamuno es autor de “La Tía Tula” así como Fedor Dostoievski es autor de “Crimen y Castigo”.
9. Si Gorbachov aplicó la perestroika entonces Rusia será un país capitalista. Pero, Rusia no será un país
capitalista. Por lo tanto, Gorbachov no aplicó la perestroika.
10. Los niños juegan en el patio. Por lo tanto, si los niños juegan en el patio, entonces o es hora del recreo o
las clases están suspendidas.
11. O Pedro es abogado o Pedro es ingeniero. Pedro trabaja en la represa de Gallito ciego. Luego, Pedro es
ingeniero.
12. Si Hussein retira sus tropas de Kuwait entonces se evitará la tercera guerra mundial. Las tropas
multinacionales bloquearon el Golfo Pérsico si y solo si Hussein no retira sus tropas de Kuwait.
13. Se hubiera impedido el asalto al banco si la alarma hubiera sonado oportunamente.
14. Iveth conseguirá un ascenso como reportera a menos que pierda la entrevista con el director de prensa
15. Cuando el cielo no está nublado, silba el viento y los pajarillos cantan.

6. Tablas de verdad

El método de tablas de valores como procedimiento decisorio consiste en determinar si la función veritativa
de una fórmula proposicional es consistente, tautológica y contradictoria. Este método muestra como se
combinan los valores de verdad (V) y falsedad (F) de las proposiciones compuestas a partir de los
operadores usados y de los valores de verdad y falsedad de las proposiciones simples o variables
proposicionales.

7
Dra. Diana Judith Quintana Sánchez
Universidad Nacional De Piura Matemática Básica
Facultad de Ciencias – Escuela de Matemática

La fórmula 2 n (donde 2 es la constante que expresa la posibilidad de ser “V” o “F” de una proposición, y “n”
representa el número de variables o proposiciones simples) nos permite obtener el número exacto de
valores que se van a combinar.
 Las letras V=1 y F=0 indican valores de verdadero y falso.

variables Esquema lógico

2n Matriz de verdad

combinaciones Del esquema

Clasificación de las Tablas de Verdad por la naturaleza de su Matriz de verdad:

TAUTOLOGIA(T) CONTRADICCIÓN (C) CONSISTENTE O CONTINGENTE

Si el resultado final contiene Si el resultado final presenta Si el resultado final contiene

sólo valores verdaderos. sólo valores falsos. valores verdaderos y falsos.

Tablas de Verdad de los Conectores Lógicos

VALORES DE
CONECTIVOS SIMBOLICAMENTE
VERDAD
Conjunción A B V-V=V
Disyunción Incluyente A B F-F=F
Disyunción Excluyente A B V-V=F F-F=F
Implicación A B V-F=F
Replicación A B F-V=F
Biimplicación AB V-V=V F-F=V
Negación Conjuntiva A B F-F=V
Negación Disyuntiva A/ B V-V=F
Negación A  V=F

Para formar una tabla de verdad debemos tener en cuenta que la combinación de las proposiciones
n
responde a la forma 2 donde n es el número de proposiciones. Ejemplo:
Con dos variables: 4 arreglos o casos.
Con tres variables 8 arreglos o casos.

8
Dra. Diana Judith Quintana Sánchez
Universidad Nacional De Piura Matemática Básica
Facultad de Ciencias – Escuela de Matemática

7. Leyes de inferencia inmediata y mediata

Las leyes de inferencia inmediatas son las que parten de un solo juicio o premisa. Y las leyes de Inferencia
Mediatas son aquellas que tienen más de una premisa.

8. Bibliografía

ESPINOZA, E. (2000). Matemática Básica. Editorial Servicios Gráficos – Lima – Perú

LÁZARO, M. (2000). Lógica y Teoría de Conjuntos. Editorial Moshera. Lima Perú
LAZARO M, H. (2 000). Elementos de Matemática Básica. Editorial de la Universidad Nacional Mayor de San
Marcos. Perú.
SANGUINETI, J. (1982). Lógica. Ediciones Universidad de Navarra. Pamplona. España.
VENERO, A. (2002). Análisis Matemático 2. Ediciones German. Lima Perú. Primera Edición

9
Dra. Diana Judith Quintana Sánchez