Ilovepdf Merged

Lógica y Conocimiento
Introducción
La lógica en el aula:
La lógica es muy amplia y
variada.
La lógica es esencial para
el ser humano.
La lógica tiene preguntas
abiertas.
Investigación de frontera.
Conocimiento Lógico
Índice
Preguntas y Supuestos
Conocimiento en otras
Disciplinas
Conocimiento en Lógica
¿Qué es la Lógica?:
3 Tradiciones
Lógica y Razonamiento
Índice
Disciplinas
3 Tradiciones
¿Cuál es el Conocimiento en la Lógica?
ES
¿Qué tipo de Conocimiento MANEJA la Lógica?
PRODUCE
¿Qué es la Lógica?
Índice
Disciplinas
3 Tradiciones
Índice
Disciplinas
3 Tradiciones
Conocimiento en otras Disciplinas
FÍSICA J. Flores
(SPCF, abril 06)
“Lo fundamental en el conocimiento físico es

que se tiene una teoría, expresada
matemáticamente, que se confronta con el
experimento.”
§Leyes universales del mundo físico
expresadas matemáticamente.
§Teoría - Experimento.
FÍSICA J. Flores
(SPCF, abril 06)
“...A veces el experimento precede a la

teoría y otras veces sucede a la inversa.”
Ejemplo: La ecuación cuántico-relativista de

Dirac para un electrón, predice al
positrón, antipartícula del electrón,
luego hallado experimentalmente.
QUÍMICA J.A. Chamizo
(SPCF, marzo 06)
“...Su mandato central es sintetizar nuevas

formas de materia...”
§ Materia de la vida molecular.

§ Sintetiza varias formas de materia.
§ Identifica y Genera nuevas sustancias.
§ Física, Bioquímica, Ingeniería Química.
PSICOANÁLISIS N. Braunstein
(SPCF, junio 06)
§ Memoria.
§ Tipos de Memoria, Recuerdo.

Índice
Disciplinas
3 Tradiciones
Índice
Disciplinas
3 Tradiciones
“La lógica y las matemáticas, tan útiles que son, son

solamente un entrenamiento intelectual para el
filósofo. Le ayudan a saber cómo estudiar el mundo,
pero no le dan ninguna información acerca de él. Son
el alfabeto del libro de la naturaleza, mas no el libro
mismo.”
B. Russell (The Art Of Rational Conjecture, 1974)
La Lógica analiza y genera una serie

de métodos para manipular el
Conocimiento.
Organiza, Incrementa y Valida el

Conocimiento.
Índice
Disciplinas
3 Tradiciones
Índice
Disciplinas
3 Tradiciones
A A® B
Modus Ponens
B
A® B ¬ B
Modus Tollens
¬A
Concepción Axiomática
Concepción Dialéctica
Concepción Procedimental
“Esta concepción de la lógica se basa en

las demostraciones, y su misión es la
búsqueda de la certeza absoluta. Además
está estrechamente ligada a la historia de
las matemáticas.”
“Desde la antigüedad el paradigma
dominante del razonamiento era el de la
demostración matemática en sistemas
axiomáticos, como es el caso de Los
elementos de Euclides.”
J. van Benthem (Adiós a la Soledad: Modas Dinámicas
en la Lógica Actual, Amsterdam & Stanford)
“La organización del conocimiento

mediante axiomas y demostraciones
constituye la columna vertebral de la
fundamentación clásica de las
matemáticas.”

“Los orígenes de la lógica son más

variados. Otra imagen de la antigüedad es
la del debate y la polémica en la polis
griega.”
“Los colegas de filosofía recordarán a los

sofistas y la naturaleza dialéctica de los
diálogos platónicos, en los que Sócrates
acorrala a sus adversarios sirviéndose de
argumentos sagaces en momentos clave.”

“El cuadro de Rubens ilustra este tipo

de razonamiento (hay cinco filósofos:
cuatro vivos, y uno muerto). Según esta
concepción, la lógica y la
argumentación se transmutarían en un
juego.”

Con el transcurso de los siglos, la lógica se asoció

también con la computación y las máquinas. El famoso
lema de Leibniz para mediar en disputas lógicas era
Calculemus.
Todo esto, a través de su Characteristica Universalis,

dotada de un lenguaje matemático, preciso y sin
ambigüedades, en el cual puedan expresarse todas las
ideas y con el cual todos los argumentos racionales
puedan validarse de manera concluyente.
“Las partes en disputa debían codificar sus opiniones

divergentes en fórmulas, de modo que la veracidad o
falsedad del asunto pudiera establecerse mediante
aritmética binaria sobre el código.”
El sueño de Leibniz de un “calculus ratiotinator” se
desplomó. Hoy día sabemos que no existe ningún
procedimiento automático capaz de decidir la validez
de todas las inferencias lógicas.

