Ejercicios sobre proposiciones

Ejercicio 1:
Averigüe qué proposiciones son verdaderas o falsas:

1. La luna es cuadrada y mi perro tiene cuatro patas.

2. Si 1+1=21+1=2, entonces 10<1510<15.
3. O la derivada de x2x2 es 2x2x o la integral
indefinida 2x2x es x2x2.
4. Todos los humanos nacieron en Ganímedes o en la Tierra.
5. En Photoshop se edita documentos texto o en Office Word
se edita imagen.

Solución:
Proposición 1:

Naturalmente nos referimos a la Luna que orbita la tierra, esta

Luna, es redonda y no cuadrada, en cuanto al perro, en efecto,
tiene cuatro patas, tenemos:

o La luna es
cuadrada F
also La luna es cuadrada ⏟Falso
 o Mi perro tiene cuatro
patas
VerdaderoMi perro tiene cuatro patas⏟Verdadero

y como son unidas por un conectivo conjuntivo, la proposición

es:

F
La luna es
cuadrada F y mi
perro tiene cuatro
patas
VLa luna es cuadrada⏟F y mi perro tiene cuatro
patas⏟V⏞F
naturalmente falsa. Sigamos con las siguientes proposiciones.

Proposición 2:

F
Si 1+1=2 V,entonces 10>15
FSi 1+1=2⏟V,entonces 10>15⏟F⏞F
La proposición es falsa.

Proposición 3:

O la derivada
de x2 es 2x
V o la integral definida
de 2x es x2
V O la derivada de x2 es 2x⏟V o la
integral definida de 2x es x2⏟V⏞F
Esta proposición es falsa porque se trata de una disyunción
fuerte o exclusiva a pesar de que no existe contradicción en cada
uno de los argumentos por separado. Sería verdadera su fuese
una disyunción inclusiva.

Proposición 4:
V

Todos los humanos nacieron en

Ganimedes F
o en la Tierra VTodos los
humanos nacieron en Ganimedes⏟F o en la Tierra⏟V⏞V
Esta es una disyunción débil o inclusiva, es verdadera ya que
elegimos la proposición simple verdadera, esto es “todos los
humanos nacieron en la tierra“.

Proposición 5:

En photoshop
se editan documentos de
texto
F o en Word se
editan
imágenes
FEn
photoshop se editan documentos de
texto⏟F o en Word se editan imágenes⏟F⏞F
Y por ultimo, tenemos otra disyunción inclusiva, en este caso, la
proposición es falsa.

Ejercicio 2:
Diga cuales de las siguientes proposiciones o enunciados
abiertos son atómicas y moleculares, expréselo simbólicamente
luego de identificarlos correctamente:

1. La gallina pone huevos porque es hembra.

2. El pavo será para mañana antes de las 12 de la noche.
3. O Luis es buen jugador o es afortunado.
4. Hoy esta lloviendo.
5. Mi perro es bonito pero huele feo.
6. Perú se encuentra al lado izquierdo de Brasil y Brasil se encuentra
en américa.
 7. Mi gato no quiere comer.
8. Escribo con un lapicero si y sólo si tiene tinta.
9. Los tiburones les gusta la carne.
10. Puedes usar una dona de plata o una esfera de plata en tu
pulsera de piedras.

Solución:
1. La proposición “La gallina pone huevos porque es hembra” se
puede desdoblar así:

o pp :La gallina pone huevos.

o qq: La gallina es hembra.

¿Cual es la razón de que la gallina ponga huevos?, Que sea

hembra, podemos escribir este enunciado así:

o Si la gallina es hembra, entonces pondrá huevos.

Por tanto, la simbolización esta proposición condicional

es q→pq→p. Aunque la manera correcta de escribirlo es así:

o La gallina es hembra, por tanto, pone huevos.

Este es una implicación lógica simbolizado así q⇒pq⇒p.

2. Se puede separar en dos proposiciones diferentes:

o pp :El pavo será para mañana.

o qq: El pavo es antes de las 12 de la noche.

