You are on page 1of 20

M. en C.

Fabiola Martínez Juárez
Pachuca, Hgo, 2010



Lógica Matemática
Capítulo 2: Lógica Proposicional


Universidad Autónoma del Estado de Hidalgo
Instituto de Ciencias Básicas e Ingeniería
Licenciatura en Sistemas Computacionales
Lógica Matemática 2010

i Capítulo 2: Lógica Proposicional


Índice

1. INTRODUCCIÓN ........................................................................................... 1
1.1 CONECTORES LÓGICOS ....................................................................... 1
1.1.1 Y .................................................................................................. 2
1.1.2 O .................................................................................................. 2
1.1.3 NO ............................................................................................... 2
1.1.4 SI... ENTONCES .......................................................................... 3
1.1.5 … SI Y SOLO SI … ................................................................... 3
1.2 REGLAS DE FORMACIÓN (fórmulas bien formadas – fbf) ................. 3
Actividad 1.1 ............................................................................................. 4
1.3 REGLAS DE PRIORIDAD .................................................................... 4
Actividad 1.2 ............................................................................................. 5
1.4 INTERPRETACIÓN SEMÁNTICA (valores de verdad) ........................ 5
Actividad 1.3 ............................................................................................. 5
1.4.1 Conjunción ................................................................................... 6
1.4.2 Disyunción ................................................................................... 6
1.4.3 Negación ...................................................................................... 7
1.4.4 Condicional .................................................................................. 7
1.4.5 Bicondicional ................................................................................ 7
Actividad 1.4 ............................................................................................. 7
Actividad 1.5 ............................................................................................. 8



Lógica Matemática 2010

1 Capítulo 2: Lógica Proposicional

1. INTRODUCCIÓN

El cálculo de proposiciones o lógica proposicional es una lógica simbólica para la manipulación de
proposiciones. En particular se ocupa de las variables lógicas que representan proposiciones.

Una proposición es cualquier oración que puede ser verdadera o falsa, pero no ambas cosas a la
vez. La proposición es el elemento fundamental de la lógica proposicional.

Recordemos que las oraciones del lenguaje ordinario se clasifican en cuatro tipos:

TIPO EJEMPLO
Imperativo Cierra la ventana
Interrogativo ¿Qué es eso?
Exclamativo ¡Eso es grandioso!
Declarativo Un cuadro tiene cuatro lados.

Como se puede observar, solo las oraciones declarativas pueden tomar un valor de falso o
verdadero, por lo tanto son proposiciones válidas. Sin embargo, las oraciones imperativas,
interrogativas y exclamativas no pueden tomar un valor de verdad, ya que son órdenes, preguntas
o exclamaciones de emociones. Por tanto, este tipo de oraciones no son proposiciones válidas.

Las proposiciones se indican por medio de una letra minúscula, generalmente las letras p, q, r, s,…
y la proposición propiamente dicha.

Ejemplo:
p: La tierra es plana.
q: La puerta está cerrada.

A las proposiciones que no pueden dividirse se llaman proposiciones simples o atómicas. También
se llaman proposiciones atómicas a las constantes V y F que representan Verdadero y Falso.

Si se juntan una o varias proposiciones atómicas con un término de enlace, se tiene una
proposición compuesta.

1.1 CONECTORES LÓGICOS

Considere las siguientes proposiciones:

p: Hoy es sábado
q: No hay clase

Mediante un término de enlace se pueden unir y se tendrá una proposición compuesta. Por
ejemplo, se puede decir:

Hoy es sábado y no hay clase.

Esta proposición compuesta se ha construido con dos proposiciones y el término de enlace «y», ya
que este término no forma parte de ninguna de las proposiciones atómicas.

En lógica proposicional se utilizan los términos de enlace «no», «y», «o», «si… entonces», «… si y
solo si… », y se denominan CONECTORES LÓGICOS. Nótese que el primer término actúa sobre
una sola proposición y que los otros actúan sobre dos proposiciones a la vez.

Lógica Matemática 2010

2 Capítulo 2: Lógica Proposicional

1.1.1 Y

La unión de dos proposiciones con la palabra «y» se denomina CONJUNCIÓN de las dos
proposiciones. Su símbolo es . y su forma es ( ) y ( ).

Ejemplo:

p: El terreno es muy rico
q: Hay suficiente agua
p . q: El terreno es muy rico y hay suficiente agua.

Palabras como “pero”, “además”, “mas aun”, “a la vez”, también denotan conjunción.
Ejemplo:

p . q: El gana más de $5000 pero menos de $8000.
p: El gana más de $5000.
q: El gana menos de $8,000.

Hay veces que «y» no denota conjunción.

Ejemplo:

María y Pedro son primos (no es conjunción).

1.1.2 O

La unión de dos proposiciones por medio de la palabra «o» se denomina DISYUNCIÓN de
las dos proposiciones. Su símbolo es v y sus formas son:
( ) o ( )
O ( ) o ( ).
Ejemplos:
p v q: El bote cruzó o se lo tragaron las olas.
p: El bote cruzó
q: Se lo tragaron las olas

r v s: O es un animal o es una planta.*
r: Es un animal
s: Es una planta

* No cometer el error de escribir la disyunción como: v r v s

1.1.3 NO

Cuando se le añade a una proposición el término «no» se le denomina NEGACIÓN de la
proposición. Su símbolo es ÷ y su forma: no ( ).

En el lenguaje cotidiano se acostumbra encontrar la palabra “no” dentro de la proposición,
sin embargo, en lógica lo consideraremos separado de la proposición sobre la que actúa.

Ejemplo:

p: Las elecciones presidenciales siempre terminan en armonía.
¬ p: Las elecciones presidenciales no siempre terminan en armonía.

Lógica Matemática 2010

3 Capítulo 2: Lógica Proposicional

1.1.4 SI... ENTONCES

La unión de dos proposiciones mediante las palabras «si… entonces» se denomina una
CONDICIONAL. Su símbolo es ÷ y sus formas son:
Si ( ), entonces ( )
Si ( ), ( )
( ), si ( )
Ejemplo:

p: Suena el timbre
q: Es hora de empezar la clase
p ÷ q: Si suena el timbre, es hora de empezar la clase

La proposición situada entre las palabras «si» y la palabra «entonces», se denomina
antecedente, y a la proposición que sigue a la palabra «entonces» se le denomina
consecuente.

1.1.5 … SI Y SOLO SI …

La unión de dos proposiciones mediante las palabras «si y solo si» se denominan
BICONDICIONAL. Su símbolo es ÷ y su forma es: ( ) si y solo si ( ).

p: x es par
q: x es divisible por 2
p ÷ q: x es par si y solo si es divisible por 2.

p ÷ q ÷ (p ÷ q) . (q ÷ p)

Los conectores se pueden utilizar con una o más proposiciones compuestas, de la misma manera
que con las atómicas, por ejemplo:

- Si un número es mayor que cero, entonces no es un número negativo.

p: un número es mayor que cero
q: es un número negativo
p÷ ¬ q: Si un número es mayor que cero, entonces no es un número negativo.

- Si x > 10, entonces x + z > 10 y y + z > 10.

p: x > 10
q: x + z > 10
r: y + z > 10
p ÷ (q . r): Si x > 10, entonces x + z > 10 y y + z > 10.

