PROPOSICIONES LOGICAS

Definicin:
Son aquellas expresiones u oraciones que pueden ser calificadas bien como
VERDADERAS, o bien como FALSAS, sin ambigedades. Las proposiciones lgicas
sern denotadas con letras minsculas generalmente:
p, q, r, s, etc.

A la veracidad o falsedad de un enunciado (proposicin) se le denomina VALOR
VERITATIVO o VALOR DE VERDAD.

Ejemplos de proposiciones lgicas:


Proposiciones lgicas Valor de verdad
p: Lima es la capital del Per. Verdadera (V).
q: 17 + 6 = 10. Falso (F).
r: La UNAM es una universidad
privada.
Falso (F).


Ejemplos de expresiones que no son proposiciones lgicas:


Expresiones que no son proposiciones
lgicas
Valor de verdad
Buenos das. No posee/No est definido.
No faltes. No posee/No est definido.
Quien llam por telfono? No posee/No est definido.
Ingrese a la universidad No posee/No est definido.


Observacin: En resumen, las Proposiciones Lgicas son expresiones de las que
tienen sentido decir que son verdaderas o que son falsas. Tambin se les denomina
simplemente PROPOSICIONES.

CLASES DE PROPOSICIONES LOGICAS:

PROPOSICIONES SIMPLES O ATOMICAS:
Son aquellas que se pueden representar por una sola variable, es decir, por una sola
letra como:
p: Pamela tiene 20 aos.
q: 5 x 5 = 25
PROPOSICIONES COMPUESTAS O MOLECULARES:

Son aquellas que se pueden representar por lo menos por una variable y algn o
algunos de los smbolos que representan a las palabras siguientes:



Palabras:

no

implica

o

y

si y solo si
o bien p o
bien q

Smbolo:
~

v .

A



Ejemplo: No aprob el curso de Matemtica I.


~ p

Hoy es sbado y maana domingo.

p q


PROPOSICIONES COMPUESTAS BASICAS

LA NEGACION:

Dada una proposicin p, se denomina LA NEGACIN DE p, a otra proposicin denotada
por ~ p, y que le asigna el valor derivativo opuesto al de p.


Su tabla de verdad es:

p ~ p
V F
F V


Esta proposicin ~ p es tambin leda como:

No p!
No es cierto que p!



Ejemplos:

Sean las proposiciones:

Proposiciones lgicas
Valor de verdad Expresin simblica Lenguaje natural
p: 3 x 4 = 12 V
q: Visual Basic 6.0 no es un lenguaje de
programacin.
F


Entonces sus negaciones son:


Proposiciones lgicas
Valor de verdad Expresin simblica Lenguaje natural
~ p: No es cierto que 3 x 4 = 12 (o sino, 3 x 4 = 12 ) F
~ q: Visual Basic 6.0 es un lenguaje de programacin. V


LA DISYUNCION:

Se le denota p v q y se lee p o q. Es una proposicin compuesta por la
proposicin p y la proposicin q, ambas relacionadas por la palabra o, y est definida
por la siguiente condicin:

la proposicin p v q es FALSA nicamente en el caso en que p y q son ambas falsas;
en cualquier otro caso es verdadera.

En su tabla de verdad se denota sus valores para todas las posibles combinaciones de
valores veritativos de p y q como sigue:


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




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

Por ejemplo: correspondiente a la combinacin (*) de la tercera fila:

Proposiciones lgicas
Valor de verdad Expresin
simblica
Lenguaje natural
p : 8 es menor que 5 F
q : 6 es mayor que 5 V
p v q 8 es menor que 5 o 6 es mayor que 5 V



LA CONJUNCION:

Se le simboliza p q, y se lee como p y q. Se le define como una nueva
proposicin que resulta verdadera (V) en el nico caso en que las proposiciones
componentes p y q son ambas VERDADERAS (V). En todos los dems casos es
FALSA (F).

Su tabla de verdad es:


V
(*) Ver el ejemplo.




Por ejemplo: correspondiente a la combinacin (*) de la segunda fila:

Proposiciones lgicas
Valor de verdad
Expresin simblica
Lenguaje natural
p : 9 es mltiplo de 3 V
q : 10 + 7 = 12 F
p q 9 es mltiplo de 3 y 10 + 7 = 12 F


LA CONDICIONAL:

Se le simboliza p q, y se lee Si p entonces q. Es una nueva proposicin
compuesta que es falsa nicamente en el caso en que la proposicin p es verdadera y
la proposicin q es falsa.