Se podía haber escrito “El pavo será para mañana y antes de las 12
de la noche“. Para este caso, su esquema molecular es p∧qp∧q.
3. igualmente

o pp :Luis es buen jugador.

o qq: Luis es afortunado.
Por tanto, estamos tratando con una proposición conjuntiva por
el conectivo “y” como en el caso anterior Por tanto, su esquema
molecular es p∧qp∧q.
4. La proposición “hoy está lloviendo” indica que un juicio a un
suceso, aquellas proposiciones de un solo juicio son
proposiciones simples sin conectivos lógicos.

o pp: hoy está lloviendo.

5. Aquí “Mi perro es bonito pero huele feo.“

o pp: Mi perro es bonito.

o qq: Mi perro huele feo.

El conectivo “pero” representa al conectivo conjuntivo “y“, su

esquema molecular es p∧qp∧q.
6. “Perú se encuentra al lado izquierdo de Brasil y Brasil se encuentra
en américa“, se puede separar así:

o pp: Perú se encuentra al lado izquierdo de Brasil.

o qq: Brasil se encuentra en américa.

Estas proposiciones están unidas por el conectivo “y“, por tanto,

su esquema molecular es p∧qp∧q.
7. “Mi gato no quiere comer”, esta proposición es compuesta pero
no un es un conectivo lógico, de aquí podemos extraer el
siguiente enunciado:

o pp: Mi gato quiere comer (Afirmación).

Como existe una negación “no” de simbolizado por “∼∼”, la

proposiciones debe escribirse así ∼p∼p.
8. “Escribiré con un lapicero si y sólo si tiene tinta“, esta
proposición se puede separar así:

o pp: Escribiré con un lapicero.

o qq: El lapicero tiene tinta.
La conectiva “si y sólo si” es una bicondicional, por tanto, la
proposición debe escribirse así p↔qp↔q.
Los ejercicios 9 y 10 se los dejo a su criterio.

Ejercicio 3:

Simbolizar el siguiente argumento detectando sus conectivas

logicas escritos literalmente.

o Si los cerdos vuelan y me hablan, creerían que estoy loco y me

meterían en el manicomio.

Solución:
Para identificar cada una de los conectivos lógicos, vamos a
colorearlo con color rojo y azul.

o Si los cerdos vuelan y me hablan, creerían que estoy loco y me

meterían en el manicomio.

En este argumento, vemos una proposición del tipo condicional

de la forma “Si … , entonces …“, en este caso, el “entonces” se
sobreentiende, significa que la proposición es una condicional
con símbolo “→→” esto indica que es una es una conectiva de
mayor jerarquía, lo podemos escribir así:

o Los cerdos vuelan y me hablan →→ creerían que estoy loco y me

meterían en el manicomio.

El conectivo “y” de color azul es una conjunción lógica

simbolizado por “∧∧”, nuestro argumento se puede escribir así
(sin olvidar la jerarquía de la condicional):

o (Los cerdos vuelan ∧∧ me hablan) →→ (creerían que estoy

loco ∧∧ me meterían en el manicomio).

De aquí podemos identificar las siguientes proposiciones

simples dentro de este argumento y son:
 o pp: Los cerdos vuelan.
o qq: los cerdos me hablan.

o rr: Creerían que estoy loco.

o ss: Me meterían preso.

Finalmente, nuestro argumento queda formalmente simbolizado

de la siguiente manera:

(p∧q)→(r∧q)(p∧q)→(r∧q)
Ejercicio 4:

De los siguientes enunciados:

1. Descansa en paz.
2. ∫x3=x44∫x3=x44
3. Él está cojo.
4. Que alegría.
5. 3–5>33–5>3

Cual de las alternativas siguientes son correctas:

a. 2 de ellas son proposiciones

b. 3 son enunciados abiertos
c. 3 son enunciados declarativos
d. 1 de ellas no son proposiciones ni enunciados abiertos

Solución:
Describamos rápidamente cada uno de los enunciados.

1. Descansa en paz: es un mandato, por tanto, no es un