En el desarrollo de la computación,
la lógica ha jugado un papel
fundamental. Las computadoras
actuales son herederas directas de
las máquinas de Turing propuestas
en los años 30 para analizar el
alcance y los límites de la
computación matemática.
Índice
Disciplinas
3 Tradiciones
Índice
Disciplinas
3 Tradiciones
Deducción
“Hay dos tipos de lógica, la deductiva y la

inductiva. Una inferencia es deductiva, si es
lógicamente correcta, da tanta certeza a la
conclusión como las premisas, mientras que una
inferencia inductiva, aun cuando obedece a todas
las reglas de la lógica, solamente hace la
conclusión probable aun cuando las premisas
sean certeras.”
B. Russell (The Art Of Drawing Inferences, 1974)
Deducción
Ejemplo:
Todas las conferencias de Filosofía son aburridas.
Ésta es una conferencia de Filosofía.
Por lo tanto, esta conferencia es aburrida.
“La deducción te dice qué se sigue de tus premisas, pero

no te dice si tus premisas son verdaderas.”
Inducción
“La inducción comienza, psicológimente, a

partir de una predisposición animal. Un animal
que ha experimentado cosas que pasan de cierta
forma, se comportará como si esperara que estas
cosas sucedieran igualmente la próxima vez.”

Inducción
Ejemplo (pavo inductivista de Bertrand Russell):
Inducción
Se demostró de manera
empírica que esta conclusión
era falsa cuando, en la
víspera de Navidad, le
cortaron el cuello al pavo.
Abducción
Peirce [CP 5.189] Forma Lógica
Se observa el hecho
sorprendente C.
C
Pero si A fuera
verdadera, entonces C A ® C
sería una cosa normal. < Posiblemente > A
Por lo tanto, hay una
razón para sospechar
que A es verdadera.
Abducción: Posibles Causas ¬ Efecto
C
A ® C
< Posiblemente > A
A debe estar sujeta a experimentación

Abducción: Patología ¬ Síntoma
1) Todos los pacientes 1) "x ( Dx ® Sx )
depresivos tienen bajo
el nivel de serotonina.
2) Juan tiene bajo el 2) S (Juan)
nivel de serotonina
3) Juan está deprimido 3) D (Juan)
Abducción Deducción
(1), (2) ├ A Posiblemente (3) (1), (3) ├ D (2)
Índice
Disciplinas
3 Tradiciones
Índice
Disciplinas
3 Tradiciones
Lógica del Razonamiento

Inferencial
Matemático Científico Sentido Común

(Empírico)
Deducción Inducción
Abducción
La Lógica Hoy
Axiomática Dialéctica
Procedimental Cognitiva
“La lógica no es el guardián estático de la correctud y validez

en nuestros razonamientos. La lógica es el sistema
inmunológico dinámico de la mente.”
J. van Benthem
“La función del análisis lógico consiste en analizar todo el

conocimiento, toda aseveración de la ciencia o de la vida
cotidiana, a efecto de clarificar el sentido de cada una de esas
aseveraciones y las conexiones entre ellas.”
R. Carnap (Filosofía y Sintaxis Lógica, 1935)

La lógica en el aula
La lógica es muy amplia y variada.

La lógica es esencial para el ser
(humano) vivo.
La lógica tiene preguntas abiertas.
Investigación de frontera.
Lógica de Proposiciones
¿Qué es una proposición?
¿Cuáles son los conectivos lógicos?
¿Cómo utilizar las tablas de verdad?
¿Qué es una tautología?
¿Qué es una contradicción?

La Lógica
Es una ciencia que estudia métodos o procedimientos que aplican

definiciones y leyes o reglas con el propósito de determinar la validez o
invalidez de las proposiciones. La lógica matemática es una variedad de la
lógica filosófica.
Se puede decir también, que la Lógica es el estudio de la inferencia: Inferir

es extraer la conclusión a partir de sus premisas.
Ejemplo
“Si Juan quiere a María entonces le escribirá un mensaje de WhatsApp. No

le escribió el mensaje; por tanto, Juan, no quiere a María”
Los objetivos principales de la lógica son esencialmente:
1. Eliminar las ambigüedades propias del lenguaje ordinario.
2. Dar rigor a aquello que se está estudiando.
En la Lógica existen dos procesos fundamentales:
1. Conceptualización: consiste en definir los objetos matemáticos

que se van a definir
2. Demostración: consiste en demostrar rigurosamente aquellas

propiedades, proposiciones o teoremas que se estén estudiando
Proposición
Es una expresión lingüística, libre de ambigüedades ,que tiene la propiedad de
ser verdadera o falsa pero nunca ambas simultáneamente.
Por ejemplo
SON PROPOSICIONES NO SON PROPOSICIONES
Ø El 2 es un número primo. Ø ¡ Pare inmediatamente!

