Preguntas de Logica( V o F)
Publicado por Nacho (1 intervención) el 07/09/2006 14:42:04
Necesito que alguien me responda al siguiente test de preguntas, son 14, verdadero o falso, supongo que para alguien que domine la logica no le sera muy dificil, gracias por adelantado a todos.
1.Toda funcion booleana es evaluable por una formula del Calculo Proposicional.
2. Dos formulas del Calculo Proposicional son tautologicamente equivalentes si y solamente si son iguales.
3. Dos formulas del Calculo Proposicional son tautologicamente equivalentes si y solo si definen la misma funcion booleana.
4. El arbol de formacion de una formula del Calculo Proposicional define el circuito booleano mas eficiente que evalua la funcion booleana asociada.
5. Se puede decidir en tiempo polinomial si una formula de Horn del Calculo Proposicional es satisfactible o no.
6. Se puede decidir en tiempo polinomial si una formula en CNF(forma normal conjuntiva) es satisfactible o no.
7. Se puede decidir en tiempo polinomial si una formula de Horn es satisfactible o no.
8. La aplicacion de la resolvente a un numero finito de clausulas del Calculo Proposicional genera un numero finito de clausulas del Calculo Proposicional.
9. Hay formulas del Calculo Proposicional en CNF tales que para cada numero natural n perteneciente a N, Res^n(F) esta estrictamente contenido en Res^(n+1)(F).
10. Si F es una formula de la Logica de Predicados en forma Skolen y cerrada, en la que no aparecen variables, entonces el dominio de Herbrand correspondiente es el conjunto vacio.
11. Las formulas del Calculo Proposicional son formulas de la Logica de Predicados
12. Insatisfactibilidad en Logica de Predicados es semi-decidible e indecidible, pero Tautologia en Logica de Predicados si es decidible.
13. El algoritmo de Herbrand-Skolem permite concluir que, si F esta en forma Skolem, cerrada y es insatisfactible, el algoritmo de Herbrand-Skolem encuentra una instancia en el dominio de Herbrand en la cual la formula no se satisface.
14. En logica de Predicados toda formula cerrada, prenexa y rectificada satisfactible se satisface sobre una estructura cuyo universo es numerable (Herbrand).
Gracias denuevo, aunque no sepais todas, id por favor contestando verdadero o falso las que sepais seguro, ya que me haceis un gran favor.
Saludos
1.Toda funcion booleana es evaluable por una formula del Calculo Proposicional.
2. Dos formulas del Calculo Proposicional son tautologicamente equivalentes si y solamente si son iguales.
3. Dos formulas del Calculo Proposicional son tautologicamente equivalentes si y solo si definen la misma funcion booleana.
4. El arbol de formacion de una formula del Calculo Proposicional define el circuito booleano mas eficiente que evalua la funcion booleana asociada.
5. Se puede decidir en tiempo polinomial si una formula de Horn del Calculo Proposicional es satisfactible o no.
6. Se puede decidir en tiempo polinomial si una formula en CNF(forma normal conjuntiva) es satisfactible o no.
7. Se puede decidir en tiempo polinomial si una formula de Horn es satisfactible o no.
8. La aplicacion de la resolvente a un numero finito de clausulas del Calculo Proposicional genera un numero finito de clausulas del Calculo Proposicional.
9. Hay formulas del Calculo Proposicional en CNF tales que para cada numero natural n perteneciente a N, Res^n(F) esta estrictamente contenido en Res^(n+1)(F).
10. Si F es una formula de la Logica de Predicados en forma Skolen y cerrada, en la que no aparecen variables, entonces el dominio de Herbrand correspondiente es el conjunto vacio.
11. Las formulas del Calculo Proposicional son formulas de la Logica de Predicados
12. Insatisfactibilidad en Logica de Predicados es semi-decidible e indecidible, pero Tautologia en Logica de Predicados si es decidible.
13. El algoritmo de Herbrand-Skolem permite concluir que, si F esta en forma Skolem, cerrada y es insatisfactible, el algoritmo de Herbrand-Skolem encuentra una instancia en el dominio de Herbrand en la cual la formula no se satisface.
14. En logica de Predicados toda formula cerrada, prenexa y rectificada satisfactible se satisface sobre una estructura cuyo universo es numerable (Herbrand).
Gracias denuevo, aunque no sepais todas, id por favor contestando verdadero o falso las que sepais seguro, ya que me haceis un gran favor.
Saludos