http://dainf.ct.utfpr.edu.br/wiki/index.php?action=history&feed=atom&title=Fam%C3%ADlias_de_problemas_dif%C3%ADceis 2026-04-18T23:35:20Z Histórico de revisões para esta página nesta wiki MediaWiki 1.18.1 http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Fam%C3%ADlias_de_problemas_dif%C3%ADceis&diff=447&oldid=prev 2008-09-11T20:29:57Z

<p><span class="autocomment">Para lógicas proposicionais paraconsistentes</span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 20h29min de 11 de setembro de 2008</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 10:</td> <td colspan="2" class="diff-lineno">Linha 10:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>=== Para lógicas de inconsistência formal ===</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>=== Para lógicas de inconsistência formal ===</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">=== Para lógicas de da Costa ===</ins></div></td></tr> <!-- diff cache key wiki-dainf:diff:version:1.11a:oldid:446:newid:447 --> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Fam%C3%ADlias_de_problemas_dif%C3%ADceis&diff=446&oldid=prev 2008-09-11T20:29:38Z

<p><span class="autocomment">Famílias de problemas difíceis para lógicas proposicionais paraconsistentes</span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 20h29min de 11 de setembro de 2008</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 7:</td> <td colspan="2" class="diff-lineno">Linha 7:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [[H]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [[H]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>== <del class="diffchange diffchange-inline">Famílias de problemas difíceis para </del>lógicas proposicionais paraconsistentes ==</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>== <ins class="diffchange diffchange-inline">Para </ins>lógicas proposicionais paraconsistentes ==</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>=== Para lógicas de inconsistência formal ===</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>=== Para lógicas de inconsistência formal ===</div></td></tr> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Fam%C3%ADlias_de_problemas_dif%C3%ADceis&diff=445&oldid=prev 2008-09-11T20:29:27Z

<p><span class="autocomment">Famílias de problemas difíceis para lógica proposicional clássica</span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 20h29min de 11 de setembro de 2008</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 1:</td> <td colspan="2" class="diff-lineno">Linha 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>== <del class="diffchange diffchange-inline">Famílias de problemas difíceis para </del>lógica proposicional clássica ==</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>== <ins class="diffchange diffchange-inline">Para </ins>lógica proposicional clássica ==</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [[PHP]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [[PHP]]</div></td></tr> <!-- diff cache key wiki-dainf:diff:version:1.11a:oldid:444:newid:445 --> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Fam%C3%ADlias_de_problemas_dif%C3%ADceis&diff=444&oldid=prev 2008-09-11T20:29:14Z

<p><span class="autocomment">Famílias de problemas difíceis para lógicas proposicionais inconsistentes</span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 20h29min de 11 de setembro de 2008</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 7:</td> <td colspan="2" class="diff-lineno">Linha 7:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [[H]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [[H]]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>== Famílias de problemas difíceis para lógicas proposicionais <del class="diffchange diffchange-inline">inconsistentes </del>==</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>== Famílias de problemas difíceis para lógicas proposicionais <ins class="diffchange diffchange-inline">paraconsistentes ==</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>&#160;</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">=== Para lógicas de inconsistência formal =</ins>==</div></td></tr> <!-- diff cache key wiki-dainf:diff:version:1.11a:oldid:443:newid:444 --> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Fam%C3%ADlias_de_problemas_dif%C3%ADceis&diff=443&oldid=prev 2008-09-11T20:28:37Z

<p>Nova página: == Famílias de problemas difíceis para lógica proposicional clássica == * <a href="/wiki/index.php/PHP" title="PHP">PHP</a> * <a href="/wiki/index.php?title=Statman&amp;action=edit&amp;redlink=1" class="new" title="Statman (página inexistente)">Statman</a> * <a href="/wiki/index.php?title=Tseitin&amp;action=edit&amp;redlink=1" class="new" title="Tseitin (página inexistente)">Tseitin</a> * <a href="/wiki/index.php?title=Gamma&amp;action=edit&amp;redlink=1" class="new" title="Gamma (página inexistente)">Gamma</a> * <a href="/wiki/index.php?title=H&amp;action=edit&amp;redlink=1" class="new" title="H (página inexistente)">H</a> == Famílias de problemas difíceis para lógica...</p> <p><b>Nova página</b></p><div>== Famílias de problemas difíceis para lógica proposicional clássica ==<br /> <br /> * [[PHP]]<br /> * [[Statman]]<br /> * [[Tseitin]]<br /> * [[Gamma]]<br /> * [[H]]<br /> <br /> == Famílias de problemas difíceis para lógicas proposicionais inconsistentes ==</div>

Adolfo