Ø ¿15 y 18 tienen la misma
Ø 25 es divisible entre 3
cantidad de divisores?.
Ø 6 + 5 = 10
Ø En realidad, ¿a qué se refiere?.
Ø El aula 205 está en el 2do piso
Ø Lávalo.
Ø El sol es una estrella Ø ¡ Qué hermosos son tus ojos !
Ø Manuel saco 20 en matemáticas Ø ¿lloverá mañana?
Ø Haz esto por favor
Proposiciones
¿Cuáles de los siguientes enunciados son proposiciones?
(Explica por qué lo son o no lo son)
1) “ El trabajo en grupo es lo más fácil que existe”.
2) “ 2 es divisor de 15”.
3) “ ¿Fuiste a la manifestación del sábado?”.
4) “ El aula 205 tiene más de 50 mts. cuadrados”.
5) “x+3 es un entero positivo”.
6) “ Tranquilícese”.
Respuestas: Sólo son proposiciones los

enunciados dados en 2 y 4
Valor de verdad
Toda proposición se califica como verdadera (V) o falsa (F).
Ejemplos:
Ø La tierra es un cometa (F)
Ø París es la capital de Francia (V)
Ø 9 es divisible para 3 (V)
Ø 3 es múltiplo de 5 (F)
Variable Proposicional
Es la representación de las proposiciones por medio de letras minúsculas:

p, q, r, s, etc.. Lo que simplifica las operaciones
p: El aula 204 está en el 2do piso
q: El aula 204 es iluminada
r: El 5 es un entero par”
s: La Tierra es el único planeta con vida en el universo
t: El aula 204 no está iluminada
u: Un decenio tiene 10 años

Enunciado abierto
Llamado también función proposicional, es toda expresión que se

refiere a números; esta conformado por constantes y variables.
Ø Goza de la propiedad de transformarse en proposición al sustituir la

variable o variables por constantes.
Ejemplos:
Enunciado abierto
Proposición para (V)
Enunciado abierto
Proposición para (F)

Ø Además todo enunciado abierto se transforma en una proposición
anteponiéndole “para todo” o “Existe” los que son llamados
cuantificadores
Clases de proposiciones
1) Simple Llamadas también atónica, o elementales, son remplazadas,

por una sola variable proposicional
Ejemplos:
Las islas Galápagos se les conoce como “Islas encantadas” p
La tierra es un planeta del sistema solar
2) Compuesta : Llamadas también moleculares, son aquellas que

niegan a las proposiciones simples o combinan dos o más
proposiciones simples conectadas por partículas o conectivos lógicos.
Ejemplos
Las gallinas NO tienen cuatro patas. No p
Juan es médico y psicólogo q y r

Conectivos lógicos u operadores proposicionales:
Llamados también “operadores”, “signos de enlace”, “conectores, etc.

Son usados en las operaciones lógicas.
Los mas importantes son: la negación, conjunción, disyunción ( fuerte

débil) condicional y bicondicial.
1. Negación ( ) Puede afectar a una sola proposición o a un

conjunto de ellas. Puede ser:
1.1 Simple : Usa la partícula: No, jamás, nunca, etc. Cambia el valor de
verdad de una proposición simple.
Ejemplos:
Las islas galápagos NO son llamadas “Las islas encantadas”
La tierra NO es un planeta del sistema solar

1.2 compuesta
Ø Usa no es cierto que, no es el caso que , es falso que, no es verdad
que, es imposible que, no es que, etc. Niega al operador mas no a la
variable proposicional.
Ejemplo
Ø Es imposible que Juan ni estudie ni trabaje
Ø No es el caso que Pedro escriba o juegue
Ø El General de San Martin no nació en el Perú.
Ø No es cierto que la pizarra sea blanca y el marcador sea azul

Ejemplo
p: Nuestro salón está en el 2do piso.
¬p : Nuestro salón no está en el 2do piso.
¬p : No es cierto que nuestro salón esté en el 2do piso.
Si p es verdadera entonces ¬p es falsa. En cambio, si p es
falsa, ¬p es verdadera.
La tabla de verdad
p ¬p
V F
F V
Notación
Las proposiciones se combinan mediante conectivos,
por ejemplo, “y”, “o”, “pero”, “si ... entonces”…
Ejemplo
p: “El aula 204 está en el 2do piso”;
q: “El aula 204 es iluminada”.
pueden combinarse como:
Ø “El aula 204 está iluminada y está en el 2do piso”
Ø “Si el aula 204 está iluminada entonces se encuentra en
el 2do piso”
Conectivos
La proposición resultante de conectar dos ó más proposiciones se

denomina proposición compuesta.
Ejemplo
r : “El aula 205 está en el 2do piso pero es iluminada”
r es la proposición compuesta “p y q”
s: “Si el aula 204 está iluminada entonces se encuentra en el 2do piso”
s es la proposición compuesta “Si q entonces p”

2. La Conjunción ( p Ù q )
Vincula (coordina) proposiciones referidas a un mismo sujeto o a sujetos
diferentes mediante el conectivo y la conjunción de p y q es la
proposición “p y q” que se denota por “p Ù q”.
La conjunción es verdadera, únicamente cuando ambas proposiciones que

