Elementos Logica Matematica y Algebra Proposicional Presentacion Powerpoint

Elementos de Lgica
Matemtica
y lgebra Proposicional.
Enfoque Utilitario
Ing. Arturo Gustavo Tajani
Lgica Matemtica
1. Introduccin:
En algn libro de Lgica hemos ledo que la lgica Aristotlica se

puede definir como: la conformidad de la razn con la verdad.
A la lgica formal se la define asimismo, como el conjunto de leyes y

reglas relativas al razonamiento deductivo, que permiten distinguir lo
verdadero de lo falso.
Se admite tambin definir a la lgica diciendo que: es la ciencia que

expone las leyes, modos y formas del conocimiento cientfico.
Hay otras definiciones tanto para la lgica Aristotlica como para la lgica
formal. Por ejemplo puede decirse que el objeto de la lgica, es el
estudio de los mtodos y principios aptos para distinguir el
razonamiento correcto del incorrecto.
Lgica Matemtica
La lgica formal nos propone razonamientos del tipo:

1. Todos los hombres son mortales.
2. Todos los griegos son hombres.
3. luego todos los griegos son mortales.
Estos planteos se llaman Silogismos.
Pero peligrosamente puede hacerse un razonamiento falso o capcioso que
se pretenda hacer pasar por verdadero, tal como:
1. El perro tiene cuatro patas y camina.

2. El caballo tiene cuatro patas y camina.
3. luego la mesa, que tiene cuatro patas, camina.
O bien:
1. Tom vino con soda y me hizo mal.
2. Tom wysky con soda y me hizo mal.
3. luego la soda me hace mal.
A estos razonamientos engaosos se los llama Sofismas.
Lgica Matemtica
Los brillantes matemticos

Bernard Bolzano (1781-1848), que cre la teora de conjuntos;
Augustus De Morgan (1806-1871), con su lgica de las clases y
George Boole (1815-1864) con la creacin del lgebra proposicional,
fundamentaron un nuevo captulo de la matemtica llamado:
Lgica Matemtica
Bsicamente se le aplica a la lgica, las definiciones concretas y los
razonamientos rigurosos propios de la matemtica.
Se establece para cada expresin del lenguaje un significado exacto y se
adopta adems un simbolismo apropiado, con una interpretacin sin
ambigedades. Los argumentos verbales se pueden analizar as desde un
punto de vista lgico.
Cabe sealar ahora que, el clculo electrnico, la computacin y la
automatizacin, son modernos y avanzados desarrollos cientficos y
tecnolgicos que se fundamentan precisamente en la Lgica Matemtica.
Lgica Matemtica
2. Proposiciones:
Si se aceptan como intuitivos los conceptos de verdad falsedad y no

se pretende dar una definicin formal, se puede decir que:
Proposicin es toda expresin o afirmacin, con significado en un idioma,
de la cual tenga sentido decir si es verdadera o falsa.
Las proposiciones son bivalentes, es decir que pueden asumir dos valores
claramente diferentes: verdadero (v) o falso (f).
Resulta conveniente hacer corresponder a las dos posibilidades v y f los
signos 1 y 0, respectivamente.
Las diversas partes elementales de un discurso pueden ser tomadas como

proposiciones. Estas se pueden ligar entre s mediante conectivos
lgicos, formando as estructuras de significado claro y preciso.
Lgica Matemtica
Las siguientes son proposiciones:

a) es un nmero fraccionario.
b) El tigre es un insecto.
c) El carburador tiene una falla.
d) El transistor est conduciendo.

e) Hoy es lunes.
f) Llueve.
No le compete a la lgica establecer el valor de verdad de las proposiciones.
De ello deben ocuparse por ejemplo:
para a) y b) las ciencias particulares (matemtica, biologa).
para c) y d) las especialidades de la tcnica (mecnica, electrnica).
para e) y f) simplemente la observacin o comprobacin directa.
Lgica Matemtica
No son proposiciones en cambio:

frases imperativas u rdenes: ( Escriba esto.)
interjecciones o exclamaciones: ( Que barbaridad! )

instrucciones: ( Volver al paso anterior.)
frases sin sentido de v o f : ( El mineral x es una piedra preciosa.)
igualdades matemticas tales como: (a + b) . (a - b) = a2 b2
Estas expresiones, aunque formalmente tengan sentido, no son susceptibles

