LÓGICA PROPOSICIONAL 5.

Todas las gallinas son aves … (V)

Introducción
1.3. Enunciado Abierto
Es una rama de las matemáticas, cuyo objetivo es cuestionar
Los enunciados que usan las palabras “él”, “ella” y las variables
con el mayor rigor posible los conceptos y reglas de deducción
x, y, z, no tienen la propiedad de ser verdadero o falso, es
utilizados en proceso de razonamiento.
decir no son proposiciones. Sin embargo si a una de estas
Nota: La VALIDEZ significa que una proposición es verdadera o palabras y símbolos se le asigna un determinado objeto o valor,
falso, pero nunca debe ocurrir que sea verdadero y falso a la llamado constante, el resultado es una proposición. A este tipo
vez. A lo largo de este tema veremos cómo se usan los de enunciados se les denomina enunciados abiertos.
conectivos lógicos y cuando es V o F una disyunción, una
conjunción, una condicional, una bicondicional, una disyunción Ejemplos:
exclusiva fuerte, etc.
1. p  x  :" x  5"
1.1. Enunciado Enunciado abierto porque no podemos afirmar que es V
Se llama enunciado a toda frase u oración que se utiliza en el o F . Sólo cuando la variable “ x ” toma un valor numérico
lenguaje común. Algunos enunciados son mandatos o se hace V o F .
interrogaciones o son expresiones de emoción. Así tendremos:
p  2  : 3  5 es V
Ejemplos:
p  9  : 9  5 es F
1. ¿Qué curso te has matriculado?
2. Él está jugando tenis.
2. ¡Vaya rápido!
Enunciado abierto, si la variable él se reemplaza por la
3. Arriba Alianza
constante Fernando tenemos “Fernando está jugando
4. No faltes
5. ¿Quién llamo por teléfono? tenis”, que es una proposición cuyo valor de verdad V o
6. Buenos días F depende de que si Fernando esté jugando o no.
7. ¡Viva el Perú! 3. x  2  5
8. Prohibido hacer bulla Enunciado abierto, si la variable “ x ” se reemplaza por un
número mayor que 3 el enunciado se convierte en una
Observación: Los enunciados que expresan una exclamación, proposición verdadera, o si el reemplazo se hace por un
una interrogación, una emoción, son expresiones no número menor que 3 , la proposición resulta falsa.
proposicionales, tales como los ejemplos: 1, 2,3, 4,5,6
1.4. Conectivos Lógicos u Operadores Lógicos
1.2. Proposición Lógica Los conectivos lógicos son símbolos que enlazan proposiciones
Se denominará así a toda expresión u oración que puede atómicas, sin formar parte de ellas. Dichos símbolos también
calificarse o bien como VERDADERA (V) o bien como FALSA toman el nombre de operadores.
Los conectivos lógicos que usaremos en matemáticas son:
(F) , pero no ambos simultáneamente. Las proposiciones
 La conjunción: 
lógicas se denotan por letras minúsculas tales como:  La disyunción: 
p , q , r , s , t, ; y se les llama variables  La condicional: 
proposicionales. A la veracidad o falsedad de un enunciado  La bicondicional: 
(proposición) se le denomina valor veritativo o valor de  La negación:
verdad. A la proposición lógica también se le denomina
simplemente PROPOSICIONES. 1.5. Clases de Proposiciones Lógica
1.5.1. Proposición Simple (atómica o elemental)
Ejemplos:
Son aquellos enunciados que no llevan ningún conectivo
1. 2  3  5 ... (V)
lógico. El valor de verdad V o F de estas proposiciones se
2. Viena es la capital de Austria … (V) obtiene de la disciplina o suceso de donde provienen. Se
3. Ancash es un departamento del Perú … (V) pueden representar por una sola variable, es decir, por una
4. 117  319  426 … (V) sola letra como:
p :1  4  5

Lic. Mat. Neisser Arturo Soto Fernández