la componen son verdaderas.
Ejemplo:
Ø Juan es médico y deportista
Ø Sea p: “2 divide a 68”
q: “2 divide a 25”.
p Ù q : “ 2 es divisor de 68 y de 25”.
Valor de verdad: p Ù q es falsa

Obs 1. En el lenguaje coloquial se emplea como sinónimo de “y” las
expresiones sino, además, mas, pero, no obstante, también, a la vez,

aun cuando, sin embargo, aunque, a pesar de, etc.
Ejemplo:
Ø Juan tiene diez años también Elizabeth
Ø Benito perdió tanto dinero como Víctor.
Ø 16 es múltiplo de 3, pero 5 es mayor que 3.
Ø Fernando Belaunde fue un político pero honesto
Ø A la vez sale el sol aun cuando llueve

Obs : 2 En algunos casos la conjunción está sobre entendida; es
tácita
Ejemplo:
Algunos han sido grandes otros han conseguido la grandeza a otros
les ha sido impuesta.
Obs : 3 Una Coma puede hacer, también una conjunción.
Ejemplo:
En el anterior coloque las comas en el lugar apropiado.

Tabla de Verdad
p q pÙq
V V V
V F F
F V F
F F F
3. LA DISYUNCIÓN (pÚq)
3.1 Disyunción Débil (Ú) O inclusiva vincula dos o mas
proposiciones mediante el conectivo “o”
Ejemplo:
Ø La solución de (x–2)*(y+2) = 0 es x = 2 o y = -2”.
Ø Sean p: “3 divide a 6” q: “3 divide a 7”
p Ú q : “ 3 divide a 6 ó a 7”
Valor de verdad: p Ú q es verdadera.
Ø Juan arregla su cuarto o Rocío baila.
Ø La historia describe o explica
La disyunción es falsa, únicamente, cuando ambas proposiciones son

falsa
Tabla de verdad
p q pÚq
V V V
V F V
F V V
F F F
3.2 Disyunción Fuerte ( )
O exclusiva vincula dos proposiciones mediante el conectivo

“ o … o… “.
Ejemplo :
Ø O Juan arregla su cuarto o estudia p q
Ø O estás sano o estás enfermos. P q
En ambos ejemplos es imposible que simultáneamente ocurran ambas

proposiciones.
Tabla de verdad
p q p q
V V F
V F V
F V V
F F F
4. LA CONDICIONAL ( p ® q )
Establece una relación de dependencia entre las proposiciones que se

vinculan mediante el conectivo “ Si… entonces … “
p®q
Hipótesis ® Tesis
Antecedente ® Consecuente
Premisa ® Conclusión
Ejemplo:
Ø Si estudio entonces apruebo. p®q
Ø Como corra mucho, me canso p®q

vEn el lenguaje coloquial son sinónimos del condicional las palabras:
Siempre que p, q
Dado que p , q
p por lo tanto q
p es suficiente para q
p luego q
p implica q
P se concluye q
P en consecuencia q
p así que q
Si p, q
p sólo si q
q es necesaria para p
q se deduce de p
Ejemplo:
p: Los polvos de jardín contienen veneno
q: Los polvos de jardín son de colores brillantes.
La proposición p ® q puede estar expresada como:
Ø Si los polvos de jardín contienen veneno entonces son de colores

brillantes;
Ø Los polvos de jardín contienen veneno sólo si son de colores brillantes;
Ø Son necesarios los colores brillantes para los polvos de jardín que
contienen veneno;
Ø Los polvos de jardín son de colores brillantes si contienen veneno.

También tenemos proposiciones donde el orden no es normal, es decir
la proposición condicional está invertida y por lo tanto hay necesidad
de ordenarla.
Ejemplo:
Ø Apruebo el curso si estudio
Ordenando
Si estudio el curso entonces apruebo el curso
Ø Me canse pues bailé mucho
Ordenando
Bailé mucho, entonces me canse

Ø En este caso
p ya que q
p pues q
Tienen sinónimos en el lenguaje coloquial “dado que”, “puesto que”

“habida cuenta que”, “siempre que”, debido a que”, “porque” , etc.
Ø “Si p entonces q ” es verdadera, cada vez que la condición p
es verdadera obliga a que la condición q también sea verdadera.
Es decir, con el cumplimiento de p, se promete el cumplimiento
de q.
Tabla de verdad
La implicación es falsa, únicamente,cuando el antecedente es
verdadero y el consecuente es falso. En este caso, a pesar de
“estar dadas las condiciones”, no se cumple la promesa.
Tabla de verdad
p q p®q
V V V
V F F
F V V
F F V
Ejemplo:
p: La respuesta automática se puede enviar.
q: El sistema de archivos está lleno.
Ø ¬p ® q :
Si la respuesta automática no se puede enviar, el archivo está lleno.
Ø q ® ¬p :
La respuesta automática no se puede enviar cuando el archivo está lleno.
Ø q ® ¬p :
La respuesta automática no se puede enviar si el archivo está lleno.
Ø p®¬q:
Ø Si la respuesta automática se puede enviar, el archivo no está lleno.

