OBJETIVOS

Al finalizar el estudio de esta leccion

el estudiante:

o determinara si un enunciado es una

proposicion

o negara proposiciones simples,

compuestas y cuantificadores

o expresara proposiciones compuestas en

forma simbolica y viceversa

o determinara el valor de verdad de una

proposicion compuesta

o construira la tabla de verdad de una

proposicion compuesta

o resolvera problemas
PROPOSICIONES SIMPLES

Una proposicion ( denotada por una letra p, q, ) es una oracion que, o bien es Determina cual de las siguientes son
verdadera o bien es falsa, pero no ambas a la vez. La verdad o falsedad de una proposiciones; halla el valor de verdad
proposicion se llama su valor de verdad.
1. 2+4=4

Los siguientes son ejemplos de proposiciones 2. Él esta en san Juan

 p: 2 + 3 = 7 (F 3. Que hora es
 q: Todas las mujeres tienen pelo negro. (F)
 r: La capital de Puerto Rico es San Juan. (C) 4. 3*2 = 6
 s: 5 > 3 (C)
5. Francia está en Asia
Expresiones tales como, "2+3", "Cierra la puerta", "El cinco canta" no son
proposiciones ya que no se puede determinar si son ciertos o falsos. 6. 3+2=2+3

Las siguientes expresiones tampoco son proposiciones ya que su valor de verdad no 7. 3X = 6

puede ser determinado sin más informacion:
8. x>y
 Ella tiene los ojos azules
 X + 7 = 18 9. La Tierra es plana
 X>3
10. La mujer es debil
Resuelve los ejercicios 1 - 10 del margen

Negacion

Sea una proposicion p, se puede formar otra llamada negación de p, escribiendo "Es
falso que ... " antes de p o, cuando sea posible, insertando en p la palabra NO.
Simbolicamente se denota la negación de p como ~p .
Niega las siguientes proposiciones
11. 2 + 3 = 5
Ejemplos 12. 5 + 7 / 12
 Sea p: Paris esta en Francia
13. Hoy no es lunes
~ p: Es falso que Paris esta en Francia
~ p: Paris no esta en Francia 14. 3 > 5
 Sea q: 2+3>5
15. .No hace sol
~ q: 2+3>5
16. Hace frio
En general, la negacion de una oracion declarativa se obtiene negando el verbo de la
17. Soy frances
oracion o anteponiendo la frase "Es falso que ... " en la oracion. El valor de verdad
de la negacion es siempre el opuesto del valor de verdad de la proposicion. La 18. 9 + 2 > 10
siguiente tabla resume las dos posibilidades de p y ~p. Esta tabla llamada tabla de
19. La Luna es satelite
verdad enfatiza el hecho de que p y ~p no pueden ser simultaneamente ciertos
o simultaneamente falsos. 20. Hace calor

P ~P
C F
F C

Resuelve los ejercicios 11 - 20 del margen

EJERCICIOS ESCRITOS

1. Determina cuales de los siguientes son proposiciones y clasifica

cada proposicion como verdadera o falsa
a. X + 5 = 8
b. Apaga la luz
c. 2*3 = 7
d. Ella esta muerta
e. 7 < 9

2. Escribe la negacion de las siguientes proposiciones:

a. El libro tiene 500 paginas
b. Ella mide mas de 5 pies
c. 3 + 5 = 15
d. Las vacas no vuelan
e. Noviembre tiene 30 dias

CUANTIFICADORES Reescribe usando símbolos

Cuantificador universal

21. Existe un natural mayor que 50

Sea P(x) una proposicion sobre un conjunto A, entonces

( x en A ) p(x) o x p(x) o x, p(x) 22. Para toda x, (x+3) = (3+x)

es una proposicion que dice "Para todo elemento x de A, p(x)". El símbolo  que
se 23. Para toda a, ( a(a+1) = a2+a
lee " para todo " se llama cuantificador universal

23. Exixte una x tal x³ = 0

 Ejemplo: Sea M el conjunto de todos los hombres
Entonces, todo hombre es mortal se escribe
(x en M) ( x es mortal)

Nótese que x p(x) es una proposición y por lo tanto tiene valor de verdad
Entonces si {  x en A, p(x)} = A  x, p(x) es C
si { x en A, p(x)}  A  x, p(x) es F

 Ejemplo: La proposición n en N, n + 4 > 3, donde N

son numeros naturales es cierta porque:
n + 4 > 3 = { 1, 2, 3, 4, ... } = N

 La proposición n, (n + 2 > 8 ) es falsa

porque {  n + 2 > 8} = {7,8,...}  N
 Cuantificador existencial
Halla el valor de verdad
25. x, = x
Sea p(x) una proposicion sobre un conjunto A. Entonces
( en A) p(x) o x p(x) o , p(x) 26. , x+a = x
es una proposicion que se lee " existe un x en A tal que p(x) es 27. , ³x³ = 0
cierto" o simplemente, "para algun x, p(x) ". El símbolo  , que se
lee "existe" ,o "para algun" o "para al menos un" se llama 28. Vx, x+1 > x
cuantificador existencial 29. x natural x-1 natural

Así que, si { p(x) }  N, entonces , p(x) es C

si { p(x) } = N, ent , p(x) es F

 Ejemplo: La proposición (en N ) ( n + 4 < 7 )

es cierta porque { n+4<7 } = { 1,2 }
La proposición , (n + 6 < 4 ) es falsa
porque { n + 6 < 4 } = í

NOTA: El símbolo : (o tq) se usa frecuentemente en lugar de las

palabras " tal que" en muchas proposiciones en que aparece el
cuantificador existencial 

 Ejemplo: "Existe un numero natural n tal que

50 < n2 < 100 " se escribe
2
en N 50 < n < 100

Negaciones de proposiciones con cuantificadores Niega las siguientes proposiciones

30. Todos los hombre son iguales
La negación de la proposición " Todo hombre es mortal " es " No es verdad que todo
hombre es mortal i.e., existe al menos un hombre que no es mortal.
Simbólicamente, si M denota el conjunto de los hombres, entonces las
31. Algunas aves no vuelan
sobredichas proposiciones se pueden escribir
(x en M )(x es mortal) vuelan ð ( ³x en M )(x no es mortal)
32. Todos los mamiferos mueren
Mejor aún, si p(x) significa "x es mortal" se puede escribir:
~(x, en M),p(x) ð (en M) ªp(x)
33. Algunos animales se mueven
Situacion que, en general, es verdadera. Asi que:
Teorema de DeMorgan
34. Todos los cometas giran
~( x en A ) p(x)  ( en A ) ~p(x) alrededor del Sol
~( en A ) p(x)  (x en A ) ~p(x)

 Ejemplo: La negacion de "Existe un planeta habitable" es:

" Todos los planetas son inhabitables"
 Ejemplo: La negacion de:" Para todo numero natural n, n+2 > 8 es Existe un
n tal que n + 2 / 8

Resuelve los ejercicios 30 - 34 del margen

EJERCICIOS ESCRITOS

1. Niega las siguientes proposiciones

a. Todos los perros tienen cuatro patas

b. No todos los rectangulos son cuadrados

c. Para todo numero x, 5x + 4x = 9x

d. Para todo entero x, x + 3 = 3 + x

e. Algunos gatos no tienen nueve vidas

2. Niega las siguientes proposiciones

a. (en A )( x + 3 = 10 )

b. (x en A )( x + 3 < 10 )

c. (en A )( x + 3 < 5 )

d. x, p ^ ~y, q

e. , p v V y, q
PROPOSICIONES COMPUESTAS Sean p: hace frio
q: llueve
Una proposicion compuesta es aquella que esta formada
por dos o mas proposiciones simples unidas entre si Describe con una
por conectivas logicas. proposicion verbal
 Ejemplo: Sea p: Las rosas son rojas 35. ~p
q: Las violetas azules 36. p ^ q
p v q: Las rosas son rojas o las violetas azules
37. p v q
El valor de verdad de las proposiciones compuestas esta determinada por el valor de 38. ~~p
verdad de cada uno de las proposiciones simples y por el modo que se les reune para
formar la proposicion compuesta. 39. ~p v –q
Sean p: el es alto
q: el es frances
Escribe en forma simbolica

40. El es alto y frances

41. El es alto no es frances
42. El no es ni alto ni frances
43. El no es frances y es alto
44. El es alto o es bajo y no es frances
Conjunción

Dos proposiciones cualesquiera se pueden combinar por medio de la palabra y

para formar una proposicion compuesta llamada conjuncion de las primeras
proposiciones. Simbolicamente se denota la conjuncion de dos proposiciones p, q
por

p^q

 Ejemplo: Sea p: Esta lloviendo

q: El sol brilla
p ^ q: Esta lloviendo y el sol brilla

El valor de verdad de la proposicion p ^ q satisface la condicion siguiente:

V1: Si p es verdadero y q es verdadero, entonces p ^ q es verdadero; en otro caso

p ^ q es falso
i.e. la conjuncion de dos proposiciones es verdadera solo si cada componente es
verdadero

Nota: El valor de verdad de cualquier proposicion compuesta, como p

^ q , se define utilizando una tabla de verdad por cada proposicion simple.
Debido a que cada proposicion p, q, ... puede ser verdadera o falsa, hay
solo cuatro posibilidades, como lo muestra la siguiente tabla de verdad
P Q P^Q
C C C
C F F
F C F
F F F
Disyunción

Dos proposiciones cualesquiera se pueden combinar por medio de la palabra o para

formar una nueva proposicion que se llama disyuncion de las proposiciones previas.
Simbolicamente se denota la disyuncion de dos proposiciones p, q, por

pvq

 Ejemplo: Sea p: Esta lloviendo

q: El Sol brilla
p v q: Esta lloviendo o el Sol brilla

El valor de la proposicion p v q cumple la condicion siguiente:

V3: Si p es verdadero o q es verdadero, o si ambos son verdaderos, entonces p v q es
verdadero; en otro caso p v q es falso i.e. la disyuncion de dos proposiciones es falsa
solo si cada componente es falso

Tabla de verdad para disyuncion

P Q PvQ
C C C
C F C
F C C
F F F

Negaciones y leyes de DeMorgan

Sea p, q proposiciones
~ ( p ^ q ) = ~p v ~q
~( p v q ) = ~p ^ ~q

 Ejemplo: Sea p: 2 + 3 = 5
q: Es de noche
p v q: 2 + 3 = 5 o es de noche
~( p v q ) = (~p ^ ~q) = 2 + 3  5 y no es de noche

Resuelve los ejercicios 35 - 44 del margen

EJERCICIOS ESCRITOS

1. Sean p: hace calor

q: esta lloviendo
r: hace sol

Describir con una proposicion verbal las siguientes:

a. ~ p : __________________________________________

b. p ^ q: ________________________________________

c. p v q: ________________________________________

d. ~q: _________________________________________

e. ~p ^ ~q: ______________________________________

f. q ^ ~p: _______________________________________

g. ~(q ^ p): _____________________________________

h. ~p v ~q: ______________________________________

i. ~(~p v ~q): ___________________________________

j. ~(p v q): _____________________________________

3. Sean e: Paris esta en Francia

f: 2+3=5
g: El cielo es azul

Escribe los siguientes enunciados en forma simbolica

a. Paris esta en Francia y 2 + 3 = 5; ___________

b. El cielo es azul o 2 + 3  5; ________________

c. Paris no esta en Francia y 2 + 3  5; ________

d. El cielo no es azul o 2 + 3  5: ____________

e. No es verdad que Paris no esta en Francia o 2 + 3  5; ___________

f. ~p ^ ~q : _____________________________________
 3. Sean p: 2 + 3 = 5 q: 2 * 3 = 6
r: 5 + 3 = 9 s: 2 * 4 = 9

Determina el valor de verdad de las siguientes proposiciones

_____ a. p ^ q _____ f. p v q

_____ b. p ^ r _____ g. p v r

_____ c. s ^ q _____ h. s v q

_____ d. r ^ s _____ i. r v s

_____ e. ªp ^ q _____ j. ~( p v q )

CONDICIONALES Y BICONDICIONALES Sea p: hace frio

q: llueve
Condicionales
Describe con una proposicion verbal
Una proposicion de la forma " Si p, entonces q " se llama un condicional y se Subraya la hipotesis con una linea y
denota la conclusion con dos
p  q.
45. p q
donde p es la hipotesis (antecedente) y q la conclusion (consecuente).

El condicional p  q se puede leer p implica q; p es suficiente para q; p solo si q;

q es necesario para p 46. q p
 Ejemplo: Sean p: llueve
q: el suelo esta mojado
p q: Si llueve, el suelo esta mojado
47. ~q~p
Resuelve los ejercicios 45 - 47 del margen

El valor de verdad de p q resulta de la condicion Si x: 2 * 2 = 4

y: 2 * 0 = 1
V4: El condicional p  q es verdadero a menos que p sea verdadero y q falso, i.e. Halla el valor de verdad
una proposicion verdadera no puede implicar una falsa
48. x y
P Q PQ 49. y  x
C C C
50. ~x  y
C F C
F C F 51. ~x  -y
F F C
52. ~(x  y)
Resuelve los ejercicios 48 - 52 del margen
Estrechamente relacionados con el condicional, tenemos: el reciproco, el inverso, y el Para cada proposicion escribe su
contrapositivo. (a) Reciproco
(b) Inverso
Reciproco (b) Contrapositivo
El reciproco de un condicional se forma invirtiendo, la hipotesis y la conclusion,
i.e., el reciproco de p  q es q  p 53. Si es de noche, se ven las estrellas

 Ejemplo: Sean p: 2 + 2 + 2 = 6 ; q: 3 * 2 = 6
p q: Si 2 + 2 + 2 = 6, ent 3 * 2 = 6
54. Si no usas pasta de dientes tendras
reciproco p q es q p: Si 3 * 2 = 6, ent 2 + 2 + 2 = 6
caries
Inverso
El inverso de un condicional se forma a traves de la negacion tanto de la
hipotesis como de la conclusion i.e., el inverso de p  q es ~p  ~q 55. Si eres bueno en logica,eres bueno
en matematica
 Ejemplo: Sean p: 2 + 2 + 2 = 6 ; q: 3 * 2 = 6
p q: Si 2 + 2 + 2 = 6, ent 3 * 2 = 6
inverso p--> q es ~p  ~q: Si 2 + 2 + 2 / 6, ent 3 * 2 / 6

Contrapositivo
El contrarreciproco se forma a partir del condicional original mediante la
negacion
de la hipotesis y la conclusion y despues el intercambio o inversion de ellas
i.e., el contrapositivo de p q es ~q  ~p

 Ejemplo: Si p: Esta lloviendo

q: Hace frio
pq: Si esta lloviendo, ent hace frio
Contrapositivo de p q es: ~q --> ~p : Si no hace frio, ent. no esta lloviendo

Resuelve los ejercicios 53 - 55 del margen

Bicondicional Si p: 3 + 2 = 7
q: 4 + 4 = 8
Una proposicion de la forma ® p si, y solo si q ( p syss q ) es llamado un
bicondicional y se denota Determina el valor de verdad de los
siguientes
pq
56. p q
El valor de verdad de las proposiciones bicondicionales obedece a la condicion:
V5: Si p, q tienen el mismo valor de verdad, entonces p  q es verdadero; si p y q
tienen valores de verdad opuestos entonces p  q es falso. 57. ~p  q

P Q PQ
58. q  p
C C C
C F F
F C F
F F C

Resuelve los ejercicios 56 - 58 del margen

EJERCICIOS ESCRITOS

1. Sea p: Esta lloviendo

q: La grama esta mojada

Escribe las siguientes proposiciones en forma simboloca usando p, q

a. Si esta lloviendo, ent la grama esta mojada. ____________

b. Si no esta lloviendo, ent la grama esta mojada. __________

c. Si esta lloviendo, ent la grama no esta mojada. ___________

d. La grama no esta mojada implica que no esta lloviendo. _________

e. La grama esta mojada syss esta lloviendo. _________

2. Suponer que las proposiciones:

p: Esta lloviendo ; q: el arbol es verde ; son ciertas

r: los tejados son blancos : s: las calles son estrechas son falsos

Determina el valor de verdad de las siguientes proposiciones

___a. Esta lloviendo y los arboles son verdes

___b. Los arboles son verdes o esta lloviendo

___c. No esta lloviendo y los tejados son blancos

___d. No esta lloviendo o las calles son estrechas

___e. Las calles no son estrechas y los tejados no son blancos

___f. Los arboles son verdes y no esta lloviendo

___g. Si esta lloviendo, ent loa arboles son verdes

___h. Si no esta lloviendo, entonces los tejados no son blancos

___i. Las calles no son estrechas syss los arboles no son verdes

___j. Las calles no son estrechas syss no esta lloviendo

TABLAS DE VERDAD Construye la tabla
58. ~p ^ q
Las tablas de verdad son un medio muy util para demostrar que una
proposicion es cierta. Cuando de verdad trabajamos con tablas de verdad,
debemos tener cuidado de tener en cuenta todas las posibilidades de valores de 59. ~(p  ~q )
verdad. Por ejemplo, si una proposicion incluye p, q, r; p puede ser C o F; q puede
ser C o F y r puede ser C o F. Asi que, necesitamos ocho (8) combinaciones
para considerar todas las posibilidades 60. ( p ^ q)

 Ejemplo: Construye la tabla de verdad de ~ ( p ^ q )  ~r

61. ( p ^ q )  p v q ^ (~p v ~q)
p q p^q ~(p^q) r ~r ~ ( p ^ q )  ~r
C C C F C F C
C C C F F C C 62. p  (q v q )
C F F C C F F
C F F C F C C
F C F C C F F
F C F C F C C
F F F C C F F
F F F C F C C

 Ejemplo: Construya la tabla de verdad de ( 𝑝 → 𝑞 ) ^ ( 𝑞 → 𝑝 )

P Q PQ 𝑸𝑷 (𝑝 → 𝑞)^(𝑞 → 𝑝)

C C C C C
C F F C F
F C C F F
F F C C C

Resuelve los ejercicios 58 - 62 del margen

Verifica
Dos proposiciones son logicamente equivalentes si tienen la misma tabla de 63. p --> q=-q --> -p
verdad

 Ejemplo: Demuestra que p q ↔ ~q  ~p Verifica

P Q pq ~q ~p ~q  ~p p q ↔ ~q  ~p 64. -(p ^ q) = -p ^ -q

C C C F F C C
C F F C F F C
F C C F C C C 65. -(p ^ q) = -p v –q
F F C C C C C

Resuelve los ejercicios 63 - 65 del margen

Determina si es tautologia
Algunas proposiciones P(p,q,...) tienen solo C en la ultima columna de sus tablas de
verdad, i.e., que la proposicion P(p,q, ... ) sera siempre una proposicion verdadera sean 66. p  ( p v q )
cuales fueren las proposiciones p0, q0 ... verdaderos o falsos. Estas proposiciones se
llaman tautologias
67. [(p-->q) ^ -q  -p
 Ejemplo: Demostrar que [(p  q) ^ p] → q es una tautologia
68. p v ~p
P Q PQ (PQ)^P [(p  q) ^ p] → q
C C C C C
C F F F C
F C C F C
F F C F C

Resuelve los ejercicios 66 - 68 del margen

EJERCICIOS ESCRITOS

1. Construye la tabla de verdad de las siguientes proposiciones

a. ~p ^ q

b. ~( p  q )

c. ( p ^ q ) ---> ( p v q )

d. ~( p ^ q ) v ~( q <---> p )

e. ( p  q ) v ~( p <---> ~q )

2. Verifica si las siguientes proposiciones son logicamente equivalentes

a. ~(p  q) > p ^ ~q

b. ~ªp <---> q > p <---> ªq

 RAZONAMIENTO LOGICO
Argumentos

Un argumento es la afirmacion de que una sucesion de proposiciones,

llamadas premisas, implica (tiene como consecuencia) otra proposicion
llamada conclusion. Se denotara un argumento por
S1,---> S2,---> S3,---> ... ---> Sn
hipotesis conclusión

Decimos que un argumento es valido si la conclusion es un resultado

(consecuencia) logica de la hipotesis

Diagramas de Euler-Venn

Una forma de probar si una conclusion es o no una consecuencia

directa de una sucesion de premisas es por medio de Diagramas de
Euler-Venn

 Determina la validez del siguiente argumento

H: Todas las rosas son rojas
Esta flor es una rosa
C: Esta flor es roja

Usamos un circulo para representar todas las rosas. La proposicion,

"Todas las rosas son rojas" puede ser escrito como Si un objeto es una
rosa, ent es roja. Se puede ilustrar esta situacion con el diagrama de
arriba. "Esta flor es una rosa" implica que la flor debe pertenecer al
circulo que contiene las rosas. Esta flor tambien pertenece al circulo que
contiene a los objetos rojos: --> El razonamiento es valido pq es
imposible dibujar un diagrama que satisfaga H y que contradiga C

 Determina la validez del siguiente argumento

H: Todos los graduandos son inteligentes
Arturo es inteligente
C: Arturo es graduado

Segun el diagrama es obvio que el argumento es

invalido
 Un Diagrama que represente una hipotesis donde la conclusion NO
ES CIERTA es suficiente para probar que el argumento es invalido

 Determina la validez del siguiente argumento

H: Algunos profesores tienen doctorado
T: El Sr. Torres es profesor
C: El Sr. Torres tiene doctorado

La validez de las premisas no garantiza la validez de la conclusion

 Ejemplo: Sea el argumento clasico

H: S1 : Todo hombre es mortal
S2 : Socrates es hombre
C: S : Socrates es mortal

EJERCICIOS ESCRITOS

1. Determina la validez de los siguientes argumentos por medio de diagramas

a. Todas las x son y

Algunas z son x
-> Todas las z son y

b. Algunos em son rojos

Todos los im son em
-> Algunos im son rojos

c. Todos los ninos inteligentes se interesan en muchachas

Jorge esta interesado en muchachas
-> Jorge es inteligente

d. Negligencia lleva a accidentes

Ariel tuvo un accidente
-> Ariel es negligente

e. Si A, entonces B
Si no B, entonces C
-> Si A entonces C