“AÑO DEL DIÁLOGO Y LA RECONCILIACIÓN NACIONAL”

“LÓGICA PROPOSICIONAL”
 CURSO : MATEMÁTICA Y LÓGICA

 DOCENTE : JULIO HERNÁNDEZ FÉLIX

 INTEGRANTES :

 CAYCHO AVILA, Jenny

 MATEO HILARIÓN, Elvis
 QUISPE DE LA CRUZ, Bruno
 VASQUEZ ARIAS, Miguel
 BUENDIA LUYO, Mariana
 SUBAUSTE CUBILLAS, Jhonatan

 FACULTAD : DERECHO

 MODALIDAD : SEMI PRESENCIAL

 CICLO :I

 SEDE : SAN VICENTE DE CAÑETE

 AÑO : 2018
 Índice

Índice ............................................................................................................................................................ 2
Introducción ................................................................................................................................................ 3
LA LÓGICA PROPOSICIONAL ............................................................................................................. 4
1.- Historia de la Lógica Proposicional: .................................................................................................... 4
2.- ¿Qué es la Lógica Proposicional? ....................................................................................................... 5
3.- Partes de la Lógica Proposicional: ....................................................................................................... 6
3.1.- Enunciado.- .................................................................................................................................. 6
3.2.- Proposición.- ................................................................................................................................ 7
4.- Clases de Proposiciones: ..................................................................................................................... 8
4.1.- Proposiciones Atómicas o Simples:.............................................................................................. 8
4.2.- Proposiciones Moleculares o Compuestas: ................................................................................. 8
5.- Conectivos u Operadores Lógicos: ..................................................................................................... 9
6.- Elementos de la Lógica de Enunciados o Proposicional: .................................................................. 9
6.1.- Variables.- ................................................................................................................................... 9
6.2.- Constantes.- ............................................................................................................................... 10
6.3.- Símbolos Auxiliares.- .................................................................................................................. 11
7.- Determinar el Valor de Verdad de Proposiciones Lógicas: ............................................................... 12
8. Tautologías, Contradicciones y Contingencias: .................................................................................. 12
9.- Práctica de Lógica Proposicional:...................................................................................................... 13
10.- Relación entre Lógica y Derecho..................................................................................................... 15
Conclusión ................................................................................................................................................. 16
Bibliografía ................................................................................................................................................ 17
 Introducción

En nuestro quehacer diario constantemente hacemos, deducciones. Esto significa, que cada

conclusión que obtenemos se deduce de algo. Este algo o punto de partida se llama premisa. Por

ejemplo si exponemos un trozo de hielo al calor, se concluye que el hielo se derrite, o cuando

un campesino ve una densa nube en el cielo, deduce que va a llover, o también de "todos los

mamíferos son vertebrados" se puede concluir en "algunos mamíferos son vertebrados".

Este proceso de pasar de un conjunto de premisas a la conclusión se llama inferencia o deducción.

Cuando la conclusión se deduce correctamente del conjunto de premisas se dice que la inferencia

es válida, en caso contrario la inferencia no es válida. Sabemos que la conclusión se deriva

correctamente de sus premisas porque hay un conjunto de leyes lógicas que garantizan dicha

corrección. Justamente la lógica estudia el modo de usar estas leyes, con las cuales podemos saber

si una inferencia es válida o no. De ahí que, la lógica es una ciencia que estudia los métodos y las

leyes que determinan la validez de la inferencia.

Así como existe una teoría para realizar cálculos con números (la aritmética) o con objetos más

complejos como diferencial e integral, también existen reglas precisas para manejar proposiciones.

Esto último corresponde al estudio de la lógica proposicional

Los Integrantes
 LA LÓGICA PROPOSICIONAL

1.- Historia de la Lógica Proposicional: La lógica es conocida como una de las ciencias más

antiguas, tanto es así que se le atribuye a Aristóteles la paternidad de esta disciplina.