5. La Bicondicional ( p « q)
Establece una relación de doble dependencia entre las proposiciones por
lo mismo ellas deben poder conmutarse. Se vinculan mediante el conectivo

“ si y solo si”
Es verdadera cuando p y q tienen los mismos valores de verdad,
es decir, es verdadera si ambas componentes son verdaderas o ambas son

falsas.
Ejemplo
Ø Puedes titularte si y solo apruebas todo el pensum académico
Ø N es par si y solo si es , múltiplo de dos.

También puede utilizarse “cuando y solo cuando” . “entonces y sólo
entonces”, es una condición necesaria y suficiente”, “ es una
condición necesaria y suficiente”.
Una manera de abreviar “si y sólo si” es “sii”.
“p si y sólo si q” se puede expresar como
“p es condición necesaria y suficiente para q”.

Ejemplo
p : 24 es un número par.
q : 24 es divisible por 2.
p « q : “ 24 es un número par si y sólo si 24 es divisible entre 2”.

ØLa naranja es agradable cuando y sólo cuando está madura.
Decimos bicondicional porque el signo « puede ser descompuesto en

dos signos condicionales
En el ejemplo “Si la naranja es agradable, entonces está madura” y “Si la

naranja está madura entonces es agradable
Tabla de verdad
p q p «q
V V V
V F F
F V F
F F V
6. La Binegación
Que vincula a dos proposiciones mediante “ no … y no …” .
“Ni … ni… , “
Ejemplo:
Ø No ingrese a la UNI y no postule a un trabajo
Ø Ni Barcelona es campeón ni Ecuador va al mundial.
Tabla de verdad
p q p «q
V V F
Ø
V F F
F V F
F F V
Evaluación de los esquemas moleculares mediante
tablas de verdad
Una vez formados los esquemas moleculares se aplican las tablas de

valores para decidir su validez.
La evaluación comienza con los conectivos de menor jerarquía,

ascendiendo a los de mayor jerarquía, hasta culminar con el conectivo
principal, que es donde va el resultado
Tautología y contradicción
Una tautología es una proposición compuesta que
es verdadera para todos los valores de verdad de las
proposiciones que la componen.
Por ejemplo: p Ú ¬p
“ Soy un hombre o no soy un hombre”
Una contradicción es una proposición compuesta que

es falsa para todos los valores de verdad de las
proposiciones que la componen.
Por ejemplo: p Ù ¬p
“Soy un hombre pero no soy un hombre”
Formalización
La formalización es el proceso en el que se traducen
proposiciones del lenguaje cotidiano al lenguaje formal o
simbólico.
4) Expresa las siguientes proposiciones usando p, q y los conectivos.

Sean p: “La temperatura está sobre los 17°C”
q: “ Llueve”
a) La temperatura está sobre los 17°C pero llueve.

b) Ni la temperatura supera los 17°C ni llueve.
c) No es cierto que llueva con la temperatura superior a los 17°C.
d) Llueve cuando la temperatura está sobre los 17°C.
e) Que la temperatura esté sobre los 17°C es suficiente para que no
llueva.
f) O bien llueve o bien la temperatura es superior a 17°C.
Formalización
5) Sean p: “El mensaje es revisado para buscar algún virus”
q: “ El mensaje fue enviado desde un sistema desconocido”
Expresa las siguientes proposiciones usando p, q y los

conectivos.
a) El mensaje se revisa para buscar algún virus siempre que se haya

enviado desde un sistema desconocido.
b) El mensaje fue enviado desde un sistema desconocido pero no

revisó para buscar ningún virus.
c) Cuando el mensaje no es enviado desde un sistema desconocido

no se revisa para buscar ningún virus.
d) El mensaje fue enviado desde un sistema desconocido pero no se

reviso para buscar ningún virus.
Inferencia Lógica
Objetivo
2
El presente material tiene como

objetivo ilustrar cada una de las
reglas de inferencia.
El alumno serán capaz de identificar

y utilizar cada una de las reglas de
inferencia.
• Reglas de inferencia y
demostración
Simbolización • Deducción proposicional
de • Otras reglas de
proposiciones Inferencia
• Bicondicionales
• Resumen de reglas de
inferencia
Reglas de Inferencia y
Demostración
Las reglas de inferencia que rigen el uso

de los términos de enlace son muy
simples.
Modus Ponendo Ponens (PP).
Modus Ponendo Ponens. El nombre modus

ponendo ponens se puede explicar de la
siguiente manera: Esta regla de inferencia es
el método (modus), que afirma (ponens) el
consecuente, afirmando (ponendo) el
antecedente.
Ejemplo PP
Sea
P = «É1 está en el partido de fútbol»
Q = «É1 está en el estadio»,
Entonces
La regla de
inferencia modus
Premisa 1: P®Q ponendo ponens
permite demostrar Q
Premisa 2: P a partir de P ®Q y P
Conclusión: Q
Ejemplo PP
El segundo ejemplo se simboliza de la

