MATEMÁTICA DISCRETA

Formalización proposicional
1. Definición

Es el procedimiento mediante el cual se identifican proposiciones simples y estructuras

lógicas proposicionales, asignándole a cada uno un determinado símbolo del lenguaje
de lógica proposicional organizándolos con signos de agrupación.

2. Pasos para resolver problemas

a) Detectar la equivalencia formal del conector lógico a formalizar.

b) Asignar variables a las proposiciones simples (p, q, r, s, t, …)
c) Jerarquizar los operadores lógicos en función de la intensidad de pausa de los
signos de puntuación y el sentido de la proposición
d) Agrupar usando signos de colección de ser necesario (llaves, corchetes,
paréntesis)

Recuerde:

La intensidad de pausa representada por los signos de puntuación posee la siguiente

jerarquía.
,<;<:<.

3. Términos del lenguaje natural:

Negador:  A
• No A, nunca A, jamás A • Es falso que A
• Es absurdo que A • Es mentira que A
• Es negable que A • Es innegable que no A
• Es imposible que A

Conjunción: A  B

• AyB • A pero B
• A con B • A aunque B
• A incluso B • A sin embargo B
• A al igual que B • A tanto como B
• A no obstante que B • A también B
• A sino B • A además B
• A tal como B

Prof. Juan DIONISIO OSORES 1|P ági na

 MATEMÁTICA DISCRETA

Disyunción: A  B

• A o incluso B • AoB
• A no ser que B • A a menos B
• A excepto que B • A o sino B
• A salvo que B

Disyunción exclusiva: A  B

• A o sólo B • OAoB
• A o tan sólo B • A a menos que solamente B
• A o únicamente B • A salvo que únicamente B
• O bien A o bien B • No es equivalente A con B

Bicondicional: A  B

• A si y sólo B • A siempre y cuando B

• A es igual que B • A porque y solamente B
• A es idéntico que B • A es suficiente y B también
• Solo si A entonces B • A implica y está implicado por B

Condicional: A → B

• Si A entonces B • A por lo tanto B

• A implica a B • A luego B
• A consecuentemente B • A solo si B
• Ya que A entonces B • A condiciona a B

Prof. Juan DIONISIO OSORES 2|P ági na

 MATEMÁTICA DISCRETA

Ejercicios de aplicación:

1. La simbolización correcta de la expresión: “Si no hay huelga, luego no hay crisis o

desempleo” es:

Resolución:

Identificando proposiciones simples:

• p: hay huelga
• q: hay crisis
• r: hay desempleo

Formalizando:  p → ( q  r )

2. Simbolice el siguiente enunciado según la notación de Scholz.

Sale el sol si es de día, es falso que no sale el sol porque no es de día.

Resolución:

Identificando proposiciones simples:

• p: sale el sol
• q: es de día

( p  q ) → (  p  q ) condicional inversa
Formalizando:
( q → p ) → (  q → p )
3. Simbolice
Es falso sostener que la economía mejora y el país progresa, ya que la pobreza
extrema aumenta.

Resolución:

Identificando proposiciones simples:

• p: la economía mejora.
• q: el país progresa.
• r: la pobreza extrema aumenta.

 ( p  q )  r condicional inverso
Formalizando:
r → ( p  q )

Prof. Juan DIONISIO OSORES 3|P ági na

 MATEMÁTICA DISCRETA

4. Simbolice
El juez no es justo ni competente, ya que es falso que haya consultado con los peritos.

Resolución:

Identificando proposiciones simples:

• p: El juez es justo.
• q: El juez es competente.
• r: El juez ha consultado con los peritos.

(  p  q )  r condicional inverso
Formalizando:
 r → (  p  q )

5. Simbolice
Ya sea biólogo, ya sea sociólogo, luego es especialista; ya que se muestra en la
realidad

Resolución:

Identificando proposiciones simples:

• p: Es biólogo.
• q: Es sociólogo.
• r: Es especialista.
• s: se muestra en la realidad
( p  q ) → r   s condicional inverso
Formalizando: 
s → ( p  q ) → r 

6. Simbolice la siguiente proposición.

María se matricula en la Universidad Continental, si y sólo si, consigue una vacante
en Ingeniería de Sistemas y no obstante obtiene la beca a Francia.

Resolución:

Identificando proposiciones simples:

• p: María se matricula en la Universidad Continental.

• q: María consigue una vacante en Ingeniería de Sistemas.
• r: María obtiene una beca a Francia.
Formalizando: p  ( q   r )

Prof. Juan DIONISIO OSORES 4|P ági na

 MATEMÁTICA DISCRETA

7. Simbolice lo siguiente.
Es falso que siendo de la burguesía, luche a favor del proletariado. Pues es falso que
el burgués renuncie a su clase.

Resolución:

Identificando proposiciones simples:

• p: Es de la burguesía.
• q: Lucha a favor del proletariado.
• r: El burgués renuncia a su clase.
 ( p → q )  r condicional inversa.
Formalizando:
 r → ( p → q )

8. Simbolice lo siguiente.
En Canadá nieva y hace frio significa que no es el caso que en Canadá no nieve o no
haga frío.

Resolución:

Identificando proposiciones simples:

• p: En Canadá nieva.
• q: En Canadá hace frio.
Formalizando: ( p  q )  (  p  q )

9. Simbolice la siguiente proposición.

Porque hay hambre y miseria, el pueblo se organiza y lucha. Empero el estado
reprime las marchas con violencia y no brinda solución.

Resolución:

Identificando proposiciones simples:

• p: Hay hambre.
• q: Hay miseria.
• r: El pueblo se organiza.
• s: El pueblo lucha.
• t: El estado reprime las marchas con violencia.
• u: El estado brinda solución.
Formalizando: ( p  q ) → ( r  s )   ( t   u )

Prof. Juan DIONISIO OSORES 5|P ági na

 MATEMÁTICA DISCRETA

10. Simbolice la siguiente proposición.

José Linares y de la Fuente, estudiante universitario, en su juventud fue cómico,
animador y músico; pero actualmente es matemático, físico o ingeniero. Resulta que
es lo último, pues trabaja en una empresa conocida.

Resolución:

Identificando proposiciones simples:

• p: José Linares y de la Fuente, estudiante universitario, fue cómico.

• q: José Linares y de la Fuente, estudiante universitario, fue animador.
• r: José Linares y de la Fuente, estudiante universitario, fue músico.
• s: José Linares y de la Fuente, actualmente es matemático.
• t: José Linares y de la Fuente, actualmente es físico.
• u: José Linares y de la Fuente, actualmente es ingeniero.
• v: José Linares y de la Fuente, trabaja en una empresa conocida.

( p  q  r )  ( s  t  u )   ( u  v ) condicional inversa
Formalizando: 
 ( p  q  r )  ( s  t  u )   ( v → u )

Prof. Juan DIONISIO OSORES 6|P ági na