enunciado declarativo.
2. ∫x3=x44∫x3=x44 es una proposición ya que la integral
definida de ∫xn∫xn es xn+1n+1xn+1n+1.
 3. Él está cojo, es un enunciado abierto, ya que no se sabe a
quien se esta refiriendo.
4. Que alegria, es una expresión emocional y no es un
enunciado declarativo.
5. 3–5>33–5>3 es −2>3−2>3, es imposible que −2−2 sea
mayor que 33, por lo que, estamos tratando con
una proposición falsa.

De aquí, contabilizamos los tipos de enunciados que podamos

encontrarnos:

o Hay 3 enunciados declarativos, esta son la 2, 3 y 5.

o Hay 2 proposiciones y son la 2 y la 5.
o También encontramos 2 enunciados no declarativos, nos
referimos a la 1 y la 4, es decir, no son proposiciones ni
enunciados abiertos.
o Encontramos también un único enunciado abierto, el
enunciado número 3.

por tanto, sólo las alternativas a. y c. son correctas.

Ejercicio 5:

Describir formalmente la siguiente proposición gramatical:

Si Renato va a trabajar tarde, entonces le pagarán menos y si no va a

trabajar tarde, le pagarán más, por tanto, si va a trabajar tarde o no, le
pagaran menos o mas.

Si no entendiste lo que quise decir, mejor te lo digo de esta

manera “transforma el enunciado anterior en
términos pp, qq, rr junto con símbolos conectivos de la siguiente
proposición”:
Solución:
Vamos a trazar con color amarillo tanto enunciados abiertos
simples como proposiciones simples de la proposición original
que estamos planteando.

 Si Renato va a trabajar tarde, entonces le pagarán menos y si no

va a trabajar tarde, le pagarán más. Por tanto, si va a trabajar
tarde o no, le pagarán menos o más.

De aquí, podemos simbolizar con letras minúsculas a las

proposiciones simples como enunciados abiertos simples tenga
la proposición matriz.

o pp = Renato va a trabajar tarde.

o qq = le pagaran menos.
o rr = le pagarán más.

Pero también encontramos otras premisas tiene relación a las

premisas pp, qq y rr:

o no va a trabajar tarde es lo mismo que Renato no va a

trabajar tarde (∼p∼p).
o va a trabajar tarde es lo mismo que Renato va a trabajar
tarde pp.
o no es lo mismo que Renato no va a trabajar tarde (∼p∼p)
o más es lo mismo que le pagaran mas (rr)

Como se habrán dado cuenta, tan solo son variantes de pp y rr,

pero ninguna en qq. La proposición inicial se puede separar en
dos partes, lo podemos hacer desde el punto aparte,quedando
así:

1. Si Renato va a trabajar tarde, entonces le pagarán menos y si no

va a trabajar tarde, le pagarán más
2. Por tanto, si va a trabajar tarde o no, le pagarán menos o más.

en el primer fragmento de la proposición hemos marcado el

conjuntivo “y” de color rosa como mayor jerarquía porque une
dos proposiciones condicionales. Lo podemos escribir así:
1. Si Renato va a trabajar tarde, entonces le pagarán menos ∧∧ si no va
a trabajar tarde, le pagarán más
donde simbólicamente encontramos que:

o Si Renato va a trabajar tarde, entonces le pagarán

menos = p→qp→q
o Si no va a trabajar tarde, le pagarán más = ∼p→r∼p→r.

el primer fragmento quedaría así:

(p→q)∧(∼p→r)(p→q)∧(∼p→r)
En el segundo fragmento, encontramos una coma lo cual para
este caso está representado por la letra “y”, lo podemos escribir
de la siguiente manera:

2. Por tanto, si va a trabajar tarde o no ∧∧ le pagarán menos o más.

donde simbólicamente también encontramos que:

o si va a trabajar tarde o no = p∨∼pp∨∼p.

o le pagarán menos o más = q∨rq∨r.

nuestro segundo fragmento quedaría así:

Por tanto (p∨∼p)∧(q∨r)(p∨∼p)∧(q∨r)

