UNIVERSIDAD CENTRAL DE VENEZUELA

FACULTAD DE CIENCIAS
ESCUELA DE COMPUTACIÓN
MATEMÁTICAS DISCRETAS I (6106)
SEMESTRE I-2023

El Condicional (p → q): Hoja resumen

DEFINICIÓN
Sean p y q dos proposiciones cualesquiera, la proposición compuesta p → q es una proposición
condicional que se lee: “Si p entonces q”. Cabe resaltar que:

ˆ p recibe el nombre de ANTECEDENTE y/o CONDICION SUFICIENTE

ˆ q recibe el nombre de CONSECUENTE y/o CONDICION NECESARIA

ˆ p → q posee la siguiente tabla de verdad

p q p→q
V V V Observe que, cuando el antecedente es VERDADERO y
V F F el consecuente es FALSO la proposición p → q posee
F V V valor de verdad FALSO.
F F V

Consideremos las siguientes proposiciones simples:

p : Marı́a está embarazada.

q : Marı́a tuvo relaciones sexuales.

Importante

Observe que hay una relación causa-efecto que se puede establecer entre p y q. Es decir, es
cierto que “Si Marı́a está embarazada, entonces tuvo relaciones sexuales” (p → q). Más
aún, si escribimos “Si Marı́a tuvo relaciones sexuales, entonces está embarazada” (q → p)
estarı́amos afirmando incorrecto a .
a
En este ejemplo, estamos obviamos embarazos por vı́a artificial.

Ahora enunciaremos una serie de expresiones (en lenguaje natural), que se simbolizan como p → q
para cualesquiera p y q. SIN EMBARGO, usaremos las proposiciones particulares p : Marı́a está
embarazada (ANTECEDENTE) y q : Marı́a tuvo relaciones sexuales (CONSECUENTE) a manera
de ejemplo.

1. Si p entonces q.
Si Marı́a
| está{z
embarazada}, entonces |tuvo relaciones
{z sexuales}.
p q

2. Si p, q.
Si Marı́a
| está{z
embarazada}, tuvo
| relaciones
{z sexuales}.
p q

1
 En una proposición condicional, es posible que el antecedente se separe del consecuente usando
simplemente una coma.
3. p implica q.
El hecho que Marı́a esté embarazada implica que tuvo relaciones sexuales.
| {z } | {z }
p q

4. Para p es necesario q.
Para que Marı́a esté embarazada es necesario que tenga relaciones sexuales.
| {z } | {z }
p q

5. q es necesario para p.
Tener
| relaciones
{z sexuales} es necesario para que Marı́a esté embarazada
| {z }
q p

6. p es suficiente para q.
El
| embarazo {z de Marı́a} es suficiente para asegurar que tuvo relaciones sexuales.
| {z }
p q
En relación a los ı́tems 4, 5 y 6: Es claro que para que una mujer esté embarazada es NECE-
SARIO que tenga relaciones sexuales, pero claramente NO ES SUFICIENTE. Esta condición
queda expresada en los ı́tems 4 y 5. Por otro lado, el hecho que una mujer esté embarazada
ES SUFICIENTE para asegurar que mantuvo relaciones sexuales1 (ı́tem 6).
7. No p a menos que q.
Marı́a no |estará embarazada
{z } a menos que tenga relaciones sexuales.
| {z }
p q

8. q cuando quieras que p.

Marı́a
| debe tener{z
relaciones sexuales}, cuando quiera |estar embarazada
{z }.
q p

9. q siempre que p.
Es cierto que Marı́a tuvo relaciones sexuales, siempre que |esté embarazada
{z }.
| {z }
q p

10. p solo si q.
Marı́a
| estará{zembarazada} solo si |tiene relaciones
{z sexuales}.
p q

11. q si quieres p.
Marı́a
| debe tener{z
relaciones sexuales}, si quiere estar embarazada.
| {z }
q p

Grupo Docente de Matemáticas Discretas I/mmml.

1
Nuevamente recuerde que estamos obviamos embarazos por vı́a artificial.