lógica

La importancia en la Vida
Cotidiana
 indice
Lógica
Objetivo de la lógica
Lenguaje
Lenguaje natural y formal
Características del lenguaje formal
Clasificación del lenguaje según su función y uso
Sintaxis y semiótica en el lenguaje lógico
Lógica simbólica
Elementos de un razonamiento o argumento
Lógica proporsional
Tipo o clase de proposiciones
Conectores lógicos
Polinomios lógicos
Formalización de proposiciones
Tablas de la verdad
Equivalencia lógica
Árboles de la verdad
Silogismo
Tipos de Silogismo
Como se construye un silogismo
Como se indentifica un silogismo
Inferencia
Principios lógicos básicos
Leyes y reglas lógicas de inferencias
Otras leyes y reglas lógicas de inferencisas ( de
equivalencias )
Normas prácticas para el análisis de inferencias (
deducción natural )
Ejemplos del análisis de inferencias usando el
método analógico
Demostración de teoremas lógicos a partir de
premisas conocidas
Conceptualización de conjuntos
( definición, notación, tipos de conjuntos, y
relaciones entre conjuntos )
Diagrama de Venn
Operaciones entre conjuntos ( intersección entre
conjuntos, unión, diferencia de 2 conjuntos,
diferencia simétrica )
Producto cartesiano de dos conjuntos,
representación gráfica de o diagrama de los
productos cartesianos
Cardenal de un conjunto finito
Relación de la teoría de conjunto y la lógica
proposicional
 Nota
editorail

Lo primordial de esta revista es dar conocimiento al lector

sobre todos estos contendidos, que incluye la lógica que es
una forma estructurada del razonamiento que nos ayuda a
tomar decisiones en nuestra vida cotidiana. Así mismo su
objetivo es proporcionar reglas y técnicas para determinar
la validez de un argumento, de esta forma a través del
análisis del lenguaje nos ayuda a comprender un
razonamiento. La finalidad de este material es que
lleguemos a tener un buen razonamiento lógico.

Jesmar Antonieta Primera Angulo

Carrera: Administración de Recursos Materiales y
Financieros

Sección: 10200

En mis tiempos libres leo, veo

películas y salgo con mis amigos y
familiares. Para despejar la mente
de mis deberes diarios del día.
 LÓGICA
La lógica es una forma estructurada

del razonamiento humano o formas

proposiciones,
del pensamiento, como
conceptos y razonamientos. Para
establecer leyes y principios válidos
para obtener criterios de verdad. La
lógica deja de lado los sentimientos y
creencias para llevar a cabo el análisis.

OBJETO DE LA LÓGICA

El objetivo de

la lógica es
proporcionar reglas
y técnicas para así
determinar la validez de un argumento
que permite a través del análisis, la
comprensión de un argumento
correcto de uno incorrecto.

 El lenguaje
El lenguaje es un sistema de

comunicación estructurado por signos,

que pueden ser sonoros o escritos que

sirven para transmitir información, Al
manejar el lenguaje jugamos con los
conceptos, formamos ideas, y
aprendemos.

El lenguaje natural y formal

Al hablar del lenguaje formal
nos referimos
al registro formal del habla,
es decir, a la
manera correcta, cuidadosa y planificada de
emplearlo. Por otra parte el lenguaje
natural se opone al formal, porque es el que
se usa de manera ordinaria y hace
referencia a aquellas lenguas que se han
desarrollado de manera espontánea en un
grupo de personas.

 Características del Clasificación del lenguaje

lenguaje formal según su función y uso
Las características principales Se clasifican en:

que debe tener un lenguaje Lenguaje expresivo: se utiliza

formal prestar atención a la

para manifestar emociones,

gramática y ortografía, utilizan sentimientos o para o para
un rico y variado vocabulario, despertar una emoción.
las frases son a menudo largas y Lenguaje comunicativo: nos
complejas, ocupa sinónimos y
sirve para transmitir un
pronombres, evita la
mensaje. Lenguaje poético: Se
redundancia y tiene una
utiliza para producir un efecto
pronunciación correcta de las
estético, por lo cual se prioriza
palabras.
la manera en que se dicen las