1.2 REGLAS DE FORMACIÓN (fórmulas bien formadas – fbf)

Una vez que conocemos nuestro vocabulario básico, proposiciones y conectores, el siguiente
elemento que tenemos que definir son las reglas de formación que nos permitan determinar si una
formula cualquiera pertenece o no a nuestro calculo, es decir si es una formula bien formada (fbf).

Definición recursiva de una fbf

1) Cualquier proposición atómica es una fbf.
2) Si w
1
y w
2
son formulas bien formadas, también lo serán:
- w
1
v w
2

Lógica Matemática 2010

4 Capítulo 2: Lógica Proposicional

- w
1
. w
2

- w
1
÷ w
2

- ÷w
1


Ejemplos de fbf ó expresiones correctas
- s
- ÷t,
- (p v q) . r
- r v (p ÷ q)
- (q ÷ r) . ÷ s


Actividad 1.1

Formaliza en el lenguaje del cálculo de proposiciones las siguientes oraciones del lenguaje
natural.


1) No llovió ayer.

2) Llueve, nieva y graniza.

3) Llueve, nieva ó graniza.

4) Si llueve habrá buena cosecha.

5) Habrá buena cosecha si llueve.

6) No llueve, pero nieva.

7) Si nieva y hace sol podremos esquiar.

8) No es cierto que llueve y me moje.

9) Si no llueve y no nieva entonces o hace sol o hay niebla.

10) No es cierto que si llueve y me mojo, entonces me resfriare.


1.3 REGLAS DE PRIORIDAD

a) El conector ÷ tiene la prioridad más alta.
b) Para los demás conectores, . tiene la prioridad más alta, seguido de v, ÷ y ÷.

p . q v r
p ÷ q v r
p ÷ q ÷r
Debe
entenderse
como
(p . q) v r
p ÷ (q v r)
p ÷ (q ÷ r)

Utilizamos los paréntesis si es necesario cambiar la prioridad de los conectores. Estos igual nos
indican cual es el conector dominante de cada proposición.

Lógica Matemática 2010

5 Capítulo 2: Lógica Proposicional


Actividad 1.2

Traduce las siguientes oraciones al cálculo proposicional. Indica cual es el conector dominante y si
se requiere de paréntesis


1. Jorge es el capitán o José es el capitán, y Carlos es el Teniente.

2. Pedro es el Presidente, y o Juan es tesorero o José es tesorero.

3. Sí x < 2, entonces x = 1 ó x = 0.

4. Si x < 3 y x > 1 entonces x = 2.

5. y = 4 y sí x < y entonces x < 5.

6. Él está equivocado y yo tengo la razón, o quedaré sorprendido.

7. No ocurre que, ó Pedro es el más alto ó Juan es el más alto.


1.4 INTERPRETACIÓN SEMÁNTICA (valores de verdad)

Una proposición formalizada por la variable p podrá tener el valor verdadero o falso. Expresando
esto en forma de tabla obtendremos lo siguiente:



Si p y q son 2 variables proposicionales, las posibles combinaciones de sus valores de verdad
serán:
p q
V V
V F
F V
F F

En general, dado un número n de proposiciones, el número de combinaciones posibles de sus
valores de verdad será 2
n
. Así para n = 3, sus combinaciones serán 8; para n = 4, 16; etc.


Actividad 1.3

Desarrollar las tablas para 3 y 4 proposiciones.

p
V
F
Lógica Matemática 2010

6 Capítulo 2: Lógica Proposicional



1.4.1 Conjunción

La conjunción es verdadera cuando sus 2 proposiciones componentes son verdaderas. Es
una conexión binaria
1
y simétrica
2
:

p . q ÷ q . p

p q p . q
V V V
V F F
F V F
F F F

1.4.2 Disyunción

La disyunción es verdadera cuando al menos una de sus 2 proposiciones componentes es
verdadera. Es una conexión binaria y simétrica:

p v q ÷ q v p

p q p v q
V V V
V F V
F V V
F F F

La disyunción puede interpretarse de dos maneras distintas

a) Disyunción exclusiva. Si se da una de las alternativas no se da la otra.
b) Disyunción inclusiva. Se puede dar una u otra de las alternativas o las 2 a la vez.

Desde el punto de vista lógico, es mayor la importancia de la disyunción inclusiva.

Disyunción Exclusiva
p q p v q
V V F
V F V
F V V
F F F


1
Binaria: requiere de 2 proposiciones que estén unidas mediante la conexión.
2
Simétrica: el orden de las 2 proposiciones unidas mediante la conexión no afecta el valor de
verdad de la expresión resultante.
Lógica Matemática 2010

7 Capítulo 2: Lógica Proposicional

1.4.3 Negación

La negación invierte el valor de la proposición. Si p es verdadera, ÷ p es falsa y viceversa.
Es una conexión unitaria, solo niega a una única proposición.

p ÷p
V F
F V

1.4.4 Condicional

Expresa la condición suficiente pero no la necesaria, será falso, cuando el antecedente sea
verdadero y su consecuente sea falsa. Es una conexión binaria pero no simétrica:

p ÷ q ≠ q ÷ p

p q p ÷ q
V V V
V F F
F V V
F F V

En la lógica, todo condicional cuya antecedente sea falso, se considera trivialmente
verdadero.

Ejemplo:
Si llueve me mojo.

1.4.5 Bicondicional

Expresa la condición suficiente y necesaria, será verdadera siempre que las 2
proposiciones tengan los mismos valores de verdad. Es una conexión binaria y simétrica

p q p ÷ q
V V V
V F F
F V F
F F V


Ejemplo:
X es par si y solo si X es divisible por 2


Actividad 1.4

Calcular el valor de verdad de las siguientes proposiciones compuestas

Lógica Matemática 2010

8 Capítulo 2: Lógica Proposicional


1) (p . r) v (p . s)

2) ÷ (÷ p v ÷ q)

3) (q . (p ÷ q)) ÷ p




Actividad 1.5

Calcula el valor de verdad de las siguientes expresiones e indica alguna conclusión


a) p . p
b) p v p
c) p . V
d) p v F
p p . p p v p p . V p v F








Lógica Matemática 2010

9 Capítulo 2: Lógica Proposicional

1.5 TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA

Dada una formula bien formada A:
- A es una tautología si es verdadera para todos las combinaciones de valores de las
variables que ocurren en A. Se simboliza ├ A.
- A es una contradicción, si es falsa para todas las combinaciones de valores de las
variables que ocurren en A.
- Una expresión lógica que no sea ni tautología, ni contradicción se denomina Contingencia
(casualidad / eventualidad).

1.6 EQUIVALENCIA

Si A y B son 2 expresiones lógicas y si A y B tienen siempre el mismo valor de verdad para todas
sus combinaciones de valores de las variables que ocurren en ellas, decimos que “A y B son
lógicamente equivalentes”. Se simboliza A ÷ B



Actividad 1.6

Realiza las siguientes demostraciones, utilizando tablas de verdad.


1) Demostrar que: ├ A si A = ÷ (p . q) v q
2) Demostrar que: ├ p v ÷ p
3) Demostrar que: p . ÷ p es una contradicción
4) Demostrar que: (p ÷ q) . ÷ (p ÷ q) es una contradicción
5) Demostrar que: (÷ p v ÷ q) ÷ ÷ (p . q)
6) Demostrar que: (p ÷ q) ÷ (÷q ÷ ÷ p)
























