LÓGICA PROPOSICIONAL 1.3.

Enunciado Abierto

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

Lic. Mat. Neisser Arturo Soto Fernández - UNPRG

 V(p)  V , por los conceptos de la geometría elemental. Es una proposición molecular que utiliza el conectivo “no”. En
2. q : Carlos Marx es autor de la Iliada. este caso, el término de enlace actúa solo sobre una
proposición atómica.
V(q)  F , pues según la historia, Homero es autor de la
p : La luna es satélite de la tierra
Ilíada.
Se denota por: ~ p
3. r : “ 7 es un número primo”
6. No es el caso que Pedro baile y no cante
V(r)  V , porque la aritmética así lo establece.
p : Pedro baile
q : Pedro cante
1.5.2. Proposición Compuesta (molecular o coligativa)
Se denota por: ~  p  ~ q 
Son aquellas proposiciones que se obtienen de la combinación
de dos o más proposiciones simples. El valor de verdad de la Nota: No es el caso que usa el conector ~ ( )
proposición compuesta depende del valor de verdad de cada Observación: Dado que el valor de una proposición molecular
una de las proposiciones componentes. A las proposiciones depende únicamente de los valores de verdad de las
compuestas se les llama también funciones veritativas. proposiciones componentes. El número de combinaciones para
En la composición de proposiciones simples, están ligadas por el valor de verdad de aquella es 2n , donde n es el número de
ciertas palabras tales como “y”, “o”, “si, entonces” , “si y sólo enunciados que tiene la proposición compuesta. En la primera
si”, “no” , “pero” , etc. Estas constantes proposicionales son columna la mitad de las filas serán V y la otra mitad F ; en las
llamados conectivos lógicos. siguientes columnas se va disminuyendo de mitad en mitad, con
Dónde: respecto a la columna anterior. Así:
“y” se representa por: 
 Para una proposición p le corresponde 21  2 posibles
“o” se representa por: 
“Si … entonces …”se representa por: p  q valores.
p
“Si … y sólo si …” se representa por: p  q
V
Ejemplos: F
1. El terreno es muy fértil y hay suficiente lluvia.
 Para dos proposiciones p y q le corresponde 22  4
p : El terreno es fértil
combinaciones de valores.
q : Hay suficiente lluvia
p q
Se denota por: p  q
V V
2. José llego tarde, sin embargo dio examen
V F
p : José llego tarde
F V
q : José dio examen F F
Se denota por: p  q
Nota:”  ” se lee “equivalente”.  Para tres proposiciones p , q y r le corresponde
Sin embargo es “y” 23  8 combinaciones de valores.
3. Maradona jugó, aunque estuvo lesionado p q r
p : Maradona jugó
V V V
q : Maradona estuvo lesionado V V F
Se denota por: p  q V F V
Nota: aunque es “y” V F F
4. Si 9 es múltiplo de 3 y 12 es múltiplo de 3 , entonces F V V
9 12 es múltiplo de 3 F V F
p : 9 es múltiplo de 3 F F V
q : 12 es múltiplo de 3 F F F
r : 9 12 es múltiplo de 3
1.6. Tablas de verdad
Se denota por:  p  q   r
La VERDAD o FALSEDAD de una proposición se denomina su
5. La luna no es satélite de la tierra. VALIDEZ ( o su valor de verdad). La validez de la conjunción, de
la disyunción, de la condicional, de la bicondicional y de la
negación pueden representarse en TABLAS.

Lic. Mat. Neisser Arturo Soto Fernández - UNPRG

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

~ ..........
Ejemplos:
Se simboliza así:
p  6 no es divisor de 20 o no es número primo.

Lic. Mat. Neisser Arturo Soto Fernández - UNPRG

 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
V F V p  q es (F) .
F V V Estas consideraciones ilustran la necesidad de distinguir
F F F dos interpretaciones para la disyunción "p o q" .
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
admite dos uso diferentes del conectivo “o”, uno
inclusivo y el otro exclusivo.
Lic. Mat. Neisser Arturo Soto Fernández - UNPRG
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

p.
V 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 - UNPRG

  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 - UNPRG

 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 - UNPRG
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 DE APLICACIÓN

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 - UNPRG

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
b) Ambos falsos
que el valor de verdad de los esquemas: c) p verdadero, r verdadero o falso.
A  ~  ~ q ~ s  ~ p d) p falso, r verdadero
B  ~  ~ r  s    ~ p ~ q  e) Ambos pueden ser verdaderos o falsos.

C  p ~ q ~ s  r  , son respectivamente:

13. Si p  x  : x3  27, q  x  : x2  5  4, r  x  : x  3  7
a) FFV b) FFF c) FVF d) FVV e) VVV Hallar el valor de verdad de:

8. Se sabe que p  q y q  t son falsos. De los esquemas I. 

p 3  p 2  r 2  ~ q 3  ~ q 3  ~ p 3
moleculares siguientes, cuales son verdaderos:
II.  p 1  q 12    r  3  ~ r  3
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 
a) Sólo A b) Sólo A y B c) Sólo A y C 14. Dadas las proposiciones:
d) Sólo B y C e) Todos A   p  q   r; V  r   V
B   p  q    ~ p ~ q  ; V  q   V
9. La proposición  p  q  q  r  es falsa, y se tienen
los esquemas moleculares:
C   p  q    p  r  ; V  p  V y V r   F
A  ~ q  r    p  q  D  p  q  r ; Vr  V ;
B   p ~ q    ~ r  q  En que casos la información que se da es suficiente para
determinar el valor de verdad de cada proposición
C   p  q    q  ~ r    p ~ r  a) Sólo A y B b) Sólo A y C c) Sólo A y D
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
d) Sólo B y C e) Ninguno 15. Si  p  q   r  s es una proposición verdadera,
teniendo r y s valores de verdad opuestos. De las
10. Si la proposición  p ~ q    r ~ s  es falsa, hallar afirmaciones siguientes cuáles son verdaderas:
el valor de verdad de las proposiciones q, p, r, s (en ese A   ~ p ~ q    r  s   p , es verdadera
orden). Cuáles son falsos.
B  ~  p  q    r  s    ~ p  q  , es falsa
a) FVVV b) FFFF c) VFVF
d) VFFF e) VVVV C   ~ r  ~ s    p  r    ~  r  s  , es verdadero
a) Sólo A y B b) Sólo A y C c) Sólo B y C
11. Sean p, q, r, s, t y w proposiciones lógicas tales que: d) Sólo A, e) Sólo C
a) s ~ w es falso
b)  ~ p  r   s  w  es verdadero 16. Si V  q  p    r  p   F ; hallar el valor de verdad
Hallar el valor de verdad de:
de cada una de las siguientes proposiciones
I.  ~ p  q   ~ r  s A   p  x    m  y
II. s ~ r    w ~ q  B  q  n    x  y
III.  t   w  ~ p     p ~ r  C   r  p  s  q 
 
a) VFV b) VVF c) FVV d) VFF e) FVF

Lic. Mat. Neisser Arturo Soto Fernández - UNPRG

 D   q  p    n  r    x ~ x  F(m)  1 donde m   p  r   s

a) VVFV b) FFFF c) VFVF F(n)  0 donde n  p   r  p 

d) VFFF e) VVVV Halle:
F(p  r)  F(r  s)  F(p  s)  F( ~ p)
17. Sabiendo que el valor de verdad de la proposición a) 1 b) 2 c) 3 d) 4 e) 0
compuesta:
~  p  r   q    p  q  s  sp   t 22. Sea la función:
es siempre falso. Determinar el valor de verdad de las f:p / p es proposición  0,1 , definido por
siguientes proporciones. 1; Si p es verdadera
I.  
 ~ pq  r   ~  q   s  p     pq  f(p)  
0; Si p es falsa
II. ~  p  q   r  p ~  r  s t Indicar si es verdad la siguiente igualdad:
f  p  q   1  f  q .f  ~ p 
a) VV b) VF c) FV d) FF e)
a) V b) F c) Depende de q
N.A
d) Es contradictorio e) Es un enunciado abierto
18. Si la proposición  ~ p  q   s ~ r  es falsa; cuáles
23. Si m y n son números reales, además se define:
de los siguientes esquemas moleculares son falsos:
 3m
I.  r  q   q     ~ q  r   s 
     n  1; Si x es proposición verdadera
f(x)= 
II. ~  p  q  ~ q  3n  1; Si x es proposición falsa
 m
III. ~  p  q   ~ q  ~  p  q 
Hallar:
a) Sólo I y II b) Sólo I y III c) Sólo II y III m n
d) Sólo I e) Sólo II M 
n m
Sabiendo que: f(q)  f(r)  21
19. Definamos la función
Siendo:
1; Si p es V
 q : 4  3  1  0 ; r :  1  0   1  0
2
f(p)  0; Si p es una contingencia
1; Si p es F 1 1 1
 a) b) c) d) 1 e) 3
Determine: 3 4 7
E  f  p ~ p   r   f  p ~ q   f  ~ p  q   2f  p  q 
24. Si el esquema molecular siguiente:  q  p    r  p  es
a) 1 b) 0 c) 1 d) 2 e) 3
no verdadero, determine el valor de verdad de cada una de
las siguiente proposiciones:
20. Sabiendo que la proposición "p " es verdadera. ¿En cuáles
de los siguientes casos es suficiente dicha información para
I.  p  x    m  y
determinar el valor de verdad de las siguientes II.  p   ~ qr     r  q 
proposiciones?
a) VF b) FV c) FF d) VV e) N.A
I.  p  q    ~ p ~ q 
II. p  q  p  r  CLAVES
1. c 7. b 13. d 19. c
III. p  q  r 2. a 8. e 14. a 20. c
a) Sólo I b) Sólo II c) I y II d) I y III e) Todas 3. d 9. e 15. e 21. c
4. c 10. a 16. a 22. b
21. Para una proposición, "p " se define: 5. c 11. b 17. a 23. e
6. a 12. c 18. b 24. d
1; Si p es verdadera
F(p)  
0; Si p es falsa
Si:

Lic. Mat. Neisser Arturo Soto Fernández - UNPRG