UNIVERSIDAD PERUANA

“SANTO TOMAS DE AQUINO”

CIENCIA E INTREGAION

CARRERA PROFESIONAL:

INGENIERIA CIVIL

INFORME TECNICO DE INVESTIGACION

“ LÓGICA PROPOSICIONAL ”

Presentado por:

Bejarano Abregú, Edwin César

1
2015

2
 INDICE

INDICE..........................................................................................................................................................1
DEDICATORIA.............................................................................................................................................2
INTRODUCCIÓN.......................................................................................................................................3
LÓGICA PROPOSICIONAL.....................................................................................................................4
1. LOGICA...........................................................................................................................................4
1.1. CONECTIVAS LÓGICAS..............................................................................................................4
1.2. LEYES NOTABLES EN LÓGICA................................................................................................5
1.3. LÍMITES DE LA LÓGICA PROPOSICIONAL..........................................................................5
2. DOS SISTEMAS FORMALES DE LÓGICA PROPOSICIONAL............................................6
2.1. SISTEMA AXIOMÁTICO..............................................................................................................6
2.2. DEDUCCIÓN NATURAL..............................................................................................................8
3. FORMAS DE ARGUMENTOS BÁSICOS Y DERIVADOS.......................................................9
4. LENGUAJE FORMAL EN LA NOTACIÓN BNF.....................................................................11
5. SEMÁNTICA.................................................................................................................................12
a. Tablas de verdad............................................................................................................................12
6. FORMAS NORMALES................................................................................................................12
7. LA LÓGICA PROPOSICIONAL Y LA COMPUTACIÓN.......................................................13
8. ARISTÓTELES CON RESPECTO AL ESTUDIO DE LA LÓGICA......................................13
BIBLIOGRAFÍA.......................................................................................................................................14

3
DEDICATORIA

Esta investigación que eh realizado se lo dedico a los

ingenieros que se encuentran prestando su servicio de
enseñar a los alumnos de la Universidad Peruana SANTO
TOMAS DE AQUINO de Ciencias e Integración. Quienes
gracias a sus enseñanzas y sus sabios consejos, nos
inspiran para poder aprender un poco más y seguir
estudiando, ya que el aprendizaje nunca termina.

A todos ellos mi gratitud eterna, por la enseñanzas que

nos permitirán aprenden cada día más haciendo que forje
mi alma y mis metas que me pondrá la vida en el futuro.

2
 INTRODUCCIÓN

Es un argumento válido. Quiere decir que es imposible que las premisas sean verdaderas y la conclusión
falsa. Esto no quiere decir que la conclusión sea verdadera. Si las premisas son falsas, entonces la
conclusión también podría serlo. Pero si las premisas son verdaderas, entonces la conclusión también lo
es. La validez de este argumento no se debe al significado de las expresiones «mañana es miércoles» y
«mañana es jueves», porque

Las expresiones de las que depende la validez de los argumentos se llaman constantes lógicas. La lógica
proposicional estudia el comportamiento de algunas de estas expresiones, llamadas conectivas lógicas. En
cuanto a las expresiones como "está nublado" o "mañana es jueves", lo único que importa de ellas es que
tengan un valor de verdad. Es por esto que se las reemplaza por simples letras, cuya intención es
simbolizar una expresión con valor de verdad cualquiera. A estas letras se las llama variables
proposicionales, y en general se toman del alfabeto latino, empezando por la letra p, luego q, r, s, etc. Así,
los dos primeros argumentos de esta sección podrían reescribirse así:

3
 LÓGICA PROPOSICIONAL

1. LOGICA

La lógica proposicional o lógica de orden cero es un sistema formal cuyos elementos más simples
representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, 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 de 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.

1.1. CONECTIVAS LÓGICAS

Artículo principal: Conectiva lógica

A continuación hay una tabla que despliega todas las conectivas lógicas que ocupan a la lógica
proposicional, incluyendo ejemplos de su uso en el lenguaje natural y los símbolos que se utilizan para
representarlas en lenguaje formal.

Conectiva Expresión en Ejemplo Símbolo Símbolos

el en alternativos
lenguaje este
natural artículo
Negación no No está lloviendo.
Conjunción y Está lloviendo y está nublado.
Disyunción o Está lloviendo o está soleado.
Condicional si... entonces Si está soleado, entonces es de
material día.
Bicondicional si y sólo si Está nublado si y sólo si hay
nubes visibles.

4
 Negación ni... ni Ni está soleado ni está nublado.
conjunta
Disyunción o bien... o bien O bien está soleado, o bien está
excluyente nublado.