Lógica Matemática 2010

10 Capítulo 2: Lógica Proposicional


1.7 ELIMINACIÓN DE CONDICIONALES Y BICONDICIONALES

1. p ÷ q ÷ ÷ p v q
2. p ÷q ÷ (p . q) v (÷p . ÷q)
3. p ÷ q ÷ (p ÷ q) . (q ÷ p)

1.8 LEYES ESENCIALES PARA LA LÓGICA PROPOSICIONAL

NOMBRE LEY
Ley del medio excluido P v ÷P ÷ V
Ley de contradicción P . ÷P ÷ F
Leyes de identidad
P v F ÷ P
P . V ÷ P
Leyes de dominación
P v V ÷ V
P . F ÷ F
Leyes de idempotencia
P v P ÷ P
P . P ÷ P
Ley de la doble negación ÷( ÷P ) ÷ P
Leyes conmutativas
P v Q ÷ Q v P
P . Q ÷ Q . P
Leyes asociativas
( P v Q ) v R ÷ P v ( Q v R )
( P . Q ) . R ÷ P . ( Q . R )
Leyes distributivas
( P v Q ) . ( P v R ) ÷ P v ( Q . R )
( P . Q ) v ( P . R ) ÷ P . ( Q v R )
Leyes de DeMorgan
÷ ( P v Q ) ÷ ÷P . ÷Q
÷ ( P . Q ) ÷ ÷P v ÷Q
Leyes de absorción
P v ( P . Q ) ÷ P
P . ( P v Q ) ÷ P



Actividad 1.7

Demuestra las leyes de la absorción.


A v (A . B) ÷ A












A . (A v B) ÷ A












Lógica Matemática 2010

11 Capítulo 2: Lógica Proposicional



Actividad 1.8

Simplifique las siguientes expresiones.


1) ÷(÷p v ÷q)

2) ÷(÷p . ÷q)

3) p . (p v q)

4) (p v r) . (p v r v s)

5) p . (q . p)

6) (p . V) . (q . V)

7) (r . (q . (p . r))

8) ÷ ( p . ÷ (q v ÷ r ) )

9) p v ÷( p . ÷(q v r) )

10) (q . V) . ( p . ÷q)

11) (q . r . s) v (q . ÷r . s)

12) ( p v (q . s) ) v (÷q . s)

13) (÷p . (÷q . r) ) v (q . r) v (p . r)

14) (p . q) v (÷p . q) v (p . ÷q) v (÷p . ÷q)

15) ÷ ( (÷p . q) v p)

16) (p . q) v (p . r) v [ p . (q v ÷ r) ]

17) p v (÷p . ÷(q v r) )

18) ÷( (p v q) . r ) v q

19) ÷ (p v q) ÷ p

20) ÷ p v (p ÷ q)

21) (p ÷ q) ÷ q

22) [ p ÷ (q ÷ r) ] ÷ (p÷q)


Lógica Matemática 2010

12 Capítulo 2: Lógica Proposicional

1.9 TEORÍA DE LAS FORMAS NORMALES

En la lógica proposicional existen 2 tipos de formas especiales a los que puede ser llevada toda
fórmula bien formada. Estas formas especiales se denominan formas normales y pueden ser de
dos tipos: formas normales disyuntivas (FND) y formas normales conjuntivas (FNC). Antes de dar
una definición de las formas normales, revisemos 2 conceptos fundamentales: el concepto de
disyunción elemental y el de conjunción elemental.

1) Disyunción elemental: Es una disyunción de un conjunto finito de variables
proposicionales todas diferentes entre sí, que pueden estar afectadas por el signo de la
negación. También una variable aislada, con negación o sin ella, y la constante “F”
constituyen una disyunción elemental.

Ejemplos:
1. F (disyunción elemental de 0 miembros)
2. p (disyunción elemental de un solo miembro)
3. p v q
4. ÷ p v q v r
5. ÷ p v ÷ q
6. ÷ p v q v r v s

Ejemplos de expresiones que no son disyunciones elementales:

1. p v p v q
2. p v q v ÷q

2) Conjunción elemental: Es una conjunción de cualquier conjunto finito de variables
proposicionales diferentes entre sí, que pueden estar afectadas o no por el signo de la
negación. También una variable aislada, con negación o sin ella, y la constante “V”
constituyen una conjunción elemental.

Ejemplos:
1. V
2. p
3. p . ÷ q
4. ÷ p . ÷ q
5. p . q . ÷ r
6. p . q . r . s

Ejemplos de expresiones que no son disyunciones elementales:

1. ÷(p . q)
2. q . p . q
3. r . ÷r


1.9.1 Formal Normal Disyuntiva.

Es una disyunción de un conjunto finito cualquiera de conjunciones elementales diferentes
entre sí. Ejemplos:

p . q
(p . q) v (p . ÷q)
(p . q . ÷ r) v (p . ÷q . r)
Lógica Matemática 2010

13 Capítulo 2: Lógica Proposicional

(p . q . ÷ r) v (p . ÷ q) v (p . q . r)

En la definición anterior no se excluyen los casos de disyunciones de un conjunto vació de
miembros y disyunción de un solo miembro como es el caso de la primera expresión del
ejemplo.

1.9.2 Forma Normal Conjuntiva.

Es una conjunción de un conjunto finito cualquiera de disyunciones elementales diferentes
entre sí. Ejemplos:

p v q
(p v q v r) . (p v r)
(p v q v ÷ r) . (p . q v r) . ( ÷ p v q)

Al igual que las FND, las formas normales conjuntivas pueden ser de una sola disyunción
elemental y de un conjunto vacío de ellas.




1.9.3 ¿Cómo obtener las formas normales?

- Eliminar ÷ y ÷ (convertir por su equivalente)
- Reducir el alcance de la negación
- Aplicar leyes conmutativas, asociativas y distributivas para obtener la estructura de la
forma normal que se trate.





Actividad 1.9

Encontrar la FND y la FNC de las siguientes expresiones.


- p . (q ÷ r)