Ejemplos:
1. p : El ángulo recto mide 90º .
V(p)  V , por los conceptos de la geometría elemental.
2. q : Carlos Marx es autor de la Iliada.
V(q)  F , pues según la historia, Homero es autor de la
Ilíada.
3. r : “ 7 es un número primo”
V(r)  V , porque la aritmética así lo establece.
1.5.2. Proposición Compuesta (molecular o coligativa)
Son aquellas proposiciones que se obtienen de la combinación
de dos o más proposiciones simples. El valor de verdad de la
proposición compuesta depende del valor de verdad de cada
una de las proposiciones componentes. A las proposiciones
compuestas se les llama también funciones veritativas.
En la composición de proposiciones simples, están ligadas por
ciertas palabras tales como “y”, “o”, “si, entonces” , “si y sólo
si”, “no” , “pero” , etc. Estas constantes proposicionales son
llamados conectivos lógicos.
Dónde:
“y” se representa por: 
“o” se representa por: 
“Si … entonces …”se representa por: p  q
“Si … y sólo si …” se representa por: p  q
5. La luna no es satélite de la tierra.
Es una proposición molecular que utiliza el conectivo “no”. En
este caso, el término de enlace actúa solo sobre una
proposición atómica.
p : La luna es satélite de la tierra
Se denota por: ~ p
6. No es el caso que Pedro baile y no cante
p : Pedro baile
q : Pedro cante
Se denota por: ~  p  ~ q 
Nota: No es el caso que usa el conector ~ ( )
Observación: Dado que el valor de una proposición molecular
depende únicamente de los valores de verdad de las
proposiciones componentes. El número de combinaciones para
el valor de verdad de aquella es 2n , donde n es el número de
enunciados que tiene la proposición compuesta. En la primera
columna la mitad de las filas serán V y la otra mitad F ; en las
siguientes columnas se va disminuyendo de mitad en mitad, con
respecto a la columna anterior. Así:
 Para una proposición p le corresponde 21  2 posibles
valores.
p
V
F

Ejemplos:  Para dos proposiciones p y q le corresponde 22  4

1. El terreno es muy fértil y hay suficiente lluvia. combinaciones de valores.
p : El terreno es fértil p q
q : Hay suficiente lluvia V V
Se denota por: p  q V F
2. José llego tarde, sin embargo dio examen F V
p : José llego tarde F F
q : José dio examen
 Para tres proposiciones p , q y r le corresponde
Se denota por: p  q
23  8 combinaciones de valores.
Nota:”  ” se lee “equivalente”.
p q r
Sin embargo es “y”
3. Maradona jugó, aunque estuvo lesionado V V V
p : Maradona jugó V V F
q : Maradona estuvo lesionado V F V
V F F
Se denota por: p  q
F V V
Nota: aunque es “y”
F V F
4. Si 9 es múltiplo de 3 y 12 es múltiplo de 3 , entonces
F F V
9  12 es múltiplo de 3 F F F
p : 9 es múltiplo de 3
q : 12 es múltiplo de 3 1.6. Tablas de verdad
r : 9  12 es múltiplo de 3 La VERDAD o FALSEDAD de una proposición se denomina su
Se denota por:  p  q   r VALIDEZ ( o su valor de verdad). La validez de la conjunción, de

Lic. Mat. Neisser Arturo Soto Fernández

la disyunción, de la condicional, de la bicondicional y de la Se simboliza así: ~ ..........
negación pueden representarse en TABLAS.
p
En Consecuencia, dadas dos o más proposiciones simples cuyos
Ejemplos:
valores de VERDAD son conocidas, el VALOR DE VERDAD de
una PROPOSICIÓN COMPUESTA depende de la verdad de p: 2 4  6 … F 
cada uno de las proposiciones componentes y se determina
~ p : 2  4  6 … V 
mediante TABLAS DE VERDAD.
Las tablas de verdad de la negación, disyunción, conjunción, q : Helsinki es la capital de Polonia …  F 
condicional, bicondicional y la disyunción exclusiva se explicará a
continuación. ~ q: Helsinki no es la capital de Polonia … V 
La última negación ~ q es Verdadera pues la ciudad de
Resultados Notables de una Tabla de Verdad Helsinki es la capital de Finlandia.
a) Tautología
A toda proposición simple o compuesta cuyo valor de 1.7.1. La Negación Conjuntiva
verdad se encuentra en su matriz principal y está Dado dos proposiciones p y q , definimos la negación
conformado solo de valores V .
conjuntiva de p y q , a la proposición compuesta "p  q" que
b) Contradicción
A toda proposición simple o compuesta cuyo valor de se lee: “ni p ni q ” o “no p y no q ”. Es decir:
verdad se encuentra en su matriz principal y todos los pq ~p  ~q
valores son F . Se rige por la siguiente regla:
c) Contingencia Una proposición de la negación conjuntiva es verdadera sólo
Si en su matriz principal aparece por lo menos un valor V cuando sus dos componentes son falsos, siendo falsa en los
y un F . otros casos. Su tabla de verdad es:
p q pq
1.7. La Negación (simbolizadas por " ~ " , se lee “no”)
V V F
Sirve para cambiar el valor de verdad de una proposición, esto V F F
significa que si "p" es V , su negación es F , y si "p" es F , su F V F
negación es V . Esquemáticamente se representa por la F F V
siguiente tabla de verdad:
p ~p Ejemplo:
V F  Ni Ricardo Palma fue escritor ni Mariátegui fue poeta.
F V p Ricardo Palma fue escritor
q Mariátegui fue poeta
Esto significa que si “p” es V , su negación es F , y si Se simboliza por: ~ p ~ q o por p  q
“p” es F , su negación es V
Nota: La ~ p se lee: “no p ” o “no es cierto que p ”. 1.7.2. La Negación Alternativa
En todo párrafo las palabras: “nunca”, “jamás”, ”no ocurre que”,
Dado dos proposiciones p y q , definimos la negación
“no es verdad que”, “no es el caso que”, “no acarece que”, “es
mentira que”, “es incompatible que”, “es inconcebible que”, “es alternativa de p y q , a la proposición compuesta "p | q" que
inadmisible que”, “de ninguna forma se da”, “en forma alguna”, se lee: “no p o no q ”. Es decir: p | q  ~ p ~ q
“carece de todo sentido”, “de ningún modo”, “en modo alguno”, Se rige por la siguiente regla:
“es incorrecto que”, “es incierto que”, “nadie que sea”, “es Una proposición de la negación alternativa es falsa sólo cuando
objetable que”, “es absurdo que”, “es falso que”, “es refutable los dos componentes son verdaderos, siendo falsa en los otros
que”, “es falaz que”, etc. casos. Su tabla de verdad es:
En estos casos los indicados términos niegan toda la p q p|q
proposición compuesta p . Es decir: V V F
a) “no es el caso que” . V F V
~ p F V V
b) “es falso que” . F F V
~ p

