3.

B. Responda las siguientes preguntas.

1. Suponga que P es una tautologa y que Q es una contradiccin. Es posible

determinar, con base en esta informacin, si PQ es una tautologa, una
contradiccin o una formula semnticamente indeterminada?

R/ La respuesta del asunto en cuestin es que la bicondicional es una formula

semnticamente indeterminada, bajo los trminos de que P es una tautologa y Q
una contradiccin, puesto que la relacin lgica existente en el enunciado PQ es
necesaria, es decir, el valor de P existe solo si el valor de Q existe, y viceversa, pero
ambos son uno V en el caso de P (por ser una tautologa es verdadera bajo
cualquier valuacin), y F en el caso de Q ( por ser una contradiccin es falsa bajo
cualquier valuacin), por tanto un elemento atmico es V, y el otro F, para ser una
tautologa ambos tendran que ser V, y para ser una contradiccin ambos valores
deberan ser F. Por tanto, al poseer un valor V y uno F en una relacin
bicondicional, el resultado del enunciado completo es una formula
semnticamente indeterminada, puesto que es ambivalente, por lo cual no llena
los requisitos para ser tautologa o contradiccin.

2. Suponga que P y Q son frmulas semnticamente indeterminadas. Es posible

afirmar que P & Q es tambin una formula semnticamente indeterminada?

R/ La respuesta es, que P&Q tambin es una formula semnticamente indeterminada.

La relacin lgica existente en dicho enunciado es una conjuncin, es decir, ambos
trminos deben ir juntos siempre y su valor de verdad radica en que ambos elementos
sean verdaderos. Considerando lo anterior, el enunciado en cuestin sera una
tautologa solo si ambos trminos atmicos fueran una tautologa, el mismo caso es
aplicable a la contradiccin, ambos valores deben ser iguales para afirmar que es una
contradiccin. Sin embargo, al ser P y Q atmicamente formulas semnticamente
indeterminadas, no podemos darle valor V o F a ninguno de sus enunciados atmicos,
por tanto no podemos establecer que el enunciado compuesto (P&Q) es una
tautologa o contradiccin, puesto que los valores de P y Q son indeterminados, el
enunciado compuesto ser tambin semnticamente indeterminado.

3. Suponga que P y Q son frmulas semnticamente indeterminadas. Es posible

afirmar que PQ es tambin una formula semnticamente indeterminada?

R/ P v Q es igual una formula semnticamente indeterminada, considerando que P

y Q atmicamente lo son tambin. Al considerar la relacin lgica de PvQ, es decir
 una disyuncin, teniendo claro que dicha regla de inferencia consiste en tomar un
trmino y desechar el otro, el valor de la conclusin lo determina el valor del
trmino que se escogi, por tanto, al no tener un valor determinado V o F,
tautologa o contradiccin, sino que P y Q son semnticamente indeterminados, al
escoger cualquiera de sus enunciados atmicos el valor conclusivo del enunciado
compuesto ser semnticamente indeterminado.

4. Suponga que P es una tautologa y que Q una formula semnticamente

indeterminada. Es posible determinar, con base en esta informacin, si PQ
es una tautologa, una contradiccin o una formula semnticamente
indeterminada?

R/ El enunciado PQ es una formula semnticamente indeterminada. Bajo las

consideraciones de que P es una tautologa, y Q es una formula semnticamente
indeterminada, entendiendo que la relacin lgica o regla de inferencia que existe
entre ambas es de implicacin, es decir si P es P entonces Q ser Q, bajo los valores
trazados para P y Q, no afecta el hecho de que P sea una tautologa, puesto que el
valor que determina el valor de la conclusin no es el antecedente (P), sino el
consecuente, si es aplicada la frmula de manera que se busca obtener el
consecuente, es decir, se afirma el antecedente, para obtener el consecuente. Por
tanto, si tenemos P, tambin por consecuencia lgica tenemos Q, y como el valor
de Q es semnticamente indeterminado, la conclusin del enunciado molecular
(PQ) ser semnticamente indeterminado.

3.2

B. responda las siguientes preguntas:

1. Suponga que dos frmulas P y Q son semnticamente equivalentes. Se puede

afirmar lo mismo de P y Q?

2. Suponga que dos frmulas P y Q son semnticamente equivalentes. Pruebe que en

ese caso P y P & Q tambin son semnticamente equivalentes.

3. Suponga que dos frmulas P y Q son semnticamente equivalentes. Pruebe que en

ese caso P v Q es una tautologa.