Lectura 1

LÓGICA
Lógica para
Escuela de Ingeniería
COMPETENCIA:
Desarrollar habilidades que le permitan razonar lógica, crítica

y objetivamente en una situación problema.
CONTENIDO:
1. LOGICA
1.1. Introducción a la Lógica
1.2. Proposiciones y su Clasificación
1.3. Conectores lógicos.
1.4. Tablas de verdad.
1.5. Lógica de Predicados.
1.1. INTRODUCCIÓN A LA LÓGICA

LÓGICA:
Es un término que se deriva del griego (Logike-Logikos) que significa
“razón”.
El nacimiento de la lógica está relacionado con el nacimiento intelectual
del hombre. Nace como mecanismo espontáneo en el enfrentamiento
del hombre con la naturaleza, para abstraerla, comprenderla y aprove-
charla.
La lógica matemática:
Una definición precisa de la lógica, que la caracterice totalmente, depen-
de del sistema filosófico que
se adopte. Para nuestro fin bastará que demos las definiciones siguientes:
La lógica matemática es una ciencia que es anterior a las demás, que
contiene las ideas y los principios en que se basan todas las ciencias. Esta
definición parcial es de K. Gödel (1906) y me parece que es también
según la mente de Santo Tomás y análogamente de Aristóteles y de la es-
colástica medieval. Aunque conviene notar que en Aristóteles y en la es-
colástica la lógica es generalmente considerada como un arte que como
una ciencia; un arte que da la manera de operar válidamente con con-
ceptos y proposiciones, y no como ciencia, porque carece de objetos pro-
pios a los que corresponda algo en la naturaleza.
Una definición muy precisa y moderna es la de A. Church (1903). Lógica es
el estudio sistemático de la estructura de las proposiciones y de las condi-
ciones generales de válida inferencia por un método que abstraiga del
contenido o materia de las proposiciones y tenga en cuenta solamente su
forma lógica. Se distingue entre materia y forma cuando distinguimos
entre la legitimidad lógica o validez de un texto razonado y la verdad de las
premisas de las cuales se deduce; y en este sentido es familiar en el lengua-
je ordinario. Sin embargo, es necesario establecer con precisión la distin-
ción con referencia a un lenguaje particular o sistema de notación, un len-
guaje formalizado, el cual evite las inexactitudes y las irregularidades de es-
tructura y expresión que sistemáticamente llevan a equivocaciones y que
se encuentran en los lenguajes ordinarios, y el cual siga o reproduzca la
forma lógica, a costa de la brevedad y facilidad de comunicación cuando
sea necesario. De modo que adoptar un lenguaje formalizado particular es
adoptar un sistema o teoría particular de análisis lógico.
Entonces se puede caracterizar el método formal diciendo que se trata de

la forma objetiva de las sentencias que expresan proposiciones, y suminis-
tra en estos concretos términos, criterios para determinar si las sentencias
tienen sentido, criterios de inferencia válida, y de otras nociones estrecha-
mente asociadas a éstas.
Por consiguiente, según el logicismo la matemática es una rama de la

lógica, sin duda extensa y con vida propia, pero cuyo método se identifica
con el propio método de la lógica. Se concibe así la matemática como una
disciplina universal que regiría todas las formas de argumentación.
El avance increíble en los medios de comunicación que caracterizaron las

últimas décadas del siglo veinte y que en el comienzo del nuevo siglo, hace
que cualquier fantasía en este campo sea rápidamente una realidad. Nos
provee de información continua en todas las áreas, sin embargo en
muchos casos la cantidad de ésta no se equipara con su calidad. Es, en par-
ticular, en este aspecto: el procesamiento o análisis crítico, individual y co-
lectivo de la información recibida y producida, en diferentes modalidades,
sobre el que quiero llamar la atención; y al respecto destaco con referencia
a él, los siguientes elementos.
La manipulación de la información, manifiesta desde los mensajes publici-
tarios cotidianos inductores al consumismo desmedido, plagados de fala-
cias hábilmente diseñadas por sus autores por un lado y aceptadas por el
desconocimiento del público por el otro.
Las posiciones políticas sostenidas públicamente por líderes mundiales,

que no resisten el menor análisis por las contradicciones y sofismas que
conllevan, pero que pasan airosos en todos los auditorios sin ninguna críti-
ca a su contenido.
La ausencia preocupante de interlocutores válidos, veraces, objetivos, en

diferentes escenarios donde se toman decisiones cruciales que pueden
afectar desde una población local hasta la humanidad completa, nos
llevan a presenciar como la ausencia de la fuerza argumentativa es reem-
plazada, lamentablemente en muchas ocasiones, por la fuerza bruta; y en
muchos otros la palabra comprometida hoy, mañana se olvida.
Estas situaciones reales parecen apuntar a un “nuevo orden” en el cual son