Luego, vemos que en el segundo fragmento encontramos un “Por
tanto“. En la entrada de lacondicional explicamos que
la implicación “Por tanto” es diferente a la condicional “Si …
entonces..”. Para diferenciarlo simbólicamente, debemos de
representarlo así “⇒⇒”
El “por tanto” significa que el primer
fragmento (p→q)∧(∼p→r)(p→q)∧(∼p→r) es el antecedente del
segundo fragmento (p∨∼p)∧(q∨r)(p∨∼p)∧(q∨r) que es el
consecuente pero sin el “por tanto“
Finalmente, nuestra proposición original quedaría así:

[(p→q)∧(∼p→r)]⇒[(p∨∼p)∧(q∨r)][(p→q)∧(∼p→r)]⇒[(p∨∼p)
∧(q∨r)]
Ejercicio 6:

Formalizar simbólicamente el siguiente argumento.

o Si viene corriendo, llegará antes de la 5 pm; si viene con bicicleta,

llegará antes de la 5 pm. Luego, si viene corriendo o con bicicleta,
llegará antes de la 5 pm.

Solución:
Si leemos detenidamente este argumento, resulta ser una
implicacion lógica, vea por usted mismo.

o Si viene corriendo, llegará antes de la 5 pm; si viene con bicicleta,

llegará antes de la 5 pm. Luego, si viene corriendo o con bicicleta,
llegará antes de la 5 pm.

En este caso, la palabra “luego” es lo mismo que “por tanto” y se

encuentra simbolizado por una flecha de este tipo “ “, en la
sección la condicional material puedes encontrar la diferencia
con la implicacion lógica. Nuestro argumento lo podemos
escribir así:

o Si viene corriendo, llegará antes de la 5 pm; si viene con bicicleta,

llegará antes de la 5 pm si viene corriendo o con bicicleta,
llegará antes de la 5 pm.

Note también que encontramos un total de 3 condicionales

lógicas en este argumento y son:

o Si viene corriendo, llegará antes de la 5 pm. (p→q)(p→q)

o Si viene con bicicleta, llegará antes de la 5 pm. (r→q)(r→q)
o Si viene corriendo o con bicicleta, llegará antes de la 5
pm. ((p∨r)→q)((p∨r)→q)

El punto y coma “;” que se encuentra entre las

esquemas (p→q)(p→q) y (r→q)(r→q), representa en este caso a
una conjunción lógica. Por tanto, nuestro argumento queda
representado así:
(p→)∧(r→q)⇒(p∨r)→q(p→)∧(r→q)⇒(p∨r)→q
Ejercicios de valores de verdad

Antes de comenzar con los ejercicios, comenzaré a definir unas

anotaciones que debí resaltarlo en entradas anteriores y es el
definir los valores de verdad de las proposiciones, esta son:

1. V(p)=VV(p)=V, indica que la proposición pp es verdadera.

2. V(p)=FV(p)=F, indica que la proposición pp es falsa.
3. V(p)={V,F}V(p)={V,F} indica que la proposición puede
ser tanto verdadera o como también falsa pero no ambas a
la vez.
4. V(p≠q)={V,F}V(p≠q)={V,F} indica que las
proposiciones pp y qq pueden ser cada una de ellas o
verdaderas o falsas donde V(p)≠V(q)V(p)≠V(q).
5. V(p=q)={V,F}V(p=q)={V,F} indica que las
proposiciones pp y qq puede ser verdaderas o falsas tal
queV(p)≠V(q)V(p)≠V(q).

Con la nueva notación, comencemos con los ejercicios resueltos

(conste que el siguiente problema será un poco largo e
interesante):

Ejercicio 7:

Tenemos 3 variables
proposicionales pp, qq y rr donde V(p)=VV(p)=V, V(q)=FV(q)=
F, V(r)=VV(r)=V. Determine el valor de verdad de los
siguientes esquemas moleculares:

1. r→(q∨p)r→(q∨p)
2. ∼(p∧r)△(q→∼p)∼(p∧r)△(q→∼p)
3. ∼q→(∼p∨r)∼q→(∼p∨r)
 4. ∼(p∧∼q)→(∼r∧p)∼(p∧∼q)→(∼r∧p)

