Famílias de problemas difíceis
De Wiki DAINF
(Diferença entre revisões)
(→Famílias de problemas difíceis para lógica proposicional clássica) |
(→Famílias de problemas difíceis para lógicas proposicionais paraconsistentes) |
||
| Linha 7: | Linha 7: | ||
* [[H]] | * [[H]] | ||
| − | == | + | == Para lógicas proposicionais paraconsistentes == |
=== Para lógicas de inconsistência formal === | === Para lógicas de inconsistência formal === | ||
