Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
I. LÓGICA PROPOSICIONAL
A. Proposiciones
B. Conectivos proposicionales
B.1. Negación
B.2. Conjunción
B.3. Disyunción
B.4. Condicional
B.5. Bicondicional
B.6. Otros conectivos
C. Fórmulas lógicas
D. Reglas de inferencia
E. La demostración
II. EJEMPLOS Y APLICACIONES AL RAZONAMIENTO MATEMÁTICO
INTRODUCCIÓN
1
fundamentales. A partir de ésta y de las obras de otros lógicos y matemáticos del s.
XX se disponen de potentes herramientas. Gödel (1931) demostró que existen dentro
del sistema ciertas afirmaciones bien definidas, que no pueden ser demostradas ni
refutadas a partir de los axiomas. Así el teorema de Gödel se considera como el
resultado más importante de la lógica matemática.
I. LÓGICA PROPOSICIONAL
La lógica de proposicional se ocupa de proposiciones, de frases descriptivas en
el seno de una teoría. No todas las frases son proposiciones.
A. Proposiciones
Definición
Una proposición es una frase de la que se pueda decir que es verdadera o
falsa.
Observación
- No son proposiciones las frases interrogativas o exclamativas o enunciados
prescriptivos.
- Existen lógicas en las que se consideran más de 2 valores lógicos, pero verdadero y
falso son los únicos valores de verdad de las proposiciones. Rige el llamado principio
de bivalencia: “Toda proposición es o bien verdadera o bien falsa”.
La lógica proposicional se ocupa de las relaciones de inferencia entre
proposiciones tomadas en bloque. No se analiza la estructura interna de las
proposiciones, son estas las unidades de análisis. Como primer nivel del análisis
lógico, lo que se pretende es analizar la validez de aquellos razonamientos en los que
se parte de premisas, que son proposiciones sin analizar, para llegar a conclusiones
que son proposiciones que tampoco se analizan. Desde el punto de vista de la lógica
proposicional sólo se tienen en cuenta aquellas formas de deducir una proposición a
partir de otras que sean válidas sin necesidad de analizar interiormente cada una de
ellas. Los elementos que componen una proposición son irrelevantes. Sólo interesan
las proposiciones como tales, cada una de ellas considerada como un todo.
Como es indiferente el contenido de cada proposición, éstas se representan
mediante variables proposicionales: p,q,r,s,... símbolos que sustituyen a proposiciones
cualesquiera. Cada proposición tiene un único valor de verdad. La variable p, que
reemplaza a una proposición cualquiera, podrá tener el valor de verdad (v ó 1) o el
valor falso (F ó 0).
B. Conectivos proposicionales
Definición
Una proposición se llama molecular cuando es una composición de otras. Se
llama atómica si no lo es.
Se llaman conectivos proposicionales a las diversas formas de enlazar o
transformar proposiciones. Cada conectivo proposicional queda determinado
conociendo su función de verdad, la relación existente entre la verdad o falsedad de
las proposiciones componentes y la resultante.
Es normal dar una función de verdad mediante una tabla de verdad, que son
tablas en la que junto a cada posible combinación de valores de verdad de las
proposiciones componentes figura el de la proposición compuesta.
Según el número de componentes se habla de conectivos monádicos o
singulares, diádicos o binarios, ternarios, etc.
2
Observaciones
B.1. Negación
Dada una proposición p, su negación es la proposición ̚p, que será verdadera
si p es falsa y falsa si p es verdadera. Se lee “no p” y corresponde a la negación del
lenguaje usual. Su tabla de verdad es:
p p
̚
1 0
0 1
B.2. Conjunción
Dadas 2 proposiciones p y q, su conjunción es la proposición p∧q, que será
verdadera sólo cuando p y q son verdaderas y falsa en los demás casos. Se lee p y q
y se corresponde con la “y” o con la yuxtaposición del lenguaje usual. Su tabla de
verdad es:
p q p∧q
1 1 1
1 0 0
0 1 0
0 0 0
B.3. Disyunción
Dadas dos proposiciones p y q, su disyunción es la proposición p∨q, que será
falsa cuando p y q son falsas y verdaderas en los demás casos. Se lee “p ó q” y se
corresponde con la “o” no excluyente del lenguaje usual. Su tabla de verdad es:
p q p∨q
1 1 1
1 0 1
0 1 1
0 0 0
B.4. Condicional
Dadas dos proposiciones, p y q, su condicional es la proposición p → q, falsa
sólo si q es falsa y p verdadera y verdadera en los demás casos. Se dice que p es el
antecedente y q el consecuente del condicional. Se lee “si p entonces q” y se
corresponde con expresiones tales como: “si ... entonces ...”, “cuando ... entonces ...”
del lenguaje verbal. Su tabla de verdad es:
p q p→q
1 1 1
1 0 0
0 1 1
0 0 1
3
B.5. Bicondicional
Dadas dos proposiciones p y q, su bicondicional es la proposición p↔q, que
será verdadera si ambas son verdaderas o si ambas son falsas y falsa en los demás
casos. Se lee “p si y sólo si q”. Supone un doble condicional en el lenguaje usual: “si p
entonces q y si q entonces p”. Su tabla de verdad es:
p q p↔q
1 1 1
1 0 0
0 1 0
0 0 1
B.6. Otros conectivos
C. Fórmula lógicas
Definición
Si una fórmula lógica es siempre verdadera se llama tautología (T). Si siempre
es falsa se llama contradicción (K) y si toma los dos valores de verdad se llama
indeterminada.
Si una fórmula lógica A es una tautología ⇒ ̚A es una contradicción y viceversa.
Las tautologías que son fórmulas universalmente ciertas se llaman leyes de la lógica
proposicional. De ellas se obtienen las reglas de inferencia que permitirán pasar de
proposiciones verdaderas a otras propoposiciones verdaderas.
4
Proposición
Toda fórmula lógica es lógicamente equivalente a otra en la que sólo aparecen
los conectivos , ̚,∧,∨.
Demostración
p↔q≡(p→q)∧(q→p) y que: p→q≡( ̚p)∨q
Proposición
Sean A, B y C fórmulas lógicas. Se verifican las siguientes equivalencias
lógicas:
1.) Doble negación: ˥(˥A)≡A
2.) Asociativa: A∧(B∧C)≡(A∧B)∧C A∨(B∨C)≡(A∨B)∨C
3.) Conmutativa: A∧B≡B∧A A∨B≡B∨A
4.) Idempotencia: A∧A=A A∨A≡A
5.) De complemento: A∧(˥A)≡K A∨(˥A)≡T
6.) Elemento absorbente: A∧K≡K A∨T≡T
7.) Elemento neutro: A∧T≡A A∨K≡A
8.) Simplificativa: A∧(A∨B)≡A A∨(A∧B)≡A
9.) Distributiva: A∧(B∨C)≡(A∧B)∨(A∧C)
A∨(B∧C)≡(A∨B)∧(A∨C)
10.) De Morgan: ˥(A∧B)≡( ˥A)∨( ˥B) ˥(A∨B)≡( ˥A)∧( ˥B)
Demostración
Es muy fácil, veamos cómo se hace por ejemplo 10.) y los demás igual.
A B ˥A ˥B A∧B ˥(A∧B) (˥A)∨( ˥B) ˥(A∧B)↔(( ˥A)∨( ˥B))
1 1 0 0 1 0 0 1
1 0 0 1 0 1 1 1
0 1 1 0 0 1 1 1
0 0 1 1 0 1 1 1
Observación
D. Reglas de inferencia
Las tablas de verdad son útiles cuando el número de variables es pequeño
pero cuando hay muchas no es conveniente. Ahora proponemos otro sistema.
Definición
Se dice que q es una consecuencia tautológica de las proposiciones p1,p2,...,pn
si (p1∧p2∧...∧pn)→q es una tautología. Se simboliza en una columna. También se dice
que p1,p2,...,pn implican lógicamente q, que q se deriva o se deduce de las pi u otras
expresiones análogas. Así, si p1,p2,...,pn son tautologías lo es q.
Las reglas que permite derivar unas tautologías de otras se llaman reglas de
inferencia. Existen infinitas reglas de inferencia ya que cualquier fórmula tautológica
5
condicional determinará una. Se han propuesto sistemas basados en cantidades
reducidas de reglas que permiten derivar todas las leyes de la lógica proposicional.
A continuación enunciamos las reglas de inferencias más importantes:
Modus poniendo ponens (Regla de separación): Si tenemos A y A→B ⇒
tenemos B
Modus tollendo tollens: Si tenemos A→B y ˥B ⇒ tenemos ˥A
Modus tollendo ponens: Si tenemos A∨B y ˥A ⇒ tenemos B
Transitividad del condicional o modus barbara: Si tenemos A→B y B→C ⇒
tenemos A→C
Contraposición del condicional: A→B es equivalente a (˥B→˥A)
Simbólicamente se representa por:
PP: A→B TT: A→B TP: A∨B TC: A →B CC: A→B
A ˥B ˥A B→C
B ˥A B A→C ˥B→˥A
Observaciones
- Como un bicondicional equivale a un doble condicional, cada equivalencia lógica
engendra reglas de inferencia.
- De las definiciones de los conectivos se desprende que A∨B y A→B son
consecuencias tautológicas de B y que A∧B y A↔B lo son de A y B.
D. La demostración
Se llama demostración o prueba al proceso lógico que permite obtener de unas
premisas una conclusión. Se parte de unas proposiciones que se llaman premisas y se
busca llegar a otra proposición que se llama conclusión usando las reglas de
inferencia. El paso lógico de las premisas a la conclusión es la deducción. La idea de
la demostración consiste en que de premisas verdaderas sólo se pueden obtener
conclusiones que sean verdaderas.
Una demostración de la proposición p a partir de las proposiciones del conjunto
de premisas S, es una secuencia finita de líneas cada una de las cuales está formada
por una premisa o por una consecuencia tautológica de proposiciones de líneas
anteriores y cuya última línea es la proposición p.
Proposición 2
Si p↔q es una tautología y B resulta de A reemplazando una o más ocurrencia
de p por ocurrencias de q, entonces A↔B es una tautología y B es una tautología si y
sólo si lo es A.
Demostración
6
Al tomar p y q los mismos valores de verdad, el valor de verdad de A no se
altera al hacer la sustitución. La última parte es enunciar la equivalencia lógica de A y
B.
(1) p Hipótesis
(2) q Hipótesis
(3) r Conocimiento previo
(4) r→s Conocimiento previo
(5) s Modus ponens (4) y (3)
(6) q→u Conocimiento previo
(7) u Modus ponens (6) y (2)
(8) u→w Conocimiento previo
(9) w Modus ponens (8) y (7)
(10) p∧s Regla de unión (1) y (5)
(11) (p∧s)→v Conocimiento previo
(12) v Modus ponenes (11) y (10)
(13) v∧w Regla de unión (12) y (9)
(14) (v∧w)→t Conocimiento previo
(15) t Modus ponens (14) y (13)
7
axiomas S. De las proposiciones (˥p→q) y ˥q se sigue, en virtud de la regla de
inferencia modus tollens, la veracidad de ˥˥p y con ello la de p.
CONCLUSIONES
La lógica y las matemáticas han estado siempre muy relacionadas aunque han
surgido diversas corrientes, que apoyándose en unas teorías u otras, siguen una
determinada matemática. Esto es lo que veremos en el tema siguiente: las corrientes
matemáticas. Pero lo que no cabe a la duda es que la relación existe y que las
matemáticas pueden apoyarse con consistencia en la lógica para demostrar
resultados.
En este tema, lo que hemos visto sin profundizar y a groso modo es la lógica
proposicional y los elementos que la componen. Además hemos introducido unas
cuantas técnicas de demostración que se utilizan para el desarrollo de las
matemáticas.
BIBLIOGRAFÍA