protagonistas la información liviana, acrítica, convincente, fácilmente asi-
milable, donde importa mucho la forma pero muy poco el fondo; y que
inevitablemente me lleva a pensar si ese objetivo ideal de la argumenta-
ción válida con todos los elementos que la caracterizan, que obviamente
está en contravía con este diagnóstico actual, ha caducado y su existencia
se reduce exclusivamente al lenguaje de las matemáticas.
Sin embargo creo que nuestra obligación como seres pensantes, como
integrantes de una cadena evolutiva, como formadores, nos impide claudi-
car, y hoy como nunca nos exige cultivar denodadamente todos los ele-
mentos que enriquezcan nuestra racionalidad, que estimulen y movilicen
nuestros esquemas cognitivos. Es en este aspecto esencial donde conside-
ro que la lógica, como disciplina formativa, tiene un papel importante que
tenemos que aprovechar como parte de un proceso educativo integral;
que tenga como objetivo hacernos ciudadanos responsables, críticos
sanos y objetivos, tanto en la información que recibimos como en los jui-
cios que emitimos.
La lógica matemática cuestiona con rigor los conceptos y las reglas de de-
ducción utilizados en matemáticas lo que convierte a la lógica en me-
ta-matemática.
OBJETIVO DE LA LÓGICA:
Es el estudio de inferencias y el pensamiento, nos proporciona principios
para determinar que tipo de evidencia es apropiada para una situación.
PENSAMIENTO:
Proceso mediante el cual el hombre abstrae la realidad, hasta hacer per-
cepción de los fenómenos al conformar una imagen de estos.
FACTORES DE PROCESO:
a) Un sujeto pensante que produce el pensamiento.
b) Un objeto al que se refiere el pensamiento y que determina su con-
tenido.
c) La forma en que se expresa el pensamiento.
INFERENCIAS:
Es una evaluación que realiza la mente entre conceptos, que al interac-
tuar muestra propiedades de forma discreta, utilizamos la abstracción
para entender el problema que permite tratar una línea lógica de cau-
sa-efecto.
En la lógica se desarrollan sistemas lógicos para caracterizar diferentes
clases de argumentos validos.
1.2. PROPOSICIONES Y SU CLASIFICACIÓN

LÓGICA PROPOSICIONAL
Es un sistema lógico que trata la clase de argumentos cuya validez exclu-
sivamente dependen de cómo están conectados los enunciados.
PROPOSICIONES Y CONECTORES LOGICOS:

Una proposición o enunciado es una oración diofántica (bivalente) que
puede ser V o F, pero no puede tener estos dos valores de verdad al
tiempo La proposición es un elemento fundamental de la lógica preposi-
cional
Cada proposición tiene una forma lógica la cual se expresa con un
nombre o variable preposicional.
Se distinguen cuatro tipos de proposiciones:
• Enunciados Abiertos
• Enunciados Cerrados
• Proposiciones Simples
• Proposiciones Compuestas
Enunciados abiertos
Un enunciado abierto es una oración donde el sujeto de la acción no se
identifica claramente.
Ejemplo:
x es un número par y primo
y es un día de la semana.
Un enunciado abierto que involucra una igualdad y en la que se descono-
cen uno o varios de sus términos se llama ECUACIÓN.
ENUNCIADOS CERRADOS:
Es un enunciado que puede ser VERADERO o FALSO, cuando identifica-
mos claramente el sujeto que realiza la acción.
Un enunciado abierto, puede convertirse en un enunciado cerrado, ver-
dadero o falso, al sustituir el término variable por un término constante
elegido de un conjunto referencial.
Ejemplo:
2 es un número par y primo (Verdadero)
7 es un número par y primo (Falso)
Carlos es un día de la semana (Falso)
Jueves es un día de la semana (Verdadero)
PROPOSICIONES SIMPLES:
Una proposición se considera simple si en ella no intervienen conectores
lógicos o términos de enlace.
Las proposiciones simples se representan mediante las letras del alfabeto
español p, q, r, s, t, usadas comúnmente. A las cuales se les denomina
como Variables Proposicionales.
Ejemplo:
p : Camila estudia Medicina
q : Laura estudia Comunicación Social
ENLACES LOGICOS:
Los conectores son las contrapartidas formales de las conjunciones gra-
maticales, mediante las
cuales formamos de enunciados simples, otros llamados compuestos.
“y” se representa “^“
“o” se representa “ ”
“Si…entonces…” se representa “→”
“…si y sólo si…“ se representa “↔”
“No…, ni…” se representa. “¬, ~”
PROPOSICIONES COMPUESTAS:
Una proposición compuesta es un enunciado de verdad que esta com-
puesto por dos o más proposiciones simples, unidas mediante conectores
lógicos, formando una nueva oración.
Una proposición se considera compuesta o molecular si se juntan dos o

más proposiciones simples con términos de enlace o conectores.
Los conectores o términos de enlace “y“, “o”, “Si… entonces”, “Si y solo si”; se
usan para ligar dos proposiciones, el termino “no”se agrega a una sola pro-
posición.
Ejemplos:
p : Hoy es día miércoles.
q : Hay clase de lógica matemática.
Estas proposiciones son simples, y con ellas de puede formar o construir

proposiciones compuestas.
Como:
a. Hoy es día miércoles y hay clase de lógica matemática.
Y se presenta simbólicamente así: “p y q”
En notación lógica: p “^“ q
b. Hoy es día miércoles o hay clase de lógica matemática.
Y se presenta simbólicamente así: “p o q”
En notación lógica: p “ ” q
c. Si hoy es día miércoles entonces hay clase de lógica matemática.
Y se presenta simbólicamente así: “Si p entonces q”
En notación lógica: p → q
d. Hoy es día miércoles si y sólo si hay clase de lógica matemática.
Y se presenta simbólicamente así: “p si y sólo si q”
En notación lógica: p ↔ q
e. Hoy no es día miércoles, ni hay clase de lógica matemática.
Y se presenta simbólicamente así: “no p, ni q”
En notación lógica: “¬p,¬q”
En algunos casos se puede presentar ambigüedades en proposiciones

compuestas.
Veamos un ejemplo:
Si hace calor, entonces Yohan no sale y toca el piano.
Es fácil observar que lo podemos interpretar de dos maneras el enunciado
molecular.
a) Cuando hace calor Yohan no sale y además estudia, haga frió o calor.
b) Yohan solo estudia cuando hace frió y no sale.
Se podría representar:
p : Hace frió. q : Yohan sale. r : Yohan estudia.
En Símbolos:
p→¬q^r
Pero se presentaría una ambigüedad, como en el lenguaje natural.
Entonces aplicando los signos de agrupación debemos decidir como tra-
ducirla:
a) (p → ¬ q) ^ r
b) p → (¬ q ^ r)
SIGNOS DE AGRUPACION:
( ) Paréntesis [ ] Corchetes { } Llaves
Con estos elementos del vocabulario, variables, conectivos y signos de agrupación se
puede presentar la sintaxis de la lógica, podemos explicitar las reglas sintácticas median-
te las cuales podemos formar proposiciones moleculares a partir de otras formulas o pro-
posiciones atómicas.
VALORES DE VERDAD DE UNA PROPOSCIÓN
Una proporción puede tener un solo valor de verdad, así este confor-
mando una proposición compuesta.
Pueden suceder las siguientes probabilidades de acuerdo a cada opción
de trabajo:
Si es una proporción Simple
Si son proposiciones compuestas, depende del número de proposicio-

nes compuestas:
Si son 2 proposiciones Si Son 3 Proposiciones
Si observamos, de acuerdo con el número de proposiciones simples,

que conformen una proporción compuesta, obedece a la sucesión {2 }̑
Si es una proposición {2 }̑ = {2�} = 2, quiere decir que tiene 2 valores de
verdad.
Si una proposición compuesta, tiene 2 proposiciones simples, tendría-
mos que {2 }̑ = {2�} = 4 ;es decir, cada proposición puede tener cuatro valo-
res de verdad.
Si una proposición compuesta, tiene 3 proposiciones simples, tendría-
mos que {2 }̑ = {2�} = 8 ; es
decir, cada proposición puede tener ocho valores de verdad. Y así sucesi-
vamente.
LÓGICA
Lógica para
Escuela de Ingeniería

Lectura 1

Cargado por

Copyright:

Formatos disponibles

Lectura 1

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Lectura 1

Cargado por

Copyright:

Formatos disponibles

LÓGICA

Desarrollar habilidades que le permitan razonar lógica, crítica

1.1. INTRODUCCIÓN A LA LÓGICA

Entonces se puede caracterizar el método formal diciendo que se trata de

Por consiguiente, según el logicismo la matemática es una rama de la

El avance increíble en los medios de comunicación que caracterizaron las

Las posiciones políticas sostenidas públicamente por líderes mundiales,

La ausencia preocupante de interlocutores válidos, veraces, objetivos, en

Estas situaciones reales parecen apuntar a un “nuevo orden” en el cual son

1.2. PROPOSICIONES Y SU CLASIFICACIÓN

PROPOSICIONES Y CONECTORES LOGICOS:

Una proposición se considera compuesta o molecular si se juntan dos o

Estas proposiciones son simples, y con ellas de puede formar o construir

En algunos casos se puede presentar ambigüedades en proposiciones

Si son proposiciones compuestas, depende del número de proposicio-

Si observamos, de acuerdo con el número de proposiciones simples,

También podría gustarte