PREGUNTA N°1:

 p ↔ q . ʌ . q ↔ r :→ : ( s →t ) ʌu . v . w x

El operador lógico de negación no es diádico, por lo tanto, no puede ser

usado para relacionar y conectar proposiciones diferentes, es decir, que es una
FÓRMULA MAL FORMADA (fmf).

 [ ( qʌ r ) ↔ p ] v [ ( sʌt ) v u .¿.(v → w)]

El símbolo “#” no es un símbolo primitivo de la Lógica Proposicional, por ello, es una

FÓRMULA MAL FORMADA (fmf).

 ( p →q ) ʌ ( r v s ) ↔[tʌuʌv .→ . p v q]v (w → x )

Al no haber una jerarquía entre las proposiciones principales, se considera que es una
FÓRMULA MAL FORMADA (fmf), pues sin jerarquía carece de consistencia y
coherencia la fórmula.

 [ ( p v q ) → ( rʌs ) ] ʌ [( ( j→ k ) ʌl . v . m) ↔ (t →u)]

Las letras j, k, l, m no son variables proposicionales, por lo tanto, es una FÓRMULA

MAL FORMADA (fmf).

PREGUNTA N°2:

Se utilizará: ( q → p ) . → . ( p v r ) ↔ (( pʌ q ) → ( p ↔ r ))

¿ → p¿ . →. ¿ v r¿ ↔ ¿ ¿ ʌ q¿ → ¿ ↔ r ¿¿

F V V V V V V F F F F F F V V V V

F V V V V V V V F F F F F V V F F

F F V V V V V F F F F F V V V V V

F F V V V V V V F F F F V V V F F

V V F F V F F F V F V F F V F F V

V V F F F F V V F F V F F V F V F

F F V F V F F F F V V V V F F F V

F F V F V F V V F F V V V V F V F
Representa a una fórmula de CONTINGENCIA (Q).