Lic. Mat. Neisser Arturo Soto Fernández

 Ejemplos:
 6 no es divisor de 20 o no es número primo.
p : 6 es divisor de 20
q : 6 es número primo
Se simboliza por: ~ p ~ q o por p | q
1.8. La Disyunción (“  ”)
Se llama disyunción o suma lógica de las proposiciones p y q ,
dados en ese orden, a la proposición que se obtiene enunciando
q a continuación de p unidas ambos por el conectivo “o”, esto
es: “ p ó q ”. Como el sentido del conectivo “o” es excluyente, se
puede interpretar de dos maneras: débil o inclusiva y fuerte o
exclusiva.
1.8.1. La Disyunción Inclusiva o Débil
La disyunción inclusiva o débil de p y q , se denota por “
p  q ” y se lee "p ó q" . Esta proposición p  q es falsa
únicamente cuando p y q son ambas falsas, en cualquier
otro caso es verdadera. Su tabla de verdad es la siguiente.
p q pq
V V V p  q es (F) .
V F V Estas consideraciones ilustran la necesidad de distinguir
F V V dos interpretaciones para la disyunción "p o q" .
F F F
Nota: En todo párrafo las palabras: p ó q (sentido Incluyente),
p a menos que q , a menos que p, q , p salvo que q , p
excepto que q , p o también q , p o en todo caso q , p o
bien q , p a no ser que q , p o incluso q , p y bien o
también q , al menos uno de los dos p ó q , p o sino q , p
alternativamente q , p y/o q .
Ejemplos:
 La proposición: “La luna es azul o 3 es un número primo
”, es la disyunción de:
p : La luna es azul … (F)
q : 3 es un número primo … (V)
Luego p  q es verdadera (V)
 La proposición: Luis es ingeniero o profesor de
matemáticas, es la disyunción de:
p : Luis es ingeniero
q : Luis es profesor de matemáticas
Se observa que si V(p)  F y V(q)  F entonces
p  q es falso (F) , sin embargo cuando las
componentes son ambas verdaderas, la disyunción
Lic. Mat. Neisser Arturo Soto Fernández
admite dos uso diferentes del conectivo “o”, uno
inclusivo y el otro exclusivo.
Ahora si V(p)  V y V(q)  V entonces p  q es
verdadero (V) . En este caso hemos usado el “o”
inclusivo, pues la verdad de que Luis sea ingeniero no
excluye la posibilidad de que sea profesor de
matemáticas.
 La proposición: “ 4 es menor o igual que 7 ”, es la
disyunción de:
p: 4 7
q: 47
Se observa que si V(p)  V y V(q)  F entonces
p  q es verdadero (V) .
 La proposición: “César Vallejo nació en el Perú o nació