cosas.

 Sintaxis y semántica en
el lenguaje lógico

La sintaxis es un sistema de reglas que

y las expresiones de
determina la estructura
ciertos cálculos. A diferencia de la semántica
que estudia como se relaciona un signo con la
realidad.
 Lógica Simbólica

Es el estudio de la lógica mediante la matemática, es

decir, que incorpora la exactitud y el rigor matemático.

Solo se interesa de las oraciones que pueden ser
verdaderas o falsas, que denominamos como enunciado
que es una expresión que tiene sentido completo y
puede ser verdadero o falso

 Elementos del razonamiento o

un argumento
Para que se pueda
llevar a cabo

un razonamiento o argumento se
deben tener estos dos elementos:
Las premisas
Lógica Proposicional
La conclusión Estudia las variables

proposicionales, sus implicaciones y

valores de verdad, de esta forma se

clasifican las proposiciones en
simples y compuestas.

Tipos de Proposiciones
Las proposiciones

se clasifican
en simples son
aquellas que no
tienen otras oraciones dentro de
sí mismas, y las proposiciones
compuestas esta formada por
varias proposiciones simples
enlazadas por conectores lógicos.
 Conectores lógicos

o también llamados
Los conectivos lógicos

operadores, son símbolos del lenguaje formal

que reemplazan a los conectivos
gramaticales son usados para enlazar
proposiciones o cambiar el valor de verdad a
excepción del conector " No " porque niega
una proposición y no la conecta.

Polinomios lógico
Son expresiones
lógicas cuyo valor
de verdad siempre
es verdadero, los
polinomios se construyen con la
abstracción del contenido y el uso de
conectores lógicos organizados
jerárquicamente
 Formalización de proposiciones
Formalizar una
proposición equivale a representarla
simbólicamente, la formula que expresa el enunciado

resulta de la situación de toda proposición simple que lo

integra por una variable proposicional y a su vez
empleando conectores lógicos que correspondan con lo
expresado en el enunciado.

Tablas de la Verdad

valores de
Es una representación de los posibles
verdad que podría tomar una proposición.

La lógica
cuenta con varios procedimientos estos pueden
clasificarse en métodos sintácticos y métodos
semánticos.
 Equivalencia lógica

E Es una conectiva
lógica que es verdadera si las dos
proposiciones a las que se aplica tienen el mismo valor
de verdad, y falsa si las proposiciones tienen valores de
verdad diferentes.

Árboles de la Verdad

Es un método mas corto para el análisis de

argumentos y conjuntos de proposiciones que el

de las
tablas de la verdad, y es puramente sintáctico esto
quiere decir que no se trabaja con los valores de verdad
de las proposiciones si no que se hace manipulaciones
algebraicas con ellas.
 Silogismo
Es una forma de razonamiento

deductivo que consta de dos
proposiciones como premisas y otra de conclusión siendo la

ultima una inferencia necesariamente deductiva de las otras dos

premisas. Tipos de silogismo

Dependiendo de como se relacionen las premisas de

un silogismo, podemos distinguir algunas de sus clases:

Silogismo categórico o clásico: Se trata del tipo

usual y simple del silogismo, en que las premisas y
la conclusión son proposiciones simples.
Silogismo condicional: En este tipo la premisa
mayor establece una relación de dependencia
respecto a dos proposiciones categóricas. Por
ende, la premisa menor afirma o niega alguno de
los términos y la conclusión o afirma o niega lo
contrario.
Silogismo disyuntivo: En el la premisa mayor
propone un disyunción, osea la elección entre dos
términos que se oponen, de modo que no pueden
ser simultáneamente verdaderos o falsos
 Como se construye un silogismo

Un silogismo se compone de tres

proposiciones: Dos premisas

que se
comprende una mayor y una menor, y
luego una conclusión. En estas
proposiciones encontramos tres
términos: Un término mayor, un
término menor y uno término medio.