El significado de las conectivas lógicas no es nada más que su comportamiento como funciones de
verdad. Cada conectiva lógica se distingue de las otras por los valores de verdad que devuelve frente a las
distintas combinaciones de valores de verdad que puede recibir. Esto quiere decir que el significado de
cada conectiva lógica puede ilustrarse mediante una tabla que despliegue los valores de verdad que la
función devuelve frente a todas las combinaciones posibles de valores de verdad que puede recibir.

Negación Conjunción Disyunción Condicional Bicondicional Disyunción excluyente

1.2. LEYES NOTABLES EN LÓGICA

Entre las reglas de la lógica proposicional clásica algunas de la más notables son listadas a continuación:

1. Ley de doble negación

2. Leyes de idempotencia

3. Leyes asociativas

4. Leyes conmutativas

5. Leyes distributivas

6. Leyes de De Morgan

Otras leyes como el principio del tercero excluido son admisibles en lógica clásica, pero en lógica
intuicionista y con fines a sus aplicaciones matemáticas no existe un equivalente del tercero excluido, por
ejemplo.

1.3. LÍMITES DE LA LÓGICA PROPOSICIONAL

La maquinaria de la lógica proposicional permite formalizar y teorizar sobre la validez de una gran
cantidad de argumentos. Sin embargo, también existen argumentos que son intuitivamente válidos, pero

5
cuya validez no puede ser probada por la lógica proposicional. Por ejemplo, considérese el siguiente
argumento:

1. Todos los hombres son mortales.

2. Sócrates es un hombre.

3. Por lo tanto, Sócrates es mortal.

Como este argumento no contiene ninguna de las conectivas «no», «y», «o», etc., según la lógica
proposicional, su formalización será la siguiente:

1. p

2. q

3. Por lo tanto, r

2. DOS SISTEMAS FORMALES DE LÓGICA PROPOSICIONAL

A continuación se presentan dos sistemas formales estándar para la lógica proposicional. El primero es un
sistema axiomático simple, y el segundo es un sistema sin axiomas, de deducción natural.

2.1. SISTEMA AXIOMÁTICO

a) Alfabeto

El alfabeto de un sistema formal es el conjunto de símbolos que pertenecen al lenguaje del sistema. Si L
es el nombre de este sistema axiomático de lógica proposicional, entonces el alfabeto de L consiste en:

 Una cantidad finita pero arbitrariamente grande de variables proposicionales. En general se las
toma del alfabeto latino, empezando por la letra p, luego q, r, etc., y utilizando subíndices cuando
es necesario o conveniente. Las variables proposicionales representan proposiciones como "está
lloviendo" o "los metales se expanden con el calor".

 Un conjunto de operadores lógicos:

 Dos signos de puntuación: los paréntesis izquierdo y derecho. Su única función es desambiguar
ciertas expresiones ambiguas, en exactamente el mismo sentido en que desambiguan la expresión
2 + 2 ÷ 2, que puede significar tanto (2 + 2) ÷ 2, como 2 + (2 ÷ 2).

b) Gramática

Una vez definido el alfabeto, el siguiente paso es determinar qué combinaciones de símbolos pertenecen
al lenguaje del sistema. Esto se logra mediante una gramática formal. La misma consiste en un conjunto
de reglas que definen recursivamente las cadenas de caracteres que pertenecen al lenguaje. A las cadenas

6
de caracteres construidas según estas reglas se las llama fórmulas bien formadas. Las reglas del sistema L
son:

1. Las variables proposicionales del alfabeto de L son fórmulas bien formadas.

2. Si es una fórmula bien formada de L, entonces también lo es.

3. Si y son fórmulas bien formadas de L, entonces , , y

también lo son.

4. Sólo las expresiones que pueden ser generadas mediante las cláusulas 1 a 3 en un número finito
de pasos son fórmulas bien formadas de L.

Fórmula Error Corrección

Sobran paréntesis
Sobran paréntesis
Sobran paréntesis
Faltan paréntesis
Faltan paréntesis

Otra convención acerca del uso de los paréntesis es que las conjunciones y las disyunciones tienen
«menor jerarquía» que los condicionales materiales y los bicondicionales. Esto significa que dada una
fórmula sin paréntesis, las conjunciones y las disyunciones deben agruparse antes que los condicionales
materiales y los bicondicionales. Por ejemplo:

Fórmula Lectura correcta Lectura incorrecta

Estas convenciones son análogas a las que existen en el álgebra elemental, donde la multiplicación y la
división siempre deben resolverse antes que la suma y la resta. Así por ejemplo, la ecuación 2 + 2 × 2
podría interpretarse como (2 + 2) × 2 o como 2 + (2 × 2). En el primer caso el resultado sería 8, y en el
segundo caso sería 6. Pero como la multiplicación siempre debe resolverse antes que la suma, el resultado
correcto en este caso es 6, no 8.

c) Axiomas