- ÷ ( (p v ÷q) . ÷r


- (p ÷ q) ÷ (q v r)


- (p ÷ q) ÷ (p ÷ r v q)






Lógica Matemática 2010

14 Capítulo 2: Lógica Proposicional

1.10 SISTEMAS DE DEDUCCIÓN NATURAL

Hasta ahora hemos visto los elementos que constituyen el lenguaje de la lógica, pero todavía no
sabemos que podemos hacer con ellos. Si la lógica estudia los principios de inferencia valida,
entonces un cálculo lógico nos podrá decir que esquemas de inferencia son validos y cuáles no.

En general hay dos manera de constituir los cálculos; como un sistema de reglas o como un
sistema de leyes. Un sistema de reglas nos propone un razonamiento y mediante la aplicación de
reglas hay que determinar si ese razonamiento propuesto es válido o no lo es. Este tipo de
sistemas parecen convenir mejor al modo en que razonamos normalmente, por eso se denominan
SISTEMAS DE DEDUCCIÓN NATURAL. Un sistema de leyes, por el contrario, consiste en
encontrar todas las leyes lógicas que pueden derivarse de un conjunto reducido de leyes a los que
denominamos axiomas, y que aceptamos como verdaderos por su auto-evidencia. Estos tipos de
sistemas se denominan SISTEMAS AXIOMÁTICOS y en ellos todo lo que se deriva es válido,
porque el sistema asegura la validez de la deducción.

Argumento correcto,
conclusión verdadera

Todo múltiplo de 6 es múltiplo de 3
12 es múltiplo de 6 .
12 es múltiplo de 3

Todo hombre es mortal
Sócrates es un hombre.
Sócrates es mortal


Argumento incorrecto,
conclusión verdadera

Todo número con exactamente dos divisores es primo
4 no tiene exactamente dos divisores (tiene tres: 1, 2 y 4).
4 no es primo

Todo pingüino es ave
Mi perro no es pingüino.
Mi perro no es ave


Argumento correcto,
conclusión falsa

Todo múltiplo de 4 es par
5 es múltiplo de 4 .
5 es par

Todo ave es voladora
El avestruz es ave .
El avestruz es voladora

Argumento incorrecto,
conclusión falsa

Todo múltiplo de 6 es par
8 no es múltiplo de 6 .
8 no es par

Todo pez es nadador
El delfín no es pez (es mamífero) .
El delfín no es nadador


1.10.1 La lógica proposicional como sistema de deducción natural

Empecemos con un conjunto de formulas que se denominan PREMISAS. El objetivo del juego de
la lógica es utilizar las reglas de inferencia de manera que conduzcan a otros formulas que se de
denominan CONCLUSIONES. El paso lógico de las premisas a la conclusión se denomina
DEDUCCIÓN ó DERIVACIÓ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. Ejemplo:

Si yo tengo como premisas las formulas P ÷ Q y P ¿Qué conclusión podemos sacar?
Veámoslo de la siguiente manera.

Si llueve, entonces el cielo ha de estar nublado y llueve, ¿Qué podemos concluir? El cielo
ha de estar nublado.
P ÷ Q
P
Q

Lógica Matemática 2010

15 Capítulo 2: Lógica Proposicional

1.10.2 Reglas de inferencia

Ahora ¿cuáles son las reglas que podemos utilizar?

REGLAS DE INFERENCIA ESQUEMA
Ley de simplificación
p . q p . q .
p q
Ley de Conjunción
p
q .
p . q
Ley de adición disyuntiva
p .
p v q
Ley de Modus Ponens
p ÷ q
p .
q
Ley de Modus Tollens
p ÷ q
÷q .
÷p
Ley de la contrapositiva
p ÷ q .
÷q ÷ ÷p
Ley del silogismo hipotético
p ÷ q
q ÷ r .
p ÷ r
Ley del silogismo disyuntivo
p v q p v q
÷p . ÷q .
q p
Ley de casos
p ÷ q
÷p ÷ q .
q
Ley de la inconsistencia
(cualquier cosa,
reducción al absurdo)
p
÷p .
q
Regla de demostración condicional
p . q
p ÷ ( q ÷ r ) .
r
Regla de demostración por casos
p ÷ r
q ÷ r .
(p v q) ÷ r
Regla del dilema constructivo
p ÷ q
r ÷ s
p v r .
q v s
Regla del dilema destructivo
p ÷ q
r ÷ s
÷q v ÷s .
÷p v ÷r
Introducción de la equivalencia
p ÷ q
q ÷ p .
p ÷ q
Eliminación de la equivalencia
p ÷ q . p ÷ q .
p ÷ q q ÷ p

Lógica Matemática 2010

16 Capítulo 2: Lógica Proposicional

1.10.3 Forma típica de derivar

Un argumento lo representamos de las siguientes maneras:

(p
1
. p
2
. p
3
. ... . p
n
)  q

p
1

p
2

p
3

:
p
n

p
1
, p
2
, p
3
... p
n
├ q

donde:
p
1
, p
2
... p
n
:son las premisas
q: es la conclusión
q

y será válido si es una tautología. La forma típica de derivar es:

1) Toda premisa se da como esquema a la izquierda de ├. Se enlista todas las premisas y se
separan por el resto de la derivación mediante una línea horizontal.

2) Para justificar una nueva línea, la regla se da a la derecha junto con las líneas que se
usan, como premisas de la regla.



Actividad 1.10

Use las variables proposicionales P y Q para formalizar los siguientes argumentos lógicos


a) Si 10 es primo, 10 no puede ser igual a 2 por 5; 10 es igual a 2 por 5. Por tanto, 10 no
puede ser primo.

b) Si llueve con frecuencia, los campesinos se quejan. Si no llueve con frecuencia, los
campesinos se quejan. Por consiguiente, los campesinos se quejan.



Actividad 1.11

Use las variables proposicionales P y Q para formalizar los siguientes argumentos lógicos


a) A, A ÷ B, B ÷ C ├ C
b) A, A ÷ B ├ A . B
c) A . B, B ÷ C ├ C
d) A ÷ (B ÷ C), B, A ├ C
e) A v B, B ÷ C, A ÷ C ├ C
f) A, ÷A ├ B
g) A ÷ B, ÷B ├ ÷A
h) A ÷ B, B ÷ C├ A ÷ C
i) A ÷ B ├ ÷B ÷ ÷A
j) ÷A, A v B ├ B

Lógica Matemática 2010

17 Capítulo 2: Lógica Proposicional



Actividad 1.12

Demostrar la conclusión de los siguientes razonamientos.


a) Si la ballena es un mamífero entonces toma oxígeno del aire. Si toma su oxígeno del
aire, entonces no necesita branquias. La ballena es un mamífero y vive en el océano.
Por tanto no necesita branquias.

b) “Fue X o Y quien cometió el crimen. X estaba fuera del pueblo cuando el crimen fue
cometido. Si X estaba fuera del pueblo, no pudo haber estado en la escena del crimen.
Si X no estaba en la escena del crimen, no pudo haber cometido el crimen“.

Formule esto como una demostración formal y derive la conclusión. Use P
1
para “X
cometió el crimen”, P
2
para “Y cometió el crimen”, Q para “X estaba fuera del pueblo” y R
para “X estuvo en la escena del crimen”.



Actividad 1.13

De los siguientes argumentos, indicar cuales conclusiones son válidas y cuales son no válidas


1. p '÷ p v q

2. p '÷ p . q

3. r '÷ p v r

4. p, q '÷ p . q

5. s, (s v t) ÷ q '÷ q

6. (q . r) ÷ s, r '÷ s

7. ÷ r, ÷ s . ÷ r ÷ ÷ p '÷ ÷ p

8. ÷ r, ÷ s v ÷ r ÷ ÷ p '÷ ÷ p

9. ÷ p '÷ q v ÷ p

10. ÷ p '÷ q . ÷ p

11. (r . s) ÷ t, r '÷ t

12. (r . s) ÷ t, t '÷ r . s

13. (r . s) ÷ t, r . s '÷ t


Lógica Matemática 2010

18 Capítulo 2: Lógica Proposicional



Actividad 1.14

De una derivación para los siguientes argumentos lógicos, y establezca que leyes se utilizan en
cada paso.