de ser calificadas como v f , que es la esencia del concepto de proposicin.
Lgica Matemtica
Vinculando dos o mas proposiciones se pueden obtener otras. Todo

razonamiento lgico elaborado, debe partir necesariamente de una adecuada
vinculacin de algunas proposiciones elementales.
En una demostracin de lgica matemtica se parte precisamente de
proposiciones elementales tales como axiomas, postulados o hiptesis y se
desea saber, mediante razonamientos lgicos, si las conclusiones que se
obtienen son v o f , para cada valor de verdad de las proposiciones
componentes.
Las relaciones entre proposiciones se llaman conectivos lgicos o
tambin operaciones lgicas y se corresponden con algunas partculas
gramaticales que les sirven de nombre.
Lgica Matemtica
Si se presentan en una tabla las distintas posibilidades lgicas de las

proposiciones componentes y a cada combinacin, se le hace corresponder el
valor lgico de la proposicin resultante, se tiene lo que se denomina tabla de
verdad, que expresa la llamada funcin valor de verdad: v(p).
Es generalizado representar las proposiciones con letras minsculas:
p; q; r; s; t; . .
Tambin suelen utilizarse en aplicaciones prcticas, abreviaturas o nombres
significativos.
Lgica Matemtica
3. Operaciones del lgebra Proposicional:

3.1. Conjuncin:
La partcula gramatical y que relaciona dos proposiciones
en el lenguaje corriente, es en general de significado claro.
Por ejemplo la frase Si el domingo llueve, ir al cine, puede ser

descompuesta para su anlisis lgico, en proposiciones simples :
p: es domingo
q: llueve
r: ir al cine
Estas proposiciones se pueden conectar lgicamente en forma de
razonamiento:
si p y q entonces r
Lgica Matemtica
10
Las diferentes combinaciones para p y q , con sus dos valores posibles son:
a) no es domingo y no llueve; no voy al cine.
b) no es domingo y llueve; no voy al cine.
c) es domingo y no llueve; no voy al cine.
d) es domingo y llueve; ir al cine.
Lgica Matemtica
11
Las diferentes combinaciones para p y q , con sus dos valores posibles son:
a) no es domingo y no llueve; no voy al cine.
b) no es domingo y llueve; no voy al cine.
c) es domingo y no llueve; no voy al cine.
d) es domingo y llueve; ir al cine.
la r , como proposicin resultante, suele escribirse:
La correspondiente tabla de verdad con 0 y 1
en lugar de f y v , ser:
p y q solamente y
Lgica Matemtica
12
Un enunciado industrial como: Sistema de seguridad para el operador de un

balancin, conduce a igual razonamiento.
p: el brazo derecho est apoyado en la butaca.
q: el brazo izquierdo est apoyado en la butaca.
r: funciona el balancn.
el razonamiento sera:
si p y q entonces r
El producto de dos nmeros binarios es: 0.0 = 0; 0.1 = 0; 1.0 = 0 y 1.1 = 1
Se pueden dar las siguientes proposiciones:

p: el primer factor vale 1.
q: el segundo factor vale 1.
r: el producto vale 1.
de manera similar se puede expresar:
Lgica Matemtica
si p y q entonces r
Estos ltimos razonamientos y muchos otros semejantes, conducen a una

tabla de verdad similar a la del primer ejemplo, por lo que el conectivo lgico
y conjuncin queda identificado con esta tabla.
De la observacin de la tabla, puede expresarse que la conjuncin solo es

verdadera cuando ambas proposiciones son verdaderas .
Tambin se puede decir que: para que el resultado sea falso basta con que lo
sea una cualquiera de las proposiciones ambas.
Lgica Matemtica
14
3.2. Disyuncin:
La partcula gramatical o que relaciona dos proposiciones en
el lenguaje corriente, debe ser interpretada teniendo en cuenta el sentido de la
oracin en la que est includa.
Por ejemplo la frase Regalar la ropa que me quede chica o que est fuera
de moda puede ser descompuesta para su anlisis lgico, en proposiciones
simples :
p: esta prenda me queda chica.
q: esta prenda est fuera de moda.

r: la regalar