Los axiomas de un sistema formal son un conjunto de fórmulas bien formadas que se toman como punto
de partida para demostraciones ulteriores. Un conjunto de axiomas estándar es el que descubrió Jan
Łukasiewicz:

7
 

d) Reglas de inferencia

Una regla de inferencia es una función que va de conjuntos de fórmulas a fórmulas. Al conjunto de
fórmulas que la función toma como argumento se lo llama premisas, mientras que a la fórmula que
devuelve como valor se la llama conclusión. En general se busca que las reglas de inferencia transmitan la
verdad de las premisas a la conclusión. Es decir, que sea imposible que las premisas sean verdaderas y la
conclusión falsa. En el caso de L, la única regla de inferencia es el modus ponens, el cual dice:

Recordando que y no son fórmulas, sino metavariables que pueden ser reemplazadas por cualquier
fórmula bien formada.

2.2. DEDUCCIÓN NATURAL

Artículo principal: Deducción natural

Un sistema de lógica proposicional también puede construirse a partir de un conjunto vacío de axiomas.
Para ello se especifican una serie de reglas de inferencia que intentan capturar el modo en que
naturalmente razonamos acerca de las conectivas lógicas.

Introducción de la negación

De y , se infiere .

Esto es, .
Eliminación de la negación

De , se infiere .

Esto es, .
Eliminación de la doble negación
De , se infiere .

Esto es, .
Introducción de la conjunción

De y , se infiere .

Esto es, .
Eliminación de la conjunción

8
 De , se infiere .

De , se infiere .

Esto es, y .
Introducción de la disyunción

De , se infiere .

Esto es, y .
Eliminación de la disyunción

De y y , se infiere .

Esto es, .
Introducción del bicondicional

De y , se infiere .

Esto es, .
Eliminación del bicondicional

De , se infiere .

De , se infiere .

Esto es, y .
Modus ponens (eliminación del condicional)

De y , se infiere .

Esto es, .
Prueba condicional (introducción del condicional)

De [aceptando que permite una prueba de ], se infiere .

Esto es, .

3. FORMAS DE ARGUMENTOS BÁSICOS Y DERIVADOS

Formas de Argumentos Básicas y Derivadas

Nombre Consecuente Descripción
Modus ponens Si entonces ; ; por lo tanto
Modus tollens Si entonces ; no ; por lo tanto no
Silogismo Si entonces ; si entonces ; por lo
Hipotético tanto, si entonces
Silogismo Either o , o both; no ; por lo tanto,
Disyuntivo
Dilema Si entonces ; y si entonces ; pero o
Constructivo ; por lo tanto o

9
Dilema Si entonces ; y si entonces ; pero no
Destructivo o no ; por lo tanto no o no
Dilema Si entonces ; y si entonces ; but o no
Bidireccional ; por lo tanto o no
Simplificación y son verdaderos; por lo tanto es
verdadero
Conjunción y son verdaderos separadamente;
entonces son verdaderos conjuntamente.
Adición es verdadero; por lo tanto la disyunción (
o ) es verdadera
Composición Si entonces ; y si entonces ; por lo
tanto si es verdadero entonces y son
verdaderos
Teorema de De La negación de ( y ) es equiv. a (no o
Morgan (1) no )
Teorema de De La negación de ( o ) es equiv. a (no y
Morgan (2) no )
Conmutación ( o ) es equiv. a ( o )
(1)
Conmutación ( y ) es equiv. a ( y )
(2)
Conmutación ( es equiv. a ) es equiv. a ( es equiv. a
(3) )
Asociación (1) o ( o ) es equiv. a ( o )o
Asociación (2) y ( y ) es equiv. a ( y )y
Distribución (1) y ( o ) es equiv. a ( y )o( y )
Distribución (2) o ( y ) es equiv. a ( o )y( o )
Doble Negación es equivalente a la negación de no
Transposición Si entonces es equiv. a si no entonces
no
Implicación Si entonces es equiv. a no o
material
Equivalencia ( si y solo si ) es equiv. a (si es
material (1) verdadero entonces es verdadero) y (si es
verdadero entonces es verdadero)
Equivalencia ( si ) es equiv. a cualquiera de los dos (
material (2) y son verdaderos) o (tanto como son
falsos)
Equivalencia ( si ) es equiv to., tanto ( como no son
material (3) verdaderos) y (no o es verdadero)
Exportación3 desde (si y son verdaderos, entonces es
verdadero) se puede probar que (si es
verdadero entonces es verdadero, si es

10
 verdadero)
Importación Si entonces (si entonces ) es
equivalente a si y entonces
Tautología (1) es verdadero es equiv. a es verdadero o
es verdadero
Tautología (2) es verdadero es equiv. a es verdadero y
es verdadero
Tertium non o no es verdadero
datur (Ley de
Tercero
Excluido)
Principio de no y no es falso, es un testamento verdadero
contradicción

