DARVIN AMASIFUEN SANGAMA

Lógica proposicional
Objetivos
 Conoce las reglas que asume el proceso de pensamiento
que refleja la. realidad
 Valorar la importancia de la lógica en las demostraciones
matemáticas.
 Determinar el cálculo proposicional para analizar la
verdad o falsedad de las proposiciones compuestas

INTRODUCCION
¿Qué es la lógica?
Si un vaso cae al piso, es lógico que se quiebre.
Si estudio con bastante dedicación, es lógico que apruebe el
examen.
La lógica se ocupa, justamente, de determinar qué es lo que
hace que un razonamiento sea correcto o no lo sea.
La lógica nace en Grecia antigua, en el sexto siglo. Con tales el
primer matemático de la historia, pero paso algún tiempo antes
de que Aristóteles inicie su sistematización y otro tiempo mayor
aun para que asuma el aspecto moderno de la ciencia.
Actualmente aparece como una ciencia rigurosa con un lenguaje
técnico elaborado y preciso.
En los últimos tiempos se ha escuchado hablar de la inteligencia
artificial, la cual se basa en la lógica difusa; veamos a
continuación de que se trata. Los conjuntos difusos fueron
introducidos por primera vez en 1963.
En 1994 la teoría de la lógica difusa se encontraba en la cumbre
pero no era nueva para muchas. La lógica difusa duro durante
25 años pero sus orígenes se remontan hace 2500 años.
La idea de lógica produce contradicciones fue popularizado por
el filósofo y matemático británico Bertrand Russell, a principios
del siglo xx.
Es así que la lógica difusa es un tipo de lógica que reconoce
más que simples valores verdaderos y falsos. Con la lógica
difusa las proposiciones pueden ser representadas con grados
de veracidad o falsedad.
En primer término, consideramos un lenguaje como un conjunto
de sonidos, letras, gestos y sonidos los cuales se transmite un
mensaje oral o escrito.
El segundo término, el juicio es de acto mental por el cual
pensamos cualquier enunciado. En el tercer término, una
sentencia es una serie de signos a través de los cuales se
expresan ideas. Finalmente en cuatro términos denominaremos
enunciado a la expresión de una idea, esto es cualquier frase
expresión u oración que nos exprese uno o más ideas. De esta
manera los enunciados pueden ser de dos tipos atómicos y
moleculares.

ENUNCIADO ATOMICO
Es aquel que carece de conjunciones.
Ejemplos:
 Pedro es ingeniero industrial
 La economía peruana es independiente

ENUNCIADO MOLECULAR
Se obtiene combinando enunciados atómicos mediante
conjunciones.
Ejemplos
  Antonio es un buen estudiante y la guitarra de Mariela es
pequeña
 Cuando Antonio es un buen estudiante su madre está
contenta.

QUE ES UNA PROPOSICIÓN

Las proposiciones son pensamientos en los que se afirma algo y
que se expresan, mediante enunciados u oraciones declarativas.
Nuestro lenguaje está formado por enunciados aunque no todos
ellos son proposiciones.
Ejemplo
 El sol es una estrella
 El perro es un animal herbívoro
 ¿Qué hora es?
 ¡ojala no te equivoques!
 A es una figura geométrica
 Él es un escritor peruano
PROPOSICIONES SIMPLES Y COMPUESTAS

 El perro es un animal mamífero

 El perro es un animal carnívoro
 El perro tiene respiración pulmonar
 El perro es un animal mamífero y carnívoro
 El perro es un animal mamífero o carnívoro
 Si el perro es un animal mamífero, entonces tiene
respiración pulmonar.
 El perro tendrá respiración pulmonar, si y solo si es un
mamífero
Donde las tres primeras tienen un solo significado y carecen de
conjunciones gramaticales, se los denomina simples o atómicas.
En cambio a partir de la cuarta proposición se observa que han
sido compuesta con los tres primeros utilizados las conjunciones
gramaticales y, o, si…entonces, y si… y solo sí.

PROPOSICIÓN SIMPLE O ATÓMICA

Es aquella proposición con un solo significado carece de
conjunciones gramaticales y el adverbio de negación no.
Ejemplos
 El acero es resistente a ser deformado
 6y7 son números consecutivos

PROPOSICIÓN COMPUESTA O MOLECULAR

Son aquellos que tienen dos o más significados unidos por
conjunciones gramaticales o, en todo caso, contienen el
adverbio de negación no.
Ejemplos
 Hoy día es martes y estudiaremos aritmética
 No es cierto que el perro ladra
CONECTIVOS LÓGICOS Y TABLAS DE VERDAD
Los conectivos lógicos, llamados también operadores o
constante, son símbolos que reemplazan a las conjunciones
gramaticales y al adverbio de negación no.
Los conectivos lógicos que más utilizaremos para componer
proposiciones compuestas son los siguientes.
ANÁLISIS DE LAS PROPOSICIONES COMPUESTAS
BÁSICAS

Proposición negativa o negación

Son aquellas proposiciones que hacen uso del adverbio
negativo no o sus expresiones equivalentes
Ejemplos
 El perro no ladra
 No es el caso de que el perro ladre
 No es cierto que el perro ladre
 Es falso que el perro ladre
 No ocurre que el perro ladre
En general la negación puede reducirse a la palabra NO a lo que
simbolizaremos. Por convención se coloca siempre a la
izquierda de la proposición que niega. Por tanto si
representamos p, su negación se representaría como no p y su
tabla de verdad resultaría la siguiente.
Proposición conjuntiva o conjunción
Son aquellas proposiciones que se relacionan mediante el
conectivo lógico y, o expresiones equivalentes.
Ejemplos

 Darwin fue biólogo y newton físico

 El 13 es número impar además es primo
 La actriz es bella per idealista

