Está en la página 1de 6

Unidad nº 1: Álgebra de Boole

1. LÓGICA PROPOSICIONAL

Proposición:

Es un enunciado, dado en cierto lenguaje, del cual puede establecerse un valor de verdad, es decir se puede determinar si es verdadero o si es falso. Se suelen simbolizar con letras imprenta minúsculas: p, q,

Negación: Dada una proposición p, siempre es posible determinar otra proposición negándola. Se simboliza – p o bien p, y se lee “no p”

Nota: Una proposición p y su negación no tienen el mismo valor de verdad, si p es verdadera, p es falsa y viceversa.

Tablas de verdad: las tablas de verdad son cuadros que permiten visualizar todos los posibles valores de verdad de una proposición.

Ejemplo:

p ∼p v f f v
p
∼p
v
f
f
v

Es posible a través del uso de conectivos como por ejemplo:

entonces ), ( si y sólo si ) obtener proposiciones denominadas compuestas:

Conjunción: la conjunción de dos proposiciones p, q, es otra proposición y se anota: p q Disyunción: la disyunción de dos proposiciones p, q, es otra proposición y se anota: p q Implicación simple o condicional simple: la implicación de las proposiciones p, q, es la proposición que se anota: p q , en este caso la proposición p recibe el nombre de antecedente y la proposición q de consecuente. Doble implicación o bicondicional: la doble implicación de las proposiciones p, q, es otra

proposición que se anota:

( y ),

( o ), ( si,

p q

Las tablas de verdad que corresponden a estas proposiciones compuestas son las siguientes:

p

q

p

q

p

q

p

q

v

v

v

v

v

v

v

v

v

v

v

v

v

f

f

v

v

f

v

f

f

v

f

f

f

f

v

f

v

v

f

v

v

f

f

v

f

f

f

f

f

f

f

v

f

f

v

f

Nota: La conjunción de dos proposiciones es verdadera sólo cuando ambas son verdaderas. La disyunción de dos proposiciones es falsa sólo cuando ambas son falsas. La implicación simple de dos proposiciones es falsa sólo cuando el antecedente es verdadero y el consecuente es falso. La doble implicación de dos proposiciones es verdadera sólo cuando ambas tienen el mismo valor de verdad.

La implicación simple de dos proposiciones p, q, es equivalente a la disyunción del antecedente

negado con el consecuente:

Si realizamos la tabla de verdad correspondiente:

p q

p

q

 

p

q

p

q

 

v

v

v

v

f

v

v

v

f

f

v

f

f

f

 

f

v

v

v

v

v

v

 

f

v

f

v

v

v

f

Álgebra y Geometría Analítica

-

Prof. Ana María Nuñez

-

1

Unidad nº 1: Álgebra de Boole

Observamos que todos los valores de verdad son verdaderos, es una verdad absoluta, en lógica esto se denomina una tautología. Cuando todos los valores de verdad obtenidos son falsos se denomina una contradicción.

La doble implicación de dos proposiciones p, q, es equivalente a la conjunción de dos

implicaciones

simples

en

las

cuales

se

intercambian

el

antecedente

y

el

consecuente

respectivamente:

p

q

[

p

q

q

p

]

Si

realizamos la tabla de verdad correspondiente:

 
 

p

q

 
⇔ v v v v
v
v
v
v
 

p

 

q

q

p

 

v

v

v

v

v

 

v

v

v

v

v

v

f

 

f

v

f

 

f

f

f

v

v

f

f

v

f

v

 

v

f

v

f

f

f

v

 

f

f

v

 

f

v

f

v

f

Nuevamente estamos frente a una tautología, o bien una verdad absoluta.

Leyes y principios lógicos:

Involución: la negación de una proposición negada es equivalente a la proposición.

( p

)

p

Complemento: La disyunción de una proposición y su negación es una verdad absoluta. La conjunción de una proposición y su negación es una falsedad absoluta.

p

p

v

p

p

f

Idempotencia:

La

conjunción,

o

la

disyunción,

de

una

proposición

consigo

misma

es

equivalente a dicha proposición.

p

p

p

p

p

p

Identidad: La disyunción de una proposición y una falsedad es equivalente a dicha proposición. La conjunción de una proposición y una verdad es equivalente a dicha proposición.

p

f

p

p

v

p

Una consecuencia de esta ley es lo siguiente:

 

p

v

v

p

f

f

Conmutatividad: si se cambia el orden de las proposiciones en conjunción, o en disyunción se obtiene una proposición equivalente.

 

p

q

q

p

p

q

q

p

Asociatividad:

Cualesquiera

sean

las

proposiciones

p,

q,

r,

se

verifican

 

las

siguientes

equivalencias:

 

(p

q)

r

p

(q

r)

(p

q)

r

p

(q

r)

Distributividad: Cualesquiera sean las proposiciones p, q, r, se verifican las siguientes equivalencias:

p

( q

r )

( p

q )

( p r )

p

( q

r )

( p

q )

( p r )

Leyes de De Morgan:

La negación de una disyunción es equivalente a la conjunción de las dos proposiciones negadas.

( p q )

p

∧ ∼ q

Álgebra y Geometría Analítica

-

Prof. Ana María Nuñez

-

2

Unidad nº 1: Álgebra de Boole

La negación de una conjunción es equivalente a la disyunción de ambas proposiciones negadas.

( p q )

Condición necesaria y suficiente:

p

∨ ∼ q

Si la implicación simple p q es verdadera, entonces p es condición suficiente para q, y q es

condición necesaria para p

Implicaciones asociadas:

Dada una implicación simple:

recíproca: q p

p q

existen tres implicaciones asociadas a ella que son:

; contrarecíproca: q ⇒ ∼p

; contraria: p ⇒ ∼q

Nota: Las implicaciones contrarecíprocas son equivalentes:

p q

q

p

p ⇒ ∼q

q

p

Nota 2:La negación de una implicación simple es equivalente a la conjunción del antecedente con el consecuente negado.

p q

p

q

Funciones o esquemas proposicionales:

Un enunciado en el cual figura al menos una variable, del cual no es posible establecer un

valor de verdad, no constituye una proposición, hasta que no se especifique a la misma. Estos enunciados reciben el nombre de esquemas proposicionales y se los suele simbolizar así:

P (x) , P (x, y) , etc.

A partir de esquemas proposicionales es posible obtener una proposición mediante un

procedimiento denominado cuantificación, para ello recurriremos a dos conceptos:

- Los cuantificadores, existen dos tipos de cuantificadores:

El cuantificador existencial:

El cuantificador universal:

- El conjunto de referencia, es decir el que contiene las posibles especificaciones de la variable.

(se lee existe al menos un

(se lee para todo

)

)

Negación de una proposición cuantificada:

Se tiene una proposición obtenida por una función proposicional cuantificada:

por ejemplo

negar dichas proposiciones equivale a negar el cuantificador y la función proposicional respectiva. Negar un cuantificador universal equivale a obtener un cuantificador existencial y viceversa.

(x R ) :

P (x)

o

(x R ) : P (x)

Álgebra y Geometría Analítica

-

Prof. Ana María Nuñez

-

3

Unidad nº 1: Álgebra de Boole

2. ÁLGEBRA DE CONJUNTOS

En este curso no estamos interesados en las definiciones formales de la Teoría de Conjuntos, pero utilizaremos algunos conceptos de ella para relacionarlos con la Lógica Proposicional vista anteriormente y el Álgebra de Boole que abordaremos al final.

Sea E un conjunto al cual denominaremos universal o referencial, se tienen todos los subconjuntos o partes de E que anotaremos como A, B, C, …, φ, éste último es el denominado conjunto vacío y carece de elementos.

Es posible definir dos operaciones binarias internas entre las partes de E, la unión y la intersección: dados dos subconjuntos de E: A y B, la unión de ellos es otro subconjunto de E, del mismo modo que la intersección de ellos es otro subconjunto de E (se puede demostrar). En símbolos, la unión y la intersección la expresamos así:

A B = { x / x A x B }

A B = { x / x A x B }

Existe también la posibilidad de definir una operación unitaria entre los subconjuntos de E, a la que denominaremos complementación, de tal forma que el complemento de un subconjunto A de E es otro subconjunto de E, anotado A’ que contiene a todo elemento de E que no sea elemento de A, en símbolos: A’ = { x / x E x A }

Un modo de visualizar las operaciones definidas es a través de diagramas de Euler Venn, la zona sombreada representa el conjunto determinado:

E

A B
A
B

A B

E

A

B

representa el conjunto determinado: E A B A ∪ B E A B A ∩ B

A B

E

A
A

A’

Estas operaciones verifican una serie de leyes que enumeramos a continuación:

Involución:

( X’ )’

=

X

Complemento:

X X’

=

φ

X X’ = E

Idempotencia:

X X

=

X

X X = X

Identidad:

X E

=

X

X ∪ φ = X

 

Y su consecuencia:

X

φ

=

φ

X E

=

E

Conmutatividad:

X Y =

Y X

X Y =

Y X

Asociatividad:

(X Y) Z = X (Y Z)

 

(X Y) Z = X (Y Z)

Distributividad:

(X Y) Z = (X

Y) (X

Z)

(X Y) Z = (X

Y) (X

Z)

 

Leyes de De Morgan:

(X Y)’ = x’ Y’ (X Y)’ = x’ Y’

Todas ellas son demostrables.Observe la analogía que existe entre estas leyes para operaciones entre conjuntos y la conjunción, disyunción y el complemento definidos en lógica proposicional.

Haber analizado previamente estos dos ejemplos, facilitará la comprensión del concepto de Álgebra de Boole.

Álgebra y Geometría Analítica

-

Prof. Ana María Nuñez

-

4

Unidad nº 1: Álgebra de Boole

3. ÁLGEBRA DE BOOLE

Un Álgebra de Boole es un conjunto B de elementos, a, b, c, …, con las propiedades siguientes que se verifican para todo a, b, c que pertenece a B.

(1) B posee dos operaciones binarias internas: y , que denominaremos “cuña” y “clavo” respectivamente, las cuales satisfacen las leyes:

Idempotencia:

a

a

=

a

a

a

=

a

Conmutatividad:

a

b

=

b

a

a

b

=

b

a

Asociatividad:

(a b) c

=

a (b c)

(a b) c

=

a (b c)

(2) Estas operaciones satisfacen las leyes de absorción:

 

a (a b)

=

a (a b)

=

a

(3) Dichas operaciones son distributivas mutuamente:

 

a (b c) = (a b)

(a c)

 

a

(b c) = (a b)

(a b)

(4) B contiene dos elementos 0 y I tales que satisfacen las condiciones:

0

a

=

0,

0

a

=

a,

I

a

=

a,

I

a

=

I

(5) B posee una operación unitaria de complementación, que a cada elemento a de B le asigna a’ denominado “complemento de a” también de B, que obedece las leyes:

a

a’

=

0

a

a’

=

I

Como consecuencia de lo que venimos de enunciar podemos concluir diciendo:

Con respecto a la intersección, unión y complementación, los subconjuntos de un conjunto E cualquiera forman un álgebra de Boole.

Teorema: En toda álgebra de Boole se verifican las leyes de De Morgan, es decir:

(a

b)’

=

a’

b’

(a

b)’

=

a’

b’

Un modelo muy importante del álgebra de Boole lo constituyen los circuitos lógicos:

Consideremos un circuito eléctrico con un interruptor que puede estar cerrado o abierto, es decir si está cerrado pasa la corriente y si está abierto no hay paso de corriente. Lo representaremos como sigue:

no hay paso de corriente. Lo representaremos como sigue: interruptor cerrado interruptor abierto Si el interruptor
no hay paso de corriente. Lo representaremos como sigue: interruptor cerrado interruptor abierto Si el interruptor

interruptor cerrado

interruptor abierto

Si el interruptor está cerrado, hay paso de corriente, lo asociaremos con “1”, en el caso del interruptor abierto en el cual no hay pasaje de corriente, lo asociaremos con “0”

Las “operaciones binarias” que podríamos definir en este conjunto de circuitos serian: conexión en serie y conexión en paralelo, que las podemos simbolizar con (.) y (+) respectivamente, el complemento de un circuito es otro cuyo estado es siempre opuesto al del primero.

Álgebra y Geometría Analítica

-

Prof. Ana María Nuñez

-

5

Unidad nº 1: Álgebra de Boole

Unidad nº 1: Álgebra de Boole Circuitos conectados en serie circuitos conectados en paralelo Estas operaciones
Unidad nº 1: Álgebra de Boole Circuitos conectados en serie circuitos conectados en paralelo Estas operaciones

Circuitos conectados en serie

nº 1: Álgebra de Boole Circuitos conectados en serie circuitos conectados en paralelo Estas operaciones se

circuitos conectados en paralelo

Estas operaciones se relacionan totalmente con la conjunción (serie) y la disyunción (paralelo) vistas en la parte de lógica proposicional, por lo tanto para que circule corriente en un circuito en serie ambos interruptores deben estar cerrados, en cambio en un circuito en paralelo es suficiente con que uno de los interruptores esté cerrado para que haya pasaje de corriente. Del mismo modo si un circuito esta abierto (no pasa corriente), su complemento esta cerrado (pasa corriente). A cada circuito lo designaremos con a, b, c, …, lo que nos permitirá realizar las tablas de valores similares a las que hiciéramos en lógica proposicional.

Consideremos un circuito a cualquiera y las posibilidades de pasaje de corriente:

Pasa corriente No hay paso de corriente

Consideremos el complemento del circuito a recién analizado y las posibilidades de pasaje de corriente:

No pasa corriente Pasa corriente

Consideremos una conexión en serie de dos circuitos,a y b, y las posibilidades de pasaje de corriente:

Consideremos una conexión en paralelo de dos circuitos,a y b, y las posibilidades de pasaje de corriente:

a

b

a (.) b

1

1

1

1

0

0

0

1

0

0

0

0

a

b

a (+) b

1

1

1

1

0

1

0

1

1

0

0

0

Queda para el alumno el enunciado y la verificación, a partir de tablas de las propiedades del álgebra de Boole, de la cual estos circuitos son un modelo, y del teorema relativo a las leyes De Morgan.

Álgebra y Geometría Analítica

-

Prof. Ana María Nuñez

-

6