Partiendo de que corresponde a Aristóteles haber sido el primero en tratar con todo detalle

la lógica, se le considera su fundador. En un principio se llamó Analítica, en virtud del título

de las obras en que trató los problemas lógicos. Más tarde los escritos de Aristóteles

relativos a estos eventos fueron recopilados por sus discípulos con el título de Órganon, por

considerar que la lógica era un instrumento para el conocimiento de la verdad.

Aristóteles se planteó cómo es posible probar y demostrar que un conocimiento es

verdadero, es decir, que tiene una validez universal. Aristóteles encuentra el fundamento de

la demostración en la deducción, procedimiento que consiste en derivar un hecho particular

de algo universal. La forma en que se afecta esa derivación es el silogismo, por cuya razón

la silogística llega a ser el centro de la lógica aristotélica.

Aunque la lógica proposicional (que es intercambiable con el cálculo proposicional) había

sido insinuada por los filósofos anteriores, 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. Este avance fue diferente de la lógica silogística tradicional que se

centró en los términos. Sin embargo, más tarde en la antigüedad, la lógica proposicional

desarrollada por los estoicos no se comprendía [¿Quién?]. En consecuencia, de ello, el

sistema fue reinventado esencialmente por Peter Aberlard 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.

Así como la lógica proposicional puede considerarse un avance de la lógica silogísta

anterior, la lógica de la predicada de Gottlob Frege era un avance de la lógica proposicional

anterior. Un autor describe esta lógica como la combinación de los rasgos distintivos de la

lógica silogística y la lógica proposicional. Por lo tanto, la lógica predicad marcó el

comienzo de una nueva era en la historia de la lógica; sin embargo, los avances en la lógica

proposicional se hicieron aún después de Frege, incluyendo Deducción Natural, Árboles de

la Verdad y Tablas de Verdad. La deducción natural fue inventada por Gerhard Gentzen y

Jan Lukasiewicz. Los árboles de la verdad fueron inventados por Evert Willem Beth. La

invención de las tablas de la verdad, sin embargo, es de atribución controvertida.

2.- ¿Qué es la Lógica Proposicional? La lógica proposicional es un sistema formal cuyos

elementos más simples representan proposiciones, y cuyas constantes lógicas,

llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de

formar otras proposiciones de mayor complejidad.

La lógica proposicional trata con sistemas lógicos que carecen de cuantificadores, o

variables interpretables como entidades. En lógica proposicional si bien no hay signos para

variables de tipo entidad, sí existen signos para variables proposicionales (es decir, que

pueden ser interpretadas como proposiciones con un valor de verdad definido), de ahí el
 nombre proposicional. La lógica proposicional incluye además de variables interpretables

como proposiciones simples signos para conectivas lógicas, por lo que dentro de este tipo

de lógica puede analizarse la inferencia lógica de proposiciones a partir de proposiciones,

pero sin tener en cuenta la estructura interna de las proposiciones más simples.

3.- Partes de la Lógica Proposicional:

3.1.- Enunciado.-

Un enunciado es toda frase, oración o expresión matemática que se emite. Algunos

enunciados indican expresiones imperativas, exclamativas, interrogativas; otros en

cambio pueden ser verdadero o falso.

Ejemplo 1. Son enunciados:

a) Prohibido fumar.

b) x2+y2≥9

c) Tribunal en Lima verá denuncias sobre Ancash

d) 4x – 1= – 5

e) ¿Qué hora es?

f) Ollanta Humala no es el presidente del Perú.

g) A boca cerrada no entra mosca

h) X + 4 = 6
 3.1.1.- Enunciado Abierto: Llamados también enunciados indefinidos, son

expresiones que contienen y que no tienen propiedad de ser verdaderos o falsos,

es decir no son proposiciones

Las expresiones que contienen la palabra “EL” y “ELLA”, también se

consideran como enunciado abierto.

Ejemplo 1. Son enunciados abiertos:

a) Él tiene 20 años d) X es múltiplo de 4

