Lgica, lgica, lgica. La lgica es el principio de la sabidura, Valeria, no el fin.

Star
Trek VI: El pas sin descubrir

** Operadores Lgicos **
En nuestro lenguaje comn usamos frecuentemente proposiciones ms complejas, no tan simples o
elementales.
Ejemplo. Proposiciones que no son simples.
1.- No te encontr en tu casa
2.- Fui al banco y estaba cerrado
3.- Tengo una moneda de cincuenta centavos o una de un peso
4.- El carro de Juan o es azul o es negro
5.- Estudio en la UGMEX si y solo si me esfuerzo
Surge entonces la necesidad de definir los nexos de estas proposiciones a los cuales se denominan
conectores u operadores lgicos. Gramaticalmente, estos nexos, en su mayora, son
denominados partes invariables de la oracin.
Definicin. (Negacin)
Sea

una proposicin, la negacin de

p , representada simblicamente por

p , es una

nueva proposicin, cuyo valor de verdad est dado por la siguiente tabla de verdad:
p

F
V

V
F

Este operador lgico cambia el valor de verdad de una proposicin: si

verdadera,

es falsa; si

es una proposicin falsa,

es una proposicin

es verdadera. La negacin se

presenta con los trminos gramaticales: no, ni, no es verdad que, no es cierto que.
Ejemplo. Negacin de proposiciones.
1.- Si se tiene la proposicin:
p : Tengo un billete de cincuenta pesos
La negacin de
p :

p es:
No tengo un billete de cincuenta pesos

2.- Si se tiene la proposicin:

M.C. LEONARDO A. MEDINA R.

Lgica, lgica, lgica. La lgica es el principio de la sabidura, Valeria, no el fin. Star

Trek VI: El pas sin descubrir

p : No quiero hacer el viaje

La negacin de p es:
p :

Quiero hacer el viaje

3.- Si se tiene la proposicin:

p : Hoy es viernes
La negacin de
p :

p es:
Hoy no es viernes o No es viernes hoy

4.- Si se tiene la proposicin:

p : se calcul con 1, 000, 000 de dgitos decimales en 1954
La negacin de
p :

p es:

no se calcul con 1, 000, 000 de dgitos decimales en 1954

5.- Si se tiene la proposicin:

p : Las matemticas no son fciles
La negacin de
p :

p es:
Las matemticas son fciles

Ejercicios
1.- Ejercicios 1-8 del libro Matemticas Discretas de Jhonson
Tarea
1.- Problema 3 del libro Matemticas discretas de Rosen

M.C. LEONARDO A. MEDINA R.

Lgica, lgica, lgica. La lgica es el principio de la sabidura, Valeria, no el fin. Star

Trek VI: El pas sin descubrir

Definicin. (Conjuncin)
Sean

p y q

proposiciones, la conjuncin entre

p y q , representada simblicamente por

p q , es una nueva proposicin, cuyo valor de verdad est dado por la siguiente tabla de verdad:

q
F
F
V
V

p q
F
V
F
V

F
F
F
V

Este operador lgico relaciona dos proposiciones para formar una nueva, en la cual la proposicin
resultante ser verdadera solamente cuando el valor de verdad de ambas proposiciones es
verdadero. En espaol, la conjuncin copulativa se presenta con los trminos gramaticales: y,
pero, mas, y signos de puntuacin como: la coma, el punto, y el punto y coma.
Ejemplo. Conjuncin de proposiciones.
1.- Si se tienen las proposiciones:
p: Obtengo buenas notas
q:

Gano una beca

La conjuncin entre p y q es:

p q : Obtengo buenas notas y gano una beca
p

p q

F
F
V
V

F
V
F
V

F
F
F
V

No obtengo buenas notas ni gano una beca

No obtengo buenas notas pero gano una beca
Obtengo buenas notas pero no gano una beca
Obtengo buenas notas y gano una beca

M.C. LEONARDO A. MEDINA R.

Lgica, lgica, lgica. La lgica es el principio de la sabidura, Valeria, no el fin. Star

Trek VI: El pas sin descubrir

2.- Si se tienen las proposiciones:

p: Trabajo mucho
q:

Recibo un bajo sueldo

La conjuncin entre p y q es:

p q : Trabajo mucho pero recibo un bajo sueldo
p

p q

F
F
V
V

F
V
F
V

F
F
F
V

No trabajo mucho ni recibo bajo sueldo

No trabajo mucho y recibo un bajo sueldo
Trabajo mucho y no recibo un bajo sueldo
Trabajo mucho pero recibo un bajo sueldo

3.- Si se tienen las proposiciones:

p: Hoy es viernes
q:
La conjuncin entre

Hoy llueve
p y

es:

p q : Hoy es viernes y hoy llueve

p

F
F
V
V

F
V
F
V

p q

F
F
F
V

No es viernes ni llueve
No es viernes pero llueve
Es viernes pero no llueve
Es viernes y hoy llueve

Ejercicios
Rosen pag. 14
4 d)
5 b)
6 c)
7 a)
7 b)
7 c)
9 b)
10 a)
M.C. LEONARDO A. MEDINA R.

Lgica, lgica, lgica. La lgica es el principio de la sabidura, Valeria, no el fin. Star

Trek VI: El pas sin descubrir

11 a)
23 a)

Johnson pag. 7
19

Definicin. (Disyuncin)
Sean

proposiciones, la disyuncin entre

q , representada simblicamente por

p q , es una nueva proposicin, cuyo valor de verdad est dado por la siguiente tabla de verdad:

q
F
F
V
V

p q
F
V
F
V

F
V
V
V

Este operador lgico relaciona dos proposiciones para formar una nueva, en la cual la proposicin
resultante ser falsa solamente cuando el valor de verdad de ambas proposiciones es falso y
la proposicin resultante ser verdadera cuando al menos una de las dos proposiciones es
verdadera. En espaol, la disyuncin se presenta con el trmino gramatical o.
Ejemplo. Disyuncin de proposiciones.
1.- Si se tienen las proposiciones:
p: Tengo un libro de Trigonometra
q:

Tengo un libro de lgebra

M.C. LEONARDO A. MEDINA R.

Lgica, lgica, lgica. La lgica es el principio de la sabidura, Valeria, no el fin. Star

Trek VI: El pas sin descubrir

La disyuncin entre

p y q

es:

p q : Tengo un libro de Trigonometra o uno de lgebra

Con esta frase se indica que puedo tener un libro de Trigonometra o bien uno de lgebra, as como
la posibilidad de tener ambos libros
2.- Si se tienen las proposiciones:
p: Los estudiantes que hayan cursado clculo pueden matricularse en esta clase
q:

Los estudiantes que hayan cursado ciencias de la computacin pueden

matricularse en esta clase

La disyuncin entre

p y q

es:

p q : Los estudiantes que hayan cursado clculo o ciencias de la computacin pueden

matricularse en esta clase

Con esta frase se requiere que los estudiantes que han cursado bien clculo o bien ciencias de la
computacin pueden matricularse en la clase, as como los estudiantes que han cursado ambas
asignaturas
En los dos ejemplos anteriores el o se utiliza en sentido inclusivo por lo que a este tipo de
proposiciones se les conoce como proposiciones inclusivas.
En el lenguaje espaol suelen presentarse situaciones que son mutuamente excluyentes entre s. La
expresin o estoy en Tehuacn o estoy en Orizaba denota la imposibilidad de estar fsicamente en
Tehuacn y Orizaba al mismo tiempo.
De manera similar, cuando en un men de restaurante vemos Se sirve sopa o ensalada como
entrante, casi siempre se quiere decir que los comensales pueden tomar bien sopa o bien ensalada
pero no ambas.

M.C. LEONARDO A. MEDINA R.