Logica PDF

Tema 0
Introduccion a la Logica
En cualquier disciplina cientfica se necesita distinguir entre argumentos

validos y no validos. Para ello, se utilizan, a menudo sin saberlo, las reglas de
la logica. Aqu presentaremos algunas de ellas con los siguientes objetivos:
Estudiar la validez de argumentos
Formalizar argumentos del lenguaje natural
0.1. Proposiciones
Una proposicion es un enunciado u oracion declarativa de la que puede
decirse si es verdadera o falsa pero no ambas cosas a la vez, es decir, a la
que se le puede asignar uno y uno solo de los valores de verdad: verdadero
(1) o falso (0).
Ejemplo 1. Son proposiciones:
i) La rosa es una flor.
ii) El cocodrilo es un mamfero.
No son proposiciones:
i) Cual es tu telefono?
ii) Silencio, por favor!
iii) Ni fro ni calor.
0.2. Operadores Logicos

Las proposiciones simples, primitivas o atomos no admiten una descom-
posicion en otras mas sencillas (los dos ejemplos anteriores son proposiciones
1
2 TEMA 0. INTRODUCCION A LA LOGICA
primitivas). Se suelen denotar con letras minusculas p, q, r, etc. La combi-

nacion de proposiciones simples y conectivos logicos da lugar a las proposi-
ciones compuestas.
Ejemplo 2. Son proposiciones compuestas:
i) Me gusta ver la television y jugar al tenis
ii) Para que puedas ir al cine, es suficiente con que adquieras previamente
la entrada
Los conectivos 1 (u operadores logicos) son:
i) Negacion p. Se lee No p, no ocurre p, no se verifica p.
ii) Conjuncion p q. Se lee p y q.
iii) Disyuncion p q. Se lee p o q.
iv) Condicional p q. Se lee Si p, entonces q, siempre que p entonces

q, p es suficiente para q, q es necesario para p.
v) Bicondicional p q. Se lee p si, y solo si, q, p es necesario y

suficiente para q, p equivale a q.
vi) Disyuncion exclusiva p Y q. Se lee p o q pero no ambas a la vez
En el lenguaje de la logica proposicional suelen admitirse tambien los

smbolos > y para representar, respectivamente, un enunciado que es con
certeza verdadero (0 = 0) y un enunciado que es con certeza falso (1 = 0).
Cuando nos encontramos con una proposicion compuesta, necesitamos
conocer cual es el valor de verdad que le corresponde a partir de los valores
de verdad de sus proposiciones componentes. La siguiente tabla de verdad
muestra los valores de verdad de los conectivos logicos {, , , , , Y}.
p q p pq pq pq pq pYq
0 0 1 0 0 1 1 0
0 1 1 0 1 1 0 1
1 0 0 0 1 0 0 1
1 1 0 1 1 1 1 0
Una tabla de verdad de una proposicion compuesta, construida a partir

de sus proposiciones componentes p, q, r, . . ., es un metodo que proporciona
el valor de verdad de dicha proposicion compuesta. Para ello, se determinan
1
En realidad, nos bastara definir los operadores , y ya que los otros se obtienen
a partir de ellos
0.2. OPERADORES LOGICOS 3
los valores de verdad de todas las subproposiciones componentes desde las

mas sencillas a las mas complejas. Por ejemplo, la tabla de verdad de:
(p q) (p q)
es:
p q pq q p q (p q) (p q)
0 0 0 1 1 0
0 1 1 0 1 1
1 0 1 1 1 1
1 1 1 0 0 0
Cuando una proposicion P es siempre verdadera, independientemente de

los valores de verdad de sus proposiciones componentes, se dice que es una
tautologa. Si resulta siempre falsa, se denomina contradiccion. En la tabla
de una tautologa solo aparecen 1 y en la de una contradiccion solo encon-
traremos 0.
Ejemplo 3. La proposicion (p q) (p q) es una tautologa y p p
es una contradiccion.
p q pq (p q) p q (p q) p q
0 0 0 1 1 1
0 1 0 1 1 1
1 0 0 1 1 1
1 1 1 0 0 1
Al asociar varias proposiciones mediante los conectivos logicos, se ob-

tienen las formulas bien formadas (fbf) teniendo en cuenta que:
i) Una proposicion simple es una fbf
ii) Si p es una fbf, tambien lo es p
iii) Si p y q son fbf, tambien lo son p q, p q, p q y p q.
iv) Todas las fbf se obtienen aplicando los puntos anteriores.
Ejemplo 4. Son fbf
p (q s)
(q p) r
No son fbf
p
q
pr
0.3. Implicaciones y Equivalencias Logicas

Cuando dos formulas bien formadas P y Q tienen siempre los mismos
valores de verdad, es decir, cuando el bicondicional P Q es una tautologa,
se dice que P y Q son logicamente equivalentes y se denota:
P Q.
Todas las tautologas son logicamente equivalentes a > y todas las contra-
dicciones a .
Ejemplo 5. Las proposiciones (p q) y p q son logicamente equiva-
lentes.
p q pq (p q) p q
0 0 0 1 1
0 1 1 0 0
1 0 1 0 0
1 1 1 0 0
Cuando, dadas dos formulas bien formadas P y Q, el condicional P Q

es una tautologa se dice que P implica logicamente a Q y se denota:
P = Q
Para ello tiene que verificarse que si P es verdadera, tambien lo es Q o, lo

que es lo mismo, si Q es falsa, tambien es falsa P.
Ejemplo 6. La proposicion (p q) (q r) implica logicamente a p r
(Ley del silogismo).
p q r p q q r (p q) (q r) p r [(p q) (q r)]
(p r)
0 0 0 1 1 1 1 1
0 0 1 1 1 1 1 1
0 1 0 1 0 0 1 1
0 1 1 1 1 1 1 1
1 0 0 0 1 0 0 1
1 0 1 0 1 0 1 1
1 1 0 1 0 0 0 1
1 1 1 1 1 1 1 1
0.4. Teoremas y Demostraciones

Dadas las proposiciones H1 , . . . , Hn llamadas hipotesis, premisas o ax-
iomas, se dice que una proposicion C se deduce de ellas y se denota
H1 , . . . , Hn = C
0.4. TEOREMAS Y DEMOSTRACIONES 5
si H1 . . .Hn = C, es decir H1 . . .Hn C es una tautologa. As pues,

si todas las premisas son verdaderas, tambien ha de serlo la conclusion. La
demostracion permite garantizar que estamos efectivamente en la situacion
H1 , . . . , Hn = C.
Por comodidad denotaremos H a la conjuncion de las hipotesis, es decir,
H = H1 H2 Hn .
Las principales formas de demostracion2 son:
Directa o Formal.
Se demuestra que
HC
es una tautologa.
Contraposicion
Se demuestra que
C H
es una tautologa.3
Contradiccion o Reduccion al absurdo.4

Consiste en demostrar que H C es una contradiccion.
Ejemplo 7.
i) Demostrar que la suma de dos numeros pares es un numero par.

Hagamos una demostracion directa. Sabemos que todo numero par es
de la forma x = 2k, siendo k otro numero. Por lo tanto, si x = 2k e
y = 2q son dos numeros pares, entonces x + y = 2k + 2q = 2(k + q),
que tambien es un numero par.
ii) Demostrar que si el cuadrado de un numero es impar, dicho numero

es impar.
Hagamos ahora una demostracion por contraposicion. Nuestra hipote-
sis es que x2 es impar y la conclusion que x es tambien impar. Supon-
gamos que x no es impar, es decir x = 2k. Claramente x2 = (2k)2 =
4k 2 = 2(2k 2 ) que es un numero par. As vemos que la negacion de la
conclusion nos lleva a negar la hipotesis.
2
En la demostracion de un teorema, se consideran hipotesis tanto las que aparecen en
el enunciado, como los axiomas que hayamos admitido o, las tautologas que conozcamos
de antemano.
3
Teniendo en cuenta el ejemplo 3, lo que se demuestra es que, para algun ndice i,
C = Hi .
4
Este tipo de demostracion se utiliza con frecuencia en Matematicas. Se basa en que de
una, o varias premisas verdaderas, no se puede deducir una contradiccion. En la practica,
el proceso de demostracion concluye cuando aparece una contradiccion, por ejemplo pp.
iii) Demostrar que si, al sumar un numero real x consigo mismo, obten-
emos x, se puede concluir que x = 0.
Utilicemos ahora reduccion al absurdo. Nuestra hipotesis (H) ahora es
que x + x = x y nuestra conclusion (C) es que x = 0. Si suponemos
H C, se tiene que 2x = x, siendo x 6= 0. Al ser x no nulo, podemos
dividir la expresion 2x = x por x, con lo que obtenemos que 2 = 1, es
decir una contradiccion, lo cual significa que el argumento es valido.
Ejemplo 8. Demostremos el llamado Modus Ponens:
{(p q), p} = q
Demostracion directa
p q pq (p q) p [(p q) p] q
0 0 1 0 1
0 1 1 0 1
1 0 0 0 1
1 1 1 1 1
Demostracion por contraposicion
p q p q (p q) p [(p q) p] q [(p q) p]
0 0 1 0 1 1
0 1 1 0 1 1
1 0 0 0 1 1
1 1 1 1 0 1
Demostracion por reduccion al absurdo
p q pq q (p q) p q
0 0 1 1 0
0 1 1 0 0
1 0 0 1 0
1 1 1 0 0
0.5. Cuantificadores
Un enunciado, p(x), en el que aparece una variable x, se dice que es una
funcion proposicional si, al sustituir la variable x por un valor determinado,
p(x) se convierte en una proposicion. Por ejemplo, 2x + 5 es un multiplo
de tres. Es claro que, si x = 2, el enunciado es verdadero y, si x = 1,
la proposicion es falsa. Si la funcion proposicional depende de mas de una
variable, la denotaremos p(x, y, z, ...).
Generalmente, para convertir una funcion proposicional en una proposi-
cion se utilizan los llamados cuantificadores:
0.5. CUANTIFICADORES 7
Cuantificador Existencial x p(x). Se lee existe x que verifica

p(x), hay algun x que verifica p(x).
Es verdadera cuando p(x) es verdadera para, al menos, un valor de
x. Es falsa cuando, para todo valor de x, la proposicion p(x) es falsa.
Existe un entero x que sumado con 1 nos da 0es verdadero. Existe
un entero x que sumado con 1 no da xes un argumento falso. Cuando
el valor de x que verifica p(x) es unico se utiliza la notacion: x p(x).
Cuantificador Universal x p(x). Se lee para todo x se verifica

p(x), cualquier x verifica p(x).
Este tipo de proposicion es verdadera cuando p(x) es verdadera para
cualquier valor de x. Es falsa, si para algun valor de x es falsa. Por
ejemplo: Todos los alumnos de la Universidad de A Coruna tienen mas
de 16 anos es una proposicion verdadera. Todos los alumnos de la
Universidad de La Coruna nacieron en La Coruna es una proposicion
falsa.
La relacion entre ambos cuantificadores se basa en las dos reglas siguientes:
x p(x) x p(x)
x p(x) x p(x)
Ejemplo 9. Epimenides de Cnosos (siglo V. a. de C.) deca Todos los

cretenses son mentirosos y yo soy cretense, luego miento. Alguien, a la
vista de ello, razona como sigue.
Si Epimenides mintio en lo que dijo, entonces los cretens-

es no eran mentirosos, luego Epimenides, por ser cretense,
no mintio en lo que dijo. Se llega pues a una contradic-
cion.
Es el razonamiento anterior correcto?
No, ya que la negacion de Todos los cretenses son men-

tirososes que algun cretense no miente, pero no que
todos sean no mentirosos.

Logica PDF

Cargado por

Copyright:

Formatos disponibles

Logica PDF

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

Logica PDF

Cargado por

Copyright:

Formatos disponibles

Tema 0

En cualquier disciplina cientfica se necesita distinguir entre argumentos

Estudiar la validez de argumentos

Formalizar argumentos del lenguaje natural

Ejemplo 1. Son proposiciones:

i) La rosa es una flor.

ii) El cocodrilo es un mamfero.

ii) Silencio, por favor!

iii) Ni fro ni calor.

0.2. Operadores Logicos

primitivas). Se suelen denotar con letras minusculas p, q, r, etc. La combi-

Ejemplo 2. Son proposiciones compuestas:

i) Me gusta ver la television y jugar al tenis

Los conectivos 1 (u operadores logicos) son:

i) Negacion p. Se lee No p, no ocurre p, no se verifica p.

ii) Conjuncion p q. Se lee p y q.

iii) Disyuncion p q. Se lee p o q.

iv) Condicional p q. Se lee Si p, entonces q, siempre que p entonces

v) Bicondicional p q. Se lee p si, y solo si, q, p es necesario y

vi) Disyuncion exclusiva p Y q. Se lee p o q pero no ambas a la vez

En el lenguaje de la logica proposicional suelen admitirse tambien los

Una tabla de verdad de una proposicion compuesta, construida a partir

los valores de verdad de todas las subproposiciones componentes desde las

Cuando una proposicion P es siempre verdadera, independientemente de

Al asociar varias proposiciones mediante los conectivos logicos, se ob-

0.3. Implicaciones y Equivalencias Logicas

Cuando, dadas dos formulas bien formadas P y Q, el condicional P Q

Para ello tiene que verificarse que si P es verdadera, tambien lo es Q o, lo

0.4. Teoremas y Demostraciones

si H1 . . .Hn = C, es decir H1 . . .Hn C es una tautologa. As pues,

Contradiccion o Reduccion al absurdo.4

i) Demostrar que la suma de dos numeros pares es un numero par.

ii) Demostrar que si el cuadrado de un numero es impar, dicho numero

Demostracion por contraposicion

Demostracion por reduccion al absurdo

Cuantificador Existencial x p(x). Se lee existe x que verifica

Cuantificador Universal x p(x). Se lee para todo x se verifica

La relacion entre ambos cuantificadores se basa en las dos reglas siguientes:

Ejemplo 9. Epimenides de Cnosos (siglo V. a. de C.) deca Todos los

Si Epimenides mintio en lo que dijo, entonces los cretens-

Es el razonamiento anterior correcto?

No, ya que la negacion de Todos los cretenses son men-

También podría gustarte