LÓGICA MATEMÁTICA

TEMA N° 2

LÓGICA MATEMÁTICA
2.1.INTRODUCCIÓN.

La lógica matemática es la disciplina que trata de métodos de razonamiento. En un nivel

elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un
argumento dado. El razonamiento lógico se emplea en matemáticas para demostrar teoremas;
en ciencias de la computación para verificar si son o no correctos los programas; en las
ciencias física y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales
y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma
constante el razonamiento lógico para realizar cualquier actividad.

2.2.PROPOSICIONES. DEFINICIÓN

Una proposición es toda oración do enunciado respecto de la cual se puede decir si es

verdadera V o falsa F, pero no ambas a la vez. La proposición es un elemento fundamental
de la lógica matemática.

EJEMPLO:

a) Tome dos aspirinas

b) ¿Habla usted inglés?

c) 2 es un número primo V

d) 3 es mayor que 5 F

e) El sol Saldrá mañana VoF

Se trata de 5 oraciones diferentes, una orden, una interrogativa y 3 declarativas. De las 2

primeras no podemos decir que sean verdaderas ni falsas. Mientras, de las tres últimas, que
son declarativas, tiene sentido decir que son verdaderas o falsas. A estas oraciones se
denomina proposiciones.

2.3.NOTACIONES

A las proposiciones simples o genéricas (llamadas también atómicas) se acostumbran denotar

con las letras minúsculas p, q, r,………..

ING. EDITH GUTIÉRREZ 1

 LÓGICA MATEMÁTICA

EJEMPLO:

p: La tierra es plana.

q: -V7 + 38 = 2V

r: x > y-9

s: El tigre será campeón en la presente temporada de Fútbol.

t: Hola ¿cómo estás?

w: Lava el coche por favor.

Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto, son
proposiciones válidas. El inciso r también es una proposición valida, aunque el valor de falso
o verdadero depende del valor asignado a las variables x y y en determinado momento. La
proposición del inciso s también está perfectamente expresada, aunque para decir si es falsa
o verdadera se tendría que esperar a que terminara la temporada de fútbol. Sin embargo, los
enunciados t y w no son válidos, ya que no pueden tomar un valor de falso o verdadero, uno
de ellos es un saludo y el otro es una orden.

2.4.CONECTIVOS LÓGICOS

Existen conectores u operadores lógicos que permiten formar proposiciones compuestas

(formadas por varias proposiciones). Los operadores o conectores básicos son:

SÍMBOLO DESCRIPCIÓN
~ NO, negación, not
^ Y, and
˅ O, or
→ Si entonces
↔ Si solo si
˅ O excluyente

2.5.OPERACIONES PROPOSICIONALES

Las operaciones proposicionales, cuyos valores de verdad se conocen, las operaciones entre
proposiciones tratan de generar otras proposiciones y caracterizar la proposición resultante a
través de su valor de verdad.

Estas son la negación, conjunción, disyunción, implicación, doble implicación y la

disyunción exclusiva.

ING. EDITH GUTIÉRREZ 2

 LÓGICA MATEMÁTICA

2.5.1. NEGACIÓN: Operador Not (no).

La negación de la proposición “p” es la proposición “no p” que se escribe “~ p” cuya tabla

de valores de verdad es:

p ~p
La negación de está
lloviendo en este
V F
momento (p=1), es no está
lloviendo en este
F V
momento (~p=0)

Su función es negar la proposición. Esto significa que sí alguna proposición es verdadera y

se le aplica el operador not se obtendrá su complemento o negación (falso).

EJEMPLO:

La negación de la proposición

p: “todo estudiante es educado”

~p: “no todo estudiante es educado”

2.5.2. CONJUNCIÓN: Operador and (y)

Se llama conjunción de dos proposiciones, p y q , a la proposición que se obtiene uniéndolas

por medio del conectivo “y”, se escribe p ^ q y se lee “p y q”, cuya tabla de verdad es:

p Q pq

V V V

V F F

F V F

F F F

Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener
un resultado verdadero. Si símbolo es: {}. Se le conoce como la multiplicación lógica:

ING. EDITH GUTIÉRREZ 3

 LÓGICA MATEMÁTICA

