Se propone la construcción de fórmulas con las siguientes restricciones: (a) sólo se usa, repetidamente, la proposición p, (b) finalizan todas ellas (tienen por conectiva principal) una conjunción (’y’, ∧), (c) sólo se usa, exactamente una vez, alguna de las otras cuatro conectivas.P. ej. (p ∧ (p ∨ p)).
a) ¿cuántas fórmulas distintas pueden generarse con esas restricciones?
b) la fórmula del ejemplo consta de 9 caracteres, ¿cuántas de esas fórmulas tienen exactamente 9 caracteres? ¿cuántas tienen otro número de caracteres?
c)partiendo de dos de esas fórmulas ¿puede construir, ya sin esas restricciones, una fórmula con exactamente 21 caracteres cuya conectiva principal es un condicional →?
En la construcción de la fórmula del ejemplo, (p ∧ (p ∨ p)), se han producido los siguientes tres resultados intermedios: p, (p ∨ p), (p ∧ (p ∨ p)).
a) ¿cuantos y cuáles son estos ’resultados intermedios’ en la fórmula ((p∧q)→((¬r)∨s))? (no se preocupe por el orden relativo de enumeración)
b) construya el árbol sintáctico de la fórmula ’de abajo arriba’, desde sus componentes hacia la fórmula propuesta, ¿cuantos nodos, cuantas posiciones, tiene este árbol?
El árbol sintáctico de la fórmula ((((p → q) → r) → s) → t), de arriba abajo, va creciendo siempre por la izquierda. Dibújelo. Desde el nodo de la fórmula completa hasta el nodo p, incluidos ambos, tiene una profundidad de 5 nodos.
a) sólo recolocando los paréntesis en esa fórmula, produzca otra que tenga una profundidad hasta el nodo t de 5 nodos
b) sólo recolocando paréntesis, produzca otra que tenga una profundidad hasta el nodo q de 4 nodos
c) ¿dónde hay que colocar los paréntesis para que el árbol resultante tenga, en su rama más larga, una profundidad 4? ¿hay varias opciones?
d) ¿es posible recolocar esos paréntesis para que el árbol resultante tenga, en su rama más larga, una profundidad 3?
1) Con el convenio para la eliminación de paréntesis, ¿qué fórmula, con todos sus paréntesis, corresponde a la siguiente? ¬p ∨ ¬q → t ∨ (q ↔ s)
2) Se desea construir todas las interpretaciones con las que evaluar conjuntamente dos fórmulas. ¿Cuantas son las líneas de la tabla de verdad conjunta de estas dos fórmulas? (p → ¬q) → r (r ∧ s) ∨ t
Dada la fórmula (Pa ∧ Qb) ∨ (¬Pb ∧ Qa), se interpreta sobre Universo U=1,2,3,4, con P=1,3, Q=2 y los elementos para a y b que se indican en las opciones. Marque todas las opciones que completan esta interpretación y satisfacen la fórmula.
a) a=1, b=1
b) a=1, b=2
c) a=2, b=3
d) a=4, b=2
e) a=3, b=2
Dada la fórmula (Pa → Qb) ∨ (¬Pb → Qa), se interpreta sobre Universo U=1,2,3,4, con P=1,3, Q=2 y los elementos para a y b que se indican en las opciones. Marque todas las opciones que completan esta interpretación y satisfacen la fórmula.
a) a=2, b=1
b) a=1, b=4
c) a=1, b=1
d) a=4, b=4
e) a=3, b=4