Solución:
Esquema 1:

V{r→(q∨p)}=V(r)→V(q∨p)=V(r)→[V(q)∨V(p)]V{r→(q∨p)}=V
(r)→V(q∨p)=V(r)→[V(q)∨V(p)]
Reemplazando los valores de verdad de pp, qq y rr dados,
tenemos:
V{r→(q∨p)}=V→[F∨V]=VV{r→(q∨p)}=V→[F∨V]=V
Realizando lo mismo con el resto de los esquemas:

Esquema 2:

V{∼(p∧r)△(q→∼p)}=V{∼(p∧r)}△V(q→∼p)=∼[V(p∧r)]△V(q→
∼p)=∼[V(p)∧V(r)]△[V(q)→∼V(p)]V{∼(p∧r)△(q→∼p)}=V{∼(
p∧r)}△V(q→∼p)=∼[V(p∧r)]△V(q→∼p)=∼[V(p)∧V(r)]△[V(
q)→∼V(p)]
Reemplazando valores:

V{∼(p∧r)△(q→∼p)}=∼[V∧V]△[F→∼V]=∼V△[F→F]=F△V=V
V{∼(p∧r)△(q→∼p)}=∼[V∧V]△[F→∼V]=∼V△[F→F]=F△V=
V
Esquema 3:

V{∼q→(∼p∨r)}=∼V(q)→V(∼p∨r)=∼V(q)→[∼V(p)∨V(r)]V{∼q
→(∼p∨r)}=∼V(q)→V(∼p∨r)=∼V(q)→[∼V(p)∨V(r)]
Remplazando, tenemos:

V{∼q→(∼p∨r)}=∼F→[∼V∨V]=V→[F∨V]=VV{∼q→(∼p∨r)}=
∼F→[∼V∨V]=V→[F∨V]=V
Esquema 4:

V{∼(p∧∼q)→(∼r∧p)}=∼V(p∧∼q)→V(∼r∧p)=∼[p∧∼V(q)]→[∼
V(r)∧V(p)]V{∼(p∧∼q)→(∼r∧p)}=∼V(p∧∼q)→V(∼r∧p)=∼[p
∧∼V(q)]→[∼V(r)∧V(p)]
Como en los casos anteriores, reemplazando valores, tenemos:
V{∼(p∧q)→(∼r∧p)}=∼[V∧∼F]→[∼V∧V]=∼[V∧V]→[F∧V]=∼
V→F=VV{∼(p∧q)→(∼r∧p)}=∼[V∧∼F]→[∼V∧V]=∼[V∧V]→
[F∧V]=∼V→F=V.
Ejercicio 8:

Si la siguiente proposición es Falsa:

{[(∼p∨q)→(q∧p)]↔[(r→p)↔(p△q)]}→[(r∨q)↔(r∧q)]{[(∼p∨q)
→(q∧p)]↔[(r→p)↔(p△q)]}→[(r∨q)↔(r∧q)]
determinar el valor de verdad de pp, qq y rr.
Solución:
Tomando el único dato que tenemos y resaltando en color rojo el
conectivo de mayor jerarquía, tenemos:

{[(∼p∨q)→(q∧p)]↔[(r→p)↔(p△q)]}→[(r∨q)↔(r∧q)]{[(∼p∨q)
→(q∧p)]↔[(r→p)↔(p△q)]}→[(r∨q)↔(r∧q)]
Por la propiedad de la condicional:

o V{[(∼p∨q)→(q∧p)]↔[(r→p)↔(p△q)]}=VV{[(∼p∨q)→(q
∧p)]↔[(r→p)↔(p△q)]}=V
o V[(r∨q)↔(r∧q)]=FV[(r∨q)↔(r∧q)]=F

si una bicondicional es verdadera, por

