UNIVERSIDAD ANDINA DEL CUSCO

FACULTAD DE CIENCIAS Y HUMANIDADES

ESCUELA PROFESIONAL DE
TURISMO

TEMA:
LOGICA PROPORCIONAL

ALUMNO : SANDRA ELIZABETH TACURY H.

ASIGNATURA : MATEMÁTICA BASICA

DOCENTE : ALMANZA HUALLPA DANY JAVIER

CUSCO – PERÚ

2018
 INDICE
INTRODUCCIÓN ............................................................................................... 3

LOGICA PROPORCIONAL

1. Concepto ........................................................................................................ 4

1.1. Conectivos Lógicos ................................................................................. 4

1.2. Tablas de Verdad .................................................................................... 5

1.2.1. Verdadero ............................................................................................ 6

1.2.2. Falso .................................................................................................... 6

1.2.3. Variable ................................................................................................ 6

1.2.4. Negación .............................................................................................. 6

1.2.5. Conjunción ........................................................................................... 7

1.2.6. Disyunción............................................................................................ 7

1.2.7. Implicación o Condicional ......................................................................... 8

2. Equivalencia o Bicondicional ................................................................... 8

2.1. Inferencias ............................................................................................ 8

2.2. Inferencia lógica .................................................................................... 9

2.3. Inferencias inmediatas .......................................................................... 9

2.4. En la lógica actual ............................................................................... 10

 INTRODUCCIÓN

La lógica proposicional o lógica de orden cero es la rama de la lógica

matemática que estudia proposiciones, afirmaciones u oraciones, los métodos
de vincularlas mediante conectores lógicos y las relaciones y propiedades que
se derivan de esos procedimientos. Es una herramienta útil para razonar, pero
no puede resolver problemas que requieren analizar la estructura interna de las
proposiciones o de las relaciones entre ellas. Este tipo de lógica considera las
proposiciones como elementos atómicos y no tiene cuantificadores o variables
de entidad.

En este proyecto de aprendizaje estudiaremos sus componentes, las formas en

las que se combinan y diferentes métodos para realizar demostraciones
básicas. En particular nos enfocaremos en un tipo específico de lógica
proposicional donde los valores de verdad de las expresiones se puede
determinar exclusivamente a partir de los valores de verdad de sus
componentes y donde cada proposición puede tener únicamente dos valores
posibles: verdadero o falso, pero no otros valores y solamente uno de ellos (las
proposiciones no pueden ser falsas y verdaderas al mismo tiempo).
 LOGICA PROPORCIONAL

1. Concepto

Es la parte de la lógica que estudia la formación de proposiciones complejas

a partir de proposiciones simples, y la inferencia de proposiciones a partir
de proposiciones, pero sin tener en cuenta la estructura interna de las
proposiciones más simples.

Una lógica proposicional 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.

1.1. Conectivos Lógicos

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.

CONECTIVA EXPRESIÓN EN EJEMPLO SÍMBOLO EN SÍMBOLOS

EL ESTE ALTERNATIVOS
LENGUAJE ARTÍCULO
NATURAL

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

material de día.

Bicondicional si y sólo si Está nublado si y sólo si hay

nubes visibles.

Negación ni… ni Ni está soleado ni está

conjunta nublado.

Disyunción o bien… o bien O bien está soleado, o

excluyente bien está nublado.
 En la lógica proposicional, las conectivas lógicas son tratados como
funciones de verdad. Es decir, como funciones que toman conjuntos de
valores de verdad y devuelven valores de verdad. Por ejemplo, la
conectiva lógica no es una función que si toma el valor de verdad V,
devuelve F, y si toma el valor de verdad F, devuelve V. Por lo tanto, si se
aplica la función no a una letra que represente una proposición falsa, el
resultado será algo verdadero. Si es falso que «está lloviendo»,
entonces será verdadero que «no está lloviendo».

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

1.2. Tablas de Verdad

Para establecer un Sistema formal se establecen las definiciones de los

operadores. Las definiciones se harán en función del fin que se pretenda
al construir el sistema que haga posible la formalización de argumentos:

 Como razonamientos deductivos lógico-lingüísticos

 Como construcción de un sistema matemático puro
  Como una aplicación lógica en un Circuito de conmutación.

1.2.1. Verdadero

El valor verdadero se representa con la letra V, si se emplea

notación numérica se expresa con un uno: 1, en un circuito
eléctrico, el circuito esta cerrado.

1.2.2. Falso

El valor falso se representa con la letra F, si se emplea notación