Como se identifica un silogismo

Para verificar la
validez de un
silogismo se puede usar

el método de
diagramas de Venn. Que consiste en
representar mediante un círculo cada
término y se dibuja por parejas la
relación entre los términos de la
premisas mayor y menor. Si al
representar las premisas queda
representada la conclusión el silogismo
es válido
 Inferencia

La inferencia es el proceso donde se

derivan conclusiones
a través de
premisas, cuando una conclusión se
sigue de sus premisas por medio de
inferencias válidas. Se dicen que estas
implican a aquella.
Principios lógicos básicos

Es una disciplina científica que se

fundamenta en tres principios lógicos

estos son:
El principio de identidad
El principio de no- contradicción
El principio de tercero excluido.
Toda la proposición es equivalente a si
misma.
 Leyes y reglas lógicas de inferencia

Una regla de inferencia o de transformación, es una

forma lógica que consiste en una función que toma

premisas, analiza su sintaxis y devuelve una conclusión
o conclusiones. Otras leyes y reglas lógicas de
inferencia de equivalencia

Leyes de comunicación

Leyes de asosiación
Leyes de Distribución
Leyes de Morgan
 Normas prácticas para un análisis
de inferencia deducción natural

Si en el enunciado se expresa en un lenguaje natural,

se formalizará asignando a cada proposición simple
una variable proposicional, considerando que si se
repite la misma oración se asignará siempre la misma
variable.
 Ejemplo de análisis de inferencias usando
el método analógico

Ejemplo 1.

Si el país es democrático, el pueblo determina su forma de

gobierno y elige a sus gobernantes; el país es democrático.
Luego, el pueblo
determina su forma de gobierno y elige a sus gobernantes.
Forma lógica o formalización:
p: país es democrático.
q: el pueblo determina su forma de gobierno.
r: el pueblo elige sus gobernantes.
Fórmula proposicional: {[p → (q ∧ r)] ∧ p} → (q ∧ r)}
Ejemplo 2. Cuando el río tiene corrientes muy fuertes es
peligroso, el río no
es peligroso. Entonces el río no tiene corrientes muy fuertes.
Forma lógica o formalización:
p: el río tiene corrientes muy fuertes.
q: el río es peligroso.
Fórmula proposicional: [(p → q) ∧ -q] → -p
 Demostración de Teoremas lógicos a partir
de premisas conocidas

1) Detallar las premisas identificándolas con un

número al lado
izquierdo y colocarlas en líneas sucesivas.
2) Aplicar las leyes, reglas y principios lógicos
combinándolas con
las premisas iniciales; lo cual conduce a conclusiones
parciales y a
nuevas combinaciones que llevan a la conclusión final.
3) A cada conclusión parcial se le colocará al lado
derecho las
justificaciones de cada paso dado; es decir, se indicarán
leyes,
reglas y/o principios utilizados para obtener la
conclusión parcial
y el número de las premisas combinadas.
 Conceptualización de conjuntos
Es la agrupación
de diferentes elementos que
comparten entre sí
características semejantes, estos
elementos pueden ser sujetos u objetos, tales como
números, canciones, meses, personas etc.

Definición

Para poder definir un conjunto

es indicar cuales son sus

elementos
 Notación
Los conjuntos se
denotan
utilizando las letras del

alfabeto
en Mayúsculas, ( A, B , C,...) y a
sus elementos con minúsculas ( a,
b. c,....). A menos que a su vez los
elementos sean otros conjuntos se
pueden usar números o letras
griegas.
Tipos de Conjunto

Conjuntos finitos: Sus elementos pueden contarse

enumerarse en su totalidad.

Conjunto infinito: Sus elementos no se pueden contar

enumerar en su totalidad, debido a que no tienen fin.
Conjunto unitario: Está compuesto por un único elemento.
Conjunto vacío.
Conjunto homogéneo.
Conjunto heterogéneo.
 Relaciones entre conjuntos

Diagrama De Venn
Un conjunto está definido
únicamente por los Un diagrama de Venn usa
círculos
elementos que lo que se superponen u otras figuras

