Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Guia de LOGICA
Guia de LOGICA
Código: 107
U.C: 3
Carreras y Semestres:
I Semestre: INGENIERÍA INDUSTRIAL (280)
I Semestre: INGENIERÍA DE SISTEMAS (236)
I Semestre: EDUCACIÓN INTEGRAL (440)
I Semestre: MATEMÁTICA (126)
II Semestre: ADMINISTRACIÓN DE EMPRESAS (612)
II Semestre: ADMINISTRACIÓN DE EMPRESAS:
Mención: Riesgos y Seguros (613)
II Semestre: CONTADURÍA PÚBLICA (610)
Prelaciones: Ninguna
Requisito: Ninguno
LÓGICA
A la Lógica iniciada por Aristóteles y que tiene vigencia durante la época de la
edad media se le conoce, comúnmente, con el nombre de Lógica No-Matemática.
Con el nombré de Lógica del Algebra se hace referencia a la Lógica iniciada por
Leibnitz y desarrollada por Boole. Finalmente se da el nombre de Lógica
Matemática a la Lógica Contemporánea, que arranca de finales del siglo XIX y
perdura en nuestros días.
Lógica: Estudio de los razonamientos e inferencias consideradas desde el
punto de vista de su validez. La validez de un razonamiento viene dado por
la forma de este.
Forma es todo lo que tratamos de dilucidar.
Veamos un ejemplo:
Todo hombre es mortal
Juan es hombre
Luego Juan es mortal
Aquí hay términos (Juan, Hombre, Mortal) la validez del razonamiento no
depende de los términos. Estos son el contenido, los podemos variar sin
variar la forma, ya que son las variables (individuales o conceptuales pero
variables al fin).
Veamos otros ejemplos:
Luis es estudioso.
El Edificio es grande.
La tierra es redonda.
Todos ellos se pueden condesar en:
“S” es “P”
Y otros ejemplos más:
"Si Enrique viene, entonces iremos al cine".
"Si Pedro se porta bien, entonces le compraran una bicicleta".
Estas dos proposiciones son gramaticalmente distintas y sin embargo,
lógicamente, no se diferencian, tienen la misma forma, la misma estructura. Todo
razonamiento tiene una determinada estructura lógica independiente del
contenido. Esa estructura que puede ser común a varios razonamientos nos
permite buscar una fórmula de expresión común a todos ellos. El poner el
simbolismo al servicio de la lógica ha hecho posible la realización del "Calculo
Lógico".
Ahora bien, una cosa es la validez y otra cosa es la verdad, la Lógica garantiza el
primer aspecto, un razonamiento válido garantiza que si las premisas son
verdaderas, la conclusión no puede ser falsa (no admite contraejemplo). La verdad
depende del contenido pero no de la validez, ésta depende de la forma. El objeto
3
Expresarse por medio del Lenguaje es lo mismo que pensar. El pensamiento está íntimamente
vinculado con el lenguaje y este a la Lógica.
negativa.
Proposición: Es la expresión verbal o escrita de un juicio, son utilizadas
cuando el lenguaje tiene una función informativa. Es una expresión que tiene
un determinado significado y que, en razón de un criterio definido, puede ser
calificado cono VERDADERA o FALSA, es decir tiene un Valor Veritativo.
De acuerdo a la naturaleza de la relación entre sujeto y predicado las
PROPOSICIONES pueden ser: Categóricas, Hipotéticas o Disyuntivas; son
Categóricas cuando el predicado se afirma o se niega del sujeto de una
manera terminante,
Las Proposiciones Categóricas pueden ser:
A Universales Afirmativas Ejm. Todos los aviones tienen alas,
E Universales Negativas Ejm. Ningún avión es menos pesado que el aire.
I Particular Afirmativa Ejm. Algunos aviones tienen dos turbinas.
0 Particular Negativa Ejm. Algunos aviones no lanzan bombas.
La Lógica mientras se ocupa de los nexos que hay entre las Proposiciones
es de carácter Sintáctico. La Sintaxis determina cuando una expresión está
bien construida. La Lógica es, ante todo, una “sintaxis lógica”, es decir, una
teoría de combinaciones correctas de un sistema de símbolos a partir de
ciertas reglas de combinación o sintaxis.
El problema de la verdad de las Proposiciones cae en el campo de la
Semántica. La Semántica estudia el significado y la interpretación del
Lenguaje.
Discurso: (Tzvetan) Manifestación concreta de la lengua que se produce
en un contexto particular interviniendo elementos lingüísticos y las
circunstancias de su producción: interlocutores, tiempo y lugar, así como
sus relaciones. (no son frases sino enunciados).
El razonamiento inductivo es el proceso por el cual concluimos que lo
que es verdadero acerca de ciertos individuos de una clase, es verdadero
acerca de la clase entera. Una generalización obtenida por inducción es
susceptible de ser destruida por un Contraejemplo.
Nunca podremos demostrar que las instancias de las cuales aun no
hemos tenido experiencia serán semejantes a aquellas de las cuales si
hemos tenido experiencia.
En el razonamiento deductivo se pasa de un grado mayor de
generalización a uno inferior. La conclusión no admite grados de
probabilidad, es verdadera o falsa. En otros términos son aquellos donde
si las premisas son verdaderas, la conclusión también debe,
necesariamente, ser verdadera.
El razonamiento válido es un instrumento infalible, nos garantiza la
verdad de la conclusión siempre que tengamos el cuidado de alimentarlo
con premisas verdaderas. Por el contrario si las premisas son falsas puede
ocurrir cualquier cosa,
Por ejemplo:
Todo A es B
Todo B es C…….. Luego, Todo A es C
6
1 2 3 4
M P P M M P P M
S M S M M S M S
S P S P S P S P
7
MODO:
Está caracterizado por la clase de proposiciones que entran en su composición (A-
E-I-O. Tres de estas letras nos servirán para identificar el modo correspondiente
del silogismo.
No todos los resultados pueden considerarse como válidos, porque algunos se
oponen a algunas de las leyes del silogismo. Solo 19 de ellos son legítimos.
La primera figura ha sido considerada como perfecta. Los modos válidos de las
demás figuras pueden convertirse en modos de la primera, a dicho proceso se le
llama REDUCCION. Por ejemplo el AEE de la segunda figura se reduce al EAE de
la primera, veamos un ejemplo:
Todos los cetáceos son mamíferos (A) Ningún mamífero es pez (E)
Ningún pez es mamífero (E) Todos los cetáceos son mamíferos (A)
Luego, NINGÚN PEZ ES CETACEO (E) Luego, NINGÚN PEZ ES CETACEO (E)
8
LÓGICA MATEMÁTICA
El uso de símbolos ha sido privilegio de la lógica contemporánea, y fue a través de
este que se fundaron las bases para realizar un verdadero cálculo lógico, es decir,
aquí se descubre la analogía entre la lógica y la matemática, en ambas ciencias,
el razonamiento queda reducido a una manipulación de signos, a un cálculo,
entendiéndose por tal, la realización mecánica de ciertas operaciones en base a
determinados elementos y a determinadas reglas.
SIMBOLISMO PROPOSICIONAL.
Cualquiera de las consonantes del vocabulario (p,q,r) es apta para
simbolizar y representar cualquier proposición. Dicha consonante recibe el
nombre de letra proposicional, por ejemplo "p" podría simbolizar la
proposición:
"Samuel se ríe".
1) CONECTIVO DE NEGACIÓN.
A la negación se le llama conectivo singular, porque por lo general actúa sobre
una única proposición, negándola.
La negación se puede representar por una pequeña raya horizontal, colocada
encima de la proposición negada o a la izquierda de la misma. Se lee "no P".
La tabla de verdad correspondiente al conectivo NO es la siguiente:
2) CONECTIVO DE CONJUNCIÓN.
Este conectivo une entre si, dos o más proposiciones atómicas o simples.
El símbolo que utilizaremos para simbolizar este conectivo es ˆ. Se lee "y".
"P' y 'Q" son dos proposiciones, su conjunción se escribirá “p ˆ q" y se leerá "p” y
"q".
P Q PˆQ
V V V
V F F
F V F
F F F
P Q PvQ
V V V
V F V
F V V
F F F
Únicamente serán falsas cuando todas las proposiciones que entran en su
composición son falsas.
P Q PvQ
V V F
V F V
F V V
F F F
Serán falsas cuando las proposiciones que entran en su composición son ambas
verdades o ambas falsas.
10
5) INCOMPATIBILIDAD.
Su tabla es:
P Q P Q
V V F
V F V
F V V
F F V
Será falsa cuando las proposiciones que entran en su composición son ambas
verdaderas.
6) NEGACIÓN CONJUNTA.
Su tabla es:
P Q P Q
V V F
V F F
F V F
F F V
Será verdad cuando las proposiciones que entran en su composición son ambas
falsas.
7) CONECTIVO DE IMPLICACIÓN.
La proposición compuesta formada por el uso de este conectivo se llama
implicativa o condicional y el símbolo utilizado para representar este conectivo es
insertado entre las dos proposiciones que entran en la implicación y se lee “Si
……. Entonces”
8) CONECTIVO DE EQUIVALENCIA.
Se llama bicondicional o equivalencias las proposiciones compuestas que se
forman con el uso de este conectivo que se simboliza por medio del signo “ “
y se lee “si y solo si”.
11
PROPOSICIÓN TAUTOLÓGICA:
Es aquella que es verdadera, independientemente de los valores de verdad de las
atómicas que entran en su composición, luego en la columna final de la tabla
figura únicamente el valor de verdad "V".
PROPOSICIÓN CONTRADICTORIA:
Es aquella que es falsa (F) siempre, independientemente de los valores de verdad
de las atómicas que entran en su composición.
PROPOSICIONES CONTINGENTES:
También llamadas indeterminadas, presentan en la columna final de la tabla
indistintamente distribuidos los valores de verdad (V o F).
PRINCIPIOS LÓGICOS:
1) IDENTIDAD
PP
P P
2) NO CONTRADICCIÓN
~ ( P ˆ ~ P)
3) TERCER EXCLUIDO
Pv~P
4) DOBLE NEGACIÓN
P ~ ~ P
5) SIMPLIFICACIÓN
(PˆQ)P
(PˆQ)Q
6) CONMUTACIÓN
(P ˆ Q ) ( Q ˆ P )
( P v Q ) (Q v P )
( P Q ) ( Q P )
7) ADICIÓN
P(PvQ)
P ( P v Q)
8) ADJUNCCIÓN
13
P, Q ( P ˆ Q )
9) DISTRIBUCIÓN
( P ˆ ( Q v R) ( P ˆ Q ) v ( P ˆ R )
( P v ( Q ˆ R ) ( P v Q ) ˆ ( P v R )
( P ( Q ˆ R ) ( P Q ) ˆ ( P R)
( P ( Q v R ) (P Q ) v ( P R )
12) EXPORTACIÓN
[ ( P ˆ Q ) R ] [ P ( Q R ) ]
13) TRANSPOSICIÓN
( P Q ) ( ~ Q ~ P )
14) BICONDICIONAL
[ ( P Q)] [ ( P Q ) ˆ ( Q P )]