ING.

JENNY ROJAS

1.2.1 Negacin
1.2.2 Conjuncin
1.2.3 Disyuncin
1.2.4 Conjuncin Negativa
1.2.5 Disyuncin Exclusiva
1.2.6 Condicional
1.2.7 Bicondicional
1.2.8 Orden de los operadores
1.2.9 Proposiciones simples y compuestas

Son nexos entre proposiciones simples

ejemplos:
No te encontr en tu casa
Fui al banco y estuvo cerrado
El cielo o es azul o es gris
Si me gano la lotera entonces me voy de viaje
por todo el mundo
Apruebo el curso de nivelacin si y solo si me
esfuerzo

Este operador lgico cambia el valor de verdad de una

proposicin
Smbolo:

Si la proposicin A es verdadera La negacin es A :es F

Si A es una proposicin falsa
la negacin es A es V
Trminos gramaticales: no, ni,
no es verdad que , no es cierto que

P: Tengo un billete de diez dlares

P: No tengo un billete de diez dlares
Q: No quiero ir a pescar
Q : Quiero ir a pescar
a: No te encontr en tu casa
a : Te encontr en tu casa
b: No es verdad que hoy es lunes
b: Hoy es lunes
P: 2 + 2 = 5
P: es falso que 2 + 2 = 5
P: no es cierto que 2 + 2 = 5

Relaciona dos proposiciones simples para

formar una nueva
Smbolo:
Trminos gramaticales: y pero ms
Signos de puntuacin: coma, el punto, y el
punto y coma
Tabla de verdad de la conjuncin:
LA PROPOSICIN RESULTANTE SER
VERDADERA NICAMENTE CUANDO
EL VALOR DE VERDAD DE LAS DOS
PROPOSICIONES ES VERDADERO

AB

A: obtengo buenas notas

B: gano una beca
A B : Obtengo buenas notas y gano una beca
P: Trabajo mucho
Q: Recibo un bajo sueldo
P Q: Trabajo mucho pero recibo un bajo sueldo
P: Le envo flores todos los das
Q: ella no me corresponde
P Q : Le envo flores todos los das ms ella no
me corresponde

Conmutativa: A B = B A
El resultado de la operacin es el mismo, cualquiera
que sea el orden de los elementos con los que se opera.
A: Hoy juega el Barcelona
B : Hoy juega la Liga
Hoy juega el Barcelona y la Liga
Hoy juega la Liga y el Barcelona
AB
=
BA
1)

AB

BA

2) Asociativa: P Q R = (P Q ) R =P (Q R)
No importa como se agrupen los elementos el
resultado es el mismo
P= Juan come la sopa
Q=Juan come la carne
R= Juan come la ensalada
P Q R = Juan come la sopa, la carne y la ensalada
(P Q ) R= (Juan come la sopa y la carne), y la
ensalada
P (Q R)= (Juan come la sopa) y (la carne y
ensalada)

P Q R

PQ

QR

Relaciona dos proposiciones para formar una

nueva
Smbolo:
Trmino gramatical: o

LA PROPOSICIN RESULTANTE SER

FALSA NICAMENTE CUANDO EL
VALOR DE VERDAD DE LAS DOS
PROPOSICIONES ES FALSO

AB

Cuando tengo la posibilidad de poseer las dos

proposiciones
A: Tengo un libro de Fsica
B: Tengo un libro de Matemticas
A B: Tengo un libro de Fsica o de
Matemticas
a b : El es inteligente o estudia todos los das

Relaciona dos proposiciones para formar una

nueva
Smbolo:
Trmino gramatical:
o solo
o solamente ,
o, o
LA PROPOSICIN RESULTANTE SER
VERDADERA CUANDO SOLAMENTE
UNA DE ELLAS SEA VERDADERA
PERO NO AMBAS

A B

1
0
A: Estoy en Azogues
1
1
B: Estoy en Cuenca
A B : O estoy en Azogues, o en Cuenca

1
0

P: ests estudiando
Q: ests viendo TV
P Q : O ests estudiando o ests viendo TV
A: El trabaja
B: El no tienen para comer
A B O el trabaja o no tiene para comer
A: Ir al cine si consigo dinero
B: Me qued en casa
A B: Ir al cine si consigo dinero o
solamente me quedo en casa

Se da entre dos proposiciones A y B cuya

expresin denote CAUSA Y EFECTO.
Trminos gramaticales:
Si A, entonces B
A solo si B
B si A
Si A, B
B siempre que A
los A son B
B cuando A
A es una condicin suficiente para B
B es una consecuencia lgica de A
Simbologa: A
B
A = antecedente, premisa, hiptesis, condicin suficiente
B = consecuente, conclusin, tesis, condicin necesaria del
condicional

LA PROPOSICIN RESULTANTE SER

FALSA SOLAMENTE CUANDO EL VALOR
DE VERDAD DEL ANTECEDENTE SEA

VERDADERO Y EL VALOR DE VERDAD

DEL CONSECUENTE SEA FALSO

A: Juan gana la lotera

