Elementos de Logica

Proposiciones L
ogicas
Una proposicion logica es un enunciado al cual se le puede asignar un valor de verdad,
verdadero (V ) o falso (F ). Denotaremos a estas por letras min
usculas p, q, r, . . . etc.
A partir de proposiciones podemos construir otras proposiciones mediante operaciones
basicas ( proposiciones compuestas). Estas operaciones son: la negacion, la conjuncion
o producto logico, la disyuncion o suma logica, la disyuncion excluyente, la implicacion
o condicional y la doble implicacion o bicondicional.

Conectivos L
ogicos
Al operar con proposiciones y seg
un sean tales operaciones, se utilizan ciertos simbolos,
llamados Conectivos Logicos
Conectivo
Operaci
on
p o p
negacion
pq
conjuncion
pq
disyuncion
pq
disyuncion excluyente
pq
implicacion
pq
doble implicacion

Significado
no p o no es cierto que p
p y q
p o q (incluyente)
p o q (excluyente)
p implica q o, si p entonces q
p si y solo si q

Tablas de Verdad
Las operaciones basicas se definen mediante Tablas de Verdad.
Para la negacion de una proposicion p, se tiene la tabla de verdad
p
V
F
Dadas dos proposiciones p y q, las posibles
o F son,
p
V
V
F
F

p
F
V
combinaciones de sus valores de verdad V
q
V
F
V
F

En este contexto las operaciones basicas quedan definidas en la siguiente tabla de

verdad
p
V
V
F
F

q
V
F
V
F

pq
V
F
F
F

pq
V
V
V
F

pq
F
V
V
F

pq
V
F
V
V

pq
V
F
F
V

En la proposicion p q , p se llama el antecedente o Hipotesis y q el consecuente o

Tesis de la implicacion . Esta implicacion logica establece que p es condicion suficiente
para q o que q es condicion necesaria para p .

 El bicondicional p q , conocida tambien como Equivalencia Logica establece que

p es condicion necesaria y suficiente para q .
Dada dos o mas proposiciones, usando los conectivos logicos podemos construir nuevas
proposiciones.
Una proposicion que contiene conectivos se llama proposici
on compuesta.
El c
alculo proposicional se preocupa de la determinacion del valor logico de una
proposicion compuesta a partir de los valores logicos de las proposiciones basicas que la
componen. A una proposicion compuesta se le asocia una tabla de valores logicos, con
2n valores en cada columna, donde n es el n
umero de simbolos distintos que representan
a las componentes de la proposicion. El uso reiterado, de la tabla que describe los
posibles valores logicos asociado a cada conectivo, permite determinar el valor logico
de una proposicion compuesta.
A las proposiciones compuestas las denotaremos por letras may
usculas: P , Q, R, A;
B; C; etc.
Ejemplo
Sea P: (p q) = r, donde p,q,r proposiciones basicas tales que:
p es V; q es F y r es V determinar el valor logico de A.
Respuesta: El valor de P es V, en efecto:
como p es V y q es F entonces pq es F, luego si pq es F y r V, entonces obtenemos
que
P: (pq)=r es V .
Que ocurre si no conocemos los valores logicos de p,q y r? en tal caso no habriamos
podido obtener el valor logico para P. Lo que si podemos hacer es considerar, todas
las combinaciones posibles de valores logicos para p, q, r y determinar el valor logico
de p en cada caso, es decir, podemos asociar una tabla de valores a la proposicion P
obteniendo:Llamaremos proposicion compuesta a cualquier proposicion que contiene
conectivos logicos. El valor de verdad de una proposicion compuesta depende del valor
de verdad de las proposiciones que la componen y de los conectivos logicos que definen
a la proposicion. En caso de no conocer los valores de verdad de las proposiciones
componentes que define la Proposicion compuesta se construye la tabla de verdad
asociada a la Proposicion compuesta
Ejemplo: Hallar la tabla de verdad asociada a (p q) (p r)
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

pq
V
V
V
V
V
V
F
F

pq
V
V
F
F
F
F
F
F

(p q) (p q)
V
V
F
F
F
F
V
V

Tautologas
Una Tautologia o Teorema logico es una proposicion compuesta que es siempre verdadera independientemente del valor de verdad de las proposiciones componentes. Una
proposicion siempre falsa es una Contradiccion.
Dadas las proposiciones p, q y r , algunas Tautologias importantes que son doble
implicaci
on son

A Leyes Logicas
1. Conmutatividad

pq qp
pq qp

2. Asociatividad
p (q r) (p q) r
p (q r) (p q) r
3. Distributividad
p (q r) (p q) (p r) , ( respecto a )
p (q r) (p q) (p r) , ( respecto a )
4. Doble negacion o Involucion
p p
5. Principio de Contradiccion
(p p) 1 (Tautologia)
6. Principio del tercero excluido
p p V
7. Idempotencia
(p p) p
(p p) p
8. Leyes de Morgan
9. Contrareciproca
10. Absorcion
11. Identidad

(p q) p q
(p q) p q
(p q) (
q p)

p (p q) p
p (p q) p

(p 1) p
( p 0) 0 (Contradiccion )

(p 1) 1
(p 0) p

Definici
on Sean A y B son dos proposiciones compuestas,
Diremos que: A y B son equivalentes (A B ),
mismos valores de verdad

Si y solo si, ellas tienen los

Ejemplo : Sean A : p q y B : p = q dos proposiciones compuestas.

p q pq
V V
V
V F
V
F V
V
F F
F
*
Es evidente que:

p p = q
F
V
F
V
V
V
V
F
*
AB

si y s
olo si

A B es una tautologia.

Todas las tautologias anteriores definen Proposiciones equivalentes

3

B.- Algunas Equivalencias Fundamentales

E.1
E.2
E.3
E.4
E.5
E.6
E.7
E.8
E.9

(p q) p q
p (p q) p q
p (p q) p q
p q q p
p q [(p q) 0]
(p q) r p (q r)
(p q) r (p r) q
p (q r) (p q) (p r)
p (q r) (p q) (p r)

E.10 (p q) r (p r) (q r)
E.11 (p q) r (p r) (q r)
E.12 (p q) p q p q

C.- Tautologias importantes que son implicaciones:

T.1
T.2
T.3
T.4
T.5
T.6
T.7
T.8
T.9
T.10
T.11

p = p
p = (p q)
(p q) = p
[(p = q) p] = q
(p = q) = [p = (q r)]
(p = q) = [(p r) = q)]
[(p r) = q] = (p = q)
[p = (q r)] = (p = q)
(p = q) = [(p r) = (q r)]
(p = q) = [(p r) = (q r)]
[(p = q) (q = r)] = (p = r)

Observaci
on

Un buen ejercicio es verificar que cada una de estas leyes, equivalencias implicaciones son
tautologias, para ello basta construir las tablas de verdad correspondientes y verificar que
solo se obtiene V.
Demostrar un teorema, en un contexto dado, significa hacer inferencia l
ogica a
partir de otros enunciados, aceptados como verdaderos o previamente demostrados (
llamadas premisas) .
La inferencia es el proceso que permite obtener una una conclusi
on q a partir de
un conjunto de premisas p1 , p2 , . . . , pk .
La inferencia es una implicacion de la forma
( p1 p2 , . . . pk ) q,

esta implicacion se llama el argumento l

ogico que permite obtener la conclusion q
a partir de las premisas p1 ,p2 ,. . . ,pk
Definicion
Diremos que el argumento logico ( implicacion) ( p1 p2 , . . . pk ) q es un argumento v
alido
Si solo si ( p1 p2 , . . . pk ) q es una tautologia entonces diremos que:
el argumento que permite obtener la conclusion q a partir de las premisas p1 ,p2 ,. . . ,pk
.

Utilizando las tautologias que son implicaciones y las leyes las leyes logicas podemos
establecer una serie de esquemas mediante los cuales es posible demostrar nuevos teoremas logicos a partir de teoremas logicos ya establecidos. En estos esquemas, llamados
Esquemas Deductivos o Reglas Deductivas, se basa el razonamiento matematico mediante el cual se establecen nuevas proposiciones a partir de proposiciones ya demostradas
(o admitidas ).

Algunos argumentos validos:

1. Principio de Inferencia o Separaci
on (modus ponens) T.4
Si p = q es verdadera y p es verdadera, entonces concluimos que q es
verdadera
Ejemplo

Dados a, b IN.

Si a b > 0, entonces a > b es valido

que a > b.

a b > 0 es valido, entonces concluimos

y,

La validez de un principio se puede verificar mediante una tabla , para el principio de

separacion, se tiene que:
p q p = q
V V
V
V F
F
F V
V
F F
V

(p = q) p [(p = q) p] = q
V
V
F
V
F
V
F
V

es una Tautologia ( T.4)

El esquema deductivo asociado al principio anterior se representa por:
(A = B) y

entonces

y se lee Si A=B es Valido y A es Valido entonces concluimos que B es valido.

2. Principio de Inferencia equivalente
Si p q es verdadera y p es verdadera, entonces concluimos que q es
verdadera
Ejemplo
Si A2 = B 2 (A B = 0 A + B = 0) es valido y A2 = B 2 es valido ,

entonces (A B = 0 A + B = 0) es valido
3. Principio de Silogismo

Si p = q es verdadera y q = r es verdadera, entonces concluimos que

p = r es verdadera
Ejemplo
Sea x IR, si x2 9 = 0 = (x 3)(x + 3) = 0 y

(x 3)(x + 3) = 0 = (x = 3 x = 3), entonces para x IR se tiene que:

( x2 9 = 0)=(x = 3 x = 3).

Cuantificadores
5

Funci
on Proposicional
Una funcion proposicional (f.p.) es una expresion o afirmacion que contiene una
o mas variables, la expresion se convierte en una proposicion. en una proposicion al
sustituir dicha(s) variable(s) por un (o algunos) elemento (s) de un conjunto referencial
(Universo) A.
En otros terminos, una funcion proposicional es un enunciado abierto con una variable
( tambien puede ser con mas variables) del tipo p(x) ( o p(x, y) , p(x, y, z) ,...)
que al ser referido a un determinado conjunto referencial A , puede ser siempre,
parcialmente o nunca verdadero.
Notemos que una f.p. p(x), no es una proposicion, pero si genera proposiciones al
sustituir la variable x por un elemento a A ,esta proposiicon se denota por p(a)
Si p(a) es verdadera entonces se dice que el valor x=a, satiface a la f.p. p(x)

Ejemplo: Sea p(x) :

p(20) :

x es divisible por 3 con A=Z

20 es divisible por 3

( Falso )

P(174) es Verdadero

Cuantificador Universal
Si queremos afirmar que todos los elementos x A cumplen p(x) ,
entonces simbolizaremos

x A, p (x)
esta expresi
on es una Proposici
on.,donde se lee para todo, o para cada o
para cualquier y se denomina cuantificador universal.
x A, p (x) se lee para todo x en A, p(x) es verdadero o para todo x
en A, p(x) se cumple
En consecuencia :
U1) x A, p (x) es verdadero si y solo si p (a) es verdadero para cada a A .

U2) x A, p (x) es falso si y solo si existe al menos un elemento de a A para

el cual p (a) es Falso.
Con nuestro ejemplo: p(x) : x es divisible por 3
con A=Z
tenemos que x A, p (x) x Z, x es divisible por 3
es Falso porque p(-5) : -5 es divisible por 3 es Falso
Sin embargo x R, x2 0 es Verdadero por que ? ;
n N, n(n + 1) es par es Verdadero por que ?

Cuantificador Existencial
Si queremos afirmar que para algunos elementos de a A se cumple p(x) . Esto es
si p(x) no se cumple para todos los elementos de A , solo se cumple para algunos,
escribimos
x A, p(x)
donde se lee existe ,o para alg
un o hay y se denomina cuantificador
existencial.
Se tiene en consecuencia :

E1) x A, p (x) es verdadero si y solo si existe a lo menos un elemento a A

para el cual p (a) es verdadero.
E2) x A, p (x) es falso si y solo no existe a A para el cual p (a) sea verdadera, es decir p(a) es Falsa para cada a A
Con nuestro ejemplo:
p(x) : x es divisible por 3 con A=Z.
tenemos que x A, p (x) x Z, x es divisible por 3
es Verdadero porque p(-15) : -15 es divisible por 3 es Verdadero
Sin embargo x Z, 3 < x < 4 es Falso por que ? ;
n N, n(n + 1) = 35 es Falso por que ?

Cuantificador Existencial Estricto

Si p(x) se cumple para uno y solo un elemento del conjunto de referencial A . Esto
es si p(a) es Verdadero para un a A y p(b) es Falso para cada b A con b = a ,
escribimos
! x A , p(x)
donde ! se lee existe uno y solo uno ,o para un u
nico ,o existe un u
nico y
se denomina cuantificador existencial estricto.

Negaci
on de Cuantificadores
Como los cuantificadores universal y existencial son proposiciones por lo tanto sus
negaciones son proposiciones y se relacionan mediante el conectivo de la negacion.La
negacion de cuantificadores se atiene a las siguientes leyes :
Si F(x) es una f.p. con referencia A, las negaciones de las proposiciones x
A, p (x) ; x A, p (x) estan dadas por las siguientes equivalencias:
Negacion del Cuantificador Universal, Para todos
[x A, p (x)] [x A, p(x)]
Ejemplo

[(n IN)(n + 1 > 5)] [(n IN)(n + 1 5)]

Esto sugiere el metodo del contraejemplo, ya que mostrar que una proposicion:
x, F (x) es falsa, significa mostrar que x, F (x) verdadera.
Ejemplo [n N, n(n+1) es par] [n N, n(n + 1) es impar] es F also
Negacion del Cuantificador Existencial, Existe por lo menos uno
[x A, p (x)] [x A, p(x)]
Ejemplo: [n N, n(n + 1) = 35] [x N, n(n + 1) = 35] es V erdadero
=================================================
curso : algebra i - ingenieria
UTA - i semestre 2009