4. LENGUAJE FORMAL EN LA NOTACIÓN BNF

El lenguaje formal de la lógica proposicional se puede generar con la gramática formal descrita usando la
notación BNF como sigue:

La gramática anterior define la precedencia de operadores de la siguiente manera:

1. Negación ( )

2. Conjunción ( )

3. Disyunción ( )

4. Condicional material ( )

5. Bicondicional ( )

5. SEMÁNTICA

Una interpretación para un sistema de lógica proposicional es una asignación de valores de verdad para
cada variable proposicional, sumada a la asignación usual de significados para los operadores lógicos. A
cada variable proposicional se le asigna uno de dos posibles valores de verdad: o V (verdadero) o F
(falso). Esto quiere decir que si hay n variables proposicionales en el sistema, el número de
interpretaciones distintas es de 2n.

11
a. Tablas de verdad

Artículo principal: Tablas de verdad

La tabla de verdad de una fórmula es una tabla en la que se presentan todas las posibles interpretaciones
de las variables proposicionales que constituye la fórmula y el valor de verdad de la fórmula completa

para cada interpretación. Por ejemplo, la tabla de verdad para la fórmula

sería:

6. FORMAS NORMALES

A menudo es necesario transformar una fórmula en otra, sobre todo transformar una fórmula a su forma
normal. Esto se consigue transformando la fórmula en otra equivalente y repitiendo el proceso hasta

conseguir una fórmula que sólo use los conectivos básicos ( ). Para lograr esto se utilizan las
equivalencias lógicas:

Por ejemplo, considérese la siguiente fórmula:

La misma puede desarrollarse así:

Se dice que una fórmula está en forma normal disyuntiva (FND) si y sólo si tiene la siguiente forma:

Donde cada A es una conjunción de fórmulas. Por ejemplo, la siguiente fórmula está en forma normal
disyuntiva:

Se dice que una fórmula está en forma normal conjuntiva (FNC) si y sólo si tiene la siguiente forma:

12
Donde cada A es una disyunción de fórmulas. Por ejemplo, la siguiente fórmula está en forma normal
conjuntiva:

Por las leyes de De Morgan, es posible pasar de una forma normal disyuntiva a una forma normal
conjuntiva y viceversa:

Las FNC y FND son mutuamente duales. La demostración hace uso de las leyes de De Morgan y de la
propiedad distributiva de la conjunción y la disyunción. Se debe cumplir que:

Y viceversa:

7. LA LÓGICA PROPOSICIONAL Y LA COMPUTACIÓN

Debido a que los computadores trabajan con información binaria, la herramienta matemática adecuada
para el análisis y diseño de su funcionamiento es el Álgebra de Boole. El Álgebra de Boole fue
desarrollada inicialmente para el estudio de la lógica. Ha sido a partir de 1938, fecha en que Claude
Shannon publicó un libro llamado "Análisis simbólico de circuitos con relés", estableciendo los primeros
conceptos de la actual teoría de la conmutación, cuando se ha producido un aumento considerable en el
número de trabajos de aplicación del Álgebra de Boole a los computadores digitales. Hoy en día, esta
herramienta resulta fundamental para el desarrollo de los computadores ya que, con su ayuda, el análisis y
síntesis de combinaciones complejas de circuitos lógicos puede realizarse con rapidez.

8. ARISTÓTELES CON RESPECTO AL ESTUDIO DE LA LÓGICA

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 pues ser 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 Organon, 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.

13
 BIBLIOGRAFÍA

 Enderton, H. B. (1972). A Mathematical Introduction to Logic. Academic Press.

 Hamilton, A. G. (1981). Lógica para matemáticos. Paraningo.

 Mendelson, E. (1997). Introduction to Mathematical Logic (4ª edición). Chapman and May.

14
 Pla, J. (1991). Lliçons de lógica matemática. P.P.U.

 Badesa, C.; Jané, I.; Jansana, R. (1998). Elementos de lógica formal. Ariel.

 Barnes, D. W.; Mack, J. M. (1978). Una introducción algebraica a la lógica matemática. Eunibar.

 Bridge, J. (1977). Beginning Model Theory. Oxford University Pres.

 Ershov, Y.; Paliutin, E. (1990). Lógica matemática. Mir.

 Hofstadter, D. (1987). Gödel, Escher, Bach: un Eterno y Grácil Bucle. Tusquets Editores.

 Jané, I. (1989). Álgebras de Boole y lógica. Publicaciones U.B.

 Monk, J. D. (1976). Mathematical Logic. Springer-Verlag.

 Nidditch, P. H. (1978). El desarrollo de la lógica matemática. Cátedra.

 Van Dalen, D. (1983). Logic and Structure (2ª edición). Universitext, Springer-Verlag.

15