ejemplo V(m↔n)=VV(m↔n)=V entonces deducimos
que V(m=n)={V,F}V(m=n)={V,F}, en caso contrario
si V(m↔n)=FV(m↔n)=F, entonces se cumple
que V(m≠n)={V,F}V(m≠n)={V,F}. Con estas nuevas notaciones
explicadas al inicio de la de publicación, podemos escribir las
proposiciones anteriores de la siguiente maner:
Usando la notación 5 para la bicondicional y nombrando estas
ultimas proposiciones, tenemos.

V{[(∼p∨q)→(q∧p)]=[(r→p)↔(p△q)]}={V,F}⋯(I)V{[(∼p∨q)→
(q∧p)]=[(r→p)↔(p△q)]}={V,F}⋯(I)
V[(r∨q)≠(r∧q)]={V,F}⋯(II)V[(r∨q)≠(r∧q)]={V,F}⋯(II)
comencemos con la proposición (I), Por ser una bicondicional,
los fragmentos proposicionales entre
corchetes [(∼p∨q)→(q∧p)][(∼p∨q)→(q∧p)] y [(r→p)↔(p△q)][(
r→p)↔(p△q)] o son verdaderas o son falsas. Lo dividiremos en
dos casos:
Remplazando valores:

Caso 1: cuando [( ) ( )] = [( ) ( )]
…… (III)

Tomando el lado izquierdo de la igualdad:

[( ) ( )] = ……. (IV)

de aquí, encontramos tres posibles combinaciones de valores de

verdad que cumple (IV), consideremos que ( )= , de la
proposición (IV).

encontramos que y son verdaderas, de esta misma

proposición notamos una disyunción inclusiva resaltando sus 2
posibles valores de verdad y es ( ) = { , }, aquí no hay
mucho que investigar ya que no importa que valor de verdad
tenga este fragmento proposicional, aunque resulta ser
verdadera por los valores de y como primera combinación,
se descarta la segunda combinación, esto es, cuando es falsa ya
que no existe valores para ella. Esto indica que nos falta una
tercera y última combinación, pero esto lo veremos luego.

Como ya sabemos que ( ) = y ( ) = , para calcular el

valor de , analicemos el lado derecho de la igualdad de la
proposición (III), esto es:

[( ) ( )] = …… (V)

si reemplazamos los valores de verdad de y en (V),

encontramos una contradicción, veámoslo en el siguiente
esquema:

lo cual resulta ser contradictorio, este fragmento de proposición

no puede ser verdadero o falso simultáneamente. Esta opción
queda descartada, volvamos a escribir la ecuación numero (IV):

[( ) ( )] = ……. (IV)

nos falta la tercera posibilidad, la proposición (IV) también es

valida cuando:

( )= …… (VI)

( )= …… (VII)

de (VI) y (VII) deducimos que ( ) = y ( ) = ,

reemplazando en la proposición (V) para calcular tenemos:
 ( )={ , }

por lo visto, no encontramos el valor de , pero tenemos la

proposición (II), lo escribiremos de nuevo aquí.

[( ) ( )] = { , } …… (II)

aquí solo podemos remplazar el valor de verdad de , de esta

manera encontramos el valor de y es ( ) = . Por lo tanto, los
valores de , y son:

( )=

( )=

( )=

Caso 2: cuando [( ) ( )] = [( ) ( )]
= …… (IV)

vamos a separarlo en dos partes, tenemos:

[( ) ( )] = y [( ) ( )] =

por la propiedad de la condicional del lado izquierdo del

esquema molecular y enumerando las proposiciones, resulta:

( )= ………………………. (VIII)

( )= …………………………….. (IX)

[( ) ( )] = { , } …… (X)
Fijense que la proposición “ [( ) ( )] = ” es lo
mismo que la proposición [( ) ( )] = { , }.
Volviendo al asunto, de las proposiciones (VIII) y (IX)
encontramos dos posibilidades y esta son:

 Posibilidad 1: si ( ) = entonces ( ) =
 Posibilidad 2: Si ( ) = entonces ( ) =

si reemplazamos los valores de la posibilidad 1 en la proposición

(X), se logra hallar el valor de , su valor es:

( )=