Su tabla de verdad es:

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


La proposicin p es llamada ANTECEDENTE y la proposicin q CONSECUENTE.
Esta proposicin p q tambin se lee de las siguientes maneras:

p implica q.
p es una condicin suficiente para que q.
q a menos que ~p
Es suficiente que p para que q.

Ejemplo: Explique porqu las condicionales siguientes tienen los valores veritativos
indicados:

Proposiciones lgicas

Valor de verdad Expresin simblica
Lenguaje natural
p q 2 + 3 = 8 5 < 6
V
p q 3 - 1 = 4 2 < 1
V
p q
Si 5 es primo, entonces 15 es un nmero par F


Estas condicionales tienen los valores de verdad indicados debido a que:

a) p es falsa y q verdadera : condicional verdadera.
b) p es falsa y q falsa : condicional verdadera.
c) p es verdadera y q falsa : condicional falsa.

LA BICONDICIONAL:

Se denota p q, y se lee p si y solo si q. Es aquella proposicin
compuesta que es VERDADERA en los casos en que ambas p y q tengan valores
veritativos iguales (ambas verdaderas o ambas falsas); es FALSA en los casos en p y
q tengan valores veritativos opuestos.


Su tabla de verdad es:

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


Tambin se lee como:
p si y solamente si q.
p es una condicional necesaria y suficiente para q.

Por ejemplo:

Proposiciones lgicas

Valor de verdad
Expresin
simblica
Lenguaje
natural p 2 < 4 V
q 2 + 6 < 4 + 6 V
p q 2 < 4 si y solo si 2 + 6 < 4 + 6 V



LA DISYUNCION EXCLUSIVA:

Se denota p q, y se lee: O bien p o bien q. Es aquella proposicin que es
verdadera en los casos en que ambas proposiciones p y q tengan valores veritativos
opuestos, y es falsa si ambas tienen idnticos valores de verdad.



Su tabla de verdad es:
P q
p q
V V F
V F V
F V V
F F F


Por ejemplo:
Proposiciones lgicas
Valor de verdad Expresin simblica Lenguaje natural
P Vamos a Arequipa. V / F
q Vamos a Tacna. F / V
p q O vamos a Arequipa o vamos a Tacna V
Sea la proposicin: O vamos a Arequipa o vamos a Tacna.

Queda claro que slo podremos ir a uno de los dos lugares, y slo a uno. Es
decir que el enunciado es verdadero slo si vamos a una de las dos
ciudades. En caso de ir a ambas, o de no ir a ninguna, el enunciado es Falso.



CONECTIVOS LOGICOS

Representacin: Los conectivos lgicos se representan por los smbolos:


Palabras: No

implica

o

y

si y solo si
o bien p
o bien
q
Smbolo:
~

v .

A


PROPOSICIONES COMPUESTAS

Utilizando los conectivos lgicos se pueden combinar cualquier nmero finito de
proposiciones compuestas bsicas para obtener otras cuyos valores de verdad pueden
ser conocidos construyendo sus tablas de verdad; en tales tablas se indican los
valores resultantes de estas proposiciones compuestas para todas las combinaciones
posibles de valores de verdad de las proposiciones compuestas.


Por ejemplo, la tabla de verdad de la proposicin compuesta siguiente:

[ (~p) q ] (r p), es:

p q r ~p (~p) q r p [ (~p) q ] ( r p )
V V V F V V V
V V F F V F F
V F V F F V V
V F F F F F V
F V V V V F F
F V F V V F F
F F V V V F F
F F F V V F F


Jerarqua de los conectivos lgicos: Cuando en una proposicin compuesta se tiene
varios conectivos lgicos, las operaciones se realizan luego de colocar los parntesis
adecuadamente comenzando de las proposiciones que se encuentren dentro de los
parntesis interiores. Siguen todas las negaciones y luego se avanza de izquierda a
derecha. Los corchetes son considerados como parntesis.


TAUTOLOGIA, CONTRADICCION Y CONTINGENCIA

TAUTOLOGIA: A toda proposicin simple o compuesta cuyo valor es siempre
VERDADERO para cualquier combinacin de valores veritativos de sus componentes
se le llama TAUTOLOGIA y se le denota siempre por V