b) X < 9 e) Ella viaja a Lima

c) x2 + y2 = 25 f) X + 2 = 10

Nota: La x, y, z son cantidades no especificadas por lo tanto reciben el nombre

de variables indeterminadas.

3.2.- Proposición.-

Es toda expresión o enunciado que tiene la propiedad de ser verdadera o falsa

pero no ambas simultáneamente

Ejemplo 1. Son proposiciones:

a) Juan estudia Derecho en la ULADECH de Cañete

b) 2 + 5 = 8

c) Mario Vargas Llosa nació en Arequipa.

d) -4 + 3 = 7
 Nota: Generalmente a las proposiciones, se le denota por letras minúsculas tales

como: p, q, r, s, t,…

Así: p: Luis estudia medicina ; q: Lima es la capital del Perú

r: -33 = 32

4.- Clases de Proposiciones:

Existen dos clases de Proposiciones:

4.1.- Proposiciones Atómicas o Simples: Son aquellas que no se encuentran enlazadas

por un conectivo u operador lógico alguno.

Ejemplos:

 Los días sábados hay clase de lógica. ------ p

 El cuadrado tiene cinco lados. ------ q

 3 x 4 = 12 ------ r

 9 es múltiplo de 3 ------ s

4.2.- Proposiciones Moleculares o Compuestas: Son aquellas que contienen más de una

proposición y se encuentran enlazadas por conectivos u operadores

Ejemplos:

o María va de compras y Luis va al parque. ----- p  q

o Estudio para la prueba entonces apruebo la asignatura. ---- p q

o 12 - 5 ≠ 8 --- ~p
5.- Conectivos u Operadores Lógicos:

Los conectivos lógicos son símbolos que enlazan proposiciones simples o atómicas, sin

formar parte de ellas: estos símbolos también toman el nombre de operadores.

Los conectivos lógicos que usamos en matemática son:

LENGUAJE LENGUAJE NOMBRE DEL

COLOQUIAL SIMBÓLICO OPERADOR

no ~ La negación

y  La conjunción

o  La disyunción o inclusiva

La disyunción o exclusiva

Si ... entonces ...  La condicional

... sí y sólo sí ...  La bicondicional

6.- Elementos de la Lógica de Enunciados o Proposicional:

El lenguaje o vocabulario de la lógica proposicional o de enunciados consta de tres clases

de elementos o símbolos: variables, constantes y auxiliares.

6.1.- Variables.- son los símbolos que sustituyen las proposiciones o enunciados. Se llaman

variables porque su significado va cambiando en las diferentes argumentaciones o expresiones.

Se han acordado cinco variables o letras como

símbolos: p, q, r, s, t. Si hacen falta más variables, se recorre a subíndices:

Una variable como por ejemplo p puede simbolizar "La Tierra es un planeta" o "Todos los planetas

giran en torno al Sol" o cualquier otra proposición. Por ello, siempre es preciso indicar la

proposición que se simboliza con la variable. Así, p = La Tierra es un planeta.

6.2.- Constantes.- Constantes o conectores proposicionales son las partículas de

significado no variable que tienen la función de alterar, relacionar o conectar enunciados

atómicos haciéndolos complejos. Los más frecuentes son la negación, la conjunción, la

disyunción, el condicional y el bicondicional.

6.2.1.-Negación: ¬. (También: -, ~)

Representa la partícula lingüística no o cualquier otra partícula que

incluyan la idea de negación. Por ejemplo: no es el caso que, no pasa que, ni, etc.

También prefijos que indican esta idea como imposible.

Así, la formalización de "La luna no tiene satélites", será ~p; habiendo

definido "La luna tiene satélites" con la letra p.

6.2.2.- Conjunción:  . (También: ·, &)

Representa la partícula lingüística y o cualquier otra que indique la idea de unió,

como también, igualmente, pero.

Así, la formalización de "Marte tiene satélites y Júpiter también", considerando:

Marte tiene satélites = p y Júpiter tiene satélites = q será p  q

6.2.3.- Disyunción: 

Representa la partícula lingüística o. Es preciso advertir que esta partícula

tiene dos sentidos: un inclusivo y otro exclusivo. En sentido inclusivo equivale

a y/o, o sea, que incluye la verdad de los dos enunciados de la disyunción o bien
 sólo la de uno de los dos. El sentido exclusivo expresa la idea que la verdad de un

miembro es incompatible con la verdad del otro: o uno o el otro, pero no los dos. El

sentido inclusivo es lo que, en general, se adopta a lógica.

Así, la formalización de "Se aprende lógica escuchando a clase o

estudiando", siendo "Se aprende lógica escuchando a clase" = p y "Se aprende

lógica estudiando" = q, será p  q .

6.2.4.- Condicional:  (También: ‫)ﬤ‬

Representa las partículas lingüísticas si … entonces ... o cualquiera otros

que indiquen la idea de condición, como cuando … entonces... , entonces o una

simple "coma". La partícula entonces o equivalente separa el antecedente del

consecuente.

Así, la formalización de "Si llueve, entonces la tierra se moja", con p

simbolizando "Llueve" y q, "La tierra se moja", será p  q .

6.2.5.-Bicondicional:  . (También: ≡)

Representa las partículas lingüísticas si y sólo si … o cualquier otra

que indique doble condición, como equivale, cuando y sólo cuando, únicamente. Se

trata de una condición necesaria y suficiente.

Así, la formalización de "Es de noche si y sólo si se ha post el sol", con p

simbolizando "Es de noche" y q "Se ha post el sol", será p  q.

6.3.- Símbolos Auxiliares.- Símbolos auxiliares o paréntesis que no tienen ningún

significado lógico pero que se usan con el objetivo de clarificar la comprensión de los
 enunciados. Los símbolos auxiliares paréntesis ( ... ) y corchetes [ ... ] evitan ambigüedades

y facilitan la lectura.

Paréntesis y corchetes clarifican el siguiente enunciado molecular: "Si [(cantas y

bebes) o (bailas y comes)] entonces no puedes hacer ninguna de las cosas bien".

7.- Determinar el Valor de Verdad de Proposiciones Lógicas:

Para determinar el valor de verdad de una proposición, primero se expresa en el lenguaje

simbólico, luego se asigna el valor d verdad de la proposición simple, para luego operar con

los conectivos correspondientes hasta determinar el valor de verdad de la proposición

compuesta.

Resumen

p q pq p q pq pq pq

V V V V V V F

V F F V F F V

F V F V V F V

F F F F V V F

8. Tautologías, Contradicciones y Contingencias:

 Una expresión proposicional se llama tautología, si los valores de verdad de su operador principal son

verdaderos.

 Se llama contradicción o anti tautología, si los valores de verdad de su operador principal son todos

falsos.
  Se llama contingencia, cuando los valores de verdad hay valores verdaderos y falsos

9.- Práctica de Lógica Proposicional:

A) Traduciremos las siguientes oraciones a notación simbólica utilizando las letras asignadas y

los conectivos lógicos:

1 Está lloviendo y el Sol brillando

2 Si está lloviendo, entonces hay nubes en el cielo

3 Si no está lloviendo, entonces el Sol no está brillando y hay nubes en el cielo

4 El Sol está brillando si, y sólo si, no está lloviendo

5 Si no hay nubes en el cielo, entonces el Sol está brillando

5 O está lloviendo o el sol está brillando

10.- Relación entre Lógica y Derecho.

La relación entre derecho y lógica ha divergido en la historia. Las diferentes

tendencias filosóficas adoptadas por las Escuelas del Derecho, el progreso de la lógica y el

ambiguo uso de este último término, al cual se le han asignado concepciones y contenidos

múltiples, es el motivo por el cual la apreciación de su utilidad y aplicación al campo del