componen, y no por la para ilustrar las relaciones lógicas

manera en la que se lo entre dos o más conjuntos de
representa. Por ello, la elementos. A menudo, se utilizan

relación de igualdad entre para organizar cosas de forma

conjuntos se define como: gráfica, destacando en qué se

Dos conjuntos A y B, son parecen y difieren los elementos.

iguales (A=B) si y sólo si

tienen los mismos
elementos
 Operaciones entre conjuntos
Son forma especificas de

combinar
conjuntos dados para obtener

nuevos conjuntos de construcción

de nuevos conjuntos a partí de
conjuntos conocidos, intersección,
unión, diferencia, diferencia
simétrica, complemento o
complementación, producto
cartesiano.
Interacciones entre conjuntos

La interacciones entre dosconjuntos

formado por
A y B es el conjunto
los elementos comunes a A y B es
decir, los elementos que
simultáneamente pertenecen a A y
B es unconjunto referencial
ouniversal.

Unión
La unión o reunión
de dos
conjuntos A y B es el conjuntos

formado por los elementos que

pertenecen tanto A como B es
decir, los elementos pertenecen al
menos a alguno de dichos
conjuntos.
 Diferencia de dos conjuntos
La diferencia entre dos
conjuntos A
y B es el conjunto que se forma con

los elementos que pertenecen al

conjunto A pero que no pertenecen
al conjunto B es un mismo conjunto
referencial.

Diferencia Simétrica
La diferencia

simétrica es el
conjunto de elementos

que solo
pertenecen a A o a B pero no a
ambos a la vez
Producto cartesiano de dos
conjuntos

El producto cartesiano de dos conjuntos es una

operación, que resulta en otro conjunto, cuyos
elementos son todos los pares ordenados que pueden
formarse de forma que el primer elemento del par
ordenado pertenezca al primer conjunto y el segundo
elemento pertenezca al segundo conjunto.

Representación gráfica o diagrama de los

productos cartesianos.
Para la representación gráfica de productos cartesianos, utilizaremos el
Sistema de Coordenadas Rectangulares en el plano o plano cartesiano.
El plano cartesiano está compuesto por dos ejes formados por dos
rectas
perpendiculares (forman un ángulo de 90o) con un origen común O
representado por el punto de corte entre ambas rectas.
Cardenal de un conjunto finito.

Sea un conjunto A que posee K elementos distintos con K E N entonces

A es un conjunto finito y tiene como cardinal al numero K de
elementos. El cardinal de un conjunto A se nota como #A o |A| o Card
(A) o n(A). Usualmente se leen como números de elementos del
conjunto A o cardinal del conjunto A.
 Relación de la teoría de conjuntos y la lógica
proposicional.

Destacan la relación muy estrecha que existe entre la lógica

proposicional y la teoría de conjuntos. Al respecto muestran esta
relación de la siguiente manera: Notación, para los conjuntos letras
mayúscula del alfabeto y para las proposiciones la misma letras
encorrespondencia pero en minúscula. Conjuntos y proposiciones,
cabe destacar que el conjunto vacío se corresponde con una
contradicción y el conjunto universal con una tautología. Mediante
esta correspondencia, todos los resultado de operaciones realizadas
sobre conjuntos pueden expresarse en términos de lógica
proposicional y viceversa.
 Autoestima

La Autoestima es la percepción emocional que las personas tienen

de sí mismas. Puede expresarse como el amor hacia uno mismo.La
percepción emocional puede fácilmente llegar a sobrepasar en sus
causas a la racionalización y la lógica del individuo. Por ello, tener
una buena autoestima implica ser conscientes de nuestras virtudes y
nuestros defectos debemos aceptarnos tal y como somos tener
respeto sobre nosotros mismos. Porque si no nos aceptamos eso
afectará todo lo que vayamos a hacer, en nuestros estudios, trabajos
y en todo lo que queramos a hacer de ahí la importancia de
aceptarnos y saber que somos diferentes y sentirnos bien con eso.