LOGICA FORMAL

Introducción.- La lógica es la ciencia de los pensamientos en general. Los pensamientos están constituidos por
conceptos los que se dividen en dos clases:
a) Conceptos objetivos.- Se refieren a objetos (que permiten predicado)
b) Conceptos funcionales.- Sirven de nexo entre diferentes conceptos objetivos de un pensamiento

La asociación de pensamiento se denomina Raciocinio. Esta asociación se efectúa mediante conectivas o

constante lógicas.
La Lógica Simbólica se refiere a los pensamientos que afirman o niegan algo y que se llaman
pensamientos enunciativos o declarativos, también llamados juicios y que pueden adoptar un valor de verdad, sea
falso o verdadero

Principio de disyunción contradictoria.- “Todo juicio o proposición es verdadero o falso, pero no ambos”

La lógica no establece el valor de verdad de un determinado juicio, sino más bien, a partir de los valores de
verdad de los diferentes juicios que componen un raciocinio, trata de establecer el valor de verdad que corresponde
a ese raciocinio o juicio compuesto. Así, el valor de verdad de un juicio compuesto se determina a través de los
valores de verdad de los juicios componentes y de las conectivas que los ligan.
La expresión de un juicio se llama “Proposición declarativa” o simplemente “proposición”, denotada con las
letras p, q, r, s,….etc.

Conectivas o constantes lógicas.- Sirven de nexo entre los juicios componentes de un raciocinio, estas pueden ser
primarias o básicas y secundarias por que se pueden expresar mediante las primarias.
Conectivas primarias.-
Negación : Conectiva singular y es un modificador de proposiciones: ~ p
Conjunción: La conjunción de dos proposiciones es verdadera solo si ambas son verdaderas: p^q
Disyunción: La disyunción (inclusiva) de dos proposiciones es falsa solo si ambas son falsas: pvq
 Conectivas secundarias.
Condicional: La condicional es falsa si el antecedente es verdadero y el consecuente es falso: pq
Bicondiconal: El bicondicional es verdadero cuando ambas tienen el mismo valor de verdad : p q
Disyunción completa: También llamada exclusiva, es verdadera si solo una de ellas es verdad : p v q
Negación conjunta: Se verifica cuando ninguna proposición es verdadera : p I q
Negación alternativa : Se verifica cuando las proposiciones p y q no son ambas verdaderas : p / q.

Tablas de verdad:
Negación Conjunción Disyunción
p ~p p q pʌq p q pvq
V F V V V V V V
F V V F F V F V
F V F F V V
F F F F F F

Condicional Bicondicional Disyunción completa Neg conjunta Neg alterna

P q p=>q p q pq p q pvq p q p q p q p/ q
V V V V V V V V F V V F V V F
V F F V F F V F V V F F V F V
F V V F V F F V V F V F F V V
F F V F F V F F F F F V F F V
Polinomios Boleanos.- Se llama así a la asociación de variables x, y, z, u, v, etc. mediante conectivas lógicas:

P(x,y) = [ (~x) ʌ y ] v [x ʌ (~y) ]

Q(x,y) = (x=>y) ʌ [(y=>x) v (x/y) ]

Si en el Polinomio P(x,y,z,…) reemplazamos las variables x, y, z, … por proposiciones p, q, r,… , la expresión

P(p,q,r,..) es una proposición cuyo valor de verdad depende de los valores de verdad de las proposiciones formantes
y puede ser determinada mediante una tabla de verdad, así:

i) P(p,q) = [ (~p) ʌ q ] v [ p ʌ (~q) ]

p q [(~p) ʌ q] v [p ʌ (~q)]
V V F F V F V F F
V F F F F V V V V
F V V V V V F F F
F F V F F F F F V
 ii) Q(p,q) = (p=>q) ʌ [(q=>p) v (p/q) ]

p q (p => q ) ʌ [(q => p ) v (p / q)]

V V V V V V V V V V V F V
V F V F F F F V V V V V F
F V F V V V V F F V F V V
F F F V F V F V F V F V F

Tautología (T).- Una proposición P(p,q,r,…) se llama “tautología” cuando es verdadera para todos los valores de
verdad que toman sus sub-proposiciones.

Contradicción (C).- Una proposición P(p,q,r,…) se llama “contradicción” cuando es falsa para todos los valores de
verdad que toman sus sub-proposiciones, o lo que es lo mismo es la negación de la tautología.

Equivalencia lógica.- Dos proposiciones se dicen “lógicamente equivalentes” si “P  Q” es una tautología.

Así, decimos que dos proposiciones son lógicamente equivalentes si sus tablas de verdad son idénticas, pues es la
única condición para que un bi condicional sea tautología.
Teorema.- Sean ,p q, r, s, … proposiciones elementales, se cumple:

- pʌp p ; pvp p
- (p ʌ q) ʌ r p ʌ (q ʌ r) ; (p v q) v r p v (q v r)
- pʌq qʌp ; pvq qvp
- p ʌ (q v r) (p ʌ q) v (p ʌ r) ; p v (q ʌ r) (p v q) ʌ (p v r)
- pʌV p ; pvF p
- pʌF F ; pvV V
- p ʌ (~p) F ; p v (~p) V
- ~~p p ; ~V F ~F V
- ~( p ʌ q) ~ p v ~q ; ~( p v q) ~ p ʌ ~q

Por el principio de sustitución, podemos reemplazar las proposiciones elementales por proposiciones compuestas,
reemplazando además “V” y “F” por Tautologías (T) y Contradicciones (C), obteniendo las leyes del Algebra de
proposiciones.
- Leyes de idempotencia : PʌP P ; PvP P
- Leyes asociativas : (P ʌ Q) ʌ R P ʌ (Q ʌ R) ; (P v Q) v R P v (Q v R)
- Leyes conmutativas : PʌQ QʌP ; PvQ QvP
- Leyes distributivas : (P ʌ Q) v R (PʌQ) v (Pʌ R) ; (P v Q) ʌ R (P v Q) ʌ (P v R)
- Leyes de identidad : PʌT P ; PʌC C ; PvC P ; PvT T
- Leyes de complemento: P ʌ (~P) C ; P v (~P) T ; ~~P P ; ~T C ; ~C T
- Leyes de D’ Morgan : ~( P ʌ Q) ~ P v ~Q ; ~( P v Q) ~ P ʌ ~Q
Las conectivas lógicas secundarias pueden ser expresadas mediante las conectivas lógicas primarias de acuerdo al
siguiente teorema:
Teorema.
- p => q ~p v q
- p <=> q (~p v q) ʌ (~q v p) (p ʌ q) v (~p ʌ ~q)
- pvq (~p ʌ q) v (~q ʌ p)
- p q ~p ʌ ~q
- p /q ~p v ~q
Implicaciones Asociadas. Cuando la proposición P=>Q es Tautología, se dice “P implica Q”, para la que se indica,
considerando proposiciones elementales:
- p => q Directa
- q => p Reciproca
- ~p => ~q Contraria
- ~q => ~p Contra-reciproca
Las cuatro implicaciones se llaman conjugadas y cualquiera de ellas puede tomarse como “Directa”.
Las implicaciones contra-reciprocas son equivalentes:
- p => q ~q => ~p
- q => p ~p => ~q
La negación de una implicación, considerando el teorema:
- ~(p => q) ~(~p v q) p ʌ ~q
Ejemplos
Simplificar : i) p ʌ (p v q)

Procederían: p ʌ (p v q) (p ʌ p) v (p ʌ q) p v (p ʌ q) (p v p)^(p v q) p ʌ (p v q)
Sin embargo:
p ʌ (p v q) (p v F) ʌ (p v q) : L. Identidad
p v (F ʌ q) : L. Distributiva
pvF : L. Identidad
p : L. Identidad
ii) q ʌ [(~p ʌ q) v (~r ʌ ~p)
Tendríamos:
q ʌ [(~p ʌ q) v (~p ʌ ~r) : Ordenando
q ʌ [~p ʌ ( q v ~r) ] : L. Distributiva
~p ʌ [q ʌ ( q v ~r) ] : L. Asociativa
~p ʌ [(q v F) ʌ ( q v ~r) ] : L. Identidad
~p ʌ [(q v (F ʌ ~r) ] : L. Distributiva
~p ʌ [(q v F) ] : L. Identidad
~p ʌ q : L. Identidad
Circuitos Lógicos.-

En un circuito, los interruptores son los elementos que permiten o no el paso de corriente. Así, la intensidad de
corriente pasara si el interruptor esta “conectado” o “cerrado”, pero si esta “desconectado” o “abierto” no existirá paso
de corriente.
Si asociamos una proposición a cada interruptor, intuitivamente diremos que en el álgebra de circuitos, la V
representa el interruptor cerrado y F el interruptor abierto. Asi:

Pasa la corriente
p=V

No pasa la corriente
p=F

De acuerdo a dicho criterio, vemos que las funciones proposicionales se pueden representar mediante
circuitos lógicos en el que se consideran varios interruptores que representan las proposiciones que la
componen. Pudiendo combinar en serie o en paralelo según el conectivo lógico que une las proposiciones.

Circuitos en Serie:

Está representado por la conjunción de dos proposiciones, ya que solo es V cuando ambas son V

A p q B
 Circuitos en Paralelo:

Está representado por la disyunción de dos proposiciones, ya que solo es F cuando ambas son F

p
A B

q
De lo anterior, el conectivo lógico “ʌ” representa conexión en serie y el conectivo lógico “v” representa la
conexión en paralelo.

Ejemplo: Representar los circuitos lógicos de: ~p

i) p => q Como p => q ~p v q A B

q

ii) p <=> q Como p <=> q (~p v q) ʌ (~q v p)

~p ~q
A B

q p
 iii) pvq Como (~p ʌ q) v (~q ʌ p)