a primera vista, parece ser que no encontramos contradicción

alguna, pero los valores de , y contradicen a la proposición
(II), lo escribiremos de nuevo:

[( ) ( )] = { , } …… (II)

lo escribiremos de nuevo como una bicondicional:

[( ) ( )] = …… (XI)

si reemplazamos estos nuevos valores, resulta que la proposición

(XI) es verdadera. Por tanto, la posibilidad 1 queda descartada.
Vayamos con la posibilidad 2 donde asumiremos que:

( )= y ( ) =

reemplazando en la proposición (X) para hallar el valor

de resulta que:

( ) =
pero de nuevo encontramos contradicción al reemplazar los
nuevos valores de en la proposición (XI), ya que volvemos a
encontrar que dicha proposición es verdaderacontradiciendo a
(XI).

Por lo visto, ya no nos queda mas posibilidades, finalmente, los

valores que cumplen la proposición original:

{[( ) ( )] [( ) ( )]} [( ) (
)]

son los valores del caso (I) de la tercera posibilidad, esto es:

 ( )=
 ( ) =
 ( ) =

Problema resuelto.

Ejercicio 9:

Si el siguiente esquema molecular es falso:

[( ) ( )] ( )

Resolver el valor de verdad de la siguiente proposición:

{( ) [ ( )] } ( )

Solución:
Tenemos como dato:

[( ) ( )] ( )=
donde:

[( ) ( )] = …… (I)

( )= …………………… (II)

de (I), podemos deducir que:

( )= …… (III)

( )= …… (IV)

y aquí viene lo bueno, analizaremos tanto la proposición (III)

como la proposición (II) simultáneamente, encontramos los
siguientes resultados

Caso 1: si ( ) = entonces ( ) = y ( )=

Caso 2: si ( ) = entonces ( ) = y ( )=

notamos que y tiene valores de verdad iguales, pero estas

dos son contrarias a , es decir:

( )= ( ) ( ) ……… (V)

Ahora, resolveremos la proposición planteada del ejercicio,

escribamos de nuevo la proposición con el nombre :

= {( ) [ ( )] } ( )

donde:

( ) = {{( ) [ ( )]} ( )}
si se han dado cuenta, he cambiado el orden de algunas
proposiciones de ( )] en (
) esto lo expliqué en la última parte de la entrada
llamada signos de agrupación en lógica proposicional, le sugiero
la lectura de estos últimos párrafos para su mejor comprensión.

De la proposición , lo separaremos en diferentes valores de

verdad como sigue:

( ) = { {( ) [ ( )]} ( )}

( ) = { {( ) [ ( ) ( )]} ( )}

EL pequeño fragmento de color púrpura es igual al esquema de

la proposición (IV), es decir, una proposición verdadera,
remplazando este valor y coloreando convenientemente de color
marrón, tenemos:

( ) = { {( ) [ ( )]} ( )}

el fragmento sombreado en color marrón, es para resaltar el

disyuntivo inclusivo, donde si por lo menos una de sus
proposiciones es verdadera, entonces la disyunción inclusiva es
verdadera, nos quedaría:

( )={ ( ) } ( )

cada vez nuestra ejercicio se va acortando, volvamos a escribir la

igualdad (V):

( )= ( ) ( ) …… (V)

examinando la proposición con la condición (V), podemos

deducir sin necesidad de saber los valores de , y , veamos:
 ( )= porque ( ) ( ) ……… (VI)

no importa que valor de verdad exacto tengan y , siempre

existirá entre ellos dos una verdad, es por eso que la proposición
de color verde siempre sera verdadera por ser una disyunción
inclusiva.

Regresando a la forma final de la proposición , examinaremos

el fragmento proposicional de color azul, podemos deducir
fácilmente que:

( )= porque ( ) = ( ) ……… (VII)

si dos proposiciones son son o verdaderas o falsas, entonces la

disyunción exclusiva que las une siempre sera falsa. Volviendo a
escribir la proposición :

( )={ ( ) } ( )

de aquí, reemplazamos los valores de verdad de (VI) y (VII),

