Proposicin Condicional

Definicin 4. Sean proposiciones. La proposicin condicional

es la proposicin si , entonces . La proposicin condicional
es falso cuando es verdadero y es falso, y verdadero en
cualquier otro caso.
En la proposicin condicional , se llama hiptesis (o antecedente
o premisa), y se llama conclusin (o consecuencia).

Puesto que las proposiciones condicionales desempean un rol esencial

en el razonamiento matemtico, una variedad de terminologa se usa
para expresar . Por ejemplo:
Si , entonces

implica

es suficiente para

simepre que

Si ,

solamente si

Una condicin suficiente para es si

cuando

es necesario para

Una condicin necesaria para es a menos que

Tabla de verdad para la proposicin condicional

Por ejemplo, cuando decimos:

Mi automvil funciona si hay gasolina en el tanque.

Este enunciado es equivalente a expresarlo de las siguientes maneras:

a) Si hay gasolina en el tanque, entonces mi automvil funciona.
Observa que en este caso la proposicin condicional es del caso:
Si p, entonces q.

b) Mi automvil slo funciona si hay gasolina en el tanque.

En este caso la proposicin condicional es del caso:
p solamente si q.
Proposicin Bicondicional

Definicin 5. Sean proposiciones. La proposicin bicondicional

es la proposicin si y slo si . La proposicin bicondicional
es verdadera cuando y tienen el mismo valor de verdad, y es
falso en cualquier otro caso.
Terminologa para expresar , por ejemplo:
siempre y cuando

es equivalente a

cuando y slo cuando

es condicin necesaria y suficiente para

Tabla de verdad para la proposicin bicondicional

V
V
F
F

V
F
V
F

V
F
V
V

V
V
F
F

V
F
V
F

V
F
F
V

Pgina

USOS DE LOS SIGNOS DE AGRUPACIN

En un prrafo que se presentan proposiciones simples, conectivos
lgicos, comas y puntos se requiere, para su interpretacin simblica el
buen uso de los signos de agrupacin (parntesis, corchetes, llaves).
Los signos de agrupacin se usan para indicar la jerarqua de los
conectivos lgicos y as evitar ambigedades.
Ejemplos:

1. Si me aumentan el sueldo y ahorro, viajare a Lima.

La simbolizacin es:
p = Me aumentan el sueldo
q=Ahorro
r=Viajar a Lima
( )
En este caso: tiene mayor jerarqua

2. Carla y Marco son estudiantes del ISTP KHIPU, entonces son parte
de la familia KHIPU.

3. Las personas nadaran en el mar si la municipalidad da el permiso, s

y slo si el clima es adecuado.

4. Si a es mltiplo de 4, es divisible por 2, pero a no es divisible por 2,

por tanto no es mltiplo de 4.

Pgina

2
5. Si te cuesta entender las cosas, pero te esfuerzas diariamente,
seguro que apruebas. Pero si no te esfuerzas diariamente, seguro
que desapruebas.

TABLAS DE VERDAD
Son esquemas moleculares:

a. ( )
b. [( ) ] [( ~) ]
c. ( ) ( ~)

La evaluacin de esquemas moleculares consiste en hallar los valores

del operador principal a partir de la validez de cada una de las
proposiciones simple.

El nmero de valores que se asigna a cada variable proposicional

depende de la frmula 2 , donde indica el nmero de proposiciones
simples que existe en el esquema molecular y 2 es una constante que
indica los dos valores (V) o (F) que tiene una proposicin simple.

Ejemplo
1. Construir la tabla de verdad para
p

EJERCICIOS 1
q

p ~ q

2. Construir la tabla de verdad para ( )

p

3. Construir la tabla de verdad para [ ( )]

4. Construir la tabla de verdad para

[(~ ) ~] [ ~( ~)]

Proposiciones (~,,, , )

1. Determinar si cada uno de los siguientes enunciados es una

proposicin.
a. La tierra es plana.
b. Toronto es la capital de Canad.
c. Qu bonito da!
d. Pase por favor.
e. + 3 es un nmero entero.
f. Quince es un nmero par.
g. Qu hora es?
h. Si Carlos llega tarde a la fiesta, entonces su prima se molestar.
2. Negar las proposiciones
a. 1+1 = 0
b. 4 > 2
c. 2 0
d. Quince es un nmero par.
e. Toronto es la capital de Canad.

3. Encuentra el valor de verdad de cada proposicin compuesta:

a. (5 < 8) y (2+3 = 4)
b. Paris est en Francia o 2 + 3 = 4
c. Si 1=2, entonces 3 = 3
d. Si 3+4=12, entonces 3+2=6
e. Si 3+3=6, entonces 3+4=9
f. ABC es un tringulo equiltero si y solo si es un tringulo
equiangular.

Pgina

4. Sean , , , proposiciones, donde:

: Yo termino de escribir mi programa de computacin antes
almuerzo.
: Yo jugar ftbol en la tarde.
: El sol est radiante.
: La humedad es baja.

del