REGLA: la conjunción de 2 proposiciones es verdadera (V)solamente cuando las dos

proposiciones componentes son verdaderas, en otro caso es falsa (V).

EJEMPLO.

Sea el siguiente enunciado “El coche enciende cuando tiene gasolina en el tanque y tiene
corriente la batería”

Sean:

p: El coche enciende cuando tiene gasolina en el tanque.

q: El coche enciende cuando tiene corriente en la batería.

De tal manera que la representación del enunciado anterior usando simbología lógica es como
sigue:

pq

2.5.3. DISYUNCIÓN: Operador Or (o)

Se llama disyunción de dos proposiciones, p y q, a la proposición que se obtiene uniéndolas

por medio del conectivo “o”, se escribe p ˅ q y se lee “p o q”, cuya tabla de valores de verdad
es:

p Q pq

V V V

V F V

F V V

F F F

Con este operador se obtiene un resultado verdadero cuando alguna de las proposiciones es
verdadera. Se indica por medio del siguiente simbolo: {}. Se conoce como la suma lógica.

REGLA: La disyunción de dos proposiciones es falsa (F) si las dos proposiciones

componentes son falsas, en otro caso es verdadera (V).

ING. EDITH GUTIÉRREZ 4

 LÓGICA MATEMÁTICA

EJEMPLO.

Sea el siguiente enunciado “Una persona puede entrar al cine si compra su boleto u obtiene
un pase”. Donde.

p: Entra al cine si compra su boleto

q: Entra al cine si obtiene un pase

luego la proposición compuesta se simboliza:

p˅q

2.5.4. IMPLICACIÓN O CONDICIONAL:

Una proposición condicional, es aquella que está formada por dos proposiciones simples (o
compuesta) p y q. Llamaremos a la primera proposición de (p) antecedente y a la segunda (q)
consecuente. La cual se indica de la siguiente manera:

pq Se lee “Si p entonces q”

Cuya tabla de valores de verdad es:

p q pq

V V V

V F F

F V V

F F V

REGLA: la implicación de dos proposiciones es falsa (F), solamente cuando el antecedente

es verdadero y el consecuente es falso, en otro caso es verdadera (V).

EJEMPLO.

Sean

El candidato del PRI dice “Si salgo electo presidente de la República recibirán un 5% de
aumento en su sueldo el próximo año”.

ING. EDITH GUTIÉRREZ 5

 LÓGICA MATEMÁTICA

p: Salió electo Presidente de la República.

q: Recibirán un 5% de aumento en su sueldo el próximo año.

De tal manera que el enunciado se puede expresar de la siguiente manera.

pq

2.5.5. PROPOSICIÓN BICONDICIONAL.

Sean p y q dos proposiciones entonces se puede indicar la proposición bicondicional de la

siguiente manera:

pq Se lee “p si solo si q”

Esto significa que p es verdadera si y solo si q es también verdadera. O bien p es falsa si y

solo si q también lo es.

Su tabla de verdad es:

p q pq

V V V

V F F

F V F

F F V

REGLA: La bicondicional de dos proposiciones es verdadera(V) solamente cuando las dos

proposiciones componentes tienen el mismo valor de verdad, en otro caso es falsa (F).

EJEMPLO:

“Es buen estudiante, si y solo si; tiene promedio de diez”

ING. EDITH GUTIÉRREZ 6

 LÓGICA MATEMÁTICA

Donde:

p: Es buen estudiante.

q: Tiene promedio de diez.

Luego la proposición compuesta se simboliza p  q

2.5.6. DISYUNCIÓN EXCLUSIVA:

Se llama disyunción de dos proposiciones, p y q, a la proposición que se obtiene uniéndolas

por medio del conectivo “o” excluyente, se escribe p v q , y se lee “p o q” en sentido
excluyente (p o bien q), cuya tabla de valores de verdad es:

p q p v q

V V F

V F V

F V V

F F F

REGLA: La disyunción de dos proposiciones exclusiva es falsa (F) cuando las dos
proposiciones componentes tienen el mismo valor de verdad, en otro caso es verdadera (V)

EJEMPLO:

“la capital de Bolivia es La Paz o Sucre”

p: “La capital de Bolivia es La Paz”

q: “La capital de Bolivia es Sucre”

luego se simboliza como: p v q

2.6. FORMULAS PROPOSICIONALES.

Una formula proposicional es una combinación de proposiciones y conectivos lógicos que

simboliza a una proposición compuesta o molecular:

ING. EDITH GUTIÉRREZ 7

 LÓGICA MATEMÁTICA

En este momento ya se pueden representar con notación lógica enunciados más complejos.

EJEMPLO

Sean las proposiciones:

p: Hoy es domingo.

q: Tengo que estudiar teorías del aprendizaje.

r: Aprobaré el curso.

El enunciado: “Hoy es domingo y tengo que estudiar teorías de aprendizaje o no aprobaré el

curso”. Se puede representar simbólicamente de la siguiente manera:

p  q r fórmula proposicional

EJEMPLO.

Sea el siguiente enunciado “Si no pago la luz, entonces me cortarán la corriente eléctrica.
Y Si pago la luz, entonces me quedaré sin dinero o pediré prestado. Y Si me quedo sin
dinero y pido prestado, entonces no podré pagar la deuda, si solo si soy desorganizado”

Donde:

p: Pago la luz.

q: Me cortarán la corriente eléctrica.

r: Me quedaré sin dinero.

s: Pediré prestado.

t: Pagar la deuda.

w: soy desorganizado.

(~p  q)  p  (rs)   (r s)  ~t   w Formula proposicional

ING. EDITH GUTIÉRREZ 8

 LÓGICA MATEMÁTICA

2.7. TABLAS DE VERDAD.

En estos momentos ya se está en condiciones de elaborar cualquier tabla de verdad. A

continuación, se presenta un ejemplo para la proposición

[(pq) (~qr)  (rq).

p q R ~q pq (~qr) (pq) (~qr) rq [(pq) (~qr)  (rq)

F F F V V F V V V

F F V V V V V F F

F V F F V F V V V

F V V F V F V V V

V F F V F F F V F

V F V V F V V F F

V V F F V F V V V

V V V F V F V V V

El número de líneas de la tabla de verdad depende del número de variables de la expresión

y se puede calcular por medio de la siguiente formula.

No de líneas = 2n Donde n = número de variables distintas.

2.8.

ING. EDITH GUTIÉRREZ 9

 LÓGICA MATEMÁTICA

2.9. CLASIFICACIÓN DE FORMULAS PROPOSICIONALES:

Las formulas proposicionales (las proposiciones compuestas) se clasifican, según sus calores
de verdad, en Tautología, Contradicción y Contingencia.

2.9.1. TAUTOLOGÍA.

Tautología, es aquella proposición (compuesta) que es cierta para todos los valores de
verdad de sus variables.

EJEMPLO:

(pq)(~q~p)

p q ~p ~q pq ~q~p (pq)(~q~p)

F F V V V V V

F V V F V V V

V F F V F F V

V V F F V V V

Note que en las tautologías para todos los valores de verdad el resultado de la proposición es
siempre V. Las tautologías son muy importantes en lógica matemática ya que se consideran
leyes en las cuales nos podemos apoyar para realizar demostraciones.

2.9.2. CONTRADICCIÓN

Es aquella proposición que siempre es falsa para todos los valores de verdad, una de las más
usadas y más sencilla es p~p . Como lo muestra su correspondiente tabla de verdad.

ING. EDITH GUTIÉRREZ 10

 LÓGICA MATEMÁTICA

EJEMPLO:

p ~p p~p

F V F

V F F

Si en el ejemplo anterior

p: La puerta es verde.

La proposición p~p equivale a decir que “La puerta es verde y la puerta no es verde”. Por
lo tanto, se está contradiciendo o se dice que es una contradicción.

2.9.3. CONTINGENCIA.

Una proposición compuesta cuyos resultados en sus deferentes líneas de la tabla de verdad,
dan como resultado V y F se le llama contingente.

EJEMPLO:

(p ↔ ~q) v ~(p ^ q)

P q ~q (p ↔ ~q) (p ^ q) ~(p ^ q) (p ↔ ~q) v ~(p ^ q)

V V F F V F F

V F V V F V F

F V F V F V F

F F V F F V V

Según la última columna la formula dada es una contingencia, ya que no es tautología no

contradicción.

ING. EDITH GUTIÉRREZ 11

 LÓGICA MATEMÁTICA

2.10. EQUIVALENCIA LÓGICA.

Se dice que dos proposiciones son lógicamente equivalentes, o simplemente equivalentes.

Si coinciden sus resultados para los mismo valores de verdad. Se indican como p  q.

Considero que un buen ejemplo es el que se estableció para ilustrar la tautología en donde se
puede observar que las columnas de (pq) y (~q~p) para los mismo valores de verdad,
por lo tanto se puede establecer que (pq)  (~q~p)

EJEMPLO:

(pq)  (~q~p)

P q ~q ~p (pq) (~q~p)

V V F F V V

V F V F F F

F V F V V V

F F V V V V

Luego las formulas dadas son equivales: (pq)  (~q~p)

EJEMPLOS ADICIONALES

Ejemplo 1:

Sabiendo que los valores de verdad de las proposiciones p, q, r son, respectivamente, V, F,

V, determinar el valor de verdad de

~ [~ (p → ~r) ^ (~q v ~p)] ↔ ~[r → ~ (~p ˅ ~q)]

Sustituyendo los valores de verdad de las proposiciones:

p =V
q=F
r=V

ING. EDITH GUTIÉRREZ 12

 LÓGICA MATEMÁTICA

se obtiene:

~ [~ (p → ~r) ^ (~q v ~p)] ↔ ~ [r → ~ (~p ˅ ~q)]

~ [~ (V → ~V) ^ (~F v ~V)] ↔ ~ [V → ~ (~V ˅ ~F)]

~ [~ (V → F) ^ (V v F)] ↔ ~ [V → ~ (F ˅ V)]

~ [~ F ^ V] ↔ ~ [V → ~ V]

tal~ [V ^ V] ↔ ~ [V → F]

~V↔~F

F↔V=F

Ejemplo 2:

Sabiendo que p es F y que q es una proposición cualquiera, determinar el valor de verdad de

la proposición x.

Tal que (~p → x) → (p ^ ~q) sea verdadero.

Si p es F, entonces la proposición dada resulta

= (~F → x) → (F ^ ~q)

= (V → x) → F

Para que esta última expresión resulte verdadera, según la regla de implicación, el
antecedente debe ser F, es decir V → x = F, donde x debe ser F.

2.11. ALGEBRA DE PROPOSICIONES

Son operaciones lógicas que se realizan en una formula proposicional, aplicando

adecuadamente ciertas reglas básicas llamadas leyes lógicas. Es decir, al igual que en algebra
básica donde la simplificación de expresiones algebraicas es muy importante, en lógica
también existe la necesidad de simplificar formulas proposicionales complejas, a través de
ciertas equivalencias llamadas leyes lógicas, que a continuación se listan.

ING. EDITH GUTIÉRREZ 13

 LÓGICA MATEMÁTICA

2.11.1. LEYES LÓGICAS

a) LEYES DE IDEMPOTENCIA: p^p≡p ; pvp≡p

b) LEYES CONMUTATIVAS: p^q≡q^p ; p^q≡q^p

c) LEYES ASOCIATIVAS: (p ^ q) ^ r ≡ p ^ (q ^ r)
(p v q) v r ≡ p v (q v r)

d) LEYES DE NEGACIÓN: ~(~p )≡ p

p ^~p ≡F ;p v ~p≡V

e) LEYES DE IDENTIDAD: p^V≡p ; pvF≡p

f) LEYES DE MORGAN: ~ (p ^ q) ≡ ~ p v ~ q
~ (p v q) ≡ ~ p ^ ~ q

g) DEFINICIÓN DE IMPLICACIÓN: p → q ≡ ~ pv q

h) LEYES DISTRIBUTIVAS: p ^ (q v r) ≡ (p ^ q) v (p ^ r)
p v (q ^ r) ≡ (p v q) ^ (p v r)

i) LEYES DE ABSORCIÓN: p ^ (p v q) ≡ p ; p v (p ^ q) ≡ p
p ^ F ≡F ; p v V≡V

j) DEFINICIÓN DE DOBLE IMPLICACIÓN: p ↔ q ≡ (p → q) ^ (q →p)

k) EQUIVALENCIA LÓGICA: p ↔ q ≡ ~ ( p v q)

ING. EDITH GUTIÉRREZ 14

 LÓGICA MATEMÁTICA

2.11.2. SIMPLIFICACIÓN DE FORMULAS PROPOSICIONALES

Se trata de transformar una formula proposicional en otra equivalente a ella, pero lo más
reducida posible. Para lo cual se debe usar oportuna y correctamente las leyes lógicas. Así
mismo, deben especificarse en cada paso la ley o leyes que fueron utilizados.

EJEMPLOS:

a) Simplificar: [~(p  q)  (~p  q)]  (~p  q)

[~(p  q)  (~p  q)]  (~p  q) Ley de Morgan

[(~p  ~q)  (~p  q)]  (~p  q) Distributiva
[~p  (~q  q)]  (~p  q) Negación
(~p  V)  (~p  q) Identidad
~p  (~p  q) Implicación
~ (~p)  (~p  q) Negación
p  (~p  q) Distributiva
(p  ~p)  (p  q) Negación
V  (p  q) Identidad
pq

b) Simplificar la expresión:

[(p p)  q]  [~q  (r  q)]  [p  (p  ~q)]

[(~p  p)  q]  [~q  (r  q)]  [~p  (p  ~q)] Condicional

[(~p  p)  q]  [~q  (r  q)]  [(~p  p)  ~q] Asociativa
(V  q)  [~q  (r  q)]  (V  ~q) Identidad
V  [~q  (r  q)]  V Identidad
V  V  [~q  (r  q)] Asociativa
V  [~q  (r  q)] Identidad
~q  (r  q) Distributiva

ING. EDITH GUTIÉRREZ 15

 LÓGICA MATEMÁTICA

(~q  r)  (~q  q) Negación

(~q  r)  V Identidad

~q  r

c) simplificar: [(p ~q)  ~p ]  q

[(p ~q)  ~p ]  q Implicación

~ [~ (~p v ~q) v ~p ] v q Morgan

[~~ (~p v ~q) ˄ ~~p ] v q Negación
[ (~p v ~q) ˄ p ] v q Conmutativa
[ p ˄ (~p v ~q) ] v q Distributiva
[ (p ˄ ~p ) v (p ˄ ~q) ] v q Complemento
[ F v (p ˄ ~q) ] v q Identidad
(p ˄ ~q) v q Conmutativa
q v (p ˄ ~q) Distributiva
(q v p) ˄ (q v ~q) Negación
(q v p) ˄ V Identidad

(q v p)

2.12. CIRCUITOS LÓGICOS

Un circuito, con un interruptor, puede estar “abierto” o “cerrado”. Cuando el interruptor está
abierto no permite el paso de corriente, mientras que cuando está cerrado sí lo permite. Si
asociamos una proposición a cada interruptor, intuitivamente, vemos que en el álgebra de
circuitos V de tal proposición indica el interruptor cerrado y F el interruptor abierto. Así, el
circuito lógico que representa a una proposición p es:

ING. EDITH GUTIÉRREZ 16

 LÓGICA MATEMÁTICA

V: Pasa Corriente

F: No pasa Corriente

2.12.1. CIRCUITOS EN SERIE Y PARALELO

Las operaciones proposicionales se pueden representar mediante circuitos lógicos con tantos
interruptores como proposiciones que la componen, combinados en serie o en paralelo según
el conectivo lógico que une las proposiciones.

a) CIRCUITOS EN SERIE:

La conjunción de dos proposiciones (p˄q) está representada por un circuito lógico en serie:
Esto es:

ING. EDITH GUTIÉRREZ 17

 LÓGICA MATEMÁTICA

p q

p y q conectados en serie:

Este circuito permite el paso de corriente únicamente si p y q son V (o están cerrados).

Así, se obtiene la tabla de verdad de la conjunción de dos proposiciones, p y q.

b) CIRCUITOS EN PARALELO:

La disyunción de dos proposiciones (p˅q) está representada por un circuito lógico en

paralelo. Esto es:

ING. EDITH GUTIÉRREZ 18

 LÓGICA MATEMÁTICA

p y q conectados en paralelo

Este circuito no permite el paso de corriente únicamente si p y q son F (o están abiertos). Por
lo cual, la tabla de verdad de la disyunción de dos proposiciones, p y q, es:

El conectivo lógico “y” (˄) equivale a conexión en serie, mientras el conectivo lógico “o”
(˅) equivale a la conexión en paralelo.

EJEMPLO:

Representar el circuito lógico de p→q

Como p→q≡∼p∨q

Luego el circuito lógico que representa es:

ING. EDITH GUTIÉRREZ 19

 LÓGICA MATEMÁTICA

EJEMPLO:

Representar el circuito lógico de p ↔ q

Como p ↔ q ≡ (p → q) ∧ (q → p)

≡ (~p ˅ q) ∧ (~q ˅ p)

Pero como (p → q) y (q → p) se pueden representar de la siguiente

manera:

EJEMPLO:

Representar el circuito lógico de p v q

Como p v q ≡ ~ (p ↔q)

≡ ~ [(p → q) ∧ (q → p)]

≡ ~ [(~p ˅ q) ∧ (~q ˅ p)]

ING. EDITH GUTIÉRREZ 20

 LÓGICA MATEMÁTICA

≡ ~ (~p ˅ q) ∧ ~ (~q ˅ p)]

≡ (p ˄ ~ q) ˅ (q ˄ ~ p)]

Luego el circuito lógico que representa es:

EJERCICIOS RESUELTOS:

 ESCRIBIR LA PROPOSICIÓN CORRESPONDIENTE AL CIRCUITO:

p ˄ {[q ˄ (s ˅ ~p)] ˅ [(p ˅ q) ˅ (~q ˅ r)]}

ING. EDITH GUTIÉRREZ 21

 LÓGICA MATEMÁTICA

 Determinar los circuitos lógicos que representan los siguientes

esquemas moleculares.

∼ [ p → ∼ (q v r) ]

Simplificando se tiene:

∼ [ p → ∼ (q v r) Ξ ∼ [∼p v ~∼ (q v r)
= p Λ (q v r)

 Determinar la menor expresión que representa al circuito dado:

∼p ∼q
p

∼
Solución
p
p
q

La función del circuito dado es: [(∼p Λ ∼q) v (p Λ (∼p v q))]

Ahora simplificando la proposición obtenida

[(∼p Λ ∼q) v (p Λ (∼p v q))] Ξ [ (∼p Λ ∼q ) Λ ( p Λ q ) ] Ξ p ↔ q

 Hallar la proposición equivalente más simplificada del siguiente circuito

ING. EDITH GUTIÉRREZ 22

 LÓGICA MATEMÁTICA

La función del circuito dado es: [p v q v (∼p Λ ∼q)] Λ [(∼p v q) Λ p]

Simplificando la proposición obtenida se tiene:

[(p v q) v (∼p Λ ∼q)] Λ [(∼p v q) Λ p] distributiva con respecto Λ

[p v q v ∼p) Λ (p v q v ∼q)] Λ [(∼p v q) Λ p] distributiva respecto a v
(V Λ V) Λ [(p Λ ∼p) v (p Λ q)] por equivalencias
V Λ [F v (p Λ q)] = V v (p Λ q) = p Λ q

Por lo tanto la equivalencia es: [p v q v (∼p Λ ∼q)] v [(∼p v q) Λ p] Ξ p Λ q

Por lo tanto el circuito simplificado equivalente es:

o p q o

2.13. INFERENCIA LÓGICA

Se debe entender por inferencia lógica a un razonamiento en el que a partir de un conjunto

de proposiciones llamadas premisas se obtiene un resultado llamado conclusión. Un
razonamiento es válido sí, y solamente sí, la conjunción de las premisas implica la
conclusión, o la conclusión es consecuencia de las premisas. Es decir, si las premisas son
todas verdaderas entonces las conclusiones que se derivan de ellas lógicamente han de ser
verdaderas. Sin embargo, si una o más de las premisas es falsa, la conjunción de todas las
premisas es falsa; por tanto, la conclusión puede ser verdadera o falsa.

Cuando Q es consecuencia (conclusión) de las premisas: P1, P2,…….,Pn, se escribe:

P1
P2
. premisas
.
.
Pn
_____________
Q Conclusión

Esto significa que la siguiente implicación es una tautología.

(P1 ˄ P2 ˄ ……. ˄ Pn)

ING. EDITH GUTIÉRREZ 23

 LÓGICA MATEMÁTICA

2.13.1. REGLAS DE INFERENCIA

Se le llaman reglas de inferencia a todo argumento universalmente correcto (o formas

correctas de razonamiento) que representan métodos generales de razonamiento válido.

Las siguientes son formas correctas de razonamiento:

a) MODUS PONENS (PP)

pq p ~ q ~ pq
p p ~ p
q ~ q q
b) MODUS TOLLENDO TOLLENS (TT)
pq p   q
~q q
~ p p
c) MODUS TOLLENDO PONENS (TP)
pq pq
~q ~ p
o
p q

d) LEY DEL SILOGISMO HIPOTÉTICO (SH)

pq
qr
p r

e) LEY DE SIMPLIFICACIÓN (LS)

pq
p
q

f) LEY DE CONJUNCIÓN (LC)

p ( premisa)
q ( premisa)
pq
g) LEY DE ADICIÓN (LA)
p ( premisa)
pq

ING. EDITH GUTIÉRREZ 24

 LÓGICA MATEMÁTICA

h) DILEMA CONSTRUCTIVO (DC)

p→q
r→t
p˅r
q˅t

a) DILEMA DESTRUCTIVO (DD)

p→q
r→t
~q ˅ ~t
~p ˅ ~r

EJERCICIOS RESUELTOS

Ejemplo 1: Dado el siguiente argumento simbólico deducir t s

1) e  s
2 ) t  j
3) e  j
Demostración
1) e  s
2 )  t  j
3) e  j

4) e 3.S
5) s 1,4 PP
6) j 3.S
7) t 2 ,6TT
8) t  s 5 ,7 A

Ejemplo 2: Deducir t

1) ( p  q )  r
2)  (q  r )
3) s  p
4 )s  t
________
5) p  (q  r ) 1. Exp
6 ) p 2 ,5 TT
7) s 3 ,6 TP
8) t 4 ,7 PP

ING. EDITH GUTIÉRREZ 25

 LÓGICA MATEMÁTICA

Ejemplo 3:

Si la ballena es un mamífero, entonces toma oxigeno del aire. Si toma su oxigeno del aire,
entonces no necesita branquias. La ballena es un mamífero y vive en el océano. Por lo tanto
no necesita branquias.

 Lo primero que hay que hacer es identificar cada una de las proposiciones simples

p: La ballena es un mamífero
q: La ballena toma su oxigeno del aire
r: La ballena necesita branquias
s: La ballena habita en el océano

 Se simboliza ahora el argumento

pq (Primera premisa)
q  r (Segunda premisa)
ps (Tercera premisa)
------------
r (Conclusión)

Pero veamos el procedimiento lógico para llegar a esta conclusión, es decir, la deducción
proposicional
1) p  q
2) q   r
3) p  s
_______
4) P 3.S
5) q 1,4 PP
6) r 2,5 PP

Ejemplo 3:

Si sigue lloviendo, entonces el río crecerá. Si sigue lloviendo. Si sigue lloviendo y el río
crece, entonces el puente será arrastrado por las aguas. Si la continuación de la lluvia hace
que el puente sea arrastrado por las aguas, entonces no será suficiente un solo camino para
toda la ciudad. O bien un solo camino es suficiente para toda la ciudad o bien los ingenieros
han cometido un error. Por tanto, los ingenieros han cometido un error.

 Simbolizando las proposiciones

c: continúa lloviendo
r: el río crece
p: el puente es arrastrado por las aguas
s: un solo camino es suficiente para toda la ciudad
e: los ingenieros han cometido un error

ING. EDITH GUTIÉRREZ 26

 LÓGICA MATEMÁTICA

 La prueba formal de validez es:

c  r (Primera premisa)
2) ( c  r )  p (segunda premisa)
3) ( c  p )  s (Tercera premisa)
4) s  e (cuarta premisa)
_________________
∴e (conclusión)

Veamos como se llega a la conclusión

1) c  r
2) ( c  r )  p
3) ( c  p )  s
4) s  e
_____________
5) c → (c ∧ r) 1, Abs.
6) c → p 5,2, S.H.
7) ∼ s 3,6, P P.
8) e 4,7, TP.

2.14. FUNCIONES PROPOSICIONALES Y CUANTIFICADORES

2.14.1. FUNCIONES PROPOSICIONALES

Supongamos tenemos los enunciados abiertos:

1. " x es la capital del Perú"

2. " x + 4 = 11"

Estos no tienen un valor depende del valor asignado a x.

Pero si en el primero de ellos hacemos x = Lima, tenemos:

"Lima es la capital del Perú" (V)

Asimismo, si en el segundo hacemos x = 9, resulta: 9 + 4 = 11 (F)

Podemos, entonces, dar la siguiente definición: "Una función proposicional es un

enunciado abierto de la forma P(x) que se convierte en una proposición cuando se le asigna
un valor específico a la variable".

EJEMPLOS:

p(x): 2x + 5 > 11, si x = 4 → 13 > 11 (Verdadero)

ING. EDITH GUTIÉRREZ 27

 LÓGICA MATEMÁTICA

q(x): 3x + 7 = 11, si x = 5 → 22 = 16 (Falso)

2.14.2. CUANTIFICADORES

A partir de funciones proposicionales es posible obtener proposiciones generales mediante

un proceso llamado de cuantificación. Asociados a la indeterminada x, introducimos los
símbolos ∀x y ∃x, llamados cuantificador universal y cuantificador existencial
respectivamente. Las expresiones

Para todo x, se verifica p(x) se denota por ∀ x : p(x)

Existe x, tal que se verifica p(x) se denota por ∃x / p(x)

Corresponden a una función proposicional p(x) cuantificada universalmente en el primer

caso, y existencialmente en el segundo.

EJEMPLO:

Una función proposicional cuantificada universalmente es V si y sólo si son V todas las

proposiciones particulares asociadas a aquella. Para asegurar la verdad de una proposición
cuantificada universalmente es suficiente que sea verdadera alguna de las proposiciones
asociadas a la función proposicional.

Un problema de interés es la negación de funciones proposicionales cuantificadas. Por

ejemplo, La negación de "Todos los enteros son impares" es "Existen enteros que no son
impares" y en símbolos: ∃x / ~ p(x)

Entonces, para negar una función proposicional cuantificada universalmente se cambia el

cuantificador en existencial, y se niega la función proposicional.

Los siguientes enunciados, formulados en base a la función proposicional p(n):

r: "Para todo número entero n, n es par"
s: "Existe un número racional n, tal que es par"
La expresión "para todo" se denota con el símbolo "" y se llama cuantificador universal,
y la expresión "existe", denotado con el símbolo "", se llama cuantificador existencial.
Estos cuantificadores unidos a una función proposicional la transforman en una proposición.
Podemos escribir las proposiciones r y s como:
r : "n  / n es par" s: "  n  / n es par"
Ejemplos
En el conjunto de los números enteros (Z) consideremos la proposición:

ING. EDITH GUTIÉRREZ 28

 LÓGICA MATEMÁTICA

p: Existen múltiplos de dos que son múltiplos de cuatro (verdadero)

La negación de p es:
~p: No existen múltiplos de dos que son múltiplos de cuatro (falso)
Equivalentemente:
~p: Todos los múltiplos de dos no son múltiplos de cuatro.
En símbolos:
p: " n Z / n es múltiplo de 2 y n es múltiplo de 4"
~p: "n Z, n no es múltiplo de 2 ó n no es múltiplo de 4"
en esta negación se usa las leyes de De Morgan.
En general, en relación a los cuantificadores tenemos:
~ [  xU / p(x)]  [xU, ~p(x)]
~ [xU, p(x)]  [  xU / ~p(x)]

ING. EDITH GUTIÉRREZ 29