EJEMPLOS DE APLICACIÓN:

1) De la falsedad de (p→ q) v ( r → s) deducir el valor de

verdad de los esquemas:

a) ( pv q)v q

b) ¿( r v q ) Ʌ q¿↔¿ ( q v r ) Ʌ s¿

c) (p →r)→¿(pvq)Ʌ q¿

Estos son respectivamente:

a) FFV b) FFF c)VFV d) VVV

Solución:

Hallando el valor de verdad de las proposiciones componentes de acuerdo

al dato del problema:

(p → q)v( r →s)
3.

2.

1.
Entonces:

p (V ) , q (V) , r (F) , s (F) Luego:

a) Es Falso
b) Es Falso
c) Es Verdadero

a) ( pɅ q)v q

b) ¿( r v q ) Ʌ q¿↔¿ ( q v r ) Ʌ s¿

c) ( p →r)→¿(pvq)Ʌ q¿

∴ ( p → r )→ ¿ ( p v q ) Ʌ q ¿ es verdadero.
 PRACTICA Nº2

1) Sean p : 8 es un número par

q : 8 es el producto de dos enteros

Traducir en símbolos cada uno de las siguientes proposiciones.

a) 8 es un número par o es un producto de dos enteros.

b) 8 es impar y es un producto de dos enteros.

c) 8 es par y un producto de dos enteros o es un número impar y no es un

producto de dos enteros.

Respuestas:
a) b) c)

2) Sean p, q, r tres proposiciones tales que p es VERDADERO q es FALSO y r

es FALSO. Indicar cuáles de las siguientes proposiciones son
VERDADERAS:

a) ( p v q ) v r

b) ( p ) v ( q Ʌ r)

c) ¿ (pɅ q)v( p Ʌ q¿¿ Ʌ ¿ ¿ p Ʌq ) v ( q Ʌ p¿¿

d) ¿( p)v( q)]Ʌ ¿ ¿ p v r ¿ Ʌ( q v r )¿

e) Hallar el valor de verdad de la proposición:

(( √4 4 ¿ √ 2 ) Ʌ( 1 ¿ 0)) → [( (√ 2 ≥ √4 4 4
) v ( 1/ (√ 4 ¿1/ √ 2 )) ↔ (- 1 ¿ 0 ) ¿
Solución:
 SIMBOLIZACIÓN DE PROPOSICIONES

La simbolización de proposiciones requiere entender previamente su sentido. Para ello

vamos a explicar algunos ejemplos:

a) Si tiene calidad y hay suficiente promoción, el espectáculo tendrá éxito.

Como comienza con “si” la expresión es explicativa y supone “entonces” que
en este ejemplo está tácito y que el sentido pide que se sitúe después de la
coma de la palabra “promoción”. El antecedente es una conjuntiva ( Ʌ ) y el
consecuente es una proposición atómica simple. Luego la simbolización es :

b) Si eres estudioso, entonces estará lejos de las malas compañías y a salvo del
vicio.
El “si” indica que es una condicional. Como está claro, el antecedente es una
proposición atómica y el consecuente es una conjuntiva. Por lo tanto la
simbolización es:

c) Si Luis canta, entonces Ivan se marcha o María sufre una jaqueca.

También es una condicional. El antecedente es una atómica y el consecuente
es una disyuntiva ( v) su simbolización es:

d) Si no es verdad que la lógica es una ciencia y que la música es un arte,

entonces el profesor está equivocado.
Desde luego se trata de una condicional. Su antecedente es una conjuntiva
precedida de negación pues la precede la expresión “no es verdad que”. El
consecuente es una atómica su simbolización es:

e) Si Marx o Engels hubieran sido idealistas, entonces Hegel hubiera sido

materialista.
Es un condicional cuyo antecedente es una expresión disyuntiva y el
consecuente una atómica. Su simbolización es:

f) El Perú sería una monarquía si y solo si, hubiera triunfado la tesis de San
Martín o Bolívar hubiera cambiado de parecer.
El conectivo es equivalente todo lo que le antecede es una atómica y lo que le
sigue es una disyuntiva. La simbolización es:

g) Lima sería una ciudad limpia y hermosa si y solo si, sus habitantes tomasen
algunos cursos intensivos de higiene o la Policía Municipal emprendiera una
campaña extraordinaria de limpieza
Se trata de una equivalente. La expresión que antecede es una conjuntiva ( Ʌ) y
la que sigue es una disyuntiva. Se simboliza así:

h) Vienes a la reunión o, si no tienes movilidad, pasaré a recogerte.

El conectivo “o” que aparece hacia la mitad de la expresión indica que el
enunciado es disyuntiva ( v ). El primer miembro es una atómica y el segundo
es una implicativa porque comienza con “si”. Se simboliza:

i) Si obtienes buenas notas, entonces no es cierto que perdías el tiempo en el

billar o te dedicas a leer novelas.
Es un condicional. Su antecedente es una atómica y su consecuente es una
disyuntiva negada como lo indica la frase “no es cierto que”, por lo tanto sus
simbolización es:

j) No es el caso que Einstein fue médico o Newton fue antropólogo.

Einstein fue médico = p
 Newton fue antropólogo = q →
Sin los paréntesis la simbolización sería incorrecta ya que la negación afectaría
solamente a p.

k) Si el galeón no trae piratas, entonces el capitán a muerto o está prisionero.

El galeón trae piratas = p
El capitán ha muerto = q
El capitán está prisionero = r

∴ (Obsérvese que la negación solo afecta a p).

SIMBOLIZACIÓN DE ENUNCIADOS COMPLEJOS

A continuación señalamos el procedimiento:

a) Sea la siguiente forma lógica:

p→q
r→s
pvr
∴qvs

b) Se une la primera formula a la segunda mediante la conjunción : ( p →q)

Ʌ(r→s)

c) Este bloque unitario se une a la tercera fórmula también por medio de la

conjunción ( Ʌ )

¿(p→q)Ʌ (r→s)]Ʌ(pvr)

d) Así formando el antecedente, se une al consecuente mediante la

implicación.

{ [ ( p → q ) Ʌ ( r → s ) ] Ʌ ( p v r ) } → ( q v s)
Con esto queda conformado el condicional asociado.
 INFERENCIA LÓGICA

1. DEFINICIÓN:
La inferencia es una estructura de proposiciones donde a partir de uno o más
proposiciones llamadas premisas se detiene otra proposición llamada
conclusión. Se simboliza: p1 , p2 ….. pn → C
(Se utiliza los términos: se concluye, se deduce, luego, en consecuencia, por lo
tanto).

Premisas : p1 , p2 ….. pn → c ( conclusión )

Ejemplo:

Si Julieta es española, entonces es aficionada a la fiesta brava. Julieta no es

aficionada a la fiesta brava. Por lo tanto, no es española.

Simbolizando:

Julieta es española : p
Julieta es aficionada : q

p1 : p → q
p2 : q
C:∴ p

2. MÉTODO ABREVIADO
Cuando el número de variables paso de tres, el proceso se torna enojoso con la
tabla de valores, para superar este inconveniente, se usa el método abreviado o
de invalidez, que resulta mucho más corto.
El método consiste en suponer que el antecedente es verdadero y su
consecuente falso. Si se encontraran valores de las proposiciones componentes
de la inferencia que satisfacen las suposiciones hechas, entonces la inferencia
es inválida (no tautológica). En caso de llegar a una contradicción, la inferencia
es válida (tautología).

3. PROCEDIMIENTO:
a) Se supone el antecedente verdadero y falso el consecuente.
b) Se determinar los valores de las variables del consecuente de manera que
expresen la falsedad de este.
c) Se trasladan estos valores al antecedente y se designan los valores de las
demás variables tratando de hacer verdadero el antecedente.
d) Si se comprueba la hipótesis, el enunciado es inválido, de lo contario será
válido.

Ejemplo 1:
Mediante el método abreviado determine la validez de los siguientes
enunciados:
“Smith es profesional si y solo si es graduado universitario. Smith es médico.
Por lo tanto, si Smith es médico, entonces es graduado universitario.”
Simbolizando:
Ejemplo 2 :
Determine la validez de la inferencia.

p1 : p → q Demostración:
p1)2 : q p
v r→ q es V ( por ser premisa)
p2)3 : q v r es V ( por ser premisa)
r3) r es V ( por ser premisa)
4) Se supone ( q ) es falsa ( por ser
C: ∴ conclusión)

∴ p es F satisface las 5)
suposiciones hechas por lo 6)
tanto la inferencia es inválida 7)
(no tautológica).
8) Para p Falso q Verdadero y r Falso se
Satisfacen las premisas verdadera y
consecuente falso.
Por lo tanto la inferencia es invalida.

Ejemplo 3:
Si el ómnibus sufrió desperfectos en el camino, entonces Patricia llegará tarde
a la universidad. Patricia no llegó tarde a la universidad. Por lo tanto, si el
ómnibus sufrió desperfecto en el camino, entonces Patricia viajó en taxi.

Hay contradicción, hay dos valores entonces la inferencia es válida (tautología).

 PRACTICA 3

Mediante el método abreviado de las tablas determine la validez de los

siguientes enunciados:

a) [ ( p →q)Ʌp]→q

b) { [ p →(qv r)]Ʌr} →(pv q)

c) [ ( p →q)→(p→r)]→¿p→(q→r)¿