Preguntas etiquetadas con first-order-logic

Para cualquiera de los dos gráficos no isomórficos

Quiero ser muy específico ¿Alguien sabe de una prueba o prueba de la siguiente propuesta: ∃p∈Z[x],n,k,C∈N,∃p∈Z[x],n,k,C∈N,\exists p \in \mathbb{Z}[x], n, k, C \in \mathbb{N}, ∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),\forall G, H \in STRUC[\Sigma_{graph}]...

Estado del arte para la clase monádica?

La lógica monádica de primer orden, también conocida como la clase monádica del problema de decisión, es donde todos los predicados toman un argumento. Se demostró que era decidible por Ackermann, y está NEXPTIME-complete . Sin embargo, problemas como SAT y SMT tienen algoritmos rápidos para...