manera siguiente, donde P es la proposición
«Hace frío» y Q es la proposición «El lago se
congelará».
Premisa 1:¬!®¬"
Premisa 2: ¬!
Conclusión:¬ "
Recuérdese que la regla se aplica a la
forma de las proposiciones, o sea, que
siempre que se dé una proposición
condicional y se dé precisamente el
antecedente de aquella condicional,
se sigue precisamente el consecuente.
Demostraciones. Cuando se usa una
regla de inferencia para pasar de un
conjunto de proposiciones a otra
proposición se demuestra que la última
proposición es consecuencia lógica de
las otras.
Demostración en un paso
(Formal)
Utilizando modus ponendo ponens como
regla, se demostró una conclusión a partir de
un conjunto de premisas. Por ejemplo, de
R®S y R se demostró S. Se podría
esquematizar la demostración de manera
clara poniendo:
(1) R ® S P
(2) R P
(3) S PP
Demostraciones en dos
pasos
Algunas veces no se puede ir directamente
de las premisas a la conclusión por un solo
paso. Pero esto no impide poder llegar a la
conclusión. Cada vez que se deduce una
proposición por medio de una regla, entonces
esta proposición se puede utilizar junto con las
premisas para deducir otra proposición.
Considérese un ejemplo en el que se tienen
tres premisas:
Ejemplo
(1) A ® B P
(2) B ® C P
(3) A P
Se quiere probar la proposición C. Para llegar a
C, se necesitan dos pasos, cada uno permitido
por el modus ponendo ponens, PP.
(1) A ® B P
(2) B ® C P
(3) A P
(4) B PP 1, 3
(5) C PP 2, 4
Doble negación (DN)
La regla de doble negación es una regla

simple que permite pasar de una premisa
única a la conclusión. Un ejemplo simple es el
de una negación de negación, que
brevemente se denomina «doble negación».
Sea la proposición: No ocurre que Ana no es un
estudiante: ¿Qué conclusión se puede sacar de esta
premisa? Evidentemente, se puede decir: Ana es un
estudiante.
Así la regla de doble negación tiene dos formas

simbólicas.
(P) ¬¬(P)
y
¬¬(P ) (P)
Modus Tollendo Tollens (TT)
La regla de inferencia que tiene el

nombre latino modus tollendo tollens se
aplica también a las proposiciones
condicionales. Pero en este caso,
negando (tollendo) el consecuente, se
puede negar (tollens) el antecedente
de la condicional.
Ejemplo
Premisa 1. Si tiene luz propia, entonces el astro es una
estrella.
Premisa 2. El astro no es una estrella.
Conclusión: No tiene luz propia
Se simbolizará el ejemplo de la manera siguiente: Sea
P = «Tiene luz propia»

Q=«El astro es una estrella».
Premisa 1 :P ®Q
Premisa 2:¬Q
Conclusión:¬P
Se considera ahora un ejemplo de
una demostración en el que se
aplican las tres reglas expuestas
hasta aquí. Se trata de demostrar
¬¬R.
(1) P®Q P
(2) ¬Q P
(3) ¬P ® R P
(4) ¬P TT 1,2
(5) R PP 3, 4
(6) ¬¬R DN 5
Adjunción (A) y
Simplificación (S).
Se suponen dadas dos proposiciones como
premisas. La primera es Jorge es adulto. La
segunda es María es adolescente. Si ambas
proposiciones son verdaderas, entonces se
podrían juntar en una proposición molecular
utilizando el término de enlace «y» y se tendría
una proposición verdadera que se leería
Jorge es adulto y María es adolescente.

La adjunción y simplificación se simboliza de
la siguiente forma:
Regla de simplificación (S) Regla de adjunción (A)

!&# #&! ! !
−− −− # #
! # −− − −−−− −
!&# #&!
Disyunciones como
premisas.
Quizá se ha observado que en las reglas

estudiadas hasta ahora, se han estado
utilizando conjunciones, condicionales, y
negaciones.
Sin embargo, daremos un significado más
amplio a la disyunción. Se denomina sentido
incluyente. En el sentido inclusivo, cuando se
utiliza la palabra «o», se supone que por lo
menos un miembro de la disyunción se
presenta y quizá ambos.
Modus Tollendo Ponens (TP).
La regla anteriormente sugerida es

la que se denomina modus
tollendo ponens. Dice que
negando (tollendo) un miembro
de una disjunción se afirma
(ponens) el otro miembro.
Simbólicamente, el modus tollendo
ponens se puede expresar:
De la premisa PVQ
y la premisa ¬P
se puede concluir Q
De la premisa PVQ
y la premisa ¬Q
se puede concluir P
Ley de Adición (LA).
La ley de adición expresa el hecho que
si se tiene una proposición que es
cierta, entonces la disyunción de
aquella proposición y otra cualquiera
"ha de ser también cierta. Si se da la
proposición P, entonces la proposición
P V Q es consecuencia.
P Q
-------- --------
PV Q PV Q
Ley del Silogismo Hipotético (SH).
a veces también llamado argumento
cadena, regla de cadena, o el principio de
transitividad de la implicación. Simbolicemos este
razonamiento:
D = « Hace calor »
S= « Juana va a nadar »
H = « Arregla la casa después de comer ».
(1) D ® S P
(2) S ® H P
(3) D ® H SH
Ley del Silogismo Disyuntivo. (SD)
El silogismo disyuntivo es aquel cuya premisa mayor