Ejemplo: La proposicin [ ((~p ~q] ~p, es una TAUTOLOGIA. En efecto:


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


CONTRADICCION: A toda proposicin simple o compuesta cuyo valor es siempre
FALSO para todas las combinaciones de valores veritativos de sus componentes se le
llama CONTRADICCIN, y se le denota simplemente por F


Ejemplo: La proposicin [(p q) q] ~q], es una CONTRADICCION. En efecto:

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


CONTINGENCIA: Una proposicin simple o compuesta cuya tabla de verdad contiene
al menos un V y al menos un F recibe el nombre de CONTINGENCIA.

Ejemplo:

p q r ~p (~p) q r p [ (~p) q ] ( r p )
V V V F V V V
V V F F V F F
V F V F F V V
V F F F F F V
F V V V V F F
F V F V V F F
F F V V V F F
F F F V V F F
PROPOSICIONES LOGICAMENTE EQUIVALENTES

Dos proposiciones p y q se llaman EQUIVALENTES (o lgicamente equivalentes) si
sus tablas de verdad son idnticas, en cuyo caso se simboliza:


p q
Ejemplo:

Las proposiciones (p q) y [(~q) (~p)] son EQUIVALENTES pues sus tablas de
verdad resultantes son idnticas, como se puede ver en el cuadro:


p q p q ~q ~p
V V V F V F
V F F V F F
F V V F V V
F F V V V V


Idntica

Por lo tanto: (p q) [(~q) (~p)]


EJERCICIOS PRACTICOS

Identifique las proposiciones en las siguientes expresiones:

a) El teclado es un dispositivo de entrada de datos.

Respuesta: El teclado es un dispositivo de entrada de datos.

p


p : El teclado es un dispositivo de entrada de datos.


b) El curso de Fsica es terico y prctico.

Respuesta: El curso de Fsica es terico y prctico.

p q





p : El curso de fsica es terico.
q : El curso de fsica es prctico.



c) Ana y Pedro estudian en la UCV, entonces son parte de la comunidad universitaria.

Respuesta: Ana y Pedro estudian en la UCV, entonces son parte de la comunidad universitaria.

p q
r


p: Ana estudia en la UCV.
q: Pedro estudia en la UCV.
r: Son parte de la comunidad universitaria.

Construya proposiciones compuestas:

Sea p: 8 es un nmero par.
q: 8 es el producto de dos enteros.

Traducir en smbolos cada una de las siguientes proposiciones:

a) 8 es un nmero par o es un producto de dos enteros.
b) 8 es impar y es un producto de dos enteros.
c) 8 es par y un producto de dos enteros o es un nmero impar y no un producto de dos
enteros.

Respuesta

a) p q

b) (~p) q

c) (p q) [(~p) (~q)]



Indicar que proposiciones son verdaderas o falsas:

Sean p, q y r tres proposiciones tales que p es verdadera, q es falsa y r es falsa. Indicar
cuales de las siguientes proposiciones son verdaderas:
a) (p q) r

b) (~p) (q r)




Solucin:

a) Esta proposicin es VERDADERA, pues:

( p q ) r


( V F ) F
V F
V

b) Esta proposicin es FALSA, pues:


(~p) ( q r )


( F ) ( F F )
F F
F





CIRCUITOS


CIRCUITOS EN SERIE Los circuitos en serie constan de dos o ms interruptores,
donde un interruptor esta despus de otro y as sucesivamente. El grfico de un
circuito en serie es la representacin de una frmula proposicional conjuntiva, cuya
expresin ms simple es p y q.


CIRCUITOS EN PARALELO Los circuitos en paralelo constan en dos o ms
interruptores, donde cada interruptor est en la otra lnea y as sucesivamente. El
grfico de un circuito en paralelo es la representacin de una frmula proposicional
disyuntiva, cuya expresin ms simple es p o q.
















ALGEBRA PROPOSICIONAL











































SUBCONJ UNTO
Sean los conjuntos A={ 0, 1, 2, 3, 5, 8 } y B={ 1, 2, 5 }
En este caso decimos que B est contenido en A, o que B es subconjunto de A.
En general si A y B son dos conjuntos cualesquiera, decimos que B es un
subconjunto de A si todo elemento de B lo es de A tambin.
Por lo tanto si B es un subconjunto de A se escribe B c A. Si B no es subconjunto
de A se indicar con una diagonal ..
Note que e se utiliza solo para elementos de un conjunto y c solo para conjuntos.

