1

OPERACIONES CON PROPOSICIONES

As como en el aritmtica y en algebra se estudian
operaciones entre nmeros en lgica se estudian
operaciones entre proposiciones.
1) LA CONJUNCIN
Dadas dos proposiciones p y q, la conjuncin es el
resultado de componer estas proposiciones con el
conectivo lgico y.
Se denota:
Se escribe:
Se lee: p y q










Ejemplo 1: Determinar el valor
de verdad de la proposicin:
2 + 3 + 5 = 11 y
Solucin: Sean p = 2 + 3 + 5 = 11 V (p) = F
q = V (q) = V
Luego segn la tabla de verdad de la conjuncin:
()
NOTA: Hay palabras como, pero, a la vez, sin
embargo, adems, aunque, no obstante, etc, que
tambin unen
proposiciones conjuntivamente y se pueden simbolizar
por el conectivo V
2) LA DISYUNCIN INCLUSIVA O DBIL
Dadas dos proposiciones p y q, la disyuncin
inclusiva es el resultado de componer estas
proposiciones con el conectivo lgico o.
Se denota:
Se escribe:
Se lee: p o q







Ejemplo 2: Determinar el valor de verdad de la
proposicin:
Jos de San Martin es peruano o 12 es mltiplo de 3
Solucin: Sean
p = Jos de San Martin es peruano V (p) = F
q = 12 es mltiplo de 3 V (q) = V
Luego segn la tabla de verdad es: ( )
3) LA DISYUNCIN EXCLUSIVA O FUERTE
En este caso la palabra o suele usarse en su
sentido excluyente, en cuyo caso la conectiva:
Se denota:
Se escribe:
Se lee: p o q, pero no ambos, esto es, se da
exactamente una de las dos alternativas.






Ejemplo 3: Determinar el valor
de verdad de la proposicin:
O William Shakespeare es autor
de Hamlet o es autor de la Ilada.
Solucin: Sean
p = Shakespeare es autor de Hamlet V (p) = V
q = Shakespeare es autor de la Aliada V (q) = F
Luego segn la tabla de verdad es: ()
4) LA NEGACIN
Se denomina proposicin negativa de la
proposicin afirmativa p a otra proposicin que se
denota por y que se lee no p, cuya
verdad o falsedad queda determinada por la
siguiente tabla:
p
V
F
F
V
Ejemplo 4:
a) La tiza es blanca
b) No es cierto que la tiza es blanca
Ejemplo 5: Simbolizar la siguiente proposicin.
No es el caso de que 10 sea mltiplo de 3 o que

Solucin: Sea p = 10 es mltiplo de 3
q =
Entonces la proposicin se simboliza: ()
5) LA CONDICIONAL O IMPLICATIVA
Dadas dos proposiciones p y q, la condicional es el
resultado de componer estas proposiciones con el
conectivo lgico si, entonces.
Se denota:
Se escribe:
Se lee: si p, entonces q, donde p es el antecedente
y q el consecuente.
Ejemplo 9: Sean las proposiciones
p = Patricia consigue visa de turista. (antecedente)
q = Patricia viajara a Miami. (consecuente)
Luego = Si Patricia consigue visa de turista,
entonces viajara a Miami.






Ejemplo 10: Determinar el
valor de verdad de la
proposicin:
16 es multiplo de 2 puesto que
16 es nmero par.
Solucin: Sean
p = 16 es multiplo de 2 V (p) = V (antecedente)
q = 16 en nmero par V (q) = V (consecuente)