establece una disyunción exclusiva, de manera
que los dos miembros no pueden ser
simultáneamente verdaderos, ni simultáneamente
falsos.
Para simbolizar el razonamiento, sea
R = «Llueve»
(1) R V D P
D= «La cancha está seca»
(2) R ® P P
P = «Jugaremos dentro». (3) D ® B P
B = «Jugaremos baloncesto». (4) P V B SD
Ley de simplificación
disyuntiva. (DP)
Si alguien dice «El equipo de los "Gigantes"

ganará o el equipo de los "Gigantes"
Ganará», se puede concluir que opina
simplemente que «El equipo de los
"Gigantes" ganará». En forma simbólica el
razonamiento es:
GVG
G
Leyes conmutativas (CL).
Estas reglas, probablemente, parecerán

muy triviales; sin embargo, se han de
enunciar, pues no se puede dar ningún
paso como conocido, si no se tiene una
regla explícita que lo permita. El
razonamiento que sigue es un ejemplo del
uso de una de las leyes conmutativas.
Ejemplo P
Galileo murió en 1642 e Isaac Newton nació en

1642. Por tanto, Isaac Newton nació en 1642 y
Galileo murió en 1642.
En forma simbólica:
P&Q
Se deduce
Q&P
De igual forma se puede utilizar para la

disyunción.
Las leyes de Morgan DL.
Son un par de reglas de transformación que

son ambas reglas de inferencia válidas. Las
normas permiten la expresión de
las conjunciones y disyunciones puramente
en términos de sí vía negación.
Ejemplo
(1) No llueve y no hace sol,
(2) No ocurre que llueva o que haga sol.
Si (1) y (2) significan lo mismo en el lenguaje

corriente, entonces en Lógica será válido
concluir (1) de (2) o (2) de (1), lo que
expresado en símbolos es:
a) de ¬P & ¬Q se puede concluir ¬(P V Q) y
b) de ¬(P V Q ) se puede concluir ¬P & ¬Q

Así (b) dice que si no se tiene o P o Q,
entonces no se tiene P y no se tiene Q. Estas
son las denominadas leyes de Morgan.
¬P & ¬Q
------------------
¬(P V Q )
Estas leyes también se aplican a otras formas
proposicionales, como se puede ver al
considerar las dos proposiciones
equivalentes:
(3) O no hace calor o no nieva
(4) No ocurre a la vez que hace calor y
que nieva.
Puesto que (3) y (4) tienen el mismo

significado, una puede deducirse de la otra.
Por tanto, en símbolos lógicos se puede
escribir:
(c) de ¬P V ¬Q se puede concluir ¬(P & Q) ,
(d) de ¬(P & Q) se puede concluir ¬P V ¬Q .
(c) y (d) son, pues, otros dos ejemplos de la

aplicación de las leyes de Morgan.
¬P V ¬Q
----------------
¬(P & Q )
Otro caso:
(e) de P &Q se puede concluir ¬(¬P V ¬Q) ,
Y finalmente
(f) de ¬(P V ¬ Q) se puede concluir ¬P & ¬ ¬Q.
Resumiendo, lo que se ha de hacer para
aplicar las leyes de Morgan, cuya
abreviatura es DL, como una regla de
operación, es verificar los siguientes pasos:
1. Cambiar & en V o V en &;

2. Negar cada miembro de la disyunción
o conjunción;
3. Negar la fórmula completa
Proposiciones bicondicionales
Este término de enlace es «si y sólo si».

Las proposiciones que utilizan este
término de enlace se denominan
proposiciones bicondicionales. El
símbolo que se utilizará para este
término de enlace es:
En forma simbólica la proposición sería:
P« Q,
La proposición bicondicional P « Q tiene
la misma fuerza que dos proposiciones
condicionales; primera P ®Q y segunda,
Q ® P.
Por ejemplo:
Si el agua alcanza cierta altura, entonces
el campo se inunda.
Ley bicondicional
También significa que si el campo se inunda,

entonces el agua alcanza cierta altura.
Así se tiene una nueva regla que nos
permite deducir ambas P® Q y Q ® P de P
« Q. Esta ley se denominará la ley de las
proposiciones bicondicionales, LB.
Resumen: Reglas de Inferencia
Modus ponendo ponens (PP) Modus tollendo tollens (TT)