razonamiento:
si p o q entonces r
Lgica Matemtica
15
Resulta claro, por el sentido de la frase, que si una prenda me queda chica
y a la vez, tambin est fuera de moda, la regalar.
Es decir que el o incluye el caso en que ambas proposiciones sean
verdaderas.
Se puede considerar tambin, como otro ejemplo, un Sistema de alarma
para la seguridad de una sala, que tiene solo una puerta y una ventana. Las
proposiciones pueden ser:
p: la puerta es violentada.
q: la ventana es violentada.
r: se activa la alarma.
Aqu tambin vale poner:
si p o q entonces r
Y por supuesto se incluye como verdadero el caso en que se violente la
puerta y la ventana a la vez.
Lgica Matemtica
16
Este segundo conectivo lgico, la disyuncin o, se corresponde con la

pertcula gramatical o , mas comunmente utilizada.
La tabla de verdad correspondiente es, en sus dos versiones:
En palabras puede describirse la tabla diciendo que: la disyuncin solo es

falsa cuando ambas proposiciones son falsas
Tambin puede decirse que: para que el resultado sea verdadero basta que
sea verdadera una cualquiera de las proposisiones o ambas.
Lgica Matemtica
17
3.3. Disyuncin Excluyente:
La partcula gramatical o en el sentido de la frase: Debo necesariamente

estar presente en un acto, maana a las 12:00 hs, en la ciudad de Salta o en
la ciudad de Neuqun, excluye lgicamente la posibilidad de estar a la vez en
ambos lados.
Sean las proposiciones:

p: estar en Salta.
q: estar en Neuqun.
r:
concurro al acto.

razonamiento:
si p o q , pero no ambas, entonces r
Lgica Matemtica
18
Otro caso semejante sera el siguiente planteo: Se trata de crear un

sistema para envasar juntos dos productos A y B, de iguales medidas pero
de diferente color (por ejemplo rojo y azul).
Las proposiciones podran ser:
p: A es rojo
q: B es rojo
r:
se envasa el par A;B
Y la expresin lgica sera:
si p o q , pero no ambas, entonces r
Lgica Matemtica
19
Se tiene as el conectivo lgico disyuncin excluyente tambin o

exclusivo, cuyo smbolo es o (o subrayado) y su tabla de verdad es:
bien
La descripcin verbal de la tabla de verdad puede ser: La disyuncin

excluyente es verdadera solo cuando ambas proposiciones son diferentes.
O tambin: El o exclusivo es falso cuando las dos proposiciones tienen igual
valor lgico (o son iguales).
Lgica Matemtica
20
3.4. Negacin:
Con cierta frecuencia se utiliza la negacin de una proposicin dada.

Sea la proposicin:
p: el uranio es un metal.
su negacin ser:
- p: el uranio no es un metal.
p -p
La tabla de verdad correspondiente es:
Los smbolos que se utilizan para la negacin suelen ser

una barra horizontal sobre la proposicin que se niega ( p ).
Lgica Matemtica
p -p
O
bien
; ~ tambin
21
En la teora pura de la Lgica Matemtica se definen dos conectivos

lgicos adicionales: Implicacin (
) y Doble Implicacin (
), pero
a los fines del presente trabajo, se prefiere no tenerlos en cuenta.
Se han definido cuatro conectivos lgicos bsicos:

Conjuncin
(y)
Disyuncin
(o)
Disyuncin exclusiva ( o )
Negacin
(-)
que deben utilizarse siempre teniendo en cuenta sus respectivas tablas de

verdad.
Es bueno aclarar que en la confeccin de las tablas de verdad se ha

utilizado (y se seguir empleando en lo sucesivo) la notacin con 0 y
1 en lugar de falso y verdadero. Asimismo se adopta el orden dado
por la numeracin binaria natural. La conveniencia de esta adopccin
quedar clara mas adelante.
Lgica Matemtica
22
4. Enunciados Compuestos:
Del mismo modo que pueden manejarse expresiones algebraicas complejas
mediante el uso de las operaciones aritmticas elementales, as tambin se
pueden emplear varios conectivos lgicos en forma simultnea para construir
enunciados lgicos compuestos.
Las distintas operaciones lgicas se pueden enlazar mediante sus smbolos
y el uso de parntesis y corchetes tiene el significado normal del lgebra.
El valor lgico de un enunciado compuesto depende exclusivamente del
valor lgico de las proposiciones simples y el resultado lgico que se obtenga
quedar claramente expresado slo cuando se de la tabla de verdad
correspondiente.
Lgica Matemtica
23
Para resolver el enunciado compuesto que se proponga, se debe

