Tema 1

Arquitectura I

Temas a tratar
Fundamentos
Lgica Formal
Enunciados y operaciones lgicas
Proposiciones y tablas de verdad
lgebra de proposiciones
Conjuntos y relaciones
Conjuntos y elementos
Operaciones de conjuntos
lgebra de conjuntos
Pares ordenados y conjuntos producto
Relaciones y funciones
lgebra de Boole
Dualidad
Teoremas bsicos
Expresiones de Boole

Lgica Formal

Se dedica al estudio de lainferenciamediante la construccin

delenguajes formales, sistemas deductivos ysemnticas
formales. La idea es que estas construcciones capturen las
caractersticas esenciales de las inferencias vlidas en
loslenguajes naturales, pero que al ser estructuras formales y
susceptibles de anlisis matemtico, permiten
realizardemostraciones rigurosas sobre ellas.
Hay 4 tipos de lgicas formal
Lgica de enunciados

Estudia la validez de los razonamientos teniendo en cuenta nicamente el valor de verdad (verdadero o
falso) de cada enunciado tomando los enunciados en bloque sin analizarlos previamente.

Lgica de predicados

Analiza la estructura interna de los enunciados atribuyendo una propiedad al sujeto.

Lgica de clases

Al contrario que la lgica de predicados, esta atribuye individuos y clases a las caractersticas

Lgica de relaciones

Incorpora a su lenguaje los elementos, smbolos y reglas que son necesarios para expresar un enunciado.

Enunciados y
operaciones lgicas
Enunciados:

Es una frase u oracin que informa, expresa o dictamina alguna idea a

travs de afirmaciones o negaciones preguntas, expresiones de emocin
o de saludo, rdenes.
Operaciones

lgicas:

Una de las funciones de la Unidad Aritmtico Lgica (ALU), situada en el

ncleo del procesador es la de realizar las operaciones lgicas con los
datos contenidos en una instruccin del programa.
Pero, qu es una operacin lgica?.
Una operacin lgica asigna un valor (TRUE o FALSE) a la combinacin de
condiciones (TRUE o FALSE) de uno o ms factores (variables). Los
factores o las variables que intervienen en una operacin lgica slo
pueden ser TRUE o FALSE. Y el resultado de una operacin lgica puede
ser, tan slo, TRUE o FALSE.

Proposiciones y tablas de
verdad
Proposiciones:

Es una expresin donde se afirma o se niega algo. Tal

proposicin puede ser calificada sin ambigedades como
V o F, tambin recibe el nombre deValorde Verdad.
A una proposicin se le representa por letras minsculas
como p, q, r, s, t.
Proposiciones simples:
Es aquella que no se relaciona con otra.
p: 17 es un nmero impar.
q:El Solno es una estrella.
r: La maca es una planta oriunda del Per.
s: La suma de dos nmeros pares es otro nmero impar.
s

Proposiciones y tablas de
verdad
Descripcin

Expresin

Not

o~

And

^ o

Or

o+

Proposiciones y tablas de
verdad

CONECTIVOS LGICOS

Los conectivos lgicos sirven para enlazar

dos o ms proposiciones. Estos conectivos
son "y", "o", "no es cierto que", "entonces",
"si y solo s"
y
o

not

Proposiciones y tablas de
verdad
NOT

Proposiciones y tablas de
verdad
PROPOSICIN

COMPUESTA
Es aquella donde aparecen dos o ms
proposiciones simples enlazadas por
conectivos lgicos

Proposiciones y tablas de
verdad
La operacin AND
Consiste en una multiplicacin lgica, supongamos
que tenemos una funcin lgica f, que consiste
en el producto lgico (AND) de 2 variables A y B tal
que:
f(A, B) = A B
Suponiendo que los valores 1 = TRUE y 0 = FALSE,
entonces podemos armar lo que se denomina, tabla
de verdad para una funcin lgica AND. Dicha tabla se
expresa de la siguiente manera:

Proposiciones y tablas de
verdad
La operacin OR
La operacin OR consiste en una suma lgica,
supongamos que tenemos una funcin lgica f, que
consiste en la suma lgica (OR) de 2 variables A y B
tal que:
f(A, B) = A + B
Suponiendo que los valores 1 = TRUE y 0 = FALSE,
entonces podemos armar lo que se denomina, tabla
de verdad para una funcin lgica OR. Dicha tabla
se expresa de la siguiente manera:

Proposiciones y tablas de
verdad
La operacin NOT
La operacin NOT, consiste en negar el estado de una
variable, es decir, invertir el resultado lgico que contena la
variable antes de aplicar la negacin lgica, dicha funcin
solo sirve para una sola variable. Supongamos una funcin
lgica f, que consiste en la negacin lgica (NOT) de una
variable A tal que:
_
f(A)= A
Supongamos que los valores 1= TRUE y 0 = FALSE, entonces
podemos armar lo que se denomina, tabla de verdad para
una funcin lgica NOT Dicha tabla se expresa de la siguiente
manera:

Proposiciones y tablas de
verdad
La operacin XOR o EXOR o Exclusive OR
La operacin XOR consiste en un negador en el cual la variable
principal de dicha funcin se niega cuando la variable secundaria esta
en TRUE, caso contrario, el valor de la variable principal de la funcin
es el mismo. En resumen, esta operacin lgica consiste en un
negador de 2 variables, en las cuales, una variable es la que se desea
negar y la otra variable es la de control para la negacin. Esta funcin
consiste en sumar los productos entre variables, cuyo producto se
caracteriza por tener variables de forma negada y no negada,
alternndose unos con otros, para que sea mas claro, supongamos
que tenemos una funcin lgica f, que consiste en la suma lgica
(XOR) de 2 variables A y B tal que:
f(A, B) = A B + A B = A B
Suponiendo que los valores 1 = TRUE y 0 = FALSE, entonces podemos
armar lo que se denomina, tabla de verdad para una funcin lgica
XOR. Dicha tabla se expresa de la siguiente manera:

Proposiciones y tablas de
verdad
La operacin NAND
La operacin NAND consiste en una AND en la cual,
a su resultado, se le es aplicado la operacin NOT.
Es decir
supongamos que tenemos una funcin lgica f, que
consiste en el producto lgico negado (NAND) de 2
variables A y B tal que:
f(A, B) = A B
Suponiendo que los valores 1 = TRUE y 0 = FALSE,
entonces podemos armar lo que se denomina,
tabla de verdad para una funcin lgica NAND.
Dicha tabla se expresa de la siguiente manera:

Proposiciones y tablas de
verdad
La operacin NOR
La operacin NOR consiste en una OR en la cual, a
su resultado, se le es aplicado la operacin NOT. Es
decir
supongamos que tenemos una funcin lgica f, que
consiste en la suma lgica negada (NOR) de 2
variables A y B tal que:
f(A, B) = A + B
Suponiendo que los valores 1 = TRUE y 0 = FALSE,
entonces podemos armar lo que se denomina,
tabla de verdad para una funcin lgica NOR. Dicha
tabla se expresa de la siguiente manera:

Proposiciones y tablas de
verdad
La

operacin XNOR
La operacin XNOR consiste e n una XOR en la cual a su
resultados, se le es aplicado la operacin NOT. Ahora
presentamos un poco de detalle como resulta una XOR negada
el funcionamiento que tiene una XNOR, es el de comprar dos
variables y devolver TRUE cuando las dos variables son iguales
o FALSE, para el caso contrario. Es decir supongamos que
tenemos una funcin lgica f, que consiste en la XOR negada
(XNOR) de 2 variables A y B tal que:
_____
f(A,B)= A B
Suponiendo que los valores 1= TRUE y 0=FALSE, entonces
podemos armar lo que se denomina tabla de verdad para una
funcin lgica XNOR. Dicha tabla se expresa de la siguiente
manera:

lgebra de proposiciones
El

algebra de proposiciones se realiza

numricamente con las tablas de
verdad para resolver situaciones.

lgebra de proposiciones
conjuncin

"Y":
En esta tabla solo V y V te va dar
verdadero las dems son falsas.

lgebra de proposiciones
disyuncin"O"V:
En

esta tabla solo F y F te va a dar

falso todas las dems son
verdaderas.

lgebra de proposiciones
si

entonces
En esta tabla solo V y F te dar falso
todas las dems son verdaderas.

lgebra de proposiciones
si

y solo si
En esta tablas solo los que sean V y
V, F y F te van a dar verdadero las
dems te dan falso.

lgebra de proposiciones
Tautologia:

todos verdaderos
Incongruencia: algunos falsos y otros
verdaderos
Contradiccion: todos falsos

lgebra de proposiciones
Contradiccin

lgebra de proposiciones
incongruencia

lgebra de proposiciones
tautologa

Conjuntos y relaciones
Conjuntos:
Un conjunto es una coleccin bien definida de objetos,
entendiendo que dichos objetos pueden ser cualquier
cosa:nmeros, personas, letras, otros conjuntos, etc. Algunos
ejemplos son:
Aes el conjunto de los nmeros naturales menores que 5.
Bes el conjunto de los colores verde, blanco y rojo.
Ces el conjunto de las letrasa,e,i,oyu.
Des el conjunto de lospalosde labaraja francesa.
Relacin:
Es un conjunto de operaciones que describen paso a paso
cmo computar una respuesta sobre las relaciones, tal y
como stas son definidas en elmodelo relacional.

Conjuntos y elementos
Elementos:
unelementoomiembrode unconjunto(ofamilia de
conjuntos) es unobjeto atmicoque forma parte de ese conjunto
(o familia).
Al escribir, A={1,2,3,4} estamos diciendo que los elementos
del conjuntoAson los nmeros 1, 2, 3 y 4. Un grupo de
elementos deAsera, por ejemplo,{1,2}, el cual es un
subconjuntodeA.
Los elementos pueden ser conjuntos en s mismos. Por
ejemplo, consideremos el conjuntoB={1,2,{3,4}}. Los
elementos deBnoson 1, 2, 3, y 4; en efecto,Btiene slo tres
elementos: 1, 2 y el conjunto{3,4}.
Los elementos de un conjunto pueden ser cualquier cosa. Por
ejemplo,C={ rojo, verde, azul}, es el conjunto cuyos
elementos son los colores rojo, verde y azul.

lgebra de conjuntos

lgebra de conjuntoses el estudio de lasoperacionesbsicas que pueden

realizarse conconjuntos, como launin,interseccinycomplementacin.
Unconjuntoes una coleccin de objetos considerada como un objeto en s. Un
conjunto est definido nicamente por los elementos que lo componen, y no por la
manera en la que se lo representa.
Pertenencia.Larelacinrelativa a conjuntos ms bsica es larelacin de
pertenencia. Dado un elementox, ste puede o no pertenecer a un conjunto dadoA.
Esto se indica comoxA.
Igualdad.Dos conjuntos son iguales si y slo si tienen los mismos elementos. Este
principio, denominadoprincipio de extensionalidadestablece el hecho de que un
conjunto queda definido nicamente por sus elementos.
Inclusin.Dado un conjuntoA, cualquier subcoleccinBde sus elementos es
unsubconjuntodeA, y se indica comoBA.
Elconjunto vacoes el conjunto sin ningn elemento, y se denota poro por {}.
Elconjunto universales el conjunto que contiene todos los elementos posibles,
dentro del contexto considerado. Por ejemplo, si se estudian los nmeros naturales,
el conjunto universal es el conjunto de todos ellos,N. De manera general, el
conjunto universal se denota porU.

lgebra de conjuntos
Las

operaciones bsicas del lgebra de conjuntos son:

Unin.Launinde dos conjuntosAyBes el conjuntoABque contiene todos
los elementos deAy deB.
Interseccin.Lainterseccinde dos conjuntosAyBes el conjuntoABque
contiene todos los elementos comunes deAyB.
Diferencia.Ladiferenciaentre dos conjuntosAyBes el conjuntoA\Bque
contiene todos los elementos deAque no pertenecen aB.
Complemento.Elcomplementode un conjuntoAes el conjuntoAque contiene
todos los elementos que no pertenecen aA.
Producto cartesiano.Elproducto cartesianode dos conjuntosAyBes el
conjuntoABque contiene todos lospares ordenados(a,b) cuyo primer
elemento pertenece aAy su segundo elemento pertenece aB.
Propiedades
Algunas de estas operaciones poseen propiedades similares a las operaciones con nmeros.

Por ejemplo, la unin y la interseccin sonconmutativasyasociativas. El conjunto vaco es

elelemento neutrode la unin, y elelemento absorbentede la interseccin y el producto
cartesiano. Elconjunto universales el elemento neutro de la interseccin y el elemento
absorbente de la unin.
Adems, las operaciones de unin, interseccin, diferencia y complemento son muy
similares a las operaciones en unlgebra de Boole, as como a losconectores lgicosde
lalgica proposicional.

lgebra de conjuntos
Unin

Complemento

Interseccin

Diferencia

Diferencia Simtrica

Operaciones de conjuntos
Unin

de conjuntos:
Al realizar esta operacin estamos conformando un nuevo
conjunto, que se llama conjunto solucin, que contiene
todos los elementos o miembros de los conjuntos que se estn
uniendo, sin que ninguno de sus miembros se repita en el
conjunto solucin. Por ejemplo:
Dados:
A = {-1, 1, 2, 3} B = {2, 4, 6}
C= {4, 5, 7, 8}
A u B = {-1, 1, 2, 3, 4, 6}
Observe

que el resultadoA u Bno contiene elementos

repetidos
A u B u C = {-1, 1, 2, 3, 4, 5, 6, 7, 8}

Operaciones de conjuntos

Operaciones de conjuntos
Interseccin

de conjuntos:
Esta operacin entre conjuntos conforma un nuevo conjunto
que contenga los elementos o miembroscomunesa los
conjuntos que hagan parte de esta operacin. Por ejemplo si
consideramos los conjuntosA, B y Carriba mencionados, al
operar; se obtiene:
A n B = {2}
B n C = {4}
A n B n C = { }Puesto queno hay ningn elementoque
est en los tres conjuntos.
(A u B) n CObserve que en este ejemplo se est aplicando la
propiedad asociativa para la operacin de unin entreAyBy
a su resultado hacer la interseccin conC.
(A u B) n C = {4}

Operaciones de conjuntos

Operaciones de conjuntos
Diferencia

de conjuntos:
Cuando se analiza la diferencia entreAyB,
se obtiene como
respuestaexclusivamentelos elementos
del conjuntoA.Por ejemplo si consideramos
los conjuntosA, B, Cque aparecen arriba:
A - B = {1, 1, 3}
B - C ={2, 6}
B - A = {4, 6}
C - B = {5, 7, 8}

Operaciones de conjuntos
Diferencia

simtrica de conjuntos:
Se presenta cuando se consideran todos los
elementos queslo pertenecen los
conjuntos,sin tener en cuenta lo que tienen en
comn. En otras palabras, en la diferencia
simtrica no se tiene en cuentaningn elemento
de la interseccinentre los conjuntos, los
demss.Por ejemplo, dados los conjuntos
A = {-1, 1, 2, 3,} B = {2, 4, 6} C = {4,
5, 7, 8}
y U = {-1, 1, 2, 3, 4, 5, 6, 7, 8}(Conjunto
Universal o referencial)

Operaciones de conjuntos
Complemento

de un conjunto:
Se buscan todos lo elementos que le
hagan falta a un conjunto para
convertirse o ser elconjunto
universal o referencial.Por
ejemplo:
A= {4, 5, 6, 7}
B= {-1, 1, 3, 5, 7, 8}
C= {-1, 1, 2, 3, 6,}
(A u B)={5, 7, 8}

Pares ordenados y conjuntos

producto
Pares

ordenados:

Intuitivamente un par ordenado consta de

dos elementos , a y b en un plano cartesiano

Conjunto

Producto:

Dados dos conjuntos A y B se llama conjunto

productos de A Y B el conjunto de todos los

pares ordenados (a, b ) con a A y b B se le
denota por
AXB
Que se lee A cruz B
A X B ={(a,b) | a A, b B}

Relaciones y funciones
Correspondencia

o relacin:
Es la correspondencia de un primer conjunto llamado
Dominio, con un segundo conjunto llamado rango, de
manera que a cada elemento del dominio le
corresponde uno o mas elementos del recorrido o
rango.
Ejemplo: En un supermercado hay artculos a la venta
cada artculo tiene un precio.
Funcin: es relacin a la que se aade la restriccin
de que cada valor del dominio le corresponde un y
solo un valor del recorrido
Todas las funciones son relaciones pero no todas las

relaciones son funciones

lgebra de Boole

Es unaestructura
algebraicaqueesquematizalasoperaciones
lgicasY, O , NO y SI (AND, OR, NOT, IF), as como
el conjunto de
operacionesunin,interseccinycomplemento.
Se denomina as en honor aGeorge Boole,
matemtico ingls autodidacta, que fue el primero
en definirla como parte de unsistema lgico

lgebra de Boole

Para nuestros propsitos basaremos el lgebra booleana en el siguiente

juego de operadores y valores:
- Los dos posibles valores en el sistema booleano son cero y uno, a menudo
llamaremos a stos valores respectivamente como falso y verdadero.
- El smbolo representa la operacin lgica AND. Cuando se utilicen
nombres de variables de una sola letra se eliminar el smbolo ,por lo
tanto AB representa la operacin lgica AND entre las variables A y B, a esto
tambin le llamamos elproductoentre A y B.
- El smbolo "+" representa la operacin lgica OR, decimos que A+B es la
operacin lgica OR entre A y B, tambin llamada la suma de A y B.
- El complemento lgico, negacin NOT es un operador unitario, en ste
textoutilizaremos el smbolo " ' " para denotar la negacin lgica, por
ejemplo, A' denota la operacin lgica NOT de A.
- Si varios operadores diferentes aparecen en una sola expresin booleana,
el resultado de la expresin depende de la procedencia de los operadores, la
cual es de mayor a menor, parntesis, operador lgico NOT, operador lgico
AND y operador lgico OR. Tanto el operador lgico AND como el OR son
asociativos por la izquierda. Si dos operadores con la misma procedencia
estn adyacentes, entonces se evalan de izquierda a derecha. El operador
lgico NOT es asociativo por la derecha.

Dualidad

El concepto de dualidad permite formalizar este hecho: a

toda relacin o ley lgica le corresponder su dual,
formada mediante el intercambio de los operadores unin
(suma lgica) con los de interseccin (producto lgico), y
de los 1 con los 0.
Adems hay que cambiar cada variable por su negada.
Esto causa confusin al aplicarlo en los teoremas bsicos,
pero es totalmente necesario para la correcta aplicacin
del principio de dualidad. Vase que esto no modifica la
tabla adjunta

Teoremas bsicos

Teoremas bsicos

Teoremas bsicos

Teoremas bsicos

Expresiones de Boole