1. P, P ÷ (Q v R), (Q v R) ÷ S ├ S
2. P ÷ Q, Q ÷ R, ÷R ├ ÷P
3. P ÷ Q, Q ÷ R, R ÷ P ├ P ÷ Q
4. P ÷ Q, P ÷ R, P ├ Q . R
5. S ÷ (P v Q), S, ÷P ├ Q
6. S ÷ ÷T, T , ÷S ÷ R ├ R
7. P ÷ S, P . Q, (S . R) ÷ ÷T, Q ÷ R ├ ÷T
8. Q v T, Q ÷ ÷R, T ÷ ÷R ├ ÷R
9. P ÷ (Q . R), P, T ÷ ÷Q, T v S ├ S
10. ÷R ÷ S, S ÷ P . Q, R ÷ T, ÷ T ├ Q
11. P v Q, Q ÷ R, P ÷ T, ÷T ├ R . (P v Q)
12. ÷S v ÷R, ÷R ÷ ÷T, ÷S ÷ P, ÷P ├ ÷T . ÷P




Actividad 1.15

Formaliza y prueba la validez de los siguientes argumentos


1. O no estudio lógica o el examen era conocido de antemano. Si el examen era conocido
de antemano, entonces aprobaré lógica. Si apruebo lógica, apruebo filosofía. Luego si
estudio lógica, apruebo filosofía.
2. Si la enmienda no fue aprobada entonces la Constitución queda como estaba. Si la
Constitución queda como estaba entonces no podemos añadir nuevos miembros al
comité. O podemos añadir nuevos miembros al comité o el informe se retrasará un mes.
Pero el informe no se retrasará un mes. Por tanto la enmienda fue aprobada.
3. Si el ejército marcha contra el enemigo, tiene posibilidades de éxito; y arrasará la capital
enemiga, si tiene posibilidades de éxito. O el ejército marcha contra el enemigo, o se
repliega rápidamente. Si se repliega rápidamente, el enemigo atacará su retaguardia; y
perderá la guerra, si el enemigo ataca su retaguardia. El ejército no arrasa la capital
enemiga. Demostrar que el ejército perderá la guerra.

Lógica Matemática

2010

Índice
1. INTRODUCCIÓN........................................................................................... 1 1.1 CONECTORES LÓGICOS ....................................................................... 1 1.1.1 1.1.2 1.1.3 1.1.4 1.1.5 1.2 Y .................................................................................................. 2 O .................................................................................................. 2 NO ............................................................................................... 2 SI... ENTONCES.......................................................................... 3 … SI Y SOLO SI …................................................................... 3

REGLAS DE FORMACIÓN (fórmulas bien formadas – fbf) ................. 3 Actividad 1.1 ............................................................................................. 4

1.3

REGLAS DE PRIORIDAD .................................................................... 4 Actividad 1.2 ............................................................................................. 5

1.4

INTERPRETACIÓN SEMÁNTICA (valores de verdad) ........................ 5 Actividad 1.3 ............................................................................................. 5 1.4.1 1.4.2 1.4.3 1.4.4 1.4.5 Conjunción ................................................................................... 6 Disyunción ................................................................................... 6 Negación ...................................................................................... 7 Condicional .................................................................................. 7 Bicondicional ................................................................................ 7

Actividad 1.4 ............................................................................................. 7 Actividad 1.5 ............................................................................................. 8

i Capítulo 2: Lógica Proposicional

… y la proposición propiamente dicha. s. Una proposición es cualquier oración que puede ser verdadera o falsa. «si… entonces». La proposición es el elemento fundamental de la lógica proposicional. INTRODUCCIÓN El cálculo de proposiciones o lógica proposicional es una lógica simbólica para la manipulación de proposiciones. 1 Capítulo 2: Lógica Proposicional . generalmente las letras p. «y». solo las oraciones declarativas pueden tomar un valor de falso o verdadero. 1. Nótese que el primer término actúa sobre una sola proposición y que los otros actúan sobre dos proposiciones a la vez. Por ejemplo. este tipo de oraciones no son proposiciones válidas. las oraciones imperativas. Como se puede observar. q. Sin embargo. Esta proposición compuesta se ha construido con dos proposiciones y el término de enlace «y». ya que este término no forma parte de ninguna de las proposiciones atómicas. «o». «… si y solo si… ». preguntas o exclamaciones de emociones. Ejemplo: p: La tierra es plana. q: La puerta está cerrada. Si se juntan una o varias proposiciones atómicas con un término de enlace. se puede decir: Hoy es sábado y no hay clase. y se denominan CONECTORES LÓGICOS. Por tanto.Lógica Matemática 2010 1. ya que son órdenes. A las proposiciones que no pueden dividirse se llaman proposiciones simples o atómicas. por lo tanto son proposiciones válidas. Las proposiciones se indican por medio de una letra minúscula. r. Recordemos que las oraciones del lenguaje ordinario se clasifican en cuatro tipos: TIPO Imperativo Interrogativo Exclamativo Declarativo EJEMPLO Cierra la ventana ¿Qué es eso? ¡Eso es grandioso! Un cuadro tiene cuatro lados. pero no ambas cosas a la vez. se tiene una proposición compuesta. En particular se ocupa de las variables lógicas que representan proposiciones. También se llaman proposiciones atómicas a las constantes V y F que representan Verdadero y Falso. En lógica proposicional se utilizan los términos de enlace «no». interrogativas y exclamativas no pueden tomar un valor de verdad.1 CONECTORES LÓGICOS Considere las siguientes proposiciones: p: Hoy es sábado q: No hay clase Mediante un término de enlace se pueden unir y se tendrá una proposición compuesta.

Ejemplo: p  q: El gana más de $5000 pero menos de $8000. 2 Capítulo 2: Lógica Proposicional . q: El gana menos de $8.1 Y La unión de dos proposiciones con la palabra «y» se denomina CONJUNCIÓN de las dos proposiciones.Lógica Matemática 2010 1. Su símbolo es  y sus formas son: ( )o( ) O ( ) o ( ). p: El gana más de $5000.1. sin embargo. también denotan conjunción. Su símbolo es  y su forma: no ( ). Su símbolo es  y su forma es ( ) y ( ).2 O La unión de dos proposiciones por medio de la palabra «o» se denomina DISYUNCIÓN de las dos proposiciones. Ejemplo: p: El terreno es muy rico q: Hay suficiente agua p  q: El terreno es muy rico y hay suficiente agua. Hay veces que «y» no denota conjunción. en lógica lo consideraremos separado de la proposición sobre la que actúa. ¬ p: Las elecciones presidenciales no siempre terminan en armonía. p: El bote cruzó q: Se lo tragaron las olas r  s: O es un animal o es una planta. Ejemplo: María y Pedro son primos (no es conjunción). Ejemplo: p: Las elecciones presidenciales siempre terminan en armonía. Palabras como “pero”. “además”.000.* r: Es un animal s: Es una planta * No cometer el error de escribir la disyunción como:  r  s 1.1. En el lenguaje cotidiano se acostumbra encontrar la palabra “no” dentro de la proposición. “mas aun”.3 NO Cuando se le añade a una proposición el término «no» se le denomina NEGACIÓN de la proposición. “a la vez”. Ejemplos: p  q: El bote cruzó o se lo tragaron las olas. 1.1.