confeccionar una tabla donde se destine una columna para cada variable o
proposicin.
Luego hacia la derecha, habr adems de una columna para cada

proposicin, una columna para cada conectivo lgico del enunciado, en el
mismo orden en que est escrita la expresin simblica.
Se procede a llenar la tabla con los 0s y 1s correspondientes,
comenzando por las proposiciones dadas y luego siguiendo con los
conectivos en el orden indicado por la expresin, teniendo en cuenta
claramente la tabla de verdad de cada uno.
El enunciado o frmula proposicional, tiene su valor de verdad expresada

en la columna final correspondiente. Esa columna final, es precisamente el
resultado del enunciado lgico compuesto y suele destacarse con una doble
barra vertical. Las columnas intermedias son solo pasos tiles que aclaran el
procedimiento.
Lgica Matemtica
24
El problema general de la confeccin de la tabla de verdad para un

enunciado lgico compuesto a partir de las proposiciones simples, se
ejemplifica a continuacin:
( ( p o -q ) y -p)
Sea el enunciado compuesto:
Origina la siguiente tabla:
(p
-q)
Lgica Matemtica
-p
25

( ( p o -q ) y -p)
(p
-q)
-p
0
0
1
1
1
Lgica Matemtica
26

( ( p o -q ) y -p)
(p
-q)
-p
Lgica Matemtica
27

( ( p o -q ) y -p)
(p
-q)
-p
Lgica Matemtica
28

( ( p o -q ) y -p)
(p
-q)
-p
Lgica Matemtica
29

( ( p o -q ) y -p)
(p
-q)
-p
Lgica Matemtica
30

( ( p o -q ) y -p)
(p
-q)
-p
0
6
Lgica Matemtica
31

( ( p o -q ) y -p)
(p
-q)
-p
final
Lgica Matemtica
32
En el ejemplo visto, se puede verificar que el resultado obtenido es el

mismo que correspondera a la simple conjuncin entre p y q, luego
negadas . De manera que:
( ( p o -q ) y -p )
-(p y q)
La equivalencia anterior permite enunciar, sin que esto sea una

demostracin formal, el importante Teorema de la Equivalencia Lgica:
Dos enunciados lgicos compuestos diferentes, que tengan la misma

tabla de verdad, son lgicamente equivalentes (o equivalentes o iguales
desde el punto de vista lgico).
Esta afirmacin es importante para las aplicaciones:
El comportamiento lgico equivalente puede extenderse a cualquier
dispositivo cuyo funcionamiento responda a una tabla de verdad, en
forma totalmente independiente de la naturaleza del mismo.
Lgica Matemtica
33
Dos equivalencias entre enunciados compuestos son de gran trascendencia

tanto terica como en las aplicaciones del lgebra proposicional. Se conocen
como leyes de De Morgan y se pueden expresar simblicamente:
1.
- ( p o q ) -p y -q
2.
- ( p y q ) -p o -q
Para la demostracin de la equivalencia lgica se confeccionan las tablas de

verdad correspondientes a cada miembro del enunciado, verificando as la
igualdad de los resultados:
p
(p
q)
-p
-q
Lgica Matemtica
34

1.
- ( p o q ) -p y -q
2.
- ( p y q ) -p o -q

p
(p
q)
-p
-q
0
1
0
1
1
Lgica Matemtica
35

1.
- ( p o q ) -p y -q
2.
- ( p y q ) -p o -q

p
(p
q)
-p
-q
Lgica Matemtica
36

1.
- ( p o q ) -p y -q
2.
- ( p y q ) -p o -q

p
(p
1
3
q)
-p
-q
Lgica Matemtica
37

1.
- ( p o q ) -p y -q
2.
- ( p y q ) -p o -q

p
(p
q)
1
4
-p
-q
Lgica Matemtica
38

1.
- ( p o q ) -p y -q
2.
- ( p y q ) -p o -q

p
(p
q)
-p
-q
Lgica Matemtica
39

1.
- ( p o q ) -p y -q
2.
- ( p y q ) -p o -q

p
(p
q)
-p
-q
Lgica Matemtica
40

1.
- ( p o q ) -p y -q
2.
- ( p y q ) -p o -q

p
(p
q)
-p
Lgica Matemtica
-q
7
41

1.
- ( p o q ) -p y -q
2.
- ( p y q ) -p o -q

p
(p
q)
-p
Lgica Matemtica
-q
8
42

1.
- ( p o q ) -p y -q
2.
- ( p y q ) -p o -q

p
(p
q)
-p
-q
Lgica Matemtica
9
43

1.
- ( p o q ) -p y -q
2.
- ( p y q ) -p o -q

p
(p
q)
-p
-q
Lgica Matemtica
44
Para la segunda ley de De Morgan se tiene:
(p
q)
-p
-q
Lgica Matemtica
45
5. Clasificacin de enunciados.
Sea la proposicin p: reina la paz; si le aplicamos algunos conectivos
lgicos podemos expresar enunciados tales como:
1. -p: existe una guerra

2. ( p o -p ): reina la paz o existe una guerra
3. ( p y -p ): reina la paz y existe una guerra
Mientras que 1. puede ser v o f, mediante una comprobacin emprica,

2. es siempre verdadero y 3. es intrnsecamente falso.
Estos dos ltimos independientemente de los hechos reales.
La veracidad de 2. y la falsedad de 3. son propias de sus estructuras lgicas,

no importando el contenido de la proposicin p.
Lgica Matemtica
46
Generalizando el concepto anterior, se puede afirmar que cuando una

frmula proposicional, tiene todos los resultados de la tabla de verdad que la
describe verdaderos, se llama tautologa.
Si en cambio todas las consecuencias de un enunciado compuesto son
falsas, se est frente a una contradiccin.
Finalmente, cuando la tabla de verdad que describe a un enunciado
contiene tanto renglones verdaderos
como falsos, se tiene una
contingencia.
Lgica Matemtica
47
Por razones de claridad en la exposicin, en todo lo tratado hasta ahora en

lo referente a conectivos lgicos, tablas de verdad y enunciados compuestos,
se utilizaron solo dos proposiciones simples.
Sin embargo los resultados se pueden generalizar a un nmero cualquiera
de variables lgicas.
Siendo dos, los posibles valores de verdad de cada proposicin, el nmero
total de filas nf (o renglones) de la tabla, para n variables ser:
nf =
Es decir que para 2, 3, 4, 5 o mas variables lgicas,
respectivamente 4, 8, 16, 32, etc., filas o renglones.
Lgica Matemtica
se tendrn
48
Como ejemplo se desarrolla la tabla de verdad de un enunciado compuesto,

de tres proposiciones p, q y r :
p y (q o r)
Lgica Matemtica
49

p y (q o r)
Lgica Matemtica
(q
r)
50

p y (q o r)
(q
r)
0
1
0
1
0
1
0
1
1
Lgica Matemtica
51

p y (q o r)
(q
r)
2
Lgica Matemtica
52

p y (q o r)
(q
r)
3
Lgica Matemtica
53

p y (q o r)
(q
r)
4
Lgica Matemtica
54

p y (q o r)
(q
r)
5
Lgica Matemtica
55

p y (q o r)
(q
r)
1
6
Lgica Matemtica
56

p y (q o r)
(q
r)
7
Lgica Matemtica
57

p y (q o r)
(q
r)
8
Lgica Matemtica
58
6. lgebra de Redes Elctricas (Circuitos Elctricos Lgicos).

Se introducir ahora el empleo de circuitos elctricos simples para estudiar
las relaciones lgicas entre proposiciones. Como se seal al comienzo, el
carcter bivalente de las proposiciones se expresa por v f o tambin
por 1 0.
Las dos posibilidades claramente diferentes pueden simbolizarse haciendo
corresponder respectivamente a v (o 1) una llave elctrica cerrada
(equivalente al paso de corriente por un circuito), mientras que la llave
abierta (o interrupcin de la corriente) significar f (o 0), para la
proposicin en cuestin. Tambin los dos estados pueden ser representados
por una lmpara encendida (1) o apagada (0).
No se trata de un mero simbolismo, sino que se establecer una analoga
fcilmente comprensible, que tiene especficas aplicaciones prcticas en la
tcnica
Lgica Matemtica
59
Sea un circuito elctrico elemental formado por una pila, una llave (LL) y una
lmpara comn (L):
LL
LL
L
Lgica Matemtica
60
lmpara comn (L):
LL
LL
L
Con la llave (o interruptor) LL abierta la lmpara L est apagada, mientras que

si se cierra LL, la lmpara brilla normalmente.
Lgica Matemtica
61
lmpara comn (L):
LL
LL
L
Con la llave (o interruptor) LL abierta la lmpara L est apagada, mientras que

si se cierra LL, la lmpara brilla normalmente.
Si la llave y la lmpara representan proposiciones, pueden tenerse las
siguientes equivalencias en los estados lgicos:
LL
llave cerrada 1
llave abierta
lmpara encendida 1
lmpara apagada
Lgica Matemtica
62
Con la convencin adoptada, supongamos tener el circuito anterior pero con

una segunda llave conectada en serie con la primera:
LL1
LL2
L
Lgica Matemtica
63

LL1
LL2
L
La lmpara se enciende solo si ambas llaves estn cerradas. El

comportamiento del circuito se describe en forma completa con su tabla de
verdad, la cual es igual a la correspondiente a la conjuncin.
Lgica Matemtica
64

LL1
LL2
L

LL1 LL2
1
Lgica Matemtica
65

LL1
LL2
L

LL1 LL2
Recordando el teorema de la equivalencia

lgica se puede considerar en consecuencia,
que el circuito propuesto, de dos llaves en
serie, tiene un comportamiento lgico igual al
conectivo y .
Lgica Matemtica
66
Si al circuito original se le agrega ahora, la segunda llave pero conectada

en paralelo con la primera, la lmpara brillar si una cualquiera de las
llaves o ambas, estn cerradas.
LL1
LL2
Lgica Matemtica
67

LL1
LL2
El funcionamiento de este circuito responde ahora a una tabla de verdad

igual a la tabla de la disyuncin:
LL1 LL2
1
Lgica Matemtica
68

LL1
LL2
El funcionamiento de este circuito responde ahora a una tabla de verdad

igual a la tabla de la disyuncin:
LL1 LL2
En forma semejante al caso anterior, se

puede tomar al circuito con dos llaves en
paralelo como un circuito lgico semejante
al conectivo o .
Lgica Matemtica
69
Se tratar ahora de crear un circuito elctrico simple cuyo comportamiento

coincida lgicamente con la disyuncin excluyente (o).
Lgica Matemtica
70

En este caso la lmpara es comandada por dos llaves (LL1 y LL2) que en la
jerga elctrica suelen llamarse llaves de combinacin o conmutadoras. Tienen
dos posiciones estables identificadas en la figura como 0 y 1. y la conexin
es utilizada con el nombre de combinacin de escalera.
LL1
LL2
Lgica Matemtica
71

En este caso la lmpara es comandada por dos llaves (LL1 y LL2) que en la
jerga elctrica suelen llamarse llaves de combinacin o conmutadoras. Tienen
dos posiciones estables identificadas en la figura como 0 y 1. y la conexin
es utilizada con el nombre de combinacin de escalera.
LL1
LL2
LL1 LL2
L
El funcionamiento se comprende fcilmente. La lmpara solo brilla cuando

las dos llaves estn en posiciones de nombre opuesto. Con contactos de igual
nombre, la lmpara permanece apagada.
Lgica Matemtica
72
Finalmente se muestra un circuito elctrico cuyo comportamiento es diferente

a lonormal.
R
LL1
Lgica Matemtica
73

a lonormal.
En efecto, con la llave LL1 abierta

(0) la lmpara est encendida(1),
mientras que si LL1 se cierra(1) la
lmpara se apaga (0).
R
LL1
El elemento resistivo R se coloca para prevenir un cortocircuito directo cuando

LL1 se cierra.
Lgica Matemtica
74

a lonormal.
En efecto, con la llave LL1 abierta

(0) la lmpara est encendida(1),
mientras que si LL1 se cierra(1) la
lmpara se apaga (0).
R
L
LL1
El elemento resistivo R se coloca para prevenir un cortocircuito directo cuando

LL1 se cierra.
La tabla de verdad correspondiente al

funcionamiento del circuito, es igual a la del
conectivo lgico Negacin (-)
Lgica Matemtica
LL1
75
7. Compuertas lgicas - Generalizacin:

Hemos visto con cierto detalle, cuatro circuitos elctricos simples cuyos
funcionamientos se corresponden respectivamente con los cuatro conectivos
lgicos bsicos.
Nuestro objetivo es mostrar como diferentes elementos, se han utilizado
histricamente como llaves. As se sintetizaron sistemas que si bien tenan
diferentes aspectos (y tamaos), todos se comportaron siempre en la forma en
que se describi anteriormente.
Sin pretender profundizar en el funcionamiento de los dispositivos elctricos y
electrnicos que nombraremos, ya que esto pertenece a una especialidad de la
tcnica, solo se los describir en forma superficial.
Lgica Matemtica
76
7.1. Rel electromecnico.