numérica se expresa con un cero: 0, en un circuito eléctrico, el
circuito está abierto.

1.2.3. Variable

Para una variable lógica A, B, C, … que pueden ser verdaderas V, o

falsas F, los operadores fundamentales se definen así:

1.2.4. Negación

La negación es un operador que se ejecuta, sobre un único valor de

verdad, devolviendo el valor contradictorio de la proposición
considerada.
1.2.5. Conjunción

La conjunción es un operador que opera sobre dos valores de

verdad, típicamente los valores de verdad de dos proposiciones,
devolviendo el valor de verdad verdadero cuando ambas
proposiciones son verdaderas, y falso en cualquier otro caso. Es
decir es verdadera cuando ambas son verdaderas.

La tabla de verdad de la conjunción es la siguiente:

1.2.6. Disyunción

La disyunción es un operador que opera sobre dos valores de

verdad, típicamente los valores de verdad de dos proposiciones,
devolviendo el valor de verdad verdadero cuando una de las
proposiciones es verdadera, o cuando ambas lo son, y falso cuando
ambas son falsas.
 1.2.7. Implicación o Condicional

El condicional material es un operador que opera sobre dos valores

de verdad, típicamente los valores de verdad de dos proposiciones,
devolviendo el valor de verdad falso sólo cuando la primera
proposición es verdadera y la segunda falsa, yverdadero en
cualquier otro caso.

2. Equivalencia o Bicondicional

El bicondicional o doble implicación es un operador que funciona sobre dos

valores de verdad, típicamente los valores de verdad de dos proposiciones,
devolviendo el valor de verdad verdadero cuando ambas proposiciones
tienen el mismo valor de verdad, y falso cuando sus valores de verdad
diferente.

2.1. Inferencias

Una inferencia es una evaluación que realiza la mente entre expresiones

bien formadas de un lenguaje (EBF) que, al ser relacionadas
intelectualmente como abstracción, permiten trazar una línea lógica de
condición o implicación lógica entre las diferentes EBF. De esta forma,
partiendo de la verdad o falsedad posible (como hipótesis) o conocida
 (como argumento) de alguna o algunas de ellas, puede deducirse la
verdad o falsedad de alguna o algunas de las otras EBF.

2.2. Inferencia lógica

En la lógica tradicional

En la lógica tradicional, llamada aristotélica, la forma esencial de

inferencia es una forma de razonamiento deductivo. No obstante se
reconocían algunas inferencias directas o inmediatas.

2.3. Inferencias inmediatas

La filosofía tradicional aristotélica consideraba la posibilidad de

inferencias inmediatas: aquellas que pueden obtenerse directamente a
partir de la relación que establece un juicio7 respecto a los términos,
sujeto y predicado, que le constituyen, en función de la cualidad
(afirmativo-negativo) y la cantidad (universal-particular) del mismo.

Aristóteles estudió con detalle ciertas operaciones que permitían tales

inferencias inmediatas o directas. Para ello elaboró el llamado cuadro de
oposición de los juicios, en el que dadas las relaciones que cada juicio
aristotélico, A,E,I,O, lleva implícitas se pueden establecer ciertas
inferencias directas.

Asimismo en la lógica tradicional se admitían ciertas operaciones lógicas

de transformación de un juicio manteniendo sus condiciones de verdad.
Tales operaciones eran:

 Conversión lógica
 Obversión lógica
 Contraposición lógica
 Inversión lógica

La lógica tradicional aristotélica no resuelve del todo bien los problemas

que surgen de los juicios negativos por lo que este tipo de operaciones
 lógicas se prestan a argumentaciones que producen resultados
aberrantes.8

La lógica actual formaliza los enunciados lingüísticos bien como relación

de clases o como funciones proposicionales o relaciones.9 Hoy se exige
el rigor formal de la aplicación de una regla de inferencia.10 La idea de
inferencia inmediata no es más que la aplicación de una regla modo
implícito. La formalidad lógica, sin embargo, exige que sea explícita la
regla que permite la transformación de una EBF.

2.4. En la lógica actual

Se llama inferencia lógica a la aplicación de una regla de transformación

que permite transformar una fórmula o expresión bien formada (EBF) de
un sistema formal en otra EBF como teorema del mismo sistema. Ambas
expresiones se relacionan mediante una relación de equivalencia, es
decir, que ambas tienen los mismos valores de verdad o, dicho de otra
forma, la verdad de una complica la verdad de la otra.

podría ser transformada en:

donde ; y .