en Francia” es la disyunción de:
p : César Vallejo nació en el Perú
q : César Vallejo nació en Francia
Observe que si la verdad de que César Vallejo naciera
en el Perú excluye la posibilidad de que naciera en
Francia y viceversa. En este caso hemos usado el “o”
exclusivo, y si V(p)  V ó V(q)  V entonces
1.8.2. La Disyunción Exclusiva o Fuerte (“  ”)
En este caso, la palabra “o” suele usarse en su sentido
excluyente, en cuyo caso la conectiva proposicional se
simboliza por “  ”, se llama disyunción exclusiva o fuerte, se
escribe p  q o por p   q y se lee dos maneras: “o p , o q ”
“ p o q pero no ambos”, esto es, se da exactamente una de las
dos alternativas. La disyunción exclusiva de dos proposiciones
es verdadera si y sólo si por lo menos una de las dos
proposiciones componentes es verdadera y no las dos,
resultando falsa en otros casos. Su tabla de verdad es:
p q p q
V V F
V F V
F V V
F F F
Nota: En todo párrafo las palabras: p o q (sentido excluyente),
o bien p o bien q , o solo p o solo q , p a menos que
solamente q , p salvo que únicamente q , p excepto que
sólo q , a menos que sólo p , q , p o bien necesariamente q ,
p o exclusivamente q , p no es equivalente a q , p no es
idéntico a q , salvo que p o q , p no es lo mismo que q , p o
tan solo q .
1.9. Conjunción (“  ”) a) Si el antecedente p es falso, entonces la condicional
Si combinamos p y q mediante el conectivo " " se forma otra p  q es verdadera, independientemente del valor
proposición "p  q" que se lee: " p y q" . p  q es de verdad que pueda tomar q
verdadera cuando p y q son ambos verdaderos. Su tabla de b) Si el consecuente q es verdadero, entonces la
verdad es:
p q pq condicional p  q es verdadera en forma

V V V independiente del valor de verdad que pueda tomar

V p.
F F
F V F 2. Otras lecturas para la condicional p  q son:
F F F “Si p entonces q ”; “ p , sólo si q ”; “ q , si p ”; “ p implica
q ”; “ p si q ”; “Es suficiente que p para que q ”; “Es
Nota: La conjunción p  q también puede leerse como: p pero
necesario que q para que p ”; “ p es una condición
q , p no obstante q , p además q , p aunque q , p sin
suficiente para que q ”; “ q es una condición necesaria
embargo q , p incluso q , p es compatible con q , p así como
para p ”; “ q a menos que no p ”; “Si p , q ”; “Porque p ,
q , p del mismo modo q , p aun cuando q , p también q , p q ”; “Cuando p , q ”; “ p sólo cuando q ”.
de la misma forma que q , p al igual que q , tanto p como q ,
Las conectivas ya que, puesto que, dado que, en vista de,
siempre ambos p con q , p no obstante q , no sólo p sino porque, cuando, sólo cuando, solamente porque, cada vez
también q , p así como q , p a pesar de q , p a la vez q , p que, siempre que, etc. , también expresan conectivos
más q , p con q los dos a la vez, p e q condicionales, con la característica de que antes de cada
una de estas conectivas aparece el consecuente, y
Ejemplos: después de ella el antecedente.
Por otra parte, existen proposiciones condicionales donde
 La proposición: “ 3 es menor que 5 , pero mayor que 1 ” la partícula “si” aparece entre 2 proposiciones-.
es la conjunción de: Ejemplo:
p : 3 es menor que 5  Llegaremos tarde al festival si el avión espera que pase
q : 3 es mayor que 1 la tormenta.
Se denota por: p  q p : El avión espera que pase la tormenta
 La proposición: “Manuel es juez pero honesto” es la q : Llegaremos tarde al festival
conjunción de: Esta proposición se debe entender así:
p : Manuel es juez Si el avión espera que pase la tormenta entonces
q : Manuel es honesto llegaremos tarde al festival.
Se denota por: p  q Se denota por p  q
 Subirá el precio del pan ya que subió el precio de la
gasolina.
1.10. La Condicional (“  ”)
p : Subió el precio de la gasolina
Al enlazar p con q mediante el conectivo "  " se forma la q : Subirá el precio del pan
proposición "p  q" que se lee: “Si p , entonces q ”. A p se Esta proposición se debe entender así:
le llama antecedente y a q consecuente. Si subió el precio de la gasolina entonces subirá el
La proposición p  q es falsa únicamente cuando el precio del pan.
antecedente p es verdadera y el consecuente q es falsa, Se denota por p  q

siendo verdadera en todos los demás casos.  La producción agrícola bajó, dado que hubo escasez de
Su tabla de verdad es: abono
p q pq p : Hubo escasez de abono
V V V q : La producción agrícola bajó
V F F Esta proposición se debe entender así:
F V V Si hubo escasez de abono entonces la producción
V agrícola bajó.
F F
Se denota por p  q
Observaciones:
1. De la tabla se tiene que:

Lic. Mat. Neisser Arturo Soto Fernández

  El profesor no controló la asistencia puesto que la Ejemplos:
oficina de la dirección del colegio estaba cerrada y no
a es positivo, si a es mayor que cero
estaba el portero.
Esta proposición se debe entender así:
p: La oficina de la dirección del colegio estaba cerrada
Si a es mayor que cero entonces a es positivo
q: Estaba el portero Se denota por p  q
r: El profesor controló la asistencia
Su contrarecíproco es:
Esta proposición se debe entender así:
Si a no es positivo, entonces a no es mayor que cero.
Si la oficina de la dirección del colegio estaba cerrada y
Se denota por ~ q ~ p
no estaba el portero entonces el profesor no controló la
Pedro comerá, puesto que tiene hambre.
asistencia.
p: Pedro tiene hambre
Se denota por  p ~ q  ~ r q: Comerá
La proposición condicional está asociada a otras tres Esta proposición se debe entender así:
proposiciones importantes, estas son: La recíproca, la inversa y Si pedro tiene hambre, entonces comerá.
la contrarecíproca. Se denota por p  q
Su contrarecíproco es:
1.10.1. Proposición Recíproca
Pedro no comerá entonces no tiene hambre.
La proposición recíproca que corresponde a la condicional Se denota por ~ q ~ p
p  q es q  p .
1.11. La Bicondicional (  )
Ejemplos:
Al enlazar p con q mediante el conectivo “  ” se forma otra
Si hoy es sábado, mañana es domingo. proposición "p  q" que se lee: “ p si y sólo si q ”. Se
Se denota por p  q denomina bicondicional a la proposición definida por la
Su recíproco es: conjunción de la proposición condicional con su recíproco es
Si mañana es domingo, hoy es sábado decir:
Se denota por q  p p  q   p  q   q  p
Luego la regla que rige es:
1.10.2. Proposición Inversa o Contrario Una proposición bicondicional p  q es verdadera
La proposición inversa que corresponde a la condicional únicamente cuando p y q son ambos verdaderos ó ambos
p  q es ~ p ~ q . falsos, en los otros casos son falsos. Su tabla de verdad es:
p q pq
Ejemplos: V V V
V F F
Si hoy es sábado, mañana es domingo.
F V F
Se denota por p  q
F F V
Su Inversa o contrario es:
Si hoy no es sábado, mañana no es domingo Observaciones:
Se denota por ~ p ~ q Otras lecturas para la bicondicional p  q son:
a es positivo, si a es mayor que cero “ p si y solamente si q ”; “ p es una condición necesaria y
p: a es mayor que cero suficiente para q ”; “ p es equivalente a q ”; “ p es idéntico a
q: a es positivo q ”; “ p es equivalente a q ”; “ p es lo mismo que q ”.
Se denota por p  q
Su Inversa o contrario es: Ejemplos:
a no es positivo, si a no es mayor que cero  Un número es divisible por dos si y sólo si es un número
Se denota por ~ p ~ q par.
p : Un número es divisible por dos
1.10.3. Proposición Contrarecíproca o Contrapositiva q : Un número par
La proposición contrarecíproca que corresponde a la Se denota por p  q
condicional p  q es ~ q ~ p .  a 2  4 si, sólo si a  2  a  2
p : a2  4

Lic. Mat. Neisser Arturo Soto Fernández

 q : a  2  a  2
Se denota por p  q
1.12. Uso de los signos de Agrupación
En un párrafo que se presentan proposiciones simples,
conectivos lógicos, comas y punto se requiere, para su
representación simbólica, el buen uso de los signos de
agrupación (paréntesis, corchetes, llaves).
Los signos de agrupación se usan para indicar la jerarquía de los
conectivos lógicos y así evitar las ambigüedades en las fórmulas.
Así por ejemplo, la expresión:
pqr
Es ambigua; pero asociando sus términos:
p  q  r o p  q  r 
La expresión dada tiene un sentido y deja de ser ambigua.
La finalidad de los signos de agrupación es darle mayor o
menor jerarquía a los conectivos. En general, “ " ~ " ” es la
conectiva de mejor jerarquía, le siguen:
" " , " " que son de igual jerarquía, y luego "  " que es el
de mayor jerarquía. Sin embargo, cada conectivo puede ser de
mayor jerarquía si así lo indica el signo de colección.
Ejemplos:
 Si hay lluvias en la sierra y el gobierno distribuye abono,