Luego segn la tabla de verdad de la conjucin:
( )
NOTA: Hay palabras como, porque, puesto que, ya
que, si, cuando, cada vez que, etc.
6) LA BICONDICIONAL
Dadas dos proposiciones p y q, se denota
bicondicional a la proposicin definida por la
p q
V
V
F
F
V
F
V
F
V
F
F
F
p q
V
V
F
F
V
F
V
F
V
V
V
F
p q
V
V
F
F
V
F
V
F
F
V
V
F
p q
V
V
F
F
V
F
V
F
V
F
V
V
La proposicin conjuntiva es verdadera nicamente
cuando las dos proposiciones p y q son verdaderas,
en cualquier otro caso es falsa.
La disyuncin inclusiva es verdadera si al menos
una de las proposiciones es verdadera, resultando
falsa solamente cuando las dos son falsas.
La disyuncin exclusiva es verdadera cuando
solamente una de las proposiciones componentes
es verdadera y no las dos, resultando falas en otros
casos.
La condicional es falsa solamente cuando el
antecedente es verdadero y el consecuente falso,
siendo verdadera en todos los dems casos.
2
conjuncin de la proposicin condicional con su
reciproca: ( )( )
Se denota:
Se escribe:
Se lee: p si, y slo si q.
Es decir: [( )( )]
Ejemplo 11: Sean las proposiciones
p = Fernando comprar un automovil.
q = Fernando obtiene un prstamo de la
cooperativa.
Luego = Fernando comprar un automvil si
y slo si obtiene un prstamo de la cooperativa.











USO DE LOS SIGNOS DE AGRUPACIN
Los signos de agrupacin (parntesis, corchetes,
llaves) se usan en lgica cuando:
Se trata de obtener esquemas lgicos mas
complejos con el fin de evitar la ambigedad en las
formulas. As por ejemplo, la expresin: , es
ambigua pero asociando sus trminos:
( ) ( )
Da mayor o menor jerarqua a los conectivos:



Jerarqua de los conectivos lgicos
(De menor a mayor)



Sin embargo cada conectivo puede ser de mayor
jerarqua si as lo indica el signo de seleccin.

Ejemplos:
1. No es el caso de que 9 es mltiplo de 3 o que

p = 9 es mltiplo de 3.
q =
Su notacin simblica es: ()
2. Si el testigo no dice la verdad, entonces Juan es
inocente o culpable
p = El testigo dice la verdad.
q = Juan es inocente.
r = Juan es culpable.
Su notacin simblica es: ()







Ejemplo:
()
[( ) ]
[() ()]
Los operadores de mayor jerarqua en los ejemplos
son , ,
PRCTICA DE APLICACIN
1. Para los siguientes enunciados:
Recoge ese lpiz.

x y = 5
hace mucho frio.
Cul de las alternativas siguientes es la correcta?
a) Dos son proposiciones.
b) Dos son enunciados abiertos.
c) Dos no son ni proposiciones ni enunciados
abiertos.
d) Tres son proposiciones.
2. De los siguientes enunciados:
Hola que tal

Todos los hombres son inmortales.
Scrates naci en Atenas.

Cual de las alternativas siguientes es correcta:
a) 3 son enunciados
b) 2 son proposiciones
c) 3 no son proposiciones
d) 4 son proposiciones
3. Dadas las proposiciones, p = Marcos es
comerciante, q = Marcos es un prspero industrial y
r = Marcos es ingeniero. Simbolizar el enunciado:
Si no es el caso que marcos sea un comerciante y
un prspero industrial, entonces es ingeniero o no
es comerciante
a) () ()
b) () ( )
c) () ( )
d) ( ) ( )
e)
4. Dadas las proposiciones q = 4 es nmero impar, p y
r cualesquiera tal que [() ( )] es
verdadera, hallar el valor de verdad de los
siguientes esquemas moleculares.
( )
[ ()] ( )
( )()
a) VVF
b) VVV
c) VFF
d) VFF
e) N.A.
5. De la falsedad de la proposicin: (
)( ), se deduce que el valor de verdad de
los esquemas moleculares:
()()
[()] [()]
( ) [()]
Son respectivamente:
a) VFV b) FFF c) VVV d) FFV e) N.A.
p q ( )( )
V
V
F
F
V
F
V
F
V
F
V
V
V
F
F
V
V
V
F
V
La bicondicional es verdadera cuando las dos
proposiciones componentes tienen el mismo valor
veritativo, en otros casos es falsa.
La negacin
La conjuncin
La disyuncin
inclusiva
La disyuncin
exclusiva
La condicional
La bicondicional

