“LÓGICA PROPOSICIONAL”
CURSO : MATEMÁTICA Y LÓGICA
INTEGRANTES :
FACULTAD : DERECHO
CICLO :I
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
Cuando la conclusión se deduce correctamente del conjunto de premisas se dice que la inferencia
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
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.
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
Partiendo de que corresponde a Aristóteles haber sido el primero en tratar con todo detalle
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
verdadero, es decir, que tiene una validez universal. Aristóteles encuentra el fundamento de
de algo universal. La forma en que se afecta esa derivación es el silogismo, por cuya razón
sido insinuada por los filósofos anteriores, fue desarrollada en una lógica formal por
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
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
anterior. Un autor describe esta lógica como la combinación de los rasgos distintivos de la
comienzo de una nueva era en la historia de la lógica; sin embargo, los avances en la lógica
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
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
pero sin tener en cuenta la estructura interna de las proposiciones más simples.
3.1.- Enunciado.-
a) Prohibido fumar.
b) x2+y2≥9
d) 4x – 1= – 5
h) X + 4 = 6
3.1.1.- Enunciado Abierto: Llamados también enunciados indefinidos, son
c) x2 + y2 = 25 f) X + 2 = 10
de variables indeterminadas.
3.2.- Proposición.-
b) 2 + 5 = 8
d) -4 + 3 = 7
Nota: Generalmente a las proposiciones, se le denota por letras minúsculas tales
como: p, q, r, s, t,…
r: -33 = 32
Ejemplos:
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
Ejemplos:
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
no ~ La negación
y La conjunción
o La disyunción o inclusiva
La disyunción o exclusiva
6.1.- Variables.- son los símbolos que sustituyen las proposiciones o enunciados. Se llaman
giran en torno al Sol" o cualquier otra proposición. Por ello, siempre es preciso indicar la
6.2.1.-Negación: ¬. (También: -, ~)
incluyan la idea de negación. Por ejemplo: no es el caso que, no pasa que, ni, etc.
6.2.3.- Disyunción:
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
consecuente.
6.2.5.-Bicondicional: . (También: ≡)
que indique doble condición, como equivale, cuando y sólo cuando, únicamente. Se
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.
bebes) o (bailas y comes)] entonces no puedes hacer ninguna de las cosas bien".
simbólico, luego se asigna el valor d verdad de la proposición simple, para luego operar con
compuesta.
Resumen
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
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
A) Traduciremos las siguientes oraciones a notación simbólica utilizando las letras asignadas y
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
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
El estudio del derecho conforme a los ius naturalistas modernos es semejante al estudio de
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
naturales o –con otras palabras- esta idea de un legislador racional y universal, llegó hasta
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
BICONDICIONAL.
o La proposición recíproca q p
o La proposición inversa ~p ~q
Dos proposiciones son equivalentes, cuando el resultado de sus tablas de verdad son
Una expresión se llama tautología, si los valores de verdad del operador principal son
todos verdaderos
Bibliografía
Página Web:
http://lgicaproposicional.blogspot.com/2009/07/clases-de-proposiciones.html
WIKIPEDIA "LA ENCICLOPEDIA LIBRE". (13 de Julio de 2018). Lógica proposicional - Wikipedia, la
https://es.wikipedia.org/wiki/L%C3%B3gica_proposicional
https://logicaproposicionaleyes.blogspot.com/p/enunciado-enunciado-abierto-y.html
GOMEZ OROSCO, E. (08 de MAYO de 2011). Logica y conjuntos - Slideshare. Obtenido
conjuntos-7888366