entonces la producción agrícola crecerá.
p : Hay lluvia en la sierra
q : El gobierno distribuye abono
r : La producción agrícola crecerá
Luego, obteniendo la estructura formal de la proposición,
donde sólo aparecen los términos de enlace y las variables
proposicionales, se tiene:
Si  p y q  , entonces  r 
Finalmente, simbolizando se obtiene:
p  q  r
Nótese que la estructura formal de la proposición ayuda
enormemente a distinguir el alcance de las conectivas. Esto
se refleja en el símbolo de la proposición, donde los
paréntesis indican el alcance de cada uno de los
operadores. En este caso el símbolo de mayor jerarquía es
el operador condicional  , le sigue el operador
conjuntivo  . Las variables, por otro lado, siempre están
sujetas a los operadores.
 El Perú tendrá problemas fronterizos si los hitos
demarcatorios no son visibles.
p : El Perú tendrá problemas fronterizos
q : Los hitos demarcatorios son visibles
 p  si  no q 
~ qp
Lic. Mat. Neisser Arturo Soto Fernández
Esta es una forma condicional donde la partícula “si”
aparece entre dos proposiciones. El consecuente se
encuentra antes de la partícula “si”, y el antecedente
después, como aparece en la fórmula.
Observación:
La combinación de las variables y los operadores o conectivos
proposicionales por medio de los signos de agrupación se
denominan esquema molecular o fórmulas proposicionales
(o simplemente proposiciones compuestas). En cada
esquema molecular solo uno de los operadores es el de mayor
jerarquía y es el que le da nombre a dicho esquema. Por
ejemplo, en los esquemas moleculares:
A  ~ p  q  r 
B   p  q   ~ r   p
C  ~  p  q    ~ p  r  
Podemos notar que los operadores de mayor jerarquía en A ,
B y C son: "  " , "  " y " ~ " , los nombres que llevan
cada uno de estos esquemas son:
Esquema condiconal, esquema bicondiconal y esquema
negativo, respectivamente.
Nota: Un operador lógico es de mayor jerarquía cuando se halla
fuera o entre menos signos de agrupación, es decir paréntesis,
corchetes, llaves.
1.13. La Equivalencia y la Implicación
1.13.1. La equivalencia
También es importante distinguir el concepto de equivalencia
del concepto de bicondicional. El concepto de “bicondiconal”
se refiere a la forma lógica de “A si y sólo si B”, mientras que
el concepto de “equivalencia” se refiere a una relación
semántica entre los valores componentes de “A si y sólo si B”.
Se dice que “A equivale a B” cuando unidas “A” y “B” por el
bicondicional “  ” y aplicada la regla correspondiente, se
obtiene como resultado una tautología.
Ejemplo:
A pq

B  q ~ p
Para determinar si “ A equivale a B ”, vamos a proceder
relacionando ambas fórmulas de acuerdo a la siguiente
forma bicondicional.
AB
Luego sustituyendo "A" y "B" por sus respectivas
fórmulas y aplicando las tablas de verdad, se tiene que
es una tautología.
Por lo tanto podemos concluir que:
Si una proposición "A" equivale a otra proposición "B"
entonces "A" implica a "B" y, a la vez, "B" implica a
"A" . Esta definición de equivalencia puede ser
expresada como sigue:
 A  B   A  B    B  A EJERCICIOS PROPUESTOS - LÓGICA PROPOSICIONAL

Nota: Cuando A no es equivalente a B , denotamos 1. De los siguientes enunciados

I. ¡Hola que tal!
por A
 B
II. x  1  10
2

1.13.2. La Implicación III. 2  5  6

IV. Todos los hombres son mortales
En primer lugar, es importante distinguir los conceptos V. Sócrates nació en Atenas
condicional e implicación, porque la no distinción de estos
conceptos ha generado, entre otros problemas, la paradoja VI. x  5  0
Cuáles de las alternativas siguientes es correcta:
de la implicación material, donde se considera el operador
a) 3 son enunciados abiertos b) 2 son proposiciones
"  " como “implica en vez de leerlo como símbolo de “Si …
c) 3 no son proposiciones d) 4 son proposiciones
entonces”. Se dice que "A" implica a "B" cuando unidos
e) N.A
por el condicional, "A" como antecedente y "B" como
consecuente, el resultado es una tautología.
2. Determine el valor de verdad de las siguientes proposiciones.
Ejemplo: I.  3  5  8   5  3  4 

A  pq II. 5  3  8  1  7  6
B  pq
III. 3  8  11   7  4  1
Para saber si “ A implica a B ”, debemos proceder
relacionando las fórmulas de acuerdo a la siguiente IV.  4  6  9   5  2  4
forma condicional: a) VVVV b) FFFF c) VFVF d) VFFF e) FFFV
AB
Si la proposición  ~ p  q    r ~ s  es falsa, el valor
Luego , sustituyendo "A" y "B" por sus respectivas
3.
fórmulas, y aplicando las tablas de verdad, llegamos a
de verdad de las proposiciones p, q, r y s (en ese orden)
una tautología.
Como el resultado es tautológico o lógicamente es:
a) VVVF b) FFVV c) FVVF
verdadero, entonces “  p  q  implica a  p  q  ”. Este
d) VFVV e) VFVF
ejemplo nos muestra que no es lo mismo el concepto de
condicional “Si A entonces B ” que el concepto 4. Dadas las proposiciones; p : “ 5 es un número par”, q y r
implicación “ A implica a B ”. En el primer caso, se
cualesquiera tal que: ~  r  q    r  p  es verdadera.
refiere a una relación formal condicional, antecedente y
consecuente, mientras que en la implicación se refiere a Hallar el valor de verdad de las siguientes proposiciones:
una relación semántica o a una relación entre los valores I.  p  q    r ~ q 
de verdad.
II. r   ~ p ~ q 
Por lo tanto podemos concluir que:
Si una proposición "A" implica a otra proposición "B" , III.  p ~ q    p  q   r 
entonces es imposible que "A" sea verdadera y "B" a) FVF b) FFV c) FVV d) VFV e) VVF
falsa, es decir, si "A" es verdadera entonces "B" es
necesariamente verdadera. 5. Dadas las proposiciones r, s, w y la proposición
Esta definición de la implicación podemos expresarla
como sigue:
compuesta: p  q  ~  t  q que es verdadera.

A  B  ~  A  ~ B ¿Cuántas de las siguientes proposiciones son verdaderas?

I.  t   s  w    q  w 
Nota: Cuando A no implica a B , denotamos por A
 B
II.  p   t  s   q   w  s 

III.  t  q   r    p  q 
a) Sólo I b) Sólo I y II c) Sólo I y III
d) Sólo II y III e) Todas

Lic. Mat. Neisser Arturo Soto Fernández

6. ~  ~ p  q    r  q    ~ p  q    q ~ p  12. Si q es una proposición verdadera y sabiendo que la

es verdadera. Hallar los valores de verdad de p, q, y r proposición:  ~ r  q   ~ q  p   p  q  es

a) VFV b) FFV c) FVV d) VVV e) VVF verdadera, determinar el valor de verdad que pueden tomar
p y r respectivamente.
7. De la falsedad de  p  ~q    ~ r ~ s  , se deduce a) Ambos verdaderos
c) p verdadero, q falso.
b) Ambos falsos
d) p falso, q verdadero
que el valor de verdad de los esquemas:
e) Ambos pueden ser verdaderos o falsos.
A  ~  ~ q ~ s  ~ p
B  ~  ~ r  s    ~ p ~ q  13. Si p  x  : x  27, q  x  : x  5  4, r  x  : x  3  7
3 2

C  p ~ q ~ s  r  , son respectivamente: Hallar el valor de verdad de:

a) FFV b) FFF c) FVF d) FVV e) VVV      

I.  p  3  p  2  r  2   ~ q 3   ~ q 3  ~ p  ~ 3  
Se sabe que p  q y q  t son falsos. De los esquemas
II.  p 1  q 12    r  3  ~ r  3
8.
moleculares siguientes, cuales son verdaderos:
A  ~ p  t   ~ q III.  p  0   ~ q  1  r  5   r  6   r  0  

B  ~ p   ~ q ~ p  a) VFF b) VFV c) VVF d) VVV e) FVV

C   p  q   ~  q  t   ~ p   q ~ t  14. Dadas las proposiciones:

a) Sólo A b) Sólo A y B c) Sólo A y C A   p  q   r; V  r   V
d) Sólo B y C e) Todos
B   p  q    ~ p ~ q  ; V  q   V
9. La proposición  p  q    q  r  es falsa, y se tienen C   p  q    p  r  ; V  p  V y V  r   F
los esquemas moleculares: D  p  q  r ; V r  V ;
A  ~ q  r    p  q  En que casos la información que se da es suficiente para
determinar el valor de verdad de cada proposición
B  p ~ q    ~ r  q  a) Sólo A y B b) Sólo A y C c) Sólo A y D
C   p  q    q ~ r    p ~ r  d) Sólo A, B y C e) Sólo B, C y D

Cuáles son falsos.

a) Sólo A b) Sólo A y B c) Sólo A y C 15. Si  p  q   r  s es una proposición verdadera,
d) Sólo B y C e) Ninguno teniendo r y s valores de verdad opuestos. De las
afirmaciones siguientes cuáles son verdaderas:
10. Si la proposición  p ~ q    r ~ s  es falsa, hallar A   ~ p ~ q    r  s   p , es verdadera
el valor de verdad de las proposiciones q, p, r, s (en ese
B  ~  p  q    r  s    ~ p  q  , es falsa
orden). Cuáles son falsos.
a) FVVV b) FFFF c) VFVF C   ~ r  ~ s    p  r   ~  r  s  , es verdadero
d) VFFF e) VVVV a) Sólo A y B b) Sólo A y C c) Sólo B y C
d) Sólo A, e) Sólo C
11. Sean p, q, r, s, t y w proposiciones lógicas tales que:
a) s ~ w es falso 16. Si V  q  p    r  p   F ; hallar el valor de verdad
b)  ~ p  r    s  w  es verdadero
de cada una de las siguientes proposiciones
Hallar el valor de verdad de:
A   p  x    m  y
I. ~ p  q  ~ r  s
B  q  n    x  y
II. s ~ r    w ~ q 
C   r  p  s  q 
III.  t   w  ~ p     p ~ r 
 
D   s  p    n  r    x ~ x 
a) VFV b) VVF c) FVV d) VFF e) FVF

Lic. Mat. Neisser Arturo Soto Fernández

 a) VVFV b) FFFF c) VFVF 21. Para una proposición, "p" se define:
d) VFFF e) VVVV 1; Si p es verdadera
F(p)  
17. Sabiendo que el valor de verdad de la proposición 0; Si p es falsa
compuesta: Si:
F(m)  1 donde m   p  r   s
A ~  p  r   q   p  q  s  sp   t
es siempre falso. Determinar el valor de verdad de las F(n)  0 donde n  p   r  p 
siguientes proporciones. Halle:
I.  ~ pq  r   ~ q  s  p    pq  F(p  r)  F(r  s)  F(p  s)  F( ~ p)
a) 1 b) 2 c) 3 d) 4 e) 0
II.  
~  p  q    r  p  ~  r  s  t
a) VV b) VF c) FV d) FF e) N.A 22. Sea la función:
f:p / p es proposición  0,1 , definido por
18. Si la proposición  ~ p  q    s ~ r  es falsa; cuáles 1; Si p es verdadera
f(p)  
de los siguientes esquemas moleculares son falsos: 0; Si p es falsa
I.  r  q   q    ~ q  r   s  Indicar si es verdad la siguiente igualdad:
   
II. ~  p  q   ~ q
f  p  q   1  f  q .f  ~ p 
a) V b) F c) Depende de q
III. ~  p  q   ~ q  ~  p  q 
d) Es contradictorio e) Es un enunciado abierto
a) Sólo I y II b) Sólo I y III c) Sólo II y III
d) Sólo I e) Sólo II 23. Si m y n son números reales, además se define:
 3m
19. Si p, q, r, s, t, w son proposiciones cualesquiera tales  n  1; Si x es proposición verdadera
que: f(x)= 
 3n  1; Si x es proposición falsa
V  ~ w ~ s   F y V  p ~ r    s  u   V .  m
Hallar el valor de verdad de los siguientes esquemas: Hallar:
I. A   p  q   r  m n
M 
n m
II. B  s ~ w    r ~ p 
Sabiendo que: f(q)  f(r)  21
III. C   t   w ~ p   ~  p  r  Siendo:
a) VFV b) VVF c) FVV d) VFF e) FVF q : 4  3  1  0 ; r :  1  0   1  0
2

1 1
20. La siguiente función: a) b) 3 c) d) 1 e) 3
3 7
1; Si p es verdadera
F(p)  
0; Si p es falsa 24. Si la proposición ~  q  s    p  r  es verdadera,
Si: F(x)  1  F(y)  0
calcule el valor de verdad de cada una de las siguientes
Donde: proposiciones, en el orden indicado.
x  p ~ r    s  w  I.  ~ s  q   r  p
y  w ~ s
II. ~  q  ~ s    p ~ r 
Hallar:
E  F  s ~ w    ~ p  r    III.  p  q  r  s  p  r 
F  ~  ~ r ~ p    t   w  ~ p   a) FVF b) VFV c) VVV d) FVV e) FFF

a) 0 b) 1 c) 2
d) No se puede determinar e) Tautología

Lic. Mat. Neisser Arturo Soto Fernández