~p q
A B

~q p
Ejemplo:
Dada la proposición: ~(p v~q) v [r ʌ ~(q ʌ ~ p)] Representar el circuito lógico y simplificar

~ (p v~q) v [r ʌ~ (q ʌ ~ p)] => (~ p ʌ q) v [ r ʌ (~q v p)] L. D’Morgan

~p q
A B
~q
r
p
Simplificando: (~ p ʌ q) v [ r ʌ (~q v p)] => [(~ p ʌ q) v r] ʌ [(~ p ʌ q) v (~q v p)] L. Distributiva
=> [(~ p ʌ q) v r] ʌ [(~p ʌ q) v ~(q ʌ ~p)] L. D’Morgan
=> [(~ p ʌ q) v r] ʌ [(~p ʌ q) v ~(~p ʌ q)] L. Conmutativa
=> [(~ p ʌ q) v r] ʌ [V] L. Complemento
=> (~ p ʌ q) v r L. Identidad

~p q
A B

r
PRACTICA 1
Representar el circuito lógico y simplificar.

i) ~( p ʌ q) ʌ {~(~p v r) v [(q v r) ʌ p] }

ii) { [~(p q) ʌ (~p v r)] v [~(p/q) v (r q) ] } ʌ (p v q v r)

 Cuantificadores

Una función P(x) se llama función proposicional, que según sean los valores de x puede tomar distintos valores de
verdad, esas posibilidades se las puede expresar mediante cuantificadores, que son dos:
Asi: P(x) : x es numero par

P(6) : 6 es numero par V

P( 2): 2 es numero par F

i) Cuantificador Universal.- ( ) Se lee “para todo elemento”.(de un conjunto de valores dado)

Si P(X) es una función proposicional, V x, P(x) es una proposición que se lee “para todo x, P(X) es verdad”

ii) Cuantificador Existencial.- ( ) Se lee “existe un elemento” (de un conjunto de valores dado)
Si P(X) es una función proposicional, x / P(x) es una proposición que se lee “existe un x tal que P(X) es verdad”
Ejemplo: P(x) : x es numero par

x; P(x) : “Cualquiera que sea x, x es par” F

x / P(x) : “Existe un x, tal que x es par” V

Negación de cuantificadores.-

i) ~[ x; p(x)] = x, / ~ p(x)
ii) ~[ x / p(x) ] = x ; ~ p(x)
~ [ x; P(x)] x / ~P(x): “Existe un x, tal que x no es par” V
~ [ x / P(x)] x ; ~ P(x) “Cualquiera que sea x, x no es par” F
 Algebra de Boole
El Algebra de Boole Desarrollado por George Boole (18540 es una herramienta matemática que se utiliza para el
estudio de computadores. Representa sistemas de compuertas de circuitos en la electrónica digital, considera:
- La aplicación en computadores es del tipo binario => 0, 1
- El estado de un elemento del circuito lógico viene representado por una variable que puede valer “1” o “0”
- Función: Es una expresión que indica la relación entre las variables y el No de variables.
F = f(a,b,c,….) F(a,b,c) = abc + bc + ac
- Tabla de Verdad: Tabla que recoge todas las combinaciones de los valores de entrada y los valores que
toman las salidas. F(a, b, c) = abc + abc + abc
a b c F
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 1
 - Operaciones en el Algebra de Boole
Unión a Adición: F = a + b (or)
Intersección o producto F = a • b (and)
Negación o Complemento F=a (not) [ a = a’ ]
- Leyes Fundamentales
a+a=1 a•a =0
. 0 + a = a. 1•a =a
. 1 + a = 1. 0•a=0
. a + a = a. a•a =a
. a =a
L. Conmutativa: a+b=b+a a•b =b•a
L. Asociativa: a + b + c = a + (b + c) = (a + b) + c
a • b • c = a • (b • c) = (a • b) • c
L. Distributiva: a + bc = (a + b)(a + c) -> a(b + c) = ab + ac
L. Absorción: a + ab = a (1 + b) = a -> a(a + b) = aa + ab = a
L. De Morgan a+b=a•b a•b=a+b

Simplificar: a• b + a• (b+a) + b• (b+c)

- a• b + a• b + a• a + b• b + b• c
- a• b + a + b + b• c
- a• (b + 1) + b• ( 1+ c)
- a•1 + b•1
- a+b