P ®Q P®Q
P ¬Q
------ -------
Q ¬P
Modus tollendo ponens (TP) Doble negación (DN)
PVQ PVQ P ¬¬P
¬P ¬Q ------- --------
-------- -------- ¬¬P P
Q P
Regla de simplificación (S) Regla de adjunción (A)
P&Q Q&P P P
-------- -------- Q Q
P -------- --------
P&Q Q&P
Ley del silogismo hipotético (HS) Ley de la Adición (LA)
P® Q P Q
Q ®R -------- --------
-------- PV Q PV Q
P® R
Leyes de Morgan (DL) Ley de la simplificación
1. Cambiar & por V o V por & disyuntiva (DP)
2. Negar cada miembro de la PVP
conjunción o disjunción. --------
3. Negar la fórmula completa. P
Ley del silogismo disyuntivo (DS) Leyes conmutativas
PVQ PVQ P&Q PVQ
P ®R P ®R -------- ----------
Q®S Q®S Q &P QVP
----------- --------
RVS SVR
Ley de las proposiciones Regla de premisas (P)
bicondicionales (LB)
Una premisa se puede
P«Q P«Q introducir en cualquier punto
-------- -------- de la deducción.
P®Q Q®P
P®Q P«Q
Q®P ----------
---------- (P®Q)&(Q®P)
P«Q
Conclusión
La finalidad de la inferencia lógica es utilizar las

reglas de inferencia de manera que conduzcan a
otras fórmulas que se denominan conclusiones. El
paso lógico de las premisas a la conclusión es una
deducción. La conclusión que se obtiene se dice
que es una consecuencia lógica de las premisas si
cada paso que se da para llegar a la conclusión
está permitido por una regla.
Conclusión
De tal forma que se puede concluir que la

inferencia lógica da como resultado de
premisas verdaderas se obtienen sólo
conclusiones que son verdaderas. Es decir,
si las premisas son verdaderas, entonces las
conclusiones que se derivan de ellas
lógicamente, han de ser verdaderas.

Ilovepdf Merged

Cargado por

Copyright:

Formatos disponibles

Ilovepdf Merged

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

Ilovepdf Merged

Cargado por

Copyright:

Formatos disponibles

Lógica y Conocimiento

¿Cuál es el Conocimiento en la Lógica?

“Lo fundamental en el conocimiento físico es

“...A veces el experimento precede a la

Ejemplo: La ecuación cuántico-relativista de

“...Su mandato central es sintetizar nuevas

§ Materia de la vida molecular.

§ Tipos de Memoria, Recuerdo.

“La lógica y las matemáticas, tan útiles que son, son

La Lógica analiza y genera una serie

Organiza, Incrementa y Valida el

“Esta concepción de la lógica se basa en

“La organización del conocimiento

J. van Benthem (Adiós a la Soledad: Modas Dinámicas

“Los orígenes de la lógica son más

“Los colegas de filosofía recordarán a los

J. van Benthem (Adiós a la Soledad: Modas Dinámicas

“El cuadro de Rubens ilustra este tipo

J. van Benthem (Adiós a la Soledad: Modas Dinámicas

Con el transcurso de los siglos, la lógica se asoció

Todo esto, a través de su Characteristica Universalis,

“Las partes en disputa debían codificar sus opiniones

J. van Benthem (Adiós a la Soledad: Modas Dinámicas

“Hay dos tipos de lógica, la deductiva y la

“La deducción te dice qué se sigue de tus premisas, pero

“La inducción comienza, psicológimente, a

B. Russell (The Art Of Drawing Inferences, 1974)

A debe estar sujeta a experimentación

Lógica del Razonamiento

Matemático Científico Sentido Común

“La lógica no es el guardián estático de la correctud y validez

“La función del análisis lógico consiste en analizar todo el

R. Carnap (Filosofía y Sintaxis Lógica, 1935)

La lógica es muy amplia y variada.

¿Qué es una proposición?

¿Cuáles son los conectivos lógicos?

¿Cómo utilizar las tablas de verdad?

¿Qué es una tautología?

¿Qué es una contradicción?

Es una ciencia que estudia métodos o procedimientos que aplican

Se puede decir también, que la Lógica es el estudio de la inferencia: Inferir

“Si Juan quiere a María entonces le escribirá un mensaje de WhatsApp. No

1. Eliminar las ambigüedades propias del lenguaje ordinario.

2. Dar rigor a aquello que se está estudiando.

En la Lógica existen dos procesos fundamentales:

1. Conceptualización: consiste en definir los objetos matemáticos

2. Demostración: consiste en demostrar rigurosamente aquellas

Ø El 2 es un número primo. Ø ¡ Pare inmediatamente!

¿Cuáles de los siguientes enunciados son proposiciones?

(Explica por qué lo son o no lo son)

1) “ El trabajo en grupo es lo más fácil que existe”.

3) “ ¿Fuiste a la manifestación del sábado?”.

4) “ El aula 205 tiene más de 50 mts. cuadrados”.

5) “x+3 es un entero positivo”.

Respuestas: Sólo son proposiciones los

Toda proposición se califica como verdadera (V) o falsa (F).

Ø La tierra es un cometa (F)

Ø París es la capital de Francia (V)

Ø 9 es divisible para 3 (V)