Utilizamos cookies propias y de terceros para mejorar la experiencia de navegación, y ofrecer contenidos y publicidad de interés.
Al continuar con la navegación entendemos que se acepta nuestra política de cookies.
Iniciar sesión Cerrar
Correo:
Contraseña:
Entrar
Recordar sesión en este navegador
Crear cuenta

Lógica - Preguntas de Logica( V o F)

Vista:
Me gusta: Está pregunta es útil y esta clara
0
No me gusta: Está pregunta no esta clara o no es útil
 
Asunto:Preguntas de Logica( V o F)
Autor:Nacho (1 intervención)
Fecha: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
Responder Subir
información
Otras secciones de LWP con contenido similar...
Me gusta: Está respuesta es útil y esta clara
0
No me gusta: Está respuesta no esta clara o no es útil
 
Asunto:RE:Preguntas de Logica( V o F)
Autor:patricia (1 intervención)
Fecha:22/06/2007 11:17:56
no entiend estas preguntas
Me podia facilitar otro tipo de preguntas de est estilo........Muxas graxias
Comentar Subir
Me gusta: Está respuesta es útil y esta clara
0
No me gusta: Está respuesta no esta clara o no es útil
 
Asunto:RE:Preguntas de Logica( V o F)
Autor:MARIBEL GUZMAN (1 intervención)
Fecha:19/07/2007 18:35:03
¿si usted esta frente de su lapida que fecha le pondria?
Comentar Subir
Me gusta: Está respuesta es útil y esta clara
0
No me gusta: Está respuesta no esta clara o no es útil
 
Asunto:RE:Preguntas de Logica( V o F)
Autor:ALEXANDER  (1 intervención)
Fecha:28/04/2008 01:51:28
cual es el numero de 2 cifras que sumados sus 2 cifras den 60
Comentar Subir