Para alcanzar dos proposiciones

Proposición disyuntiva o disyunción

Son aquellas proposiciones que se relacionan mediante el

conectivo lógico o, u otras expresiones equivalentes.
Inclusiva o débil

Es aquella en la cual se consideran las posibles ocurrencias

simultáneas o individuales de las proposiciones componentes.
Exclusiva o fuerte
Esta disyuntiva excluye la posibilidad de ocurrencia simultánea
de ambas proposiciones componentes.
Condicional
Son aquellas proposiciones que se relacionan mediante el
conectivo lógico si entonces o sus expresiones equivalentes
Bicondicional
Son aquellas proposiciones que se relacionan mediante el
conectivo lógico si y solo si o sus expresiones equivalentes.
Circuitos lógicos
Son básicamente un arreglo de interrupciones conocidos como
compuertas lógicas, donde cada compuerta lógica tiene su tabla
de verdad. Y si pudiéramos ver en más detalle su construcción
veríamos que es un circuito formado por transistores conectados
de manera que se obtienen salidas específicas para entradas
que también lo son.
La utilización extendida de las compuertas lógicas simplifica el
diseño y análisis de circuitos complejos, mientras que la
tecnología moderna permite la construcción de circuitos
integrados que se componen de miles o millones de compuertas
lógicas.
Clasificación de los esquemas moleculares
Según los valores obtenidos de la matriz principal, los esquemas
se clasifican en:
Tautología
Cuando los valores de la matriz principal resultan ser todos
verdaderos

Consistente contingente
Cuando en la matriz principal hay por lo menos una verdad y
una falsedad.
Equivalencia lógica
Es aquella proposición bicondicional que resulta ser tautológica.
Si las componentes de la bicondicional son A y B, además esta
es tautológica
TEORÍA DE CONJUNTOS
Por extensión o forma tabular
Es cuando sus elementos están indicados en forma explícita
(están indicadas uno por uno)
Por comprensión o forma constructiva
Es cuando se indica una propiedad o característica del conjunto.
Consistente contingente
Cuando en la matriz principal hay por lo menos una verdad y
una falsedad.
Equivalencia lógica
Es aquella proposición bicondicional que resulta ser tautológica.
Si las componentes de la bicondicional son A y B, además esta
es tautológica.

CLASES DE CONJUNTO
Conjunto finito
Es cuando el proceso de contar sus elementos admite un fin en
el tiempo.
Conjunto infinito
Es cuando el proceso de contar los elementos no tiene fin en el
tiempo.

Cardinal de un conjunto
Nos indica el número de elementos no repetidos, que posee un
conjunto.
Relaciones binarias
Una relación binaria de a en b es un sub conjunto del conjunto
producto AXB en el cual los componentes de cada par ordenado
que pertenece. Satisfacen una determinada propiedad. Dichas
relaciones se denominan binarias porque relacionan a dos
elementos.
Relaciones en un mismo conjunto
Una relación de A en A también llamado relación en A, es
cualquiera de los sub conjuntos de A x A.
Dominio y rango de una relación
Dominio de una relación
Se llama dominio de una relación al conjunto de todas las
primeras componentes de los pares ordenados que pertenecen
a R.
Rango de una relación
Se llama rango de una relación R al conjunto de todos los
segundos componentes de los pares ordenados de la relación
R.
Clases de relaciones en un mismo conjunto

Relaciones reflexivas
Siendo R una relación de A
Relaciones inversas o reciprocas
Toda relación en R de A en B tiene una relación inversa
Relaciones de equivalencia
Una relación R en A es de equivalencia si y solo si R es
reflexiva, simétrica y transitiva.
Clases de equivalencias
Si R es una relación de equivalencia sobre un conjunto no vacío
A.

PROPIEDADES DE LOS CONJUNTOS

Sean los conjuntos, A, B C dentro del universo U. Las seis
propiedades que rigen las operaciones con esos conjuntos son
las siguientes.

Propiedades de identidad:

 A∪ φ = A

 A∪U = U
 A∩U = A
 A∩φ = φ

Propiedades de idempotencia:
 A∪ A = A
 A∩ A = A

Propiedades de complemento:
 A∪ 'A = U
 A∩ 'A = φ

Propiedades asociativas:
(A∪ B)∪C = A∪ (B ∪C)
(A∩ B)∩C = A∩ (B ∩C)

Propiedades conmutativas
A∪ B = B ∪ A A∩ B = B ∩ A
 Propiedades distributivas
A∪ (B ∩C) = (A∪ B)∩(A∪C)
A∩(B ∪C) = (A∩ B)∪(A∩C)

OPERACIONES CON CONJUNTOS

En los conjuntos se pueden realizar algunas operaciones

básicas, que parten de algunos conjuntos dados y se obtienen
nuevos conjuntos.

Unión de conjuntos:

La unión de dos conjuntos A y B, que se escribe A U B, se

define como el conjunto formado por los elementos comunes y
no comunes a ambos conjuntos.

 Conjunto complementario:

Dado el conjunto A ϵ U, se define el conjunto complementario de

A, que se escribe, el cual está formado por los elementos que
pertenecen al conjunto universal.

Diferencia simétrica de conjuntos

La diferencia simétrica de dos conjuntos A y B, que se escribe

A y B, se define como la diferencia de A U B y A ∩ B