Estamos familiarizados con las llaves elctricas convencionales con las que
manualmente encendemos las luces y accionamos cualquier electrodomstico.
Un rel electromecnico es simplemente una llave, accionada en forma
elctrica mediante una bobina, que al ser energizada, atrae magnticamente
una armadura que mueve los contactos elctricos. Estos pueden ser simples,
dobles, mltiples o inversores y forman parte directa de los circuitos lgicos.
Los rels fueron utilizados en los comienzos de la telefona y por supuesto,
integrando circuitos lgicos, tambin en las primeras calculadoras y
computadoras electromecnicas. Se seala que su tamao es considerable y la
velocidad de accionamiento se la puede calificar de lenta.
Lgica Matemtica
77
7.2. Vlvulas electrnicas o termoinicas o tambin tubos de vaco.
Lgica Matemtica
78
La vlvula de vaco fue utilizada en electrnica (radio, televisin y amplificacin

de sonido) desde su invencin a comienzos del siglo pasado, hasta hace pocos
aos. Tambin se pudo emplear como llave.
Bsicamente consiste en una ampolla de vidrio donde se hace vaco y dentro
de la cual hay electrodos metlicos. Entre dos de ellos puede circular una
corriente elctrica, que puede ser interrumpida por el potencial de otro
electrodo.
El funcionamiento como llave resulta as sin movimiento mecnico alguno,

ganndose de esta forma velocidad de accionamiento. Exiga gran energa para
funcionar lo que se traduca en excesivo calor.
Fue utilizada en circuitos lgicos de computacin hasta aproximadamente
1955.
Lgica Matemtica
79
Transistores Son elementos de

estado
slido,
fabricados
inicialmente a partir del elemento
Germanio y modernamente a partir
del abundantsimo Silicio.
Destacamos su pequeez
frente a la vlvula de
vaco.
Lgica Matemtica
80
El transistor, desde su invencin en 1947, comenz a reemplazar a la

vlvula de vaco en todas sus aplicaciones electrnicas, ya que, aunque
basndose en principios fsicos diferentes, tambin permite controlar una
corriente elctrica de cierto valor, mediante otra corriente mucho mas
pequea.
Aunque inicialmente fue usado en la construccin de pequeos receptores
de radio, rpidamente tambin se lo emple como llave, incorporndolo a
circuitos lgicos, sin partes mecnicas y con mucho menor consumo de
energa (1955).
La necesidad de interconectar varios transistores pequeos para construir
un circuito lgico, llev a la idea de crear en una misma plaquita de silicio,
varios transistores debidamente unidos, formando un conjunto slido al
que se llam circuito integrado.
Lgica Matemtica
81
Lgica Matemtica
82
Lgica Matemtica
83
Vlvula, transistor y circuito

integrado
Lgica Matemtica
84
La nocin de Circuito Lgico, el teorema de la Equivalencia Lgica y la

tecnologa del Circuito Integrado con Transistores, nos lleva a definir un
nuevo concepto: la Compuerta Lgica.
En efecto, as como la nocin de falso y verdadero fue reemplazada por

la notacin 0 y 1 y los dos estados claramente diferentes se hicieron
corresponder respectivamente a llave abierta o cerrada o lampara
apagada o encendida, adoptaremos ahora la Compuerta Lgica, que
mediante un smbolo convencional, indicar un circuito integrado con
transistores, que se comportar como un conectivo lgico bsico .
No nos preocupa el circuito elctrico ntimo de la compuerta lgica, que
suele ser tcnicamente complicado. Nos interesa s, la tabla de verdad
correspondiente al funcionamiento, que por supuesto es conocida y sin
cambios.
A ttulo informativo se seala que los 0 y 1 son en la realidad
potenciales elctricos ( por ejemplo 0 y 5 voltios), que provienen de una
fuente de energa adecuada (acumuladores, pilas o lnea domiciliaria).
Lgica Matemtica
85
Conectivo Lgico
Compuerta Lgica
Conjuncin
Disyuncin
Disyuncin Excluyente
Y (AND)
O (OR)
O (EXOR)
Smbolo
A
Tabla de Verdad
Y
Negacin (Inversor)
No (NOT)
Lgica Matemtica
86
Teniendo razonablemente claras las ideas de proposicin, conectivos

lgicos, tablas de verdad y compuertas lgicas bsicas, se estima que
puede detenerse aqu el estudio de este tema y pasar al siguiente, Algebra de
Boole, que tendr un carcter aplicativo.
Gracias por su atencin

Se sugiere hacer comentarios
FiN
Lgica Matemtica
87

Elementos Logica Matematica y Algebra Proposicional Presentacion Powerpoint

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Elementos Logica Matematica y Algebra Proposicional Presentacion Powerpoint

Caricato da

Copyright:

Formati disponibili

Elementos de Lgica

Ing. Arturo Gustavo Tajani

En algn libro de Lgica hemos ledo que la lgica Aristotlica se

A la lgica formal se la define asimismo, como el conjunto de leyes y

Se admite tambin definir a la lgica diciendo que: es la ciencia que

La lgica formal nos propone razonamientos del tipo:

1. El perro tiene cuatro patas y camina.

Los brillantes matemticos

Si se aceptan como intuitivos los conceptos de verdad falsedad y no

Las diversas partes elementales de un discurso pueden ser tomadas como

Las siguientes son proposiciones:

d) El transistor est conduciendo.

No son proposiciones en cambio:

interjecciones o exclamaciones: ( Que barbaridad! )

Estas expresiones, aunque formalmente tengan sentido, no son susceptibles

Vinculando dos o mas proposiciones se pueden obtener otras. Todo

Si se presentan en una tabla las distintas posibilidades lgicas de las

3. Operaciones del lgebra Proposicional:

Por ejemplo la frase Si el domingo llueve, ir al cine, puede ser

a) no es domingo y no llueve; no voy al cine.

b) no es domingo y llueve; no voy al cine.

c) es domingo y no llueve; no voy al cine.

d) es domingo y llueve; ir al cine.

a) no es domingo y no llueve; no voy al cine.

b) no es domingo y llueve; no voy al cine.

c) es domingo y no llueve; no voy al cine.

d) es domingo y llueve; ir al cine.

la r , como proposicin resultante, suele escribirse:

La correspondiente tabla de verdad con 0 y 1

Un enunciado industrial como: Sistema de seguridad para el operador de un

El producto de dos nmeros binarios es: 0.0 = 0; 0.1 = 0; 1.0 = 0 y 1.1 = 1

Se pueden dar las siguientes proposiciones:

Estos ltimos razonamientos y muchos otros semejantes, conducen a una

De la observacin de la tabla, puede expresarse que la conjuncin solo es

q: esta prenda est fuera de moda.

Estas proposiciones se pueden conectar lgicamente en forma de

Este segundo conectivo lgico, la disyuncin o, se corresponde con la

En palabras puede describirse la tabla diciendo que: la disyuncin solo es

3.3. Disyuncin Excluyente:

La partcula gramatical o en el sentido de la frase: Debo necesariamente

Sean las proposiciones:

Estas proposiciones se pueden conectar lgicamente en forma de

Otro caso semejante sera el siguiente planteo: Se trata de crear un

se envasa el par A;B

Y la expresin lgica sera:

si p o q , pero no ambas, entonces r

Se tiene as el conectivo lgico disyuncin excluyente tambin o

La descripcin verbal de la tabla de verdad puede ser: La disyuncin

Con cierta frecuencia se utiliza la negacin de una proposicin dada.

La tabla de verdad correspondiente es:

Los smbolos que se utilizan para la negacin suelen ser

En la teora pura de la Lgica Matemtica se definen dos conectivos

Se han definido cuatro conectivos lgicos bsicos:

que deben utilizarse siempre teniendo en cuenta sus respectivas tablas de

Es bueno aclarar que en la confeccin de las tablas de verdad se ha

Para resolver el enunciado compuesto que se proponga, se debe

Luego hacia la derecha, habr adems de una columna para cada

El enunciado o frmula proposicional, tiene su valor de verdad expresada

El problema general de la confeccin de la tabla de verdad para un

Sea el enunciado compuesto:

Origina la siguiente tabla:

El problema general de la confeccin de la tabla de verdad para un

Sea el enunciado compuesto:

Origina la siguiente tabla: