Lógica Proposicional

Introducción a la Programación - Introducción a la Computación

Fundamentos de la Informática
(Ing. Electrónica - Prof. en Tecnologı́a Elect - T.U.E. - T.U.R. - T.U.W.- - T.U.T )

Área de Servicios
Departamento de Informática
Universidad Nacional de San Luis

19 de marzo de 2024

1
Índice

1. Introducción a la Lógica Proposicional 3

2. Proposiciones y Conectivas 3

2.1. Concepto de Proposición . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

2.2. Proposiciones cerradas y abiertas . . . . . . . . . . . . . . . . . . . . . . . . 6

2.3. Lógica Formal: Lógica Proposicional . . . . . . . . . . . . . . . . . . . . . . 6

3. Proposiciones Compuestas y Tablas de Verdad 9

4. El Lenguaje de la Lógica Proposicional (Fórmula Bien Formada) 15

5. Evaluación de Fórmulas Bien Formadas 17

6. Clasificación de Fórmulas 19

7. Jerarquı́a de los Conectivos 22

8. Conjunto Adecuado de Conectivos 24

9. Formulación de las frases 25

10.Circuitos Lógicos 27

10.1. Lógica Digital . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29

2
1. Introducción a la Lógica Proposicional

Existen en la realidad un número considerable de problemas con los que una persona se
enfrenta y de los cuales se deben deducir ciertos datos para poder resolverlos. Generalmente,
la forma en que las personas aplican el poder deductivo es muy personal, sin embargo éste
podrı́a ser encausado o guiado a través del uso de reglas de deducción. A su vez, será necesario
que dichas reglas sean establecidas y usadas con una cierta precisión de modo que puedan
ser reutilizadas toda vez que un mismo problema o problemas de caracterı́sticas similares
sean planteados.

La manera cotidiana de expresar los problemas es por medio de nuestro lenguaje natural.
Sin embargo, éste es en esencia ambiguo y redundante por lo cual es necesario transformarlo,
acotarlo o restringirlo de modo que se convierta en un lenguaje inequı́voco y preciso. Parti-
cularmente, los lenguajes simbólicos proveen esa clase de precisión. Si además son sı́mbolos
matemáticos, lo que tendremos es una precisión matemática en la acción de deducir. Ésta
es precisamente la finalidad de la lógica matemática: expresar problemas por medio de un
lenguaje inequı́voco que habilite el uso de reglas de deducción para la solución de los mismos.

La lógica formal es la ciencia del razonamiento formalmente válido que estudia las formas
y leyes generales del razonamiento humano. Las formas refiere a los elementos constitutivos
y las reglas sintácticas del lenguaje a tener en cuenta para la construcción de enunciados
válidos. Las leyes generales constituyen los métodos deductivos que prmiten establecer deri-
vaciones o deducciones correctas aplicando las formas del lenguaje.

La lógica formal se preocupa del uso de un lenguaje acotado para enunciar hechos ver-
daderos o falsos y del estudio de las leyes generales que permiten establecer cuándo una
derivación o deducción es correcta.

De los diferentes lenguajes de la lógica existentes, el presente trabajo aborda el lenguaje

de la lógica proposicional. La lógica proposicional es la parte más elemental de la lógica
moderna o matemática. En esta parte de la lógica, las inferencias se construyen sin tener
en cuenta la estructura interna de los enunciados. Sólo se examina las relaciones lógicas
existentes entre ellos y solo considera su propiedad de ser verdadera o falsa.

2. Proposiciones y Conectivas

Un lenguaje es un tipo de sistema de señales (sonidos y grafos, entre otros) relacionados

con algún sentido, sujeto a un conjunto de reglas que determinan su articulación interna y
que transmiten un mensaje.

El lenguaje cotidiano de las personas se conforma de frases, expresiones o enunciados.

Si se desea deducir información a partir de una frase es necesario poder evaluarla como
verdadera ó falsa. Por ejemplo, si consideramos las siguientes frases:

3
 4 es un número par
11 es un número par

se puede decir que la primera es verdadera y que la segunda es falsa. Sin embargo, para frases
como:

Nunca he fumado un cigarrillo

El partido de rugby terminó empatado

no es posible decidir si ellas son verdaderas o falsas, porque dependiendo de quién las diga
y/o en qué contexto podrı́an ser tanto verdaderas como falsas, pero si es posible asegurar que
las personas son capaces de evaluarlas como verdaderas o falsas en una situación particular.
Esto se debe a que en el lenguaje coloquial hay una gran parte de la información que está
implı́cita. No obstante, no toda frase puede ser evaluada. Existen frases las cuales no se
pueden categorizar.

2.1. Concepto de Proposición

Frases categorizables Frases NO categorizables

El lı́der ha muerto. ¡Qué frı́o!
Juan compró dulces con dinero. ¿Cuánto pesas?
El barómetro ayuda a determinar el clima. Alcánzame el libro
Si Juan no tiene dinero entonces no compra dulces. Presione ENTER para continuar
13 es un número primo

Generalizando, se establece que toda frase que tiene una función de tipo informativa, es
una frase que se puede categorizar, excluyendo aquellas frases que cumplen la función de
transmitir una orden o directriz, como tambien aquellas cuya función es expresiva. Por lo
tanto, las frases exclamativas, las interrogativas, desiderativas, dubitativas y las imperativas
no son categorizables. Ası́, desde el punto de vista gramatical, una proposición es lo que se
denomina una oración declarativa o aseverativa en contraste a las restantes.

Si se analiza gramaticalmente una frase o expresión del lenguaje cotidiano, es posible

observar que éstas pueden clasificarse como frases simples o compuestas. Las frases simples
constan de un sujeto y un predicado. Las frases compuestas se conforman a partir de las
frases simples unidas por elementos gramaticales especiales que las asocian (conjunciones).

Considerando estos conceptos y con la intención de lograr un lenguaje menos ambiguo es

que, como primera medida, se restringe el mismo a solamente el conjunto de frases catego-
rizables (proposiciones), estableciendo el siguiente supuesto básico:

Toda frase simple aseverativa o proposición puede evaluarse como verdadera o

falsa.
4
Por ejemplo: Son proposiciones

Parı́s es la capital de Francia

El sol no es una estrella
7 es un número primo

Toda proposición es una oración pero no toda oración es una proposición.

No son proposiciones las oraciones interrogativas, las exhortativas y las exclamativas

porque no afirman ni niegan algo por lo tanto no se pueden evaluar como verdaderas ni
falsas.
Tampoco son proposiciones las oraciones que expresan juicio de valor porque no es posible
determinar el valor de verdad de las mismas pues, si bien afirman algo, el valor de verdad es
subjetivo.

Por ejemplo: No son proposiciones

Agustı́n es bueno
Ojalá no me toque esa profesora
Prohibido pisar el césped

Por otro lado, existen ciertas expresiones lingüisticas que tienen la apriencia de oraciones ase-
verativas pero de las cuales no tiene sentido decir si son verdaderas o falsas. Son reconocidas
como falsas proposiciones.

Por ejemplo: Son falsas proposiciones

El sol es simpático
Paco es un polı́gono

En conclusión: Una expresión lingüistica es proposición si cumple con los siguientes

requisitos:

1. Ser oración aseverativa

2. Ser verdadera o falsa

No son proposiciones las siguientes expresiones:

1. Oraciones Dubitativas
2. Oraciones exclamativas
3. Oraciones imperativas o exhortativas
4. Oraciones interrogativas
5. Oraciones desiderativas
6. Oraciones falsas proposiciones
7. Juicios de valor
5
2.2. Proposiciones cerradas y abiertas

Una proposición abierta (o función proposicional) es una expresión que contiene

variables y cuyo valor de verdad depende del valor asignado a las mismas. Una proposición
simple abierta se transforma en proposición simple cerrada si se sustituye la variable
por un valor.

Por ejemplo

x es un dı́a de la semana

Si x toma el valor Lunes, la expresión se transforma en proposición cerrada verdadera.

Si x toma el valor Enero, la expresión se transforma en proposición cerrada falsa.

En Lógica Proposicional solamente se reconocen proposiciones cerradas

2.3. Lógica Formal: Lógica Proposicional

Se acuerda adoptar una nueva terminologı́a y representación o simbologı́a asociada como

una medida tendiente a lograr un lenguaje aún más preciso, .

Esto es, llamar:

a las frases: proposiciones(ya sea simples o compuestas según corresponda)

a los elementos gramaticales que unen a las frases simples: conectivos

Y establecer como sı́mbolos:

para representar las proposiciones (simples o compuestas): las letras mayúsculas

para representar los conectivos, sı́mbolos tales como: ⇐⇒ ⇒ ∨ ∧ ¬ ⊻

Por lo tanto, para poder construir enunciados acerca del mundo real se hará uso de un
lenguaje formal, acotado y más limitado que el lenguaje natural, mediante el cual se podrán
escribir proposiciones (simples y compuestas) con los que se expresarán hechos acerca del
mundo real.

Cuando un enunciado del lenguaje natural se representa por medio de la simbologı́a

asociada, lo que queda bosquejado es la estructura o esqueleto lógico del mismo; es
decir, la forma que tiene dicho enunciado o conjunto de enunciados. Dicha forma es la que
nos va a permitir realizar nuestras deducciones sin tener en cuenta el significado asociado.
6
 Teniendo en cuenta esta última afirmación, analicemos el siguiente ejemplo:

Caso 1:

Si Sócrates es hombre entonces es mortal.

De este enunciado claramente se puede deducir que, como sabemos que Sócrates es hom-
bre, éste es también mortal.

Caso 2:

Si Sócrates es hombre, mortal es.

Caso 3:

Sócrates es hombre.

Sócrates es mortal.

En los casos 2 y 3 se podrı́a llegar a deducir lo mismo que en el caso 1 (no obstante tener
dos enunciados en el caso 3) pero haciendo uso de reglas gramaticales y del significado por
nosotros conocido asociado a las palabras y en algunos casos nuestros conocimientos previos;
con lo cual no se estarı́a considerando la intención arriba establecida de que: la estructura
del enunciado debe permitirme deducir una información particular.

La manera correcta en que esta deducción podrı́a hacerse, considerando sólo que la es-
tructura de los enunciados me permita hacer la inferencia de la información particular sobre
que Sócrates es mortal serı́a:

Caso Correcto: estableciendo las siguientes proposiciones como ciertas:

Sócrates es hombre.

Los hombres son mortales. podemos concluir que:

Sócrates es mortal.

En la Lógica Formal se estudian los principios y métodos a través de los cuales a partir
de la validez de los argumentos, desde el punto de vista solamente de su estructura, sin
tomar en cuenta el contenido semántico de las expresiones de los argumentos, se determina
la validez de la conclusión. De esta manera si se argumenta que:

Todos los majadı́es son de Majadistán.

Rudistein es majadı́.
7
 En consecuencia, Rudistein es de Majadistán.

En este argumento, no se toma en cuenta si los majadı́es son humanos, perros, pericos o
un concepto abstracto de cualquier área. Tampoco importa si Rudinstein es un ciudadano
de alguna ciudad del mundo o si es el nombre de un perro. De esta manera desde el punto
de vista de su estructura esta argumentación es válida.

Se hace hincapié en que la Lógica no se hace responsable de su aplicación a nivel semánti-

co. Se puede decir que la Lógica es una herramienta para el análisis de la veracidad de argu-
mentaciones en base sólo a la estructura de éstas, donde el significado de los elementos que
intervienen no es tomado en cuenta.

La argumentación anterior tiene dos partes principales:

Las premisas:

Todos los majadı́es son de Majadistán.

Rudistein es majadı́.

La conclusión:

Rudistein es de Majadistán.

De esta manera la argumentación es válida, ya que de las premisas sigue la conclusión,

lo cual hasta cierto punto nos parece totalmente natural.

Consideremos el siguiente argumento:

Argentina está en África o Argentina está en Asia.

Argentina no está en Asia.
En consecuencia, Argentina está en África.

Nuevamente esta argumentación es válida desde el punto de vista lógico, aún cuando se
sabe que la conclusión es falsa, porque conocemos que Argentina está en América. ¿Cómo
puede ser esto? ¿A partir de la Lógica se pueden obtener conclusiones equivocadas?

La respuesta es afirmativa, ya que la Lógica no verifica si el significado de las premisas

es correcto o no.

Debido a lo anterior es necesario distinguir entre proposiciones verdaderas y proposiciones

lógicamente verdaderas. Las primeras son verdaderas por su significado e independientemente
de su estructura, mientras que las segundas no necesariamente lo son.

De esta manera, las proposiciones:

Argentina está en África o Argentina está en Asia

8
 Argentina está en África

Son verdaderas lógicamente debido a que la primera es una premisa y a que la segunda
ha sido derivada lógicamente de sus premisas.

Concluyendo, es necesario poder lograr deducir información solamente a través de la for-

ma de los enunciados. De esta manera, se asegura la independencia del significado que un
enunciado posea. Es prioritario entonces, estudiar las formas enunciativas, es decir, la
forma en que se va a formular una idea de modo que ésta exprese siempre lo que se desea.
En consecuencia, no es el significado del enunciado lo que interesa sino la forma en
que éste se expresa.

Generalizando dicho concepto y formalizándolo, se podrı́a decir que:

Dadas las letras A, B, C, éstas representan a cualquier enunciado y se las denomina

variables de enunciado o variables proposicionales.
Toda variable proposicional es verdadera o falsa.
Dada una proposición que se liga con cualquier otra proposición a través de un conec-
tivo, esta ligadura debe darme como resultado una tercera proposición.
Si toda proposición simple es verdadera (o falsa) entonces toda proposición enunciativa
compuesta, constituida a partir de proposiciones simples, es también verdadera (o falsa)
y sus valores surgen a partir de los valores de las proposiciones que las componen.

3. Proposiciones Compuestas y Tablas de Verdad

Resta entonces analizar cada una de los conectivos que me permiten armar proposiciones
compuestas y cómo éstos deben ser interpretados, para que toda vez que una misma propo-
sición de caracterı́sticas similares sea planteada ésta se evalúe de la misma manera. Esto es,
ver cuáles son las reglas que en forma inequı́voca y precisa me permitan deducir los valores
de verdad para las variables proposicionales que representan proposiciones compuestas. Por
convención para representar el valor de verdad verdadero se utiliza la letra mayúscula V y
para el valor de verdad falso la letra mayúscula F. En alguna bibliografı́a, en su lugar se
utiliza ⊤ para verdadero y ⊥ para falso.

Negación

Se podrı́a decir que es un conectivo particular o especial puesto que en lugar de relacionar
dos proposiciones, afecta solamente a la proposición a la cual se encuentra asociada1 .

Si se tiene una proposición cualquiera A, su negación es otra proposición ¬A. Haciendo

la asociación con nuestro lenguaje natural, el conectivo de negación está representado por la
palabra “no”, por lo tanto toda vez que ésta se une a cualquier frase simple categorizable,
1
En este caso, por sólo afectar a una proposición, se lo denomina conectivo unario. Los demás conectivos
se denominan binarios, por conectar a dos proposiciones.

9
la misma produce un cambio de categorı́a a dicha frase (si era verdadera, pasará a ser falsa
y viceversa).

Ejemplo:

Iré a verte mañana si se la categorizara como verdadera.

No iré a verte mañana cambiarı́a la categorı́a de la frase a falsa.

Si se expresa dicho enunciado en forma general por medio de una variable proposicio-
nal, digamos P tendremos: Sea P una variable proposicional (o variable de enunciado), su
negación es ¬ P y la tabla de posibles valores que la misma puede adoptar es la siguiente:

P ¬P
V F
F V

Esta tabla se denomina Tabla de Valores de Verdad y es considerada como la defini-

ción de dicho conectivo.

Conjunción

Si se tiene una proposición compuesta A conformado por dos proposiciones, supongamos

B y C, unidas por medio del conectivo conjunción (∧), la proposición A tomará valores
de verdad verdadero solamente cuando ambas proposiciones que la componen son verdade-
ras. Haciendo la asociación con nuestro lenguaje natural, el conectivo de conjunción está
generalmente representado por la palabra “y”, y es la palabra cuya función más claramente
se asocia con el significado que le otorgamos.

Ejemplo:

La proposición compuesta “Juan vino y Pedro se fue”

| {z }
A
formada por las proposiciones simples “Juan
| {zvino”} y “Pedro se fue”.
| {z }
B C

Lo anterior se puede expresar en forma general por medio de las siguientes variables
poposicionales y su correspondiente tabla o regla de composición. Dadas P y Q dos variables
proposicionales, (P representando a B y Q representando a C) los valores de verdad que
adoptará la proposición A (representado simbólicamente por P ∧ Q) son:

10
 P Q P∧Q
V V V
V F F
F V F
F F F

Esta tabla es la tabla de valores de verdad para el conectivo ∧.

Disyunción

Si se tiene una proposición compuesta A conformada por dos proposiciones, supongamos

B y C, unidas por medio del conectivo disyunción (∨), la proposición A tomará valores de
verdad verdadero solamente cuando una de las proposiciones que la componen sea verdadera;
con lo cual, si ambas son verdaderas ya se da por cumplida la condición establecida por el
conectivo. Haciendo la asociación con nuestro lenguaje natural, el conectivo de disyunción
está generalmente representado por la palabra “o”.

Ejemplo:

La proposición compuesta “Estudiaré

| música{zo estudiaré canto”}
A
formada por los proposiciones simples “Estudiaré
| {z música”} y “Estudiaré
| {z canto”}
B C

Lo anterior se puede expresar en forma general por medio de variables proposicionales y su

correspondiente tabla o regla de composición. Dadas P y Q dos variables proposicionales, (P
representando a B y Q representando a C) los valores de verdad que adoptará la proposición
A (representada simbólicamente por P ∨ Q) son:

P Q P∨Q
V V V
V F V
F V V
F F F

Condicional

Existe en nuestro lenguaje cotidiano, la posibilidad de armar frases compuestas de ti-

po condicional, es decir, proposiciones condicionales que llevan implı́cita una implicación
material o condición material entre dos proposiciones simples. Estas proposiciones suelen
expresarse por medio del conectivo “si .... entonces” que relaciona dos proposiciones; la que

11
se encuentra detrás de la palabra “si” se denomina antecedente y la que sigue a la palabra
“entonces” se denomina consecuente.

Ejemplo:

La proposición compuesta “Si me levanto temprano, entonces tomaré el tren de las ocho”
| {z }
A
formada por las proposiciones simples “me levanto temprano” y
| {z }
B
“tomaré
| el tren
{z de las ocho”}
C

Si se tiene una proposición compuesta A conformada por dos proposiciones, supongamos

B y C, unidas por medio del conectivo condicional, resta analizar cuándo la proposición A
tomará valores de verdad verdadero. Para ello se hará un análisis de las posibles situaciones
que se pueden presentar con el ejemplo planteado.

Si es verdad que me levanto temprano y no es cierto que tomaré el tren de las

ocho, diremos que el condicional es falso; es decir, si el antecedente es verdadero y el
consecuente es falso, el condicional es falso.
En cambio, si es verdad que me levanto temprano, y también lo es que tomaré el tren
a las ocho, diremos sin duda que el condicional es verdadero; o sea, si el antecedente y
consecuente son verdaderos, el condicional es verdadero.

Se podrı́a decir qu éstos son los casos más comunes que se pueden producir y los cuales se
pueden analizar en forma intuitiva. Para completar el análisis, sobre las cuatro combinaciones
posibles para los valores de verdad que pueden tomar las dos proposiciones simples, quedan
por analizar dos casos: cuando el antecedente es falso y el consecuente verdadero, y cuando
ambos son falsos. Condicionales con antecedentes falsos resultan raros o sin sentido en el
lenguaje ordinario y por eso es difı́cil inferir qué valores de verdad le corresponden. La lógi-
ca resuelve considerar verdaderos estos dos condicionales; es decir, que si el antecedente es
falso no es necesario considerar el valor de verdad asociado al consecuente porque siempre
la proposición será verdadera. Ello no es totalmente arbitrario ni entra en conflicto con el
lenguaje ordinario, sino que más bien completa lo que éste deja sin decidir.

Lo anterior se puede expresar por medio de las siguientes variables proposicionales y su

correspondiente tabla o regla de composición. Dadas P y Q dos variables proposicionales,
(P representandas a B y Q representando a C):

P Q P⇒Q
V V V
V F F
F V V
F F V
12
 Bicondicional

Otro tipo de proposición compuesta es el bicondicional, que se forma usualmente en

nuestro lenguaje cotidiano con la conectiva “sı́ y sólo sı́”, como en la frase “Jugaremos a las
cartas sı́ y sólo sı́ reunimos cuatro personas”, entonces tendremos:

La proposición compuesta “Jugaremos a las cartas sı́ y sólo sı́ reunimos cuatro personas”
| {z }
A
formada por las proposiciones simples “Jugaremos a las cartas” y
| {z }
B
“reunimos cuatro personas”
| {z }
C

Los componentes del bicondicional reciben el nombre de componente izquierdo (en el

ejemplo serı́a la proposición representada por B) y componente derecho (en el ejemplo la
proposición representada por C) y el sı́mbolo que representa el “sı́ y sólo sı́” es ⇐⇒.

Como su nombre lo indica, el bicondicional es un condicional doble. B sı́ y sólo sı́ C

(en sı́mbolos B ⇐⇒ C) que equivale a la conjunción de si B entonces C y si C entonces
B. La primer componente se puede simbolizar B ⇒ C y la segunda C ⇒ B, por lo que el
bicondicional resulta equivalente al esquema (B ⇒ C) ∧ (C ⇒ B), que es la conjunción de
dos condicionales, donde el antecedente del primero es el consecuente del segundo , y el con-
secuente del primero es el antecedente del segundo. O lo que es lo mismo, por conmutatividad
del conectivo conjunción, (C ⇒ B) ∧ (B ⇒ C).

Resta entonces ver, dada una proposición compuesta A conformada por dos proposiciones
B y C, unidas por medio del conectivo bicondicional (⇐⇒), cuándo la proposición A tomará
valores de verdad verdadero o falso: si uno de sus componentes es verdadero y el otro falso,
el bicondicional es falso, y es verdadero cuando ambos componentes son verdaderos, o ambos
son falsos; es decir, que el bicondicional es verdadero siempre que ambas proposiciones ten-
gan el mismo valor de verdad. A igual conclusión podrı́a llegarse si se evaluara cualquiera de
las dos proposiciones equivalentes (B ⇒ C) ∧ (C ⇒ B) o (C ⇒ B) ∧ (B ⇒ C).

Lo anterior se puede expresar por medio de variables proposicionales y su correspondiente

tabla o regla de composición. Dadas P y Q dos variables proposicionales, (P representando
a B y Q representando a C):

P Q P ⇐⇒ Q
V V V
V F F
F V F
F F V

13
 Disyunción Excluyente

Haciendo la asociación con nuestro lenguaje natural, existe un conectivo de disyunción

excluyente, simbolizado por ⊻ 2 , que está generalmente representado por las palabras “o
bien . . ., o bien . . .”, lo cual considera que esperamos que una y sólo una de las proposiciones
que componen la proposición compuesta será verdadera al mismo tiempo, a diferencia de la
disyunción no excluyente que es verdadera aún siendo ambas proposiciones verdaderas.

Dadas dos proposiciones P y Q, la proposición compuesta formada por (P ⊻ Q) será

verdadera cuando sólo una de las dos proposiciones tome el valor de verdad Verdadero y la
otra tome el valor de verdad Falso.

Ejemplo:

La proposición compuesta “O bien estudiaré música, o bien estudiaré canto”

| {z }
A
formada por los proposiciones simples “Estudiaré
| {z música”} y “Estudiaré
| {z canto”}
B C

Se debe representar como una disyunción excluyente, debido a que se está expresando que
sólo una de las actividades será la que se estudie. Entonces, la proposición A se puede
representar por medio de variables proposicionales como (P ⊻ Q), siendo P y Q dos variables
proposicionales (P representando a B y Q representando a C).

En algunos casos se puede determinar a partir del contexto de la proposición compuesta

si el conectivo a utilizar debe ser o no una disyunción excluyente, aunque la palabra que una
las proposiciones simples sea la misma que la usada en una disyunción no excluyente (estén
conectadas con “o”).

Ejemplo:

La proposición compuesta
“Mañana Sofı́a cumple 16 años, o mañana Sofı́a cumple 17 años”
| {z }
A
formada por los proposiciones simples “Mañana Sofı́a cumple 16 años” y
| {z }
B
“Mañana Sofı́a cumple 17 años”’
| {z }
C

Claramente por su significado no pueden ser ambas proposiciones verdaderas al mismo tiem-
po, por lo tanto el conectivo a utilizar en este caso serı́a la disyunción excluyente. Ası́, la
2
En la bibliografı́a también puede aparecer simbolizado por ⊕.
14
proposición A se puede representar como (P ⊻ Q), siendo P y Q dos variables proposicionales
(P representando a B y Q representando a C).

Cualquiera de las situaciones anteriores se puede expresar en forma general por medio de
variables proposicionales y su correspondiente tabla o regla de composición. Dadas P y Q
dos variables proposicionales los valores de verdad que adoptará la proposición compuesta,
representada simbólicamente por (P ⊻ Q), son:

P Q (P ⊻ Q)
V V F
V F V
F V V
F F F

4. El Lenguaje de la Lógica Proposicional (Fórmula

Bien Formada)
Hasta ahora se ha analizado el significado de las proposiciones compuestas a partir del
valor de verdad asociado a cada una de las proposiciones simples que las conforman, dando
para ello las tablas de verdad correspondientes a cada uno de los conectivos del lenguaje.
Sin embargo, se debe también analizar formalmente cómo se deben armar correctamente
las proposiciones, de manera tal que haya una única manera de interpretarlas. Las reglas
necesarias para escribir correctamente una proposición conforman lo que se denomina sintaxis
del lenguaje.

Como ya se mencionó, las proposiciones compuestas son agrupaciones de proposiciones

simples (también llamadas átomos) unidas por conectivos lógicos. Para construir proposi-
ciones, se requiere entonces de un conjunto de reglas que establecen la manera de escribir
una proposición correcta. A las proposiciones obtenidas haciendo uso de estas reglas se las
denomina fórmulas bien formadas (fbfs).

Se tiene definido, para escribir una fórmula bien formada, un alfabeto con los sı́mbolos
que pueden utilizarse. Una fbf sólo puede contener sı́mbolos del siguiente conjunto: letras
mayúsculas que representen variables proposicionales, los conectivos lógicos (en nuestro caso:
¬, ∧, ∨, ⇒, ⇐⇒, ⊻) y los paréntesis izquierdo y derecho: (, ).

15
 Las siguientes reglas permiten construir una fórmula bien formada (fbf):

1. Una variable proposicional es una fórmula bien formada, también llamada fórmula
atómica 3 .

2. Si P es una fórmula bien formada, ¬ P también es una fórmula bien formada.

3. Si P y Q son fórmulas bien formadas, (P ∧ Q), (P ∨ Q), (P ⊻ Q), (P ⇒ Q) y

(P ⇐⇒ Q) son fórmulas bien formadas.

4. Todas las fórmulas bien formadas se obtienen aplicando las reglas 1, 2 y 3.

Por lo tanto, para expresar cualquier proposición en Lógica Proposicional, se debe aso-
ciar a cada proposición simple distinta que la compone una variable proposicional que la
represente y vincular dichas variables proposicionales a través de las reglas que permite in-
corporar los conectivos correspondientes, de manera tal de armar la fórmula bien formada
que la representa.

Cabe aclarar que los paréntesis se utilizan en la escritura de las fbfs para asegurar una
interpretación única del significado de las proposiciones. En caso de no usarlos habrı́a que
considerar, al interpretar la proposición, otras reglas que establezcan la prioridad o jerarquı́a
de cada uno de los conectivos. Esta jerarquı́a se debe utilizar cada vez que se quiera evaluar
una fórmula.

Utilizando estas reglas es posible, a partir de las fórmulas atómicas y los conectivos,
construir proposiciones o fórmulas bien formadas más complejas de cualquier longitud.

Ejemplo:

Dadas las siguientes expresiones, se indica en cada caso cómo se clasifican y por qué:

A es fórmula bien formada atómica, siendo A variable proposicional

((P ⇒ Q) ⇒ R) es fbf, siendo P, Q y R variables proposicionales
(P ⇒ Q ⇒ R) es fbf, siendo P, Q y R variables proposicionales
(P ⇒ (Q ⇒ R) no es fbf, a cada ”(”le corresponde un ”)”
¬A es fbf, siendo A variable proposicional
(¬ P ∧¬ Q) fbf, siendo P y Q variables proposicionales
(P ¬∧ Q) no es fbf, porque no se puede negar un conectivo
¬((P ⇒ Q) ⇒ R) es fbf, siendo P, Q y R variables proposicionales

3
Se las denomina fórmulas atómicas porque las variables proposicionales representan a las proposiciones
simples o átomos.

16
5. Evaluación de Fórmulas Bien Formadas

Hemos hablado hasta ahora de cómo se construyen correctamente las fbfs de la Lógica
Proposicional. Ahora debemos analizar cómo evaluar el significado de las mismas. Para ello,
se puede construir una tabla de verdad para cualquier fórmula bien formada, utilizando las
tablas de verdad de los conectivos ya analizadas.

Ejemplo:

Para la siguiente fórmula bien formada, mostraremos paso a paso el avance de su evalua-
ción:
(¬ (P ∨ Q) ∧ (¬ P ⇒ ¬ Q))

De una de las posibles manera de evaluarla, considerando que se debe respetar la prioridad
de evaluación que establecen los paréntesis, serı́a:

1) Primero se evalúa la fórmula (P ∨ Q):

P Q (P ∨ Q) ¬ (P ∨ Q) ¬ P ¬ Q (¬ P ⇒ ¬ Q) (¬ (P ∨ Q) ∧ (¬ P ⇒ ¬ Q))
V V V
V F V
F V V
F F F

2) Luego se evalúa la fórmula ¬(P ∨ Q):

P Q (P ∨ Q) ¬ (P ∨ Q) ¬ P ¬ Q (¬ P ⇒ ¬ Q) (¬ (P ∨ Q) ∧ (¬ P ⇒ ¬ Q))
V V V F
V F V F
F V V F
F F F V

3) Ahora se evalúa la fórmula ¬P:

P Q (P ∨ Q) ¬ (P ∨ Q) ¬ P ¬ Q (¬ P ⇒ ¬ Q) (¬ (P ∨ Q) ∧ (¬ P ⇒ ¬ Q))
V V V F F
V F V F F
F V V F V
F F F V V

17
4) Luego se evalúa la fórmula ¬ Q:

P Q (P ∨ Q) ¬ (P ∨ Q) ¬ P ¬ Q (¬ P ⇒ ¬ Q) (¬ (P ∨ Q) ∧ (¬ P ⇒ ¬ Q))
V V V F F F
V F V F F V
F V V F V F
F F F V V V

5) Luego se evalúa la fórmula (¬ P ⇒ ¬ Q):

P Q (P ∨ Q) ¬ (P ∨ Q) ¬ P ¬ Q (¬ P ⇒ ¬ Q) (¬ (P ∨ Q) ∧ (¬ P ⇒ ¬ Q))
V V V F F F V
V F V F F V V
F V V F V F F
F F F V V V V

6) Ahora finalmente se evalúa la fórmula completa (¬ (P ∨ Q) ∧ (¬ P ⇒ ¬ Q)):

P Q (P ∨ Q) ¬ (P ∨ Q) ¬ P ¬ Q (¬ P ⇒ ¬ Q) (¬ (P ∨ Q) ∧ (¬ P ⇒ ¬ Q))
V V V F F F V F
V F V F F V V F
F V V F V F F F
F F F V V V V V

Aunque en el ejemplo se ha mostrado paso a paso la evaluación de la fórmula, en general

se hace sobre una única tabla.

Ejemplo:

Dada la siguiente fbf (¬ P ∨ Q), su tabla de verdad será:

P Q ¬ P (¬ P ∨ Q )
V V F V
V F F F
F V V V
F F V V

18
 Dada la siguiente fbf (P ⇐⇒ (Q ∨ R)) y su tabla de verdad será:

P Q R (Q ∨ R) (P ⇐⇒ (Q ∨ R))
V V V V V
V V F V V
V F V V V
V F F F F
F V V V F
F V F V F
F F V V F
F F F F V

Dado que la tabla de verdad de una fbf debe considerar todas las posibles combinacio-
nes de valores de verdad para las distintas variables proposicionales, si en la fbf aparecen n
variables proposicionales distintas, la tabla deberá constar de 2n entradas o filas. Por conven-
ción, la última columna representa la evaluación de la fbf completa, para todas las posibles
combinaciones de valores. En el ejemplo anterior, como en (P ⇐⇒ (Q ∨ R)) hay 3 variables
proposicionales distintas (n = 3), ası́ tenı́amos 23 = 8 entradas o filas.

6. Clasificación de Fórmulas

Dadas n variables proposicionales, la cantidad de fórmulas bien formadas distintas que

se pueden formar es infinita, con lo cual van a existir fórmulas bien formadas que tengan la
misma tabla de verdad 4 .

Definiciones:

1. Una fórmula bien formada es una tautologı́a si toma el valor de verdad Verdadero
para cada una de las posibles combinaciones de valores de verdad de sus variables
proposicionales.
Ejemplo:
(P ∨ ¬P) es una tautologı́a
porque la columna correspondiente a la valuación de la fbf sólo tiene el valor de verdad
Verdadero.

P ¬P (P ∨ ¬P)
V F V
F V V
n
4
Se puede demostrar que sólo existen 22 tablas de verdad diferentes, para fórmulas bien formadas con n
variables proposicionales distintas, aunque existan infinitas fbfs.
19
2. Una fórmula bien formada es una contradicción si para cada una de las combinaciones
posibles de los valores de verdad de sus variables de proposicionales, ésta toma el valor
de verdad Falso.
Ejemplo:
P ∧ (¬P) es una contradicción
porque la columna correspondiente a la valuación de la fbf sólo tiene el valor de verdad
Falso.

P ¬P (P ∧ ¬P)
V F F
F V F

3. Una fórmula bien formada es consistente si al menos tiene una interpretación verda-
dera, es decir si para al menos una de las combinaciones de los valores de verdad de
sus variables proposicionales la fórmula se evalúa con el valor de verdad Verdadero.
Ejemplo:
(P ∨ Q) es consistente
porque en la columna correspondiente a la valuación de la fbf aparece el valor de verdad
Verdadero.

P Q (P ∨ Q)
V V V
V F V
F V V
F F F

4. Una fórmula bien formada es una contingencia si no es ni una tautologı́a ni una

contradicción. Es decir, al menos en una de las combinaciones de los valores de verdad
de sus variables proposicionales la fórmula se evalúa con el valor de verdad Verdadero
y al menos en una se evalúa con el valor de verdad Falso5 .
Ejemplo:
(P ∨ Q) es una contingencia
porque algunas veces se evalúa como verdadera (lo que la hace consistente) y una vez
se evalúa como falsa cuando P y Q toman el valor de verdad Falso. Para verificarlo
observar la tabla de verdad ya ilustrada.
□
5
Si una fbf es una contingencia es también consistente.

20
 Definición:
Sean P y Q dos fórmulas bien formadas decimos que:

1. P implica lógicamente a Q, si (P ⇒ Q) es una tautologı́a.

2. P es lógicamente equivalente a Q, si (P ⇐⇒ Q) es una tautologı́a. Se utiliza el sı́mbolo

≡ entre dos fbfs P y Q cualesquiera, para indicar si ellas son lógicamente equivalentes;
es decir, que si (P ⇐⇒ Q) es una tautologı́a, se denota como P ≡ Q.

Claramente, siendo P y Q dos fbfs tales que P ≡ Q (es decir, (P ⇐⇒ Q) es una tautologı́a),
entonces se cumple que P implica lógicamente a Q y viceversa. Queda como ejercicio para el
lector mostrar que esto es cierto, usando la información de la tabla de verdad de (P ⇐⇒ Q).

Ejemplo:

Dadas las siguientes fórmulas bien formadas (¬ P ∨ Q) y (P ⇒ Q), podemos decir que
son lógicamente equivalentes porque (¬ P ∨ Q) ⇐⇒ (P ⇒ Q) es una tautologı́a:

P Q ¬P (¬ P ∨ Q) (P ⇒ Q) ((¬ P ∨ Q) ⇐⇒ (P ⇒ Q))
V V F V V V
V F F F F V
F V V V V V
F F V V V V

Entonces, como (¬ P ∨ Q) ⇐⇒ (P ⇒ Q) es una tautologı́a, (¬ P ∨ Q) ≡ (P ⇒ Q) y por

lo tanto (¬ P ∨ Q) implica lógicamente a (P ⇒ Q) y también (P ⇒ Q) implica lógicamente
a (¬ P ∨ Q).

Además, dadas las fórmulas (P ∧ ¬P) y (P ∨ ¬P), podemos decir que (P ∧ ¬P) implica
lógicamente a (P ∨ ¬P), porque ((P ∧ ¬P) ⇒ (P ∨ ¬P)) es una tautologı́a:

P ¬P (P ∧ ¬P) (P ∨ ¬P) ((P ∧ ¬P) ⇒ (P ∨ ¬P))

V F F V V
F V F V V

Ejemplo:

En particular, siendo P y Q dos fbfs, se dice que (P ⇒ Q) es una implicación, entonces

(Q ⇒ P) es la recı́proca, (¬P ⇒ ¬Q) es la inversa y (¬Q ⇒ ¬P) es la contrarecı́proca. Las
tablas de verdad para estas fórmulas son:

21
 P Q (P ⇒ Q) P Q (Q ⇒ P) P Q (¬P ⇒ ¬Q) P Q (¬Q ⇒ ¬P)
V V V V V V V V V V V V
V F F V F V V F V V F F
F V V F V F F V F F V V
F F V F F V F F V F F V

Puede observarse que las fórmulas de la implicación (P⇒Q) y su contrarecı́proco (¬Q

⇒ ¬P)) son lógicamente equivalentes: (P⇒Q) ≡ (¬Q ⇒ ¬P), mientras que también el
recı́proco (Q⇒P) y la inversa (¬P ⇒ ¬Q) son también lógicamente equivalentes: (Q⇒P) ≡
(¬P ⇒ ¬Q).

7. Jerarquı́a de los Conectivos

Como se mencionó anteriormente, se utilizan los paréntesis de manera tal de que la

valuación de una fbf sea única; es decir, los paréntesis establecen el orden de evaluación de
la fórmula. Por lo tanto, si queremos evaluar ((P ⇒ Q) ∨ ¬ R), debemos conocer primero
(P ⇒ Q), para luego, obteniendo ¬ R, poder finalmente calcular el valor de verdad de la
fórmula. Sin embargo, como también se mencionó, si no se utilizan todos los paréntesis (por
ahorro de escritura) se deben dar reglas que aseguren que exista una única manera de evaluar
cada expresión para poder determinar el valor de verdad de una proposición compuesta. Ası́,
conociendo esas reglas se pueden obviar algunos paréntesis e igualmente determinar si la
proposición completa es verdadera o falsa.

Por lo tanto, al tener fórmulas con dos o más conectivos y faltando algunos paréntesis,
se deben conocer la precedencia o jerarquı́a (las que dan las prioridades) y las propiedades
de asociatividad de los conectivos para asegurar que la evaluación sea la correcta.

Ejemplo:

Si se desea evaluar el valor de verdad de la siguiente expresión:

P ⇐⇒ Q ∨ R

en comienzo no se sabrı́a a cuál de dos fbfs representa:

1. (P ⇐⇒ ( Q ∨ R)), o

2. ((P ⇐⇒ Q)∨ R).

porque si se observan las tablas de verdad correspondientes:

22
 P Q R (Q ∨ R) (P ⇐⇒ ( Q ∨ R)) P Q R (P ⇐⇒ Q) ((P ⇐⇒ Q)∨ R)
V V V V V V V V V V
V V F V V V V F V V
V F V V V V F V F V
V F F F F V F F F F
F V V V F F V V F V
F V F V F F V F F F
F F V V F F F V V V
F F F F V F F F V V

se puede notar que sus tablas de verdad son completamente distintas. Entonces para evaluar
la expresión P ⇐⇒Q ∨ R, ¿cuál seria la tabla correcta?

Para que quede en cualquier caso determinada la interpretación de cualquier fórmula se

establece la siguiente jerarquı́a de conectivos:

¬, ∧, ∨, ⊻, ⇒, ⇐⇒

donde ¬ (negación) es el conectivo con mayor jerarquı́a en la secuencia y ⇐⇒ (bicondi-

cional) es el conectivo con el menor peso.

Ejemplo:

Ahora si se quiere evaluar la expresión P ⇐⇒ Q ∨ R, considerando la jerarquı́a de los

conectivos, se debe evaluar en el siguiente orden:

P Q R Q ∨ R P ⇐⇒ Q ∨ R
V V V V V
V V F V V
V F V V V
V F F F F
F V V V F
F V F V F
F F V V F
F F F F V

es decir, como indican la jerarquı́a, primero se evalúa el conectivo ∨ con las variables pro-
posicionales Q y R, para luego evaluar el conectivo ⇐⇒ con la variable proposicional P y la
expresión Q ∨ R.

Sin embargo, no basta sólo con conocer la prioridad de los conectivos para poder evaluar
correctamente una expresión sin paréntesis. Si se tiene por ejemplo la expresión
23
P ∨ Q ∨ R, los dos conectivos utilizados tienen el mismo nivel de jerarquı́a y entonces,
como hay que evaluarlos en algún orden, se deberı́a decidir entre órdenes de evaluación:
((P ∨ Q)∨ R) o (P ∨(Q ∨ R)). Sin embargo, gracias a las reglas de asociatividad de los dis-
tintos conectivos binarios, da lo mismo cuál de los órdenes se usa porque son lógicamente equi-
valentes. Queda como ejercicio para el lector verificar que las tablas de verdad de las dos fbfs:
((P ∨ Q)∨ R) y (P ∨(Q ∨ R)) son iguales6 , o que (((P ∨ Q)∨ R) ⇐⇒ (P ∨(Q ∨ R))) es una
tautologı́a.

Existen además algunas otras reglas que facilitan el proceso de evaluación de las fórmulas
bien formadas, conocidas como:

Leyes de DeMorgan

Wn Dado V un número cualquiera de fórmulas bien formadas P1 . . . Pn y utilizando los sı́mbolos

n
i=1 (o i=1 ) para abreviar la aplicación del mismo conectivo ∨ entre todas las fbfs (o
respectivamente ∧) 7 . No son necesarios los paréntesis internos en la forma abreviada, por
que ambos conectivos cumplen con la propiedad asociativa.
Wn Vn
i=1 (¬ Pi ) es lógicamente equivalente ¬ ( i=1 Pi )
Vn Wn
i=1 (¬ Pi ) es lógicamente equivalente ¬ ( i=1 Pi )

8. Conjunto Adecuado de Conectivos

Un conjunto adecuado de conectivos es un conjunto tal que toda proposición puede

representarse por medio de una fórmula bien formada en la que sólo aparezcan conectivos
de dicho conjunto.

Proposición:

Los pares {¬, ∧}, {¬, ∨} y {¬, ⇒} son conjuntos adecuados de conectivos.

Para demostrar que esto es cierto para alguno de los conjuntos dados basta con probar
que se pueden obtener las mismas tablas de verdad que la de los conectivos ausentes en el
conjunto, con fórmulas equivalentes que sólo usen conectivos del conjunto.

Ejemplo:

Dado que {¬, ∨} es un conjunto adecuado de conectivos, cualquier proposición se puede

expresar usando solamente sus conectivos, haciendo uso además de las equivalencias lógicas
6
Porque ((P ∨ Q)∨ R) ≡ (P ∨(Q ∨ R)).
7
Por ejemplo, si tenemos la fbf ((P1 ∨ P2 )∨ P3 ), siendo P1 , P2 y P3 fbfs cualesquiera, con la notación
W3
abreviada podrı́amos reescribirla como ( i=1 Pi ).
24
(las que no se hayan mostrado aún en el presente material de estudio, pueden comprobarse
haciendo uso de las correspondientes tablas de verdad).

( P ⇐⇒ Q) ≡ ((P ⇒ Q) ∧ (Q ⇒ P)) ≡ ((¬ P ∨ Q) ∧ (¬ Q ∨ P)) ≡ (¬ (¬ P ∨ Q) ∨ ¬ (¬ Q ∨ P))

No es posible conseguir un conjunto de menor cardinalidad que los exhibidos como con-
juntos adecuados de conectivos, siempre y cuando nos manejemos con los conectivos aquı́
definidos, dado que si a alguno de los conjuntos se le trata de eliminar uno de sus conectivos,
no se lograrán expresar algunas fbfs sólo con el conectivo restante.

Ejemplo:

Si se considera el conjunto {¬, ∨}, se puede verificar que sólo con el conectivo del conjunto
{¬}, no podemos expresar ninguna fórmula que sea equivalente a (P ∨ Q), siendo P y Q fbfs
cualesquiera. Similarmente, se puede verificar que sólo con el conectivo del conjunto {∨}, no
podemos expresar ninguna fórmula que sea equivalente a ¬ P, siendo P una fbf cualquiera.

9. Formulación de las frases

Dado que no es el significado del enunciado lo que interesa sino la forma en que éste se
expresa, es necesario estudiar la forma en que se va a formular una idea de modo que ésta
exprese siempre lo que se desea. Existen en castellano algunos patrones de conformación de
conectivas, conocido como Modelado de frases, que permiten representar formalmente la
misma estructura de las frases.

25
 ¬ P⇒Q
No P Si P entonces Q
Es falso que P Q si P
Nunca Si P, Q
Jamás P suficiente para Q
Tampoco Q necesario para P
No es verdad que No P a menos que Q
No es cierto que P sólo si Q
Carece de Siempre que
Con tal que
Puesto que
Ya que
Porque
Cuando
Salvo que
Solamente si
P∧Q P ⇐⇒ Q
PyQ P si y sólo si Q
P aunque Q P necesario y suficiente para Q
P pero Q P si y solamente si Q
Ambos, P y Q P únicamente Q
P, sin embargo Q P cuando y sólo cuando Q
P, además de Q Si P entonces y sólo entonces Q
P aun cuando Q
P tanto como Q
P sino Q
P∨Q P⊻Q
PoQ OPoQ
Bien P o Q P o Q, pero no ambos
P a menos que Q O bien P, o bien Q
P o Q o ambos
Al menos P o Q
P y/o Q

26
10. Circuitos Lógicos

La lógica proposicional permite definir una estructura simbólica que representa el razo-
namiento cuyo valor de verdad se desea determinar.

A partir de ese razonamiento, es necesario identificar primero las proposiciones simples

que lo componen y que solamente pueden tomar el valor de verdad verdadero ó el valor de
verdad falso. Es posible, entonces, establecer una equivalencia con el Álgebra de Boole, que
reconoce solamente dos valores: el valor 0 y el valor 1, asociando el verdadero con el valor 1
y el falso con el valor 0.

Las propiedades del cálculo proposicional son equivalentes a las del Álgebra que estableció
el Ing. Boole en el año 1854 y que son de gran valor e importancia porque es una rama
especial del álgebra que se usa principalmente en electrónica digital para la construcción
de la circuiterı́a en electrónica y en informática. El Álgebra de Boole es un método para
simplificar los circuitos lógicos en electrónica digital.

En el Álgebra de Boole, una proposición en una variable equivalente a una variable y los
conectivos lógicos se asocian con las compuertas lógicas.

Compuertas Lógicas: Debido a que una proposición puede ser evaluada y resultar sólo
verdadera o falsa, se puede deducir alguna equivalencia con el álgebra booleana, que maneja
solamente dos valores (0 y 1).

Los esquemas que resultan de aplicar las compuertas lógicas se conocen como circuitos
lógicos.

Una fórmula del cálculo proposicional se puede representar gráficamente usando compuer-
tas lógicas. En la siguiente tabla se pueden observar las compuertas lógicas que representan
las distintas funciones algebraicas ası́ como sus respectivos nombres y tablas de verdad.

27
Nombre Sı́mbolo Función Algebraica Tabla de Verdad

A B F
1 1 1
AND F = (A ∗ B) ≡ A ∧ B 1 0 0
0 1 0
0 0 0

A B F
1 1 1
OR F = (A + B) ≡ A ∨ B 1 0 1
0 1 1
0 0 0

A F
NO F = A ≡ ¬A 1 0
0 1

A B F
1 1 0
NAND F = (A ∗ B) ≡ ¬(A ∧ B) 1 0 1
0 1 1
0 0 1

A B F
1 1 0
NOR F = (A + B) ≡ ¬(A ∨ B) 1 0 0
0 1 0
0 0 1

Figura 2: Compuertas Lógicas

Se reconocen tres compuertas básicas:

La compuerta AND que se asocia con la función algebraica de la multiplicación y que

en la lógica proposicional equivale a la conjunción.

La compuerta OR que se asocia con la función algebraica de la suma y que en la lógica

proposicional equivale a la disyunción incluyente.

La compuerta NOT que es la negación y se asocia a la función algebraica del comple-

mento.

28
 A partir de estas compuertas básicas es posible construir otras compuertas más: la com-
puerta NAND (que es la negación de la compuerta AND) y la compuerta NOR (que es la
negación de la compuerta OR).

Es posible observar que gráficamente cada compuerta tiene su representación. y ası́ como
en la lógica proposicional la conjunción es un conectivo binario, se observa que la compuerta
AND tiene 2 entradas, en este caso llamadas A y B y genera una salida llamada F.

La compuerta OR asociada con el conectivo binario la disyunción es también un conectivo

binario, por lo tanto, requiere de dos entradas y genera una salida.

Prestar atención a las caracterı́sticas gráficas de cada uno de los componentes.

Por ejemplo

Figura 1: P ⇐⇒ Q ≡ (¬ P ∨ Q) ∧ (¬ Q ∨ P)

Como se observa en el circuito, para representar fórmulas con condicionales o bicondicio-

nales (conectivos que no tienen compuertas asociadas), es necesario transformar la expresión
original en fórmulas equivalentes pero usando conectivas que permitan su representación con
las respectivas compuertas.

10.1. Lógica Digital

El conjunto de circuitos digitales en las computadoras y demás sistemas digitales se diseña

y se analiza con el uso del álgebra de Boole. El funcionamiento de las computadoras se basa
en la memorización y procesamiento de datos binarios. La implementación de la memoria y
procesamiento se realiza usando lógica digital y especialmente circuitos combinacionales y
secuenciales.

Circuitos combinacionales: Su salida depende solamente de la combinación de las en-

tradas.
29
 Circuitos secuenciales: Su salida depende de la combinación de las entradas y del estado
anterior (estos son los usados en la memoria).

El siguiente circuito es una parte componente de la ALU (Unidad Aritmética-Lógica)

encargada de las operaciones aritmético-lógicas de la CPU y se denomina Semisumador
binario de 2 bits.

Analizando las salidas: Suma y Acarreo

Suma = (A ∗ B) + (A ∗ B)

Acarreo = (A ∗ B)

A B Suma Acarreo
1 1 0 1
1 0 1 0
0 1 1 0
0 0 0 0

Figura 3: Semisumador (Suma y Acarreo)

30