OBSERVACIN: La combinacin de las variables y los conectivos
proposicionales por medio de los signos de agrupacin se
denomina esquemas moleculares, en cada esquema
molecular solo uno de los operadores es el de mayor jerarqua y es
el que le da nombre a dicho esquema.
3
6. En cual de los siguientes casos es suficiente la
informacin para conocer el valor de verdad de las
proposiciones correspondientes.
() () V (q) = v
() (), V (p) = v y V(r) = F
[( )]; ( )
( ) ; V(r) = v
a) ABD b) ACD c) ECD d) ADE e) N.A.

PRACTICA DE CLASE
7. Los valores de verdad de las siguientes
proposiciones:
( ) ( )
( ) ( )
( )( )
( ) ( )
Son respectivamente:
a) VVVV b) VVFV c) VVFF d) VFVF e) N.A
8. De la falsedad de ( ) ( ), se deduce
que:
( )
() ( )
[ ( )]
Son respectivamente:
a) FFV b) FFF c) FVF d) FVV e) N.A.
9. Se sabe que son falsas, y se afirma:
()
[()]
[( )()] [()]
Entonces son verdaderas:
a) Solo 1 y 2 b) solo 1 y 3 c) solo 2 y 3 d)
todas e) N.A.
10. La proposicin () ( )es falsa, y se tienen
las proposiciones:
()()
() [()]
[()()] ()
Entonces
a) Solo 1 b) solo 2 y 3 c) solo 1 y 2
d) todas e) N.A.
Si la proposicin [()] [()] es falsa, de
las proposiciones siguientes:
[( ) ]
()()
[()]()
Son falsas:
a) Solo 1 y 2 b) solo 1 y 3 c) solo 2 y 3 d)
solo 1 e) N.A
11. Sea la proposicin ( )( )es falsa,
cuales de las siguientes proposiciones son falsas?
()
[( )] [()]
[()] ( )
a) Solo 1 b) solo 2 c) solo 1 y 2
d) solo 2 y 3 e) N.A.


12. [()( )][() ( )], es
verdadera. Los valores de verdad de p, q y r, son
respectivamente:
a) FFV b) VVF c) VFF d)
VFV e) N.A.

13. De la falsedad de la proposicin:
( )( ), se deduce que :
()
() ( )
[ ( )]

Son respectivamente:
a) FFV b) FFF c) FVF d) FVV e) N.A.

14. Si ( )() es verdadera, hallar el
valor de verdad de la proposicion: (
) ( )
a) V b) F c) faltan datos e) N.A.

15. Si las proposiciones
( ) Y [( )], son
verdaderas, entonces los valores de verdad de
p, s y ps son respectivamente:
a) VVF b) VFV c) FVV d) FFF e) N.A

TAREA DOMICILIARIA
1. Dada la proposiciones:
1. ( ) , V(r)=v
2. () (), V(q) = v
3. () (), V(p) = v y V(r)
4. ( ), V(r)=v
La informacin que se da es suficiente para
determinar el valor de verdad de las proposiciones
a) Todas b) solo 1,2 y 3 c) solo 1 y 2 d)
solo 3 e) N.A

2. Si la proposicin () ( ), es falsa, el
valor de verdad de las proposiciones q,p,r,s (en
este orden) es:
a) FVVV b) FVFF c) VVVF
d) VFVV e) N.A

3. Si la proposicin compuesta:
(q s) (s t)
Es verdadera. Cules de las siguientes
afirmaciones son correctas?
i. q t es verdadera.
ii. s t puede ser verdadera o falsa.
iii. q es falsa

A) Solo I B) I y II
C) II y III D) I y II
E) Ninguna



4. La proposicin compuesta:
(p q) (q r)
Es falsa, luego:
4
i. p q no es falsa
ii. q r no es verdadera
iii. q q es falsa
Son ciertas:
A) Solo I B) Solo II
C) I y II D) I y III
E) Todas
5. Sabiendo que la proposicin r es verdadera.
En cul de los siguientes casos es suficiente
dicha informacin para determinar el valor de
verdad de las proposiciones?
i. ~r (p q)
ii. (p r) q
iii. r (~q ~p)
A) Solo I B) Solo III
C) I y II D) I y III
E) Todas