( ) ( ).1. de la misma manera que con las atómicas. y a la proposición que sigue a la palabra «entonces» se le denomina consecuente. p  q  (p  q)  (q  p) Los conectores se pueden utilizar con una o más proposiciones compuestas.Lógica Matemática 2010 1. proposiciones y conectores. 2) Si w1 y w2 son formulas bien formadas. p: x > 10 q: x + z > 10 r: y + z > 10 p  (q  r): Si x > 10. entonces no es un número negativo.1. Su símbolo es  y sus formas son: Si ( ).  Si x > 10.. Su símbolo es  y su forma es: ( ) si y solo si ( ). p: un número es mayor que cero q: es un número negativo p ¬ q: Si un número es mayor que cero.2 REGLAS DE FORMACIÓN (fórmulas bien formadas – fbf) Una vez que conocemos nuestro vocabulario básico. el siguiente elemento que tenemos que definir son las reglas de formación que nos permitan determinar si una formula cualquiera pertenece o no a nuestro calculo. Definición recursiva de una fbf 1) Cualquier proposición atómica es una fbf.5 … SI Y SOLO SI … La unión de dos proposiciones mediante las palabras «si y solo si» se denominan BICONDICIONAL. entonces x + z > 10 y y + z > 10. 1. entonces no es un número negativo. entonces x + z > 10 y y + z > 10.. es decir si es una formula bien formada (fbf). entonces ( ) Si ( ). si ( ) Ejemplo: p: Suena el timbre q: Es hora de empezar la clase p  q: Si suena el timbre. es hora de empezar la clase La proposición situada entre las palabras «si» y la palabra «entonces». también lo serán:  w1  w2 3 Capítulo 2: Lógica Proposicional . p: x es par q: x es divisible por 2 p  q: x es par si y solo si es divisible por 2. se denomina antecedente. ENTONCES La unión de dos proposiciones mediante las palabras «si… entonces» se denomina una CONDICIONAL. por ejemplo:  Si un número es mayor que cero.4 SI. 1.

6) No llueve. seguido de . pero nieva.  y . 8) No es cierto que llueve y me moje. entonces me resfriare.3 REGLAS DE PRIORIDAD a) El conector  tiene la prioridad más alta. 9) Si no llueve y no nieva entonces o hace sol o hay niebla. 4) Si llueve habrá buena cosecha. 5) Habrá buena cosecha si llueve. 3) Llueve.  tiene la prioridad más alta. 4 Capítulo 2: Lógica Proposicional .  (p  q)  r  r  (p  q)  (q  r)   s Actividad 1. pqr p qr p  q r Debe entenderse como (p  q)  r p  (q  r) p  (q  r) Utilizamos los paréntesis si es necesario cambiar la prioridad de los conectores. nieva y graniza. b) Para los demás conectores.Lógica Matemática    w1  w2 w1  w2 w1 2010 Ejemplos de fbf ó expresiones correctas  s  t. Estos igual nos indican cual es el conector dominante de cada proposición. 10) No es cierto que si llueve y me mojo. 1. 7) Si nieva y hace sol podremos esquiar. 1) No llovió ayer.1 Formaliza en el lenguaje del cálculo de proposiciones las siguientes oraciones del lenguaje natural. nieva ó graniza. 2) Llueve.

Sí x < 2. entonces x = 1 ó x = 0. Él está equivocado y yo tengo la razón. Si x < 3 y x > 1 entonces x = 2. 5.4 INTERPRETACIÓN SEMÁNTICA (valores de verdad) Una proposición formalizada por la variable p podrá tener el valor verdadero o falso. ó Pedro es el más alto ó Juan es el más alto. Jorge es el capitán o José es el capitán.2 Traduce las siguientes oraciones al cálculo proposicional.Lógica Matemática 2010 Actividad 1. Pedro es el Presidente. el número de combinaciones posibles de sus n valores de verdad será 2 . o quedaré sorprendido. 16. y = 4 y sí x < y entonces x < 5. 2. No ocurre que. las posibles combinaciones de sus valores de verdad serán: p V V F F q V F V F En general.3 Desarrollar las tablas para 3 y 4 proposiciones. Actividad 1. y o Juan es tesorero o José es tesorero. 3. 7. dado un número n de proposiciones. etc. Así para n = 3. para n = 4. Indica cual es el conector dominante y si se requiere de paréntesis 1. 6. y Carlos es el Teniente. 1. 5 Capítulo 2: Lógica Proposicional . 4. Expresando esto en forma de tabla obtendremos lo siguiente: p V F Si p y q son 2 variables proposicionales. sus combinaciones serán 8.

Es una conexión binaria y simétrica: pqqp p V V F F q V F V F pq V V V F La disyunción puede interpretarse de dos maneras distintas a) b) Disyunción exclusiva. 6 Capítulo 2: Lógica Proposicional . Disyunción Exclusiva p V V F F q V F V F pq F V V F 1 2 Binaria: requiere de 2 proposiciones que estén unidas mediante la conexión.2 Disyunción La disyunción es verdadera cuando al menos una de sus 2 proposiciones componentes es verdadera. Desde el punto de vista lógico. Si se da una de las alternativas no se da la otra.4.1 Conjunción La conjunción es verdadera cuando sus 2 proposiciones componentes son verdaderas. Disyunción inclusiva. es mayor la importancia de la disyunción inclusiva. Se puede dar una u otra de las alternativas o las 2 a la vez.Lógica Matemática 2010 1. Es 1 2 una conexión binaria y simétrica : pqqp p V V F F q V F V F pq V F F F 1.4. Simétrica: el orden de las 2 proposiciones unidas mediante la conexión no afecta el valor de verdad de la expresión resultante.

3 Negación La negación invierte el valor de la proposición. Es una conexión binaria pero no simétrica: pq≠qp p V V F F q V F V F pq V F V V En la lógica.5 Bicondicional Expresa la condición suficiente y necesaria. se considera trivialmente verdadero. será verdadera siempre que las 2 proposiciones tengan los mismos valores de verdad. Es una conexión binaria y simétrica p V V F F q V F V F pq V F F V Ejemplo: X es par si y solo si X es divisible por 2 Actividad 1. p V F p F V 1.4 Calcular el valor de verdad de las siguientes proposiciones compuestas 7 Capítulo 2: Lógica Proposicional . Es una conexión unitaria.4.4.4 Condicional Expresa la condición suficiente pero no la necesaria. cuando el antecedente sea verdadero y su consecuente sea falsa. será falso. Ejemplo: Si llueve me mojo. todo condicional cuya antecedente sea falso.4.  p es falsa y viceversa. Si p es verdadera.Lógica Matemática 2010 1. 1. solo niega a una única proposición.

5 Calcula el valor de verdad de las siguientes expresiones e indica alguna conclusión a) b) c) d) pp p p pV pF p pp p p pV pF 8 Capítulo 2: Lógica Proposicional .Lógica Matemática 2010 1) (p  r)  (p  s) 2)  ( p   q) 3) (q  (p  q))  p Actividad 1.

6 EQUIVALENCIA Si A y B son 2 expresiones lógicas y si A y B tienen siempre el mismo valor de verdad para todas sus combinaciones de valores de las variables que ocurren en ellas.  Una expresión lógica que no sea ni tautología. decimos que “A y B son lógicamente equivalentes”. utilizando tablas de verdad. 1. Se simboliza A  B Actividad 1.6 Realiza las siguientes demostraciones.5 TAUTOLOGÍA. Se simboliza ├ A.  A es una contradicción. Demostrar que: ├ A si A =  (p  q)  q Demostrar que: ├ p   p Demostrar que: p   p es una contradicción Demostrar que: (p  q)   (p  q) es una contradicción Demostrar que: ( p   q)   (p  q) Demostrar que: (p  q)  (q   p) 1) 2) 3) 4) 5) 6) 9 Capítulo 2: Lógica Proposicional . si es falsa para todas las combinaciones de valores de las variables que ocurren en A. ni contradicción se denomina Contingencia (casualidad / eventualidad). CONTRADICCIÓN Y CONTINGENCIA Dada una formula bien formada A:  A es una tautología si es verdadera para todos las combinaciones de valores de las variables que ocurren en A.Lógica Matemática 2010 1.

8 LEYES ESENCIALES PARA LA LÓGICA PROPOSICIONAL NOMBRE Ley del medio excluido Ley de contradicción Leyes de identidad Leyes de dominación Leyes de idempotencia P  P  V P  P  F PFP PVP PVV PFF PPP PPP PQQP PQQP (PQ)RP(QR) (PQ)RP(QR) (PQ)(PR)P(QR) (PQ)(PR)P(QR)  ( P  Q )  P  Q  ( P  Q )  P  Q P(PQ)P P(PQ)P LEY Ley de la doble negación ( P )  P Leyes conmutativas Leyes asociativas Leyes distributivas Leyes de DeMorgan Leyes de absorción Actividad 1.7 Demuestra las leyes de la absorción. p  q  (p  q)  (q  p) 1.Lógica Matemática 2010 1.7 ELIMINACIÓN DE CONDICIONALES Y BICONDICIONALES 1. p q  (p  q)  (p  q) 3. A  (A  B)  A A  (A  B)  A 10 Capítulo 2: Lógica Proposicional . p  q   p  q 2.

8 Simplifique las siguientes expresiones.Lógica Matemática 2010 Actividad 1. 1) (p  q) 2) (p  q) 3) p  (p  q) 4) (p  r)  (p  r  s) 5) p  (q  p) 6) (p  V)  (q  V) 7) (r  (q  (p  r)) 8)  ( p   (q   r ) ) 9) p  ( p  (q  r) ) 10) (q  V)  ( p  q) 11) (q  r  s)  (q  r  s) 12) ( p  (q  s) ) v (q  s) 13) (p  (q  r) )  (q  r)  (p  r) 14) (p  q)  (p  q)  (p  q)  (p  q) 15)  ( (p  q)  p) 16) (p  q)  (p  r)  [ p  (q   r) ] 17) p  (p  (q  r) ) 18) ( (p  q)  r )  q 19)  (p  q)  p 20)  p  (p  q) 21) (p  q)  q 22) [ p  (q  r) ]  (pq) 11 Capítulo 2: Lógica Proposicional .

3. 6. y la constante “V” constituyen una conjunción elemental. revisemos 2 conceptos fundamentales: el concepto de disyunción elemental y el de conjunción elemental. Ejemplos: 1. 4. 4. que pueden estar afectadas o no por el signo de la negación.9. 2.1 Formal Normal Disyuntiva. con negación o sin ella. También una variable aislada.Lógica Matemática 2010 1. y la constante “F” constituyen una disyunción elemental. Es una disyunción de un conjunto finito cualquiera de conjunciones elementales diferentes entre sí. 3. Ejemplos: 1. ppq p  q  q 2) Conjunción elemental: Es una conjunción de cualquier conjunto finito de variables proposicionales diferentes entre sí. con negación o sin ella. 5.9 TEORÍA DE LAS FORMAS NORMALES En la lógica proposicional existen 2 tipos de formas especiales a los que puede ser llevada toda fórmula bien formada. V p pq pq pqr pqrs Ejemplos de expresiones que no son disyunciones elementales: 1. También una variable aislada. 3. 2. 1) Disyunción elemental: Es una disyunción de un conjunto finito de variables proposicionales todas diferentes entre sí. 2. Ejemplos: pq (p  q)  (p  q) (p  q   r)  (p  q  r) 12 Capítulo 2: Lógica Proposicional . que pueden estar afectadas por el signo de la negación. 5. 6. F (disyunción elemental de 0 miembros) p (disyunción elemental de un solo miembro) pq pqr pq pqrs Ejemplos de expresiones que no son disyunciones elementales: 1. Estas formas especiales se denominan formas normales y pueden ser de dos tipos: formas normales disyuntivas (FND) y formas normales conjuntivas (FNC). Antes de dar una definición de las formas normales. (p  q) qpq r  r 1. 2.

Actividad 1. asociativas y distributivas para obtener la estructura de la forma normal que se trate. 1.Lógica Matemática (p  q   r)  (p   q)  (p  q  r) 2010 En la definición anterior no se excluyen los casos de disyunciones de un conjunto vació de miembros y disyunción de un solo miembro como es el caso de la primera expresión del ejemplo.2 Forma Normal Conjuntiva.9.     p  (q  r)  ( (p  q)  r (p  q)  (q  r) (p  q)  (p  r  q) 13 Capítulo 2: Lógica Proposicional .3 ¿Cómo obtener las formas normales?    Eliminar  y  (convertir por su equivalente) Reducir el alcance de la negación Aplicar leyes conmutativas.9. las formas normales conjuntivas pueden ser de una sola disyunción elemental y de un conjunto vacío de ellas. Ejemplos: pq (p  q  r)  (p  r) (p  q   r)  (p  q  r)  (  p  q) Al igual que las FND. Es una conjunción de un conjunto finito cualquiera de disyunciones elementales diferentes entre sí. 1.9 Encontrar la FND y la FNC de las siguientes expresiones.

10 SISTEMAS DE DEDUCCIÓN NATURAL Hasta ahora hemos visto los elementos que constituyen el lenguaje de la lógica. Sócrates es mortal Argumento incorrecto. Ejemplo: Si yo tengo como premisas las formulas P  Q y Veámoslo de la siguiente manera. Argumento correcto. 12 es múltiplo de 3 Todo hombre es mortal Sócrates es un hombre. consiste en encontrar todas las leyes lógicas que pueden derivarse de un conjunto reducido de leyes a los que denominamos axiomas.Lógica Matemática 2010 1. conclusión falsa Todo múltiplo de 4 es par 5 es múltiplo de 4 . conclusión verdadera Todo número con exactamente dos divisores es primo 4 no tiene exactamente dos divisores (tiene tres: 1.10. El objetivo del juego de la lógica es utilizar las reglas de inferencia de manera que conduzcan a otros formulas que se de denominan CONCLUSIONES. conclusión verdadera Todo múltiplo de 6 es múltiplo de 3 12 es múltiplo de 6 . El paso lógico de las premisas a la conclusión se denomina DEDUCCIÓN ó DERIVACIÓN. Un sistema de leyes. porque el sistema asegura la validez de la deducción. 5 es par Todo ave es voladora El avestruz es ave . como un sistema de reglas o como un sistema de leyes. En general hay dos manera de constituir los cálculos. y que aceptamos como verdaderos por su auto-evidencia. P ¿Qué conclusión podemos sacar? Si llueve. por el contrario.  Mi perro no es ave Argumento correcto. PQ P Q 14 Capítulo 2: Lógica Proposicional . 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. por eso se denominan SISTEMAS DE DEDUCCIÓN NATURAL.  4 no es primo Todo pingüino es ave Mi perro no es pingüino. El delfín no es nadador 1. Estos tipos de sistemas se denominan SISTEMAS AXIOMÁTICOS y en ellos todo lo que se deriva es válido. Si la lógica estudia los principios de inferencia valida. Este tipo de sistemas parecen convenir mejor al modo en que razonamos normalmente. pero todavía no sabemos que podemos hacer con ellos. entonces un cálculo lógico nos podrá decir que esquemas de inferencia son validos y cuáles no.  El avestruz es voladora Argumento incorrecto. Un sistema de reglas nos propone un razonamiento y mediante la aplicación de reglas hay que determinar si ese razonamiento propuesto es válido o no lo es. ¿Qué podemos concluir? El cielo ha de estar nublado. conclusión falsa Todo múltiplo de 6 es par 8 no es múltiplo de 6 . 2 y 4). entonces el cielo ha de estar nublado y llueve.1 La lógica proposicional como sistema de deducción natural Empecemos con un conjunto de formulas que se denominan PREMISAS.  8 no es par Todo pez es nadador El delfín no es pez (es mamífero) .

2 Reglas de inferencia Ahora ¿cuáles son las reglas que podemos utilizar? REGLAS DE INFERENCIA Ley de simplificación Ley de Conjunción Ley de adición disyuntiva Ley de Modus Ponens ESQUEMA pq p p q . (p  q)  r p  q r  s p r . p  r pq p . q  p pq qr .Lógica Matemática 2010 1. pq pq . Regla de demostración por casos Regla del dilema constructivo Regla del dilema destructivo Introducción de la equivalencia Eliminación de la equivalencia pq . p pq .10. q p p q . Ley de casos Ley de la inconsistencia (cualquier cosa.  p  r pq qp . p  q p . p  q . pq q . qs p  q r  s q  s . p  q pq p . Ley de Modus Tollens Ley de la contrapositiva Ley del silogismo hipotético Ley del silogismo disyuntivo pq q p . qp 15 Capítulo 2: Lógica Proposicional . q pq q . reducción al absurdo) Regla de demostración condicional pq p(q r) r p  r q  r . q pq p  q .

Por tanto. B  C ├ C A  (B  C).3 Forma típica de derivar Un argumento lo representamos de las siguientes maneras: (p1  p2  p3  . como premisas de la regla. la regla se da a la derecha junto con las líneas que se usan. A ├ C A  B. 10 no puede ser igual a 2 por 5..11 Use las variables proposicionales P y Q para formalizar los siguientes argumentos lógicos A. p2. B  C ├ C A. los campesinos se quejan.. A  B ├ B a) b) c) d) e) f) g) h) i) j) 16 Capítulo 2: Lógica Proposicional . A  B. B. Si llueve con frecuencia. los campesinos se quejan.. 10 es igual a 2 por 5.. Actividad 1.10. A  B ├ A  B A  B. b) Actividad 1.  pn)  q p1 p2 p3 : pn q p1.. La forma típica de derivar es: 1) Toda premisa se da como esquema a la izquierda de ├. B ├ A A  B. A ├ B A  B. Se enlista todas las premisas y se separan por el resto de la derivación mediante una línea horizontal. 2) Para justificar una nueva línea. A  C ├ C A.10 Use las variables proposicionales P y Q para formalizar los siguientes argumentos lógicos a) Si 10 es primo.. 10 no puede ser primo. B  C. Si no llueve con frecuencia. los campesinos se quejan. pn :son las premisas q: es la conclusión y será válido si es una tautología. p2 . Por consiguiente. p3 . B  C├ A  C A  B ├ B  A A. pn ├ q donde: p1.Lógica Matemática 2010 1.

5.Lógica Matemática 2010 Actividad 1. La ballena es un mamífero y vive en el océano. r  s  r. q  p  q s.  s   r   p   p  r. indicar cuales conclusiones son válidas y cuales son no válidas p  p  q p  p  q r  p  r p. (r  s)  t. 4.  p  q   p 11. (s  t)  q  q (q  r)  s.13 De los siguientes argumentos. 8. Si X no estaba en la escena del crimen. Use P1 para “X cometió el crimen”. 6. 9. r  s  t 17 Capítulo 2: Lógica Proposicional . no pudo haber estado en la escena del crimen. Si X estaba fuera del pueblo. b) Actividad 1. (r  s)  t. P2 para “Y cometió el crimen”. Q para “X estaba fuera del pueblo” y R para “X estuvo en la escena del crimen”. (r  s)  t.  s   r   p   p  p  q   p 1. 7. Si toma su oxígeno del aire. a) Si la ballena es un mamífero entonces toma oxígeno del aire. Formule esto como una demostración formal y derive la conclusión. entonces no necesita branquias. no pudo haber cometido el crimen“.12 Demostrar la conclusión de los siguientes razonamientos. 10. 2. Por tanto no necesita branquias. t  r  s 13. “Fue X o Y quien cometió el crimen. 3. X estaba fuera del pueblo cuando el crimen fue cometido. r  t 12.

R  T. P  T. O el ejército marcha contra el enemigo. Q  R. 2. P ├ Q  R S  (P  Q). O podemos añadir nuevos miembros al comité o el informe se retrasará un mes. S  P.  T ├ Q P  Q. Q  R ├ T Q  T. P  R. y establezca que leyes se utilizan en cada paso. 6. T . 4. apruebo filosofía. P  (Q  R). P ├ Q S  T. y perderá la guerra. P  Q. 8.14 De una derivación para los siguientes argumentos lógicos. Si se repliega rápidamente. 3. Si la enmienda no fue aprobada entonces la Constitución queda como estaba. si el enemigo ataca su retaguardia. Si el examen era conocido de antemano. Actividad 1. P. o se repliega rápidamente. Pero el informe no se retrasará un mes. El ejército no arrasa la capital enemiga. si tiene posibilidades de éxito. S  P  Q. (S  R)  T. Q  R. entonces aprobaré lógica. 18 Capítulo 2: Lógica Proposicional . T  R ├ R P  (Q  R). y arrasará la capital enemiga. 2. Demostrar que el ejército perderá la guerra. R  T. 9. Si la Constitución queda como estaba entonces no podemos añadir nuevos miembros al comité. O no estudio lógica o el examen era conocido de antemano. Q  R. 11. Si el ejército marcha contra el enemigo. Luego si estudio lógica. Si apruebo lógica. S.Lógica Matemática 2010 Actividad 1. 10.15 Formaliza y prueba la validez de los siguientes argumentos 1. Q  R. tiene posibilidades de éxito. 5. 7. R  P ├ P  Q P  Q. S  R ├ R P  S. T  Q. el enemigo atacará su retaguardia. P. Por tanto la enmienda fue aprobada. 12. apruebo filosofía. P ├ T  P 1. 3. (Q  R)  S ├ S P  Q. T  S ├ S R  S. T ├ R  (P  Q) S  R. R ├ P P  Q.