derecho ha sido cambiante. Por esto, es prudente aclarar las tres concepciones principales

sobre la relación entre derecho y lógica, a saber: la de los ius naturalistas modernos, la de

la jurisprudencia de los conceptos y la del formalismo neo kantiano.

El estudio del derecho conforme a los ius naturalistas modernos es semejante al estudio de

la geometría. Su percepción del derecho es la de un sistema deductivo que a partir de

principios naturales evidentes de la correcta actuación humana es posible inferir el resto de

las normas que rigen la conducta humana.

Esta concepción del derecho aparece en autores como Thomas Hobbes, quien en su obra

Leviatán, pretende construir una teoría racional y universal del derecho. Esta idea del

sistema jurídico como un sistema de reglas deducidas de algunos principios evidentes o

naturales o –con otras palabras- esta idea de un legislador racional y universal, llegó hasta

la época de la Ilustración. La idea misma de una codificación universal se inspiraba en el

modelo de un ordenamiento jurídico como sistema deductivo, cuyos caracteres especiales

deberían ser la unidad, la simplicidad, la integridad y la coherencia.

 Conclusión

 Una proposición es toda expresión que tiene la propiedad de ser verdadero o falso

 Los enunciados abiertos son expresiones que no tiene la propiedad de ser verdadero o

falsos, a menos que especifiquemos un valor determinado como es el caso para las

funciones proposicionales.

 Los conectores lógicos son aquellos símbolos que enlazan dos o más proposiciones

simples. Tenemos LA CONJUNCIÓN, LA DISYUNCIÓN, LA CONDICIONAL Y LA

BICONDICIONAL.

 Dado el condicional p q llamado directo, en conexión con él se presentan:

o La proposición recíproca q  p

o La proposición inversa ~p  ~q

o La proposición contra reciproca ~q  ~p

 La bicondicional es la conjunción de la de la proposición condicional con su recíproco.

 Dos proposiciones son equivalentes, cuando el resultado de sus tablas de verdad son

iguales. El bicondicional de dos esquemas equivalentes es una tautología.

 Una expresión se llama tautología, si los valores de verdad del operador principal son

todos verdaderos
 Bibliografía

Página Web:

 ARRAIZ, G. (10 de Julio de 2009). Lógica Proposicional: Clases de Proposiciones... Obtenido de

Lógica Proposicional: Clases de Proposiciones...:

http://lgicaproposicional.blogspot.com/2009/07/clases-de-proposiciones.html

 WIKIPEDIA "LA ENCICLOPEDIA LIBRE". (13 de Julio de 2018). Lógica proposicional - Wikipedia, la

enciclopedia libre. Obtenido de Lógica proposicional - Wikipedia, la enciclopedia libre:

https://es.wikipedia.org/wiki/L%C3%B3gica_proposicional

 blogspot.com/ CORPORATION. (20 de JULIO de 2015). enunciado, enunciado abierto y

proposiciones - matematica lógica ... Obtenido de enunciado, enunciado abierto y

proposiciones - matematica lógica ...:

https://logicaproposicionaleyes.blogspot.com/p/enunciado-enunciado-abierto-y.html
 GOMEZ OROSCO, E. (08 de MAYO de 2011). Logica y conjuntos - Slideshare. Obtenido

de Logica y conjuntos - Slideshare: https://es.slideshare.net/ElisaGomezOrosco/logica-y-

conjuntos-7888366

 XTEC - COM - CORPORATION. (16 de AGOSTO de 2016). Lógica de enunciados o

proposicional: formalización - Xtec. Obtenido de Lógica de enunciados o proposicional:

formalización - Xtec: www.xtec.cat/~lvallmaj/passeig/enunfor2.htm

 VELASQUEZ ESPINOZA, J. (08 de MARZO de 2010). LóGica Proposicional - Slideshare. Obtenido de

LóGica Proposicional - Slideshare: https://es.slideshare.net/jve18/lgica-proposicional-3371398