2

Ing. Abg. Juan Antonio Rodríguez Sejas

NOCIONES DE LÓGICA MATEMÁTICA

1.- PROPOSICIÓN.-

Consideremos las siguientes oraciones y relaciones matemáticas:

1.- ¿Qué hora es?

2.- ¡Alto!
3.- Wilsterman es el mejor equipo del futbol boliviano
4.- Los partidos neoliberales impiden las transformaciones en el País
5.- Los troskos siempre mienten a los estudiantes
6.- x + 2y ˂ -7

Son oraciones, interrogativa la primera; imperativa la segunda y las cuatro últimas son
declarativas.

De las dos primeras no podemos decir que son verdaderas ni falsas, por cuanto una pregunta
puede formularse o no y una orden puede ser cumplida o no. En cambio de las dos ultimas que
son declarativas, tiene sentido decir que son verdaderas o falsas, a estas se denominan
proposiciones.

Entonces:

PROPOSICIÓN, es toda oración respecto de la cual puede decirse si es verdadera o falsa

o sea esta asociada a un valor de verdad, el cual puede ser verdadero (V) o sino falso (F)
y se las representan mediante las letras p, q, r, s,....

2.- SIMBOLOGIA

Las proposiciones se simbolizan generalmente con las letras p, q, r, o A, B, C, etc.

Ej.: La proposición Wilsterman es el mejor equipo del futbol Boliviano se puede simbolizar
con la letra p

3.- CLASIFICACIÓN

Las proposiciones se clasifican en:

SIMPLES O ATÓMICAS, son las proposiciones que NO utilizan conectivos lógicos o llamados
también términos de enlace.
COMPUESTAS O MOLECULARES, son las proposiciones que se obtienen de la combinación
de dos o más proposiciones simples las que son enlazadas por los términos de enlace; por lo tanto
SI utilizan conectivos lógicos o términos de enlace.
 3

IMPORTANTE.- A partir de proposiciones simples se pueden generar proposiciones

compuestas.

4.- TÉRMINOS DE ENLACE O CONECTIVOS LÓGICOS

Llamados también operadores lógicos; son símbolos que enlazan proposiciones simples, sin
formar parte de ellas, para formar proposiciones compuestas.

CONECTIVO OPERACIÓN ASOCIADA SIGNIFICADO

 Negación No p o no es cierto que p
 Conjunción o producto Lógico pyq
 Disyunción o suma Lógica p o q (en sentido incluyente)
 Implicación o Condicional p implica q o si p, entonces q
 Doble implicación p si y solo si q
 Diferencia simétrica p o q (en sentido excluyente)

5.- OPERACIONES PROPOSICIONALES

IMPORTANTE.- Como consecuencia de estas operaciones el resultado SIEMPRE es

otra proposición denominada proposición compuesta.
5.a.- NEGACIÓN.- ()

Se trata de una operación unitaria, por cuanto a partir de una proposición se obtiene otra que es su
negación y cuya tabla de verdad es:

p p
1 0
0 1

5.b.- CONJUNCIÓN (  )

Es una operación donde intervienen siempre dos proposiciones, operación binaria y cuya tabla de
verdad es :
p  q

1 1 1
1 0 0
0 0 1
0 0 0
 4

5.c.- DISYUNCIÓN (  )

Es también una operación que involucra a dos proposiciones y cuya tabla de verdad es:

p  q

1 1 1
1 1 0
0 1 1
0 0 0

Observar que o en sentido incluyente es V, cuando una de las dos proposiciones es verdadera.

5.d.- IMPLICACIÓN O CONDICIONAL ()

Definida también para dos proposiciones: p y q, donde p es llamado el ANTECEDENTE y q el

CONSECUENTE y cuya tabla de verdad es:

p  q

1 1 1
1 0 0
0 1 1
0 1 0

La proposición condicional está asociada a otras tres proposiciones importantes, estas son: la
recíproca, la inversa y la contrareciproca

 La proposición reciproca que corresponde a la condicional p → q es q → p

 La proposición inversa o contraria que corresponde a la condicional p → q es ~ p → ~ q
 La proposición contrareciproca que corresponde a la condicional p → q es ~ q → ~ p

5.e.- DOBLE IMPLICACIÓN O BICONDICIONAL.-(  )

Operación asociada también al juego de dos proposiciones y cuya tabla de verdad es:

p  q

V V V
V F F
F F V
F V F
 5

5.f.- DIFERENCIA SIMÉTRICA.- (  o ∆)

Llamada también disyunción excluyente, donde la verdad de la operación está caracterizada por
la verdad de una y solo una de las proposiciones, su tabla de verdad es:

p  q

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

6.- VALORES DE VERDAD

 Para proposiciones simples el valor de verdad es simplemente la elección de una de las

dos alternativas: Verdadero (V) o falso (F).
 Para proposiciones compuestas o sea con varias proposiciones el número de alternativas
es determinada por la ecuación 2n; donde n es el número de proposiciones simples de la
proposición compuesta; luego se elabora la tabla de verdad correspondiente para
finalmente determinar el valor de verdad de la proposición compuesta, considerando los
siguientes criterios:

TAUTOLOGÍA: si todos los valores de verdad de la tabla son Verdaderos

CONTRADICCIÓN: si todos los valores de verdad de la tabla son Falsos

CONTINGENCIA: si los valores de verdad en la tabla son “mezcladitos”;

o sea es una combinación de verdaderos (V) y falsos (F)

7.- CIRCUITOS LÓGICOS

La verdad de una proposición puede asociarse al pasaje de corriente en un circuito eléctrico con
un interruptor, donde el interruptor se cierra, si la proposición p es Verdadera o 1 y se abre si p es
Falsa o 0.

Para representar a p si es Verdadera (1), se tiene:

Para representar a p si es Falsa (0), se tiene:

 6
Las operaciones proposicionales de la CONJUNCIÓN y la DISYUNCIÓN, se pueden representar
mediante las conexiones serie y paralelo de los circuitos eléctricos, llamados en lógica, circuitos
lógicos, a saber:

CONJUNCIÓN (  ) : Operación proposicional representada mediante la conexión en

SERIE de los circuitos eléctricos:
p q

Se puede observar que este circuito admite el pasaje de corriente solo si las dos proposiciones son
verdaderas:
p  q

1 1 1
1 0 0
0 0 1
0 0 0

DISYUNCIÓN ( ) : Operación proposicional representada mediante la conexión en

PARALELO de los circuitos eléctricos:
p

Se verifica que no pasa corriente, para el caso de que ambas proposiciones son falsas:

p  q

1 1 1
1 1 0
0 1 1
0 0 0
0
Para el caso de la disjuncion excluyente o diferencia simétrica y aprovechando sus equivalentes
lógicos, nos permite operar:

p ∆ q ≡ ~ (p ↔ q) ≡ (p ˅ q) ˄ ~ (p ˄ q) ≡ (p ˄ ~ q) ˅ (q ˄ ~ p)

Lo que nos permite representar el circuito lógico que corresponde a p ∆ q:

 7

DIFERENCIA SIMETRICA (∆):

p ~q

~p q

Permite pasar la corriente cuando una de las proposiciones es verdadera:

p  q

1 0 1
1 1 0
0 1 1
0 0 0

Igualmente para el condicional, aprovechando su equivalente lógico:

IMPLICACION O CONDICIONAL ( → ) :
~p

8.- LEYES LÓGICAS

INVOLUCIÓN :  ( p)  p IDENTIDAD:
p  F  p
V p  p
IDEMPOTENCIA: p  p  p
p  p  p LEY DE ABSORCION:
p  F  F
CONMUTATIVIDAD: p  V  V
p  q  q  p
p  q  q p LEY DEL COMPLEMENTO:
p  q  q  p p   p  V
p   p  F
 8

ASOCIATIVIDAD: DISTRIBUTIVIDAD:
p (q  r)  (p  q) r p (q  r)  (p  q)  (p r)
p (q  r)  (p  q) r p (q  r)  (p  q)  (pr)
p (q  r)  (p  q) r p (q  r)  (p  q)  (pr)
p (q  r)  (p  q)  (pr)

EQUIVALENTES LÓGICOS:
LEY * :
p  q  p  q
p (p  q)  p
p  q  (p  q) (q  p)
p (p  q)  p
p  q ~(p∆q)

LEYES DE D´MORGAN:
LEY ** :
(p  q)  p  q
p  ( p  q)  p  q
(p  q)  p  q
p  ( p  q )  p  q

LEY DE LA CONTRARECIPROCA:
p  q  q p

9.- RAZONAMIENTO DEDUCTIVO VALIDO

LEY DEL MODUS PONENS: LEY DEL MODUS TOLLENS:

p  q p  q
p q
q
[(p  q) ˄ p] → q
p
[(p  q) ˄  q] →  p

LEY DEL SILOGISMO LEY DEL MODUS TOLLENDO PONENS:

HIPOTÉTICO:
pq p q
p  q
q  r p q
q p
p  r

[(p  q) ˄  p] → q
[(p  q) ˄ (q  r)] → (p  r)
[(p  q) ˄  q] → p
 9

SIMPLIFICACIÓN: SILOGISMO DISYUNTIVO:

p  q p  q p  q
p q p  r
(p  q) → p q  s
(p  q) → q r  s

LEY DE LA CONJUNCION: LEY DE LA ADICION:

p p
q
p  W
p  q
p → (p  W)
[(p) ˄ (q)] → (p  q)

10.- CUANTIFICADORES

Introducimos la cuantificación asociada a un objeto determinado x, perteneciente a cierto

universo o conjunto expresado mediante los símbolos x llamado cuantificador universal y x
llamado cuantificador existencial en x, entonces:

Para todo x, se verifica P(x) y se denota por  x : P(x)

Existe x, tal que se verifica P(x) y se denota por  x / P(x)

y corresponde a una función proposicional P(x) o propiedad relativa al objeto x cuantificado

universalmente en el primer caso y existencialmente en el segundo caso.

Para negar una función proposicional cuantificada universalmente, se cambia el cuantificador en

existencial y se niega la función proposicional; igualmente para la negación de un cuantificador
existencial, o sea:

 [ x : P(x) ]  x/  P(x)

 [ x / P(x) ]   x /  P(x)

Febrero del 2019