UNIVERSO O CONJ UNTO UNIVERSAL
El conjunto que contiene a todos los elementos a los que se hace referencia recibe
el nombre de conjunto Universal, este conjunto depende del problema que se
estudia, se denota con la letra U y algunas veces con la letra S (espacio maestral).
Por ejemplo si solo queremos referirnos a los 5 primeros nmeros naturales el
conjunto queda:
U= { 1, 2, 3, 4, 5 }

Forma alternativa para indicar conjuntos de gran importancia:
- Conjunto de nmeros naturales (enteros mayores que cero) representados
por la letra N donde
N={ 1, 2, 3, .... }
- Conjunto de nmeros enteros positivos y negativos representados por la
letra Z donde
Z={..., -2, -1, 0, 1, 2, ... }
- Conjunto de nmeros racionales (nmeros que se representan como el
cociente de dos nmeros enteros {fracciones}). Estos nmeros se
representan por una Q
- Conjunto de nmeros irracionales (nmeros que no puedan representarse
como el cociente de dos nmeros enteros) representados por la letra I.
- Conjunto de los nmeros reales que son los nmeros racionales e
irracionales es decir todos, representados por R.

Todos estos conjuntos tienen un nmero infinito de elementos, la forma de
simbolizarlos por extensin o por enumeracin es de gran utilidad cuando los
conjuntos a los que se hace referencia tienen pocos elementos para poder trabajar
con ellos se emplean la notacin llamada comprensin.
Por ejemplo, la denotar el conjunto de los nmeros naturales menores que 60.
Aqu U es el conjunto N y se tiene una propiedad que caracteriza a los elementos
del conjunto: ser menores que 60.

Para indicar esta situacin empleamos la simbologa del lgebra de conjuntos:
{ x/x e N ; x<60 }
En esta expresin se maneja un conjunto de x que pertenece a los nmeros
naturales (N) y adems que los valores de x son menores que 60.

Ahora si se desea trabajar con conjuntos que manejen intervalos estos pueden ser
representados por medio de una expresin algebraica; supongamos que se desea
expresar los nmeros enteros (Z) entre -20 y 30 el conjunto quedara de la manera
siguiente:
{ x/x e Z ; -20 s x s 30 }

Tambin se puede expresar el valor de un conjunto indicando la pertenencia o no
pertenencia a uno diferente, por ejemplo
L={ 1, 3, 4, 6, 9 }
P={ x/x e N ; X e L }
En el conjunto P se indica que los elementos x de un conjunto pertenecen a los
nmeros naturales y adems x no pertenece al conjunto L.

OPERACIONES CON CONJUNTOS
UNION
La unin de dos conjuntos A y B la denotaremos por A B y es el conjunto
formado por los elementos que pertenecen al menos a uno de ellos a los dos. Lo
que se denota por:
A B = { x/x e A x e B }

Ejemplo: Sean los conjuntos A={ 1, 3, 5, 7, 9 } y B={ 10, 11, 12 }
A B ={ 1, 3, 5, 7, 9, 10, 11, 12 }
INTERSECCION
Sean A={ 1, 2, 3, 4, 5, 6, 8, 9 } y B={ 2, 4, 8, 12 }
Los elementos comunes a los dos conjuntos son: { 2, 4, 8 }. A este conjunto se le
llama interseccin de A y B; y se denota por A B, algebraicamente se escribe
as:
A B = { x/x e A y x e B }
Y se lee el conjunto de elementos x que estn en A y estn en B.

Ejemplo:
Sean Q={ a, n, p, y, q, s, r, o, b, k } y P={ l, u, a, o, s, r, b, v, y, z }
Q P={ a, b, o, r, s, y }

CONJ UNTO VACIO
Un conjunto que no tiene elementos es llamado conjunto vaco conjunto nulo lo
que denotamos por el smbolo C.

Por ejemplo:
Sean A={ 2, 4, 6 } y B={ 1, 3, 5, 7 } encontrar A B.
A B= { }
El resultado de A B= { } muestra que no hay elementos entre las llaves, si este
es el caso se le llamar conjunto vaco nulo y se puede representar como:
A B=C

CONJ UNTOS AJ ENOS
S la interseccin de dos conjuntos es igual al conjunto vaco, entonces a estos
conjuntos les llamaremos conjuntos ajenos, es decir:
Si A B = C entonces A y B son ajenos.

COMPLEMENTO
El complemento de un conjunto respecto al universo U es el conjunto de
elementos de U que no pertenecen a A y se denota como A' y que se representa
por comprensin como:
A'={ x e U/x y x e A }

Ejemplo:
Sea U = { 1, 2, 3, 4, 5, 6, 7, 8, 9 }
A= { 1, 3, 5, 7, 9 } donde A c U
El complemento de A estar dado por:
A'= { 2, 4, 6, 8 }}



DIFERENCIA
Sean A y B dos conjuntos. La diferencia de A y B se denota por A-B y es el
conjunto de los elementos de A que no estn en B y se representa por
comprensin como:
A - B={ x/x e A ; X e B }

Ejemplo:
Sea A= { a, b, c, d } y
B= { a, b, c, g, h, i }
A - B= { d }
En el ejemplo anterior se observa que solo interesan los elementos del conjunto A
que no estn en B. Si la operacin fuera B - A el resultado es
B A = { g, h, i }
E indica los elementos que estn en B y no en A.

DIAGRAMAS DE VENN
Los diagramas de Venn que se deben al filsofo ingls John Venn (1834-1883)
sirven para encontrar relaciones entre conjuntos de manera grfica mediante
dibujos diagramas.
La manera de representar el conjunto Universal es un rectngulo, bien la hoja de
papel con que se trabaje.
Un ejemplo de la representacin del conjunto universal se muestra como:










Los conjuntos se representan por medio de dibujos dentro del rectngulo, los
aspectos de inters se resaltan sombreando las reas respectivas. En el caso de
este curso las indicaremos por medio de un color azul por ejemplo:

AINTERSECTADO CON B














RELACION ENTRE LA TEORIA DE CONJUNTOS Y LA LOGICA
PROPOSICIONAL

Existe una relacin muy estrecha entre la Teora de Conjuntos y la Lgica
Proposicional.
Para mostrar dicha relacin, denotemos por letras maysculas A,B ... los
conjuntos y
por las correspondientes minsculas a,b ... sus propiedades caractersticas
(es decir, la proposicin lgica que caracteriza a los elementos de cada conjunto);
entonces se tiene la siguiente correspondencia:


conjuntos A _ B A = B A B A B A' A B A A B
proposiciones a b a b a v b a . b a' a . b' a v b
Adems, el conjunto vaco se corresponde con una contradiccin y el conjunto
universal con una tautologa.
Mediante esta correspondencia, todos los resultados sobre conjuntos se pueden
reescribir en trminos de lgica
proposicional y viceversa; a modo de ejemplo:

A ( A B ) = A a v ( b . c ) a
A ( B C ) = ( A B ) ( A C
)
a v ( b . c ) ( a v b ) . ( a v c
)
( A B )' = A' B' ( a v b )' a' . b'
PROPOSICIONES CON CUANTIFICADORES
Los smbolos (cuantificador universal) y - (cuantificador existencial) se utilizan
en Matemticas para
enunciar proposiciones lgicas relativas a objetos matemticos.
Sea A un conjunto y p(x) una proposicin o propiedad que hace referencia a un
elemento x.
(1) Cuantificador universal: La expresin
x e A p(x)
se lee "para todo x que pertenece a A se verifica p(x)", representa la proposicin
{ x e A : p(x) } = A
(2) Cuantificador existencial: La expresin
- x e A | p(x)
se lee "existe x que pertenece a A tal que p(x)", representa la proposicin
{ x e A : p(x) } = C

La negacin de cualquiera de las dos proposiciones anteriores se realiza negando
la proposicin p(x)
y cambiando el cuantificador universal por el cuantificador existencial, o viceversa.
As, la negacin de la proposicin " x e A p(x)" es "- x e A | p(x)' ", mientras que
la negacin de "- x e A | p(x)" es " x e A p(x)' "


Conjuntos finitos: Combinatoria

La Combinatoria es la parte de las Matemticas que se dedica al estudio de los
conjuntos finitos.
Puesto que la propiedad principal de estos conjuntos es que se puede representar
su nmero de elementos
mediante un nmero natural (llamado cardinal de dicho conjunto), la tarea bsica
de la Combinatoria es
precisamente el clculo del cardinal de dichos conjuntos.
Para dicho clculo se necesita definir los llamados nmeros combinatorios:

(1) Nmeros factoriales: se define n! mediante la ley de recurrencia
n! = n (n-1)!
y la condicin inicial 0! := 1. De forma iterativa, se tiene
n! = n (n-1) (n-2) ... 3 2 1
n! es el nmero de permutaciones de n elementos, es decir, es el nmero total de
formas de ordenar n elementos
de todas las formas distintas posibles.