Escribir en forma simblica dada una de las siguientes

proposiciones:
a. Si el sol est radiante, yo jugar ftbol en la tarde.
b. Terminar de escribir mi programa de computacin antes del
almuerzo es necesario para ir a jugar ftbol en la tarde.
c. Baja humedad y sol radiante son suficientes para ir a jugar
ftbol en la tarde.

5. Si , , denotan las siguientes proposiciones acerca de un tringulo

.
: El tringulo es issceles.
: El tringulo es equiltero.
: El tringulo es equiangular.

Traducir cada uno de las siguientes proposiciones simblicas en una

oracin.
a.
b. ~ ~
c. ~
d.
e.

6. Sean , , nmeros reales. Representar cada proposicin

simblicamente,
donde

: < ,

a. ( ) ( < )

: <

< .

b. ( ) ( )

Pgina

c. ( ) [( < ) ( > )]

d. ( < ) [( ) ( > )]

7. Determinar si la instruccin de asignacin, + + ,

se ejecutar en la siguiente secuencia de instrucciones:
3
5

( < 4) ( 5)
+ +

8. Determinar si la instruccin de asignacin, + 1 , se ejecutar

en cada una de las secuencias de instrucciones, donde 2, j 3,
6 y 0.
a. ( < 3) ( < 4)
+ 1

b. ( < 3) ( < 4)
+ 1

c. ( < 3) ( < 4)
+ 1

d. ( < 3) ( < 4)
+ 1

+ 1

+ 1

+ 1

+ 1

EJERCICIOS 2
1. Construir una tabla de verdad para cada una de estas proposiciones
compuestas.
a. ~
b. ~

c. ( ~)

d. ( ) ( )

e. ( ) (~ ~)
f. ( ) ( )

2. Construir una tabla de verdad para cada una de estas proposiciones

compuestas.
a. (~ )
b. ~ ( )

c. ( ) (~ )

TAUTOLOGA, CONTRADICCIN Y CONSISTENCIA

Tautologa
Ahora veamos un caso especial de proposiciones, las cuales se Pgina
caracterizan por tener slo el valor de verdad en la ltima columna
5
de sus tablas de verdad, independientemente de el valor de las dems
proposiciones.
Tales proposiciones se le llaman: Tautologas.

Algunas de estas tautologas son muy comunes y tiles y por eso se le

llaman leyes.
Ahora construyamos la tabla de verdad para la proposicin: ~.
Tabla de verdad para: ~

d. ( ) (~ )

e. ( ) (~ )

f. (~ ~) ( )
NOTA. Para comprobar los resultados usar Wolfram|Alpha:
www.wolframalpha.com
Ejemplo:
http://www.wolframalpha.com/input/?i=truth+table+p+or+not+q

Se observa que el valor de verdad de esta proposicin: ~ es V,

independientemente de el valor de p. Por tanto se trata de una
tautologa. A dicha tautologa se le llama ley del tercio excluido.

Construyamos la tabla de verdad para la proposicin:

[( ) ( )] ( ).

Tabla de verdad para: [( ) ( )] ( ).

[( ) ( )] ( ).

Contradiccin
La contradiccin es una proposicin compuesta: (, , . . . ) que se
caracteriza por tener slo el valor de verdad en la ltima columna de
sus tablas de verdad, independientemente de el valor de las dems Pgina
proposiciones: , , . ..

Ahora construyamos la tabla de verdad para la proposicin: ~.

Tabla de verdad para: ~

A esta proposicin se le conoce con el nombre de La ley del silogismo,

la cual es un principio fundamental del razonamiento lgico.

Podemos denotar a una proposicin compuesta, como las que hemos

visto desde casi el principio, como (, , , . . . . ), donde es la
proposicin compuesta en s, y , , , . .. sus componentes.
Por
ejemplo:
La
proposicin
anterior
que
vimos,
[( ) ( )] ( ), podemos llamar a esta proposicin
compuesta como , de componentes , .
Es decir nuestra proposicin compuesta es de la forma: (, , ).

La tabla nos muestra que en la ltima columna aparecen los valores de

verdad , independientemente de los valores de y ~.
Tautologa, Contradiccin y Contingencia

a. Un esquema molecular es TAUTOLGICO cuando todos los

valores de su operador principal son todos VERDADEROS.
b. Un esquema molecular es CONTRADICTORIO cuando en el
resultado de su operador principal todos los valores son
FALSOS.
c. Un esquema molecular es CONTINGENTE cuando en su
resultado hay por lo menos una verdad o una falsedad.

EJERCICIOS 3
Verificar mediante el uso de las tablas de verdad, si la proposicin molecular
es una tautologa, una contradiccin o ninguno.

c. ( ) ( ) ( )
Pgina

a. ( ) ( ) ( )

d. ( )
b. ( )

e. ~(~)

h. ~(~ ~) ~(~ ~)
Pgina

f.

~( ) ~ ~

g. ~( ) ~ ~

i.

~(~ ~) ~(~ ~)