B: Juan dona $10000
A
B : Si Juan gana la lotera entonces dona $10000
A
B: Si Juan gana la lotera, dona $10000
A
B:Juan dona $10000 solo si gana la lotera
A
B: Juan dona $10000 siempre que gane la lotera
A
B : Juan dona $10000, si gana la lotera

CONDICIONAL INVERSA : A B
CONDICIONAL RECIPROCA: B A
CONTRARECPROCA: B A
EJEMPLOS:
Partiendo de la proposicin:
Si es un vehculo, entonces es un medio de transporte
Inversa: Si no es un vehculo, entonces no es un medio
de transporte
Recproca:
Si es un medio de transporte , entonces es un vehculo
Contrarecproca:
Si no es un medio de transporte, entonces no es un
vehculo

 Si un nmero es divisible para 6, entonces es

divisible para 3
RECIPROCA: B
A
Si un nmero es divisible para 3 entonces es divisible
para 6
INVERSA: A
B
Si un nmero no es divisible para 6, entonces no es
divisible para 3
CONTRARECPROCA: B
A
Si un nmero no es divisible para 3, entonces no es
divisible para 6

a: n es divisible para 4 (n es nmero entero y +)

b: n es divisible para 2
Tengo la proposicin a
b que es VERDADERA
Analicemos:
Si n es divisible para 4, entonces n es divisible para 2
CONDICIN SUFICIENTE:
La condicin n es divisible para 4 es suficiente para que
n es divisible para 2
a es condicin suficiente para b
CONDICIN NECESARIA:
b es condicin necesaria para a
n es divisible para dos es necesario para que n sea
divisible para 4

Las siguientes proposiciones son verdaderas:

1) Si n es divisible para 16, n es divisible para 2
2) Si n es divisible para 8, n es divisible para 2
3) Si n es divisible para 16, n es divisible para 8
Parafrasear aplicando condicin necesaria y
suficiente:
1)La condicin n es divisible para 16 es suficiente para que
n es divisible para 2
2) La condicin n es divisible para 8 es suficiente para que n
es divisible para 2
2) La condicin n es divisible para 2 es necesaria para que n
es divisible para 8
3) La condicin n es divisible para 16 es suficiente para que
n es divisible para 8
3) La condicin n es divisible para 8 es necesaria para que n
es divisible para 16

Dadas dos proposiciones p y q, a la proposicin

compuesta
p si y slo si q
condicional
Simbologa: p q
si p, entonces q y si q, entonces p
es decir,
(p q) (q p)

LA PROPOSICIN RESULTANTE SER

VERDADERA SOLAMENTE CUANDO
EL VALOR DE VERDAD DE LAS DOS
PROPOSICIONES ES IGUAL

Dadas 2 proposiciones p y q, se llama equivalencia de

p y q y se escribe p
q a la proposicin que dice
p equivale a q
Una condicin necesaria y suficiente para p es q
Ejemplos:
Dadas dos proposiciones :
p: un triangulo es equiltero
q: Un triangulo es equingulo
La bicondicional es: p
q

Sean a, b y c las longitudes de los lados de un

tringulo T siendo c la longitud mayor.
El enunciado dice
T es tringulo rectngulo si, y solo si a + b = c
Expresar como proposiciones :
Usar el conectivo lgico correcto
Analizar

Orden de los conectivos lgicos

Se usar generalmente parntesis para
especificar el orden en que se aplicarn los
operadores lgicos.
De no haber parntesis, se adopta el
siguiente orden de prioridad.
Conectivo

Prioridad

3
4
5

Llevar a lenguaje simblico:

Si los gatos de mi hermana no soltaran tanto
pelo me gustara acariciarlos.
p: los gatos de mi hermana sueltan pelo.
q: me gusta acariciar los gatos
Solucin: p q
Una de dos: o salgo a dar un paseo, o me
pongo a estudiar como un energmeno.
a: salir a dar un paseo.
b: estudiar como un energmeno]
Solucin a b

"Si no pago la luz, entonces me cortarn la corriente elctrica. 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"

Construir la tabla de verdad de la proposicin

(p q).

Sean las proposiciones

p : Est nevando
q : Ir a la ciudad
r : Tengo tiempo
Escribir, usando conectivos lgicos, una proposicin
que simbolice cada una de las afirmaciones
siguientes:
a: Si no est nevando y tengo tiempo, entonces ir a
la ciudad.
b: Ir a la ciudad slo si tengo tiempo.
c: No est nevando.
d:Est nevando, y no ir a la ciudad.

Escribir la recproca y la contrarrecproca de

cada una de las afirmaciones siguientes:
a: Si llueve, no voy.
b: Me quedar, slo si t te vas.
c: Si tienes 1 dlar, entonces puedes comprar un
helado.
d: No puedo completar la respuesta si no me ayudas.
Escribir la proposicin usando conectivos lgicos
Prefiero ir de vacaciones o estar sin hacer
nada si tengo tiempo para ello y no tengo
que ir a trabajar.
Para realizarte en la vida, has de escribir un libro,
tener un hijo y plantar un rbol.

Parafrasear con condicin necesaria y

suficiente
Si estudias, aprobars el curso
Aceptar el trabajo con la condicin de
que me traten bien