Escolar Documentos
Profissional Documentos
Cultura Documentos
TEMA I
NOCIONES DE LÓGICA
ESQUEMA CONCEPTUAL
NOCIONES DE LÓGICA
Objeto de estudio
Proposición
Leyes Lógicas
Razonamiento
1- Introducción
Se puede considerar el estudio de la lógica como ciencia en dos sentidos, uno
amplio y otro restringido. A la lógica en sentido restringido se la denomina “Lógica
deductiva elemental” y es la que se tratará a continuación.
Para comenzar con el estudio que se ha propuesto es indispensable conocer el
objeto de la lógica. La lógica estudia los razonamientos deductivos y los métodos
para distinguir los razonamientos válidos de los inválidos.
De acuerdo a lo expresado como objeto de estudio de la Lógica, surgen algunos
conceptos que deben ser estudiados, entre ellos: razonamiento, razonamiento deductivo,
razonamiento deductivo válido. Para definir estos conceptos, se deben conocer
previamente otros, tales como: proposición, premisas, conclusión, valores de verdad,
conectivos; los cuales serán tratados posteriormente.
3- Proposiciones
A los fines de definir el concepto de razonamiento, previamente se caracterizará
el concepto de proposición.
Lo que diferencia al ser humano de los demás seres vivos es la
posibilidad de comunicarse a través del lenguaje. El lenguaje es un sistema de signos
muy complejos. Los signos o combinaciones de signos lingüísticos constituyen
expresiones lingüísticas, por ejemplo, las palabras, las frases y las oraciones.
Las oraciones cumplen diversas funciones. Algunas tienen función expresiva,
son las que manifiestan estados de ánimo, deseos, aprobación o desaprobación, como
las oraciones: ¡Es magnífico!, ¡Qué hermoso día!, ¡Qué interesante! …...
Otras oraciones cumplen función interrogativa, cuando presentan alguna
pregunta, como las oraciones: ¿Qué hora es?, ¿Cuánto cuesta?, ¿Te gusta este tema?.....
También las oraciones pueden cumplir función prescriptiva o directiva, son
aquellas que están encaminadas a producir o impedir determinada acción, como las
Algebra y Geometría Analítica 3
Definición
4- Lógica proposicional
4.1- Definición
Ejemplos:
5 es impar. Proposición simple.
5 es primo e impar. Proposición compuesta.
Hubo elecciones y eligieron diputados. Proposición compuesta.
Si salgo temprano, te paso a buscar. Proposición compuesta.
Conjunción pyq
5- Operaciones proposicionales
Dada una o dos proposiciones, cuyos valores de verdad se conocen, se trata de
caracterizar la proposición resultante a través de su valor de verdad.
5.1- Negación
La proposición “no hay reactivación económica”, es una proposición compuesta
que consiste en la negación de la proposición simple “hay reactivación económica”.
Negación de una proposición p, es la proposición “no p”, y se escribe: p; la ley
que la define es la siguiente:
Algebra y Geometría Analítica 5
p p
V F
F V
Ejemplo 1:
p: 8 es un N° par V
p: 8 no es un N° par F
Ejemplo 2:
p: 4+4=7 F
p: 4+47 V
5.2- Conjunción
V V V
V F F
F V F
F F F
Ejemplo:
5.3- Disyunción
V V V
V F V
F V V
F F F
Ejemplo:
q: María estudia
La disyunción es: p q: María trabaja en un banco o estudia
El sentido de esta proposición es que el sujeto de este enunciado puede trabajar o
estudiar, o hacer ambas cosas a la vez, puesto que no se excluye la posibilidad que se
den ambas situaciones.
V V F
V F V
F V V
F F F
Ejemplo:
p q pq
V V V
V F F
F V V
F F V
Ejemplo:
Sean las proposiciones simples:
p: Pedro aprueba el examen
q: Pedro le presta sus apuntes a Juan
La implicación es “si Pedro aprueba el examen entonces presta sus apuntes a
Juan”.
Interesa inducir la verdad o falsedad de la implicación, en término de la verdad o
falsedad de las proposiciones p y q. La proposición compuesta p q puede pensarse
como un compromiso, condicionado por p; y se puede asociar su verdad al
cumplimiento del compromiso. Es obvio que si p es F, es decir si Pedro no aprueba el
examen, queda liberada del compromiso; y preste o no sus apuntes la proposición será
verdadera. Es decir si p es F, la implicación es verdadera.
Si p es verdadero, en cuyo caso, aprueba el examen, y q es falso, es decir, Pedro
no presta el apunte, el compromiso no se cumple, y la implicación es falsa. Si p y q son
verdaderos, la implicación es verdadera.
V V V V V
V F F V F
F V V F F
F F V V V
Ejemplo:
Sean las proposiciones simples:
Desarrollo:
a) p: el animal tiene alas q: el animal es un ave
El animal tiene alas y es un ave: pq
b) p: Juan deja caer la piedra q: Juan se golpea
Juan deja caer la piedra y no se golpea: pq
c) p: Federico acepta el nombramiento q: Federico buscará otro trabajo
Federico no acepta el nombramiento, buscará otro trabajo: p q
d) p: La decisión dependerá del juicio q: La decisión dependerá de la
intuición r: La decisión dependerá de quien pagó más
La decisión dependerá del juicio o la intuición, no de quién pagó más: pq r
e) p: se entregarán $10.000 q: ganan el concurso
Se entregarán $10.000, si ganan el concurso: q p
f) p: estudio esta noche q: apruebo el examen
No estudio esta noche y no apruebo el examen mañana: pq
g) p: un polígono es un cuadrilátero q: un polígono tiene cuatro lados
Un polígono es un cuadrilátero sí y sólo si tiene cuatro lados: pq
Algebra y Geometría Analítica 11
Desarrollo:
a) ( p q ) ( q p)
p q p q q p (p q) (q p)
V V V V V
V F F V F
F V F V F
F F F F V
b) (p) q
p q p p q
V V F V
V F F V
F V V V
F F V F
Tema I: Nociones de Lógica 12
c) (p q) (p) (q)
V V F F V V F
V F F V F F V
F V V F F V F
F F V V F V V
Desarrollo:
1 2 3 4 5 = 24 6=15
p q r r qr p (q r)
V V V F V V
V V F V V V
V F V F F F
V F F V V V
F V V F V F
F V F V V F
F F V F F F
F F F V V F
p q pq ppq
V V V V
V F V V
F V V V
F F F V
Ejemplo:
Desarrollo:
p q p pq ( p q ) p
V V F V F
V F F F F
F V V F F
F F V F F
Ejemplo:
9 - Equivalencia Lógica
Dos proposiciones son lógicamente equivalentes o simplemente equivalentes
si tienen las mismas tablas de verdad.
Sean las proposiciones compuestas: P(p,q, .....) y Q(p,q, .....) se dirá que son
equivalentes si tienen las mismas tablas de verdad y por lo tanto la doble implicación
entre ambas será una tautología. En forma simbólica:
P(p,q, .....) Q(p,q, .....) P(p,q, .....) Q(p,q, .....) es una tautología.
Ejemplo:
Demostrar que las proposiciones (p q) y (p q) son equivalentes.
Desarrollo:
p q pq 1) (pq) p q 2) p q 1)2)
V V V F F F F V
V F F V F V V V
F V F V V F V V
F F F V V V V V
10 - Leyes Lógicas
En el cálculo proposicional se utilizan las siguientes leyes lógicas cuya
demostración se reduce a la confección de la correspondiente tabla de valores de verdad.
Algunas de las leyes lógicas son las siguientes:
Involución: (p) p
Idempotencia: (p p) p
(p p) p
Conmutatividad:
a) de la disyunción: p q q p
b) de la conjunción: p q q p
Asociatividad:
a) de la disyunción: (p q) r p (q r)
b) de la conjunción: (p q) r p (q r)
Distributividad:
a) de la disyunción respecto de la conjunción: p (q r) (p q) (p r)
b) de la conjunción respecto de la disyunción: p (q r) (p q) (p r)
Algebra y Geometría Analítica 15
Leyes de De Morgan:
a) La negación de una disyunción es equivalente a la conjunción de las negaciones:
(p q) p q
b) La negación de una conjunción es equivalente a la disyunción de las negaciones:
(p q) p q
Ejercitación:
Simbolizar, negar y retraducir las siguientes proposiciones:
a) La empresa “Salud al Día” almacena frutas secas o vegetales.
b) Cuando el gerente estudia el monto de ventas diarias, toma decisiones acertadas.
c) Los empleados recibieron cheques o pagos en efectivo
d) Durante la última semana la Bolsa de Valores no aumentó y los inversores
estuvieron atentos
Desarrollo:
a) p: La empresa “Salud al Día” almacena frutas secas
q: La empresa “Salud al Día” almacena vegetales
pq: La empresa “Salud al Día” almacena frutas secas o vegetales.
Negación: ( pq ) p q : No es cierto que la empresa “Salud al Día”
almacena frutas secas o vegetales; o bien: La empresa “Salud al Día” no
almacena frutas secas ni vegetales.
b) p: El gerente estudia el monto de ventas diarias
q: El gerente toma decisiones acertadas
p q : Cuando el gerente estudia el monto de ventas diarias, toma decisiones
acertadas.
Negación: ( p q ) p q: El gerente estudian el monto de ventas diarias y
no toma decisiones acertadas.
c) p: Los empleados recibieron cheques
q: Los empleados recibieron pagos en efectivo
pq : Los empleados recibieron cheques o pagos en efectivo
Tema I: Nociones de Lógica 16
11- Razonamiento
11.1- Definición:
1) El ladrón tuvo que entrar o bien por la puerta, o bien, por la ventana. Por la puerta
no entró, como lo ha demostrado la investigación policial. Por lo tanto, el ladrón
tuvo que entrar por la ventana.
En este ejemplo, la proposición “El ladrón entró por la ventana” está fundada en los
otros enunciados, entonces es la conclusión del razonamiento.
2) Llueve mucho. Será mejor que no salgamos. Podemos postergar la excursión para
mañana.
En este ejemplo se observa que si bien las proposiciones están relacionadas en
cuanto al contenido, no hay ninguna que se afirme sobre la base de las otras. No se
trata de un razonamiento.
Los razonamientos pueden dividirse en dos grandes grupos: los deductivos y los
no deductivos. En los deductivos se pretende que la conclusión se deduzca de las
premisas. En los razonamientos no deductivos, en cambio, la conclusión se infiere con
cierto grado de probabilidad, no con necesidad.
Ejemplos:
Algebra y Geometría Analítica 17
El análisis hecho hasta el momento podrá ser aplicado para analizar la validez de
los razonamientos, que como se expresó anteriormente es el objeto principal del estudio
de la Lógica. En particular en matemática interesa el razonamiento deductivo.
Hay distintos métodos de prueba de validez de razonamientos, entre ellos el
“Método del Condicional Asociado”, (o de demostración directa), el cual se analiza a
continuación.
Se dirá que un razonamiento deductivo es válido cuando su forma es tal que
no tiene ningún ejemplo con premisas verdaderas y conclusión falsa. Es decir
cuando el condicional asociado a su estructura es tautológico (no hay ninguna fila que
tenga antecedentes verdaderos y consecuente falso). Dado un razonamiento, si se
construye un condicional cuyo antecedente sea la conjunción de las premisas y su
consecuente la conclusión del razonamiento, y si el condicional así construido resulta
tautológico, el razonamiento a partir del cual se ha construido será válido.
Es decir, un razonamiento que consta de las premisas p1, p2, ....., pn, y de la
conclusión “ c “ es válido si:
Tema I: Nociones de Lógica 18
p q pq (p q) p [(p q) p] q
V V V V V
V F F F V
F V V F V
F F V F V
Segunda forma:
Se construye una tabla de verdad con todas las proposiciones simples que intervienen,
las premisas y la conclusión como cabeza de columna.
Se determinan los valores de verdad de las premisas.
Se tachan los renglones que tengan una o más premisas falsas.
Si la conclusión es verdadera en los renglones que quedan, el razonamiento es válido.
Ejemplo 2:
Determinar la validez del siguiente razonamiento:
Si el último dígito de 25 es cero, entonces 25 es divisible por 10
El último dígito de 25 no es cero.
Por lo tanto el 25 no es divisible por 10.
(Recordar que valor de verdad es distinto de validez del razonamiento).
Desarrollo:
p: El último dígito de 25 es cero.
q: 25 es divisible por 10.
pq
p
q
p q pq p q
V V V F F
V F F F V
F V V V F
F F V V V
Ejemplo 3:
Determinar la validez del siguiente razonamiento:
Si 25 es par, entonces 25 se puede escribir como múltiplo de 2.
25 se puede escribir como múltiplo de 2
Por lo tanto, 25 es par.
Desarrollo:
p: 24 es par.
q: 24 se puede escribir como múltiplo de 2.
pq
q
p
p q pq
V V V
V F F
F V V
F F V
Se puede observar que en los ejemplos dados se presentaron los siguientes casos:
Ejemplo 1: es un razonamiento válido con una conclusión verdadera.
Ejemplo 2: es un razonamiento no válido con una conclusión verdadera.
Ejemplo 3: es un razonamiento no válido con una conclusión falsa.
Ejemplo 4: es un razonamiento válido con una conclusión falsa.
Se puede concluir a partir de los ejemplos dados que la validez de un
razonamiento se refiere al modo empleado para razonar y no al valor de verdad de
la conclusión. Valor de verdad y razonamiento válido son conceptos diferentes.
12 – Implicaciones Asociadas
Se puede representar un razonamiento válido mediante la implicación p q. En
este caso p es la hipótesis y q es la tesis, luego p q constituye un teorema que
expresa:
Algebra y Geometría Analítica 21
contra-
recíproco
contrario contrario
contra-
recíproco
p q recíproco q p
b) p: Entiendo el tema
q: Puedo resolver la ejercitación
pq: Cuando no entiendo el tema, no puedo resolver la ejercitación.
Recíproca: q p : Cuando no puedo resolver la ejercitación, no entiendo el tema.
Contraria: (p) (q) pq : Cuando entiendo el tema, puedo resolver la
ejercitación.
Contrarrecíproca: q p: Cuando puedo resolver la ejercitación, entiendo el tema.
(p q) (q p)
Algebra y Geometría Analítica 23
Ejemplo 1:
Demostración:
Partiendo de negar la tesis, se puede decir que “a no es menor que b”, entonces
por propiedad de tricotomía tendremos:
a = b o a > b, si a estas dos expresiones le sumamos miembro a miembro c, tendremos:
a + b = b + c o a + c > b + c, por lo tanto “a + c no es menor que b + c”, y esto
contradice la hipótesis, con lo que queda demostrado el teorema.
Ejemplo:
P(x): x es impar, es una función proposicional de la que no se puede asegurar si
es V o F, y de la cual surgen proposiciones como por ejemplo:
14.2.- Cuantificadores
14.4.- Negación
Para negar una función proposicional cuantificada universalmente se
cambia el cuantificador en existencial, y se niega la función proposicional.
Ejemplo:
Sea la función proposiciona: F(x): x es impar. Al cuantificarla universalmente se
obtiene: x: F(x), es decir: “Todos los x son impares”
Su negación es:
x / F(x), es decir: “Existe algún número que no es impar”
Para negar una función proposicional cuantificada existencialmente, se
cambia el cuantificador en universal, y se niega la función proposicional.
Si se considera el ejemplo anterior: x / x es impar; su negación es:
x: F(x) es decir x: x no es impar o bien: “todos los x son pares”.
Ejemplo:
Dadas las siguientes funciones proposicionales, simbolizarlas, negarlas y retraducirlas:
a) Todos los estudiantes se esfuerzan por atender.
b) Algunos servicios son caros.
c) Algunos bancos brindan buena atención y pagan mayores tasas de interés.
d) Todos los números del conjunto son pares o enteros.
Desarrollo:
a) x: estudiantes; F(x): los “x” se esfuerzan por atender.
x: F(x): Todos los estudiantes se esfuerzan por atender
Negación: x /F(x): Algunos estudiantes no se esfuerzan por atender.
b) x: servicios; F(x): los “x” son caros
x /F(x): Algunos servicios son caros
Negación: x: F(x): Todos los servicios no son caros
c) x: bancos; F(x): los “x” brindan buena atención a sus clientes;
G(x): los “x” pagan mayores tasas de interés.
x / F(x) G(x): Algunos bancos brindan buena atención y pagan mayores tasas de
interés.
Negación: x: F(x) G(x): Todos los bancos no brindan buena atención a los
clientes o no pagan buenas tasas de interés.