tenemos:

( )={ }

finalmente, el valor de es:

( )=

Problema resuelto.

Ejercicio 10:

Si el siguiente esquema molecular:

[( ) ] ( )

es falsa, calcular el valor de verdad de la siguiente proposición:

[ ( )] [( ) ( )]

Solución:
Este ejercicio es sencillo, quise bajar el nivel porque tuve
problemas editando el problema número 4, bueno, tenemos
como dato que:

{[( ) ] ( )} =

Una disyunción exclusiva es falsa cuando las proposiciones que

la une o son falsas o son verdaderas, usando la notación que
explicamos al inicio de esta publicación, podemos escribirlo así:

{[( ) ]=( )} = { , }

de aquí, podemos encontrar dos posibles casos, y esta son:

{[( ) ]=( )} = …… (I)

{[( ) ]=( )} = …… (II)

CASO I:

Del esquema molecular (I), deducimos que:

[( ) ]= ……… (III)

( )} = ………………………. (IV)

de (IV) por ser una conjunción, inferimos que:

 ( )=

( )=

si reemplazamos estos valores en (III), no encontramos

contradicción y también deducimos el valor de y es:

( )=

Vayamos al caso 2 por si encontramos otros posibles valores.

CASO II:

Lo volvemos a escribir de nuevo:

{[( ) ]=( )} = …… (II)

lo escribiremos de la siguiente manera:

[( ) ]= ……… (V)

( ) = ………………………… (VI)

en la proposición (V), una disyunción es falsa cuando sus

proposiciones que las componen son también falsas, de (V)
tenemos:

( )=

( )=

de aquí deducimos los valores de , y y son:

( )=
 ( )=

( )=

sin embargo, estos valores contradicen a la proposición (VI), por

lo visto, el CASO II queda descartado. Tomando los valores de
verdad del CASO I, lo volvemos a escribir:

( )=

( )=

( )=

estos valores de verdad lo reemplazamos en nuestra proposición

que queremos resolver, resultando finalmente:

[ ( )] [( ) ( )] =

Problema resuelto.

Ejercicio 11:

Presentamos el siguiente esquema molecular:

=( ) { [ ( ) ( ) ]}

Resolver el valor de verdad de:

Solución:

Calculemos :
 ( ) = {( ) { [ ( ) ( ) ]}}

donde:

( )= ( ) { [ ( ) ( ) ]}

( )= ( ) { ( ) [ ( ) (
) ]}

aquí podemos hacer algo interesante, primero sombrearé de

color verde para indicar mi intención:

( )= ( ) { ( ) [ ( ) (
) ]}

en este fragmento coloreado de color verde, podemos ver 3

proposiciones unidas por disyuntivos inclusivos. Como ya
explique al final de esta entrada donde el orden de las
proposiciones que la componen de ciertos conectivos lógicos, no
altera el valor de verdad de la proposición matriz, podemos
ordenarlo de la siguiente manera:

( )= ( ) { ( ) [ ( ) (
)]}

pero como una disyunción siempre es verdadera si por lo menos

unos de sus proposiciones componentes es verdadera, como
aquí:
entonces, el fragmento de color verde del esquema molecular de
la proposición es verdadera, quedando:

( )= ( ) { ( ) }

el fragmento rosado es una condicional, vemos que su

consecuente es verdadero, por tanto, la condicional de color
verde es también verdadero:

( )= ( )

esto también es una condicional con consecuente verdadero, por

fin, tenemos:

( )=

para nuestro problema:

como es una disyunción inclusiva donde es verdadera,

finalmente el valor de verdad es:

( )=

también verdadera

Problema resuelto

Ejercicios de tablas de verdad

Ejercicio 12:

Calcular la tabla de verdad de la proposición del ejercicio

anterior, es decir, del ejercicio 4.
Solución:
Volvamos a escribir la proposición del ejercicio 4:

{[( ) ( )] [( ) ( )]} [( ) (
)]

De aquí, tenemos que sacar todos los valores de verdad en una

tabla de verdad, veamos: