http://dainf.ct.utfpr.edu.br/wiki/index.php?action=history&feed=atom&title=A_l%C3%B3gica_C1 A lógica C1 - Histórico de revisão 2026-04-14T16:03:56Z 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=A_l%C3%B3gica_C1&diff=2400&oldid=prev Adolfo em 00h11min de 14 de setembro de 2009 2009-09-14T00:11:09Z <p></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 00h11min de 14 de setembro de 2009</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 44:</td> <td colspan="2" class="diff-lineno">Linha 44:</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;"></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>Para obter a lógica proposicional clássica (CPL) de C1, removem-se os ◦-<del class="diffchange diffchange-inline">aximas</del>:&#160; (bc1), (ca1), (ca2) e (ca3) e adiciona-se a lei da explosão:</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>Para obter a lógica proposicional clássica (CPL) de C1, removem-se os ◦-<ins class="diffchange diffchange-inline">axiomas</ins>:&#160; (bc1), (ca1), (ca2) e (ca3) e adiciona-se a lei da explosão:</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>&#160;&#160; &#160; (exp) α → (¬α → β)</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&#160;&#160; &#160; (exp) α → (¬α → β)</div></td></tr> <!-- diff cache key wiki-dainf:diff:version:1.11a:oldid:2399:newid:2400 --> </table> Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=A_l%C3%B3gica_C1&diff=2399&oldid=prev Adolfo em 00h10min de 14 de setembro de 2009 2009-09-14T00:10:52Z <p></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 00h10min de 14 de setembro de 2009</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 24:</td> <td colspan="2" class="diff-lineno">Linha 24:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;li&gt;(Ax10) α ∨ ¬α &lt;/li&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;li&gt;(Ax10) α ∨ ¬α &lt;/li&gt;</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;li&gt;(Ax11) ¬¬α → α &lt;/li&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;li&gt;(Ax11) ¬¬α → α &lt;/li&gt;</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">&lt;/ul&gt;</del></div></td><td colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">Axiom&#160; schemas:</del></div></td><td colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">&lt;ul&gt;</del></div></td><td colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;li&gt;(bc1) ◦α → (α → (¬α → β)) &lt;/li&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;li&gt;(bc1) ◦α → (α → (¬α → β)) &lt;/li&gt;</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;li&gt;(ca1) (◦α ∧ ◦β) → ◦(α ∧ β)&lt;/li&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;li&gt;(ca1) (◦α ∧ ◦β) → ◦(α ∧ β)&lt;/li&gt;</div></td></tr> <!-- diff cache key wiki-dainf:diff:version:1.11a:oldid:2398:newid:2399 --> </table> Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=A_l%C3%B3gica_C1&diff=2398&oldid=prev Adolfo em 00h10min de 14 de setembro de 2009 2009-09-14T00:10:21Z <p></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 00h10min de 14 de setembro de 2009</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>&lt;br /&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;br /&gt;</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">C1 </del>Axiomas:</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>Axiomas <ins class="diffchange diffchange-inline">de C1</ins>:</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>&lt;ul&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;ul&gt;</div></td></tr> <!-- diff cache key wiki-dainf:diff:version:1.11a:oldid:2397:newid:2398 --> </table> Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=A_l%C3%B3gica_C1&diff=2397&oldid=prev Adolfo em 00h09min de 14 de setembro de 2009 2009-09-14T00:09:56Z <p></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 00h09min de 14 de setembro de 2009</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>C1 é <del class="diffchange diffchange-inline">históricamente </del>importante porque foi a primeira lógica paraconsistente a ser apresentada por Newton C. A. da Costa [http://pt.wikipedia.org/wiki/Newton_da_Costa] em 1963.</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>C1 é <ins class="diffchange diffchange-inline">historicamente </ins>importante porque foi a primeira lógica paraconsistente a ser apresentada por Newton C. A. da Costa [http://pt.wikipedia.org/wiki/Newton_da_Costa] em 1963.</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>&lt;ul&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;ul&gt;</div></td></tr> <!-- diff cache key wiki-dainf:diff:version:1.11a:oldid:2383:newid:2397 --> </table> Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=A_l%C3%B3gica_C1&diff=2383&oldid=prev Surfx em 14h30min de 11 de setembro de 2009 2009-09-11T14:30:34Z <p></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 14h30min de 11 de setembro de 2009</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 70:</td> <td colspan="2" class="diff-lineno">Linha 70:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;/ul&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;/ul&gt;</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 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;">&lt;br /&gt;</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;">&lt;br /&gt;</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;">'''Regras de implementação:'''</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;">&lt;br /&gt;</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;"></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;"></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;">&lt;table width=&quot;420px&quot; border=&quot;1&quot; style=&quot;font-family:Arial;font-size:10pt;border-collapse:collapse; border:#FFF;&quot;&gt;</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;">&#160; &lt;tr&gt;</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;">&#160; &lt;td align=&quot;center&quot; style=&quot;border-bottom:solid #000000 1pt;&quot; width=&quot;70px&quot;&gt;FA → B&lt;/td&gt;</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;">&#160; &lt;td align=&quot;left&quot; rowspan=&quot;3&quot; valign=&quot;middle&quot; width=&quot;70px&quot;&gt;(F→)&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot; width=&quot;70px&quot;&gt;TA → B&lt;/td&gt;</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;">&#160; &lt;td align=&quot;left&quot; rowspan=&quot;3&quot; valign=&quot;middle&quot; width=&quot;70px&quot;&gt;(T→&lt;sub&gt;1&lt;/sub&gt;)&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot; width=&quot;70px&quot;&gt;TA → B&lt;/td&gt;</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;">&#160; &lt;td align=&quot;left&quot; rowspan=&quot;3&quot; valign=&quot;middle&quot; width=&quot;70px&quot;&gt;(T→&lt;sub&gt;2&lt;/sub&gt;)&lt;/td&gt;</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;">&#160; &lt;/tr&gt;</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;">&#160; &lt;tr&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;TA&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot; style=&quot;border-bottom:solid #000000 1pt;&quot;&gt;TA&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot; style=&quot;border-bottom:solid #000000 1pt;&quot;&gt;FB&lt;/td&gt;</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;">&#160; &lt;/tr&gt;</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;">&#160; &lt;tr&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;FB&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;TB&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;FA&lt;/td&gt;</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;">&#160; &lt;/tr&gt;</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;">&#160; &lt;tr&gt;&lt;td colspan=&quot;6&quot;&gt;&amp;nbsp;&lt;/td&gt;&lt;/tr&gt;</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;">&#160; &lt;tr&gt;</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;">&#160; &lt;td align=&quot;center&quot; style=&quot;border-bottom:solid #000000 1pt;&quot;&gt;TA ∧ B&lt;/td&gt;</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;">&#160; &lt;td align=&quot;left&quot; rowspan=&quot;3&quot; valign=&quot;middle&quot;&gt;(T∧)&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;FA ∧ B&lt;/td&gt;</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;">&#160; &lt;td align=&quot;left&quot; rowspan=&quot;3&quot; valign=&quot;middle&quot;&gt;(F∧&lt;sub&gt;1&lt;/sub&gt;)&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;FA ∧ B&lt;/td&gt;</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;">&#160; &lt;td align=&quot;left&quot; rowspan=&quot;3&quot; valign=&quot;middle&quot;&gt;(F∧&lt;sub&gt;2&lt;/sub&gt;)&lt;/td&gt;</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;">&#160; &lt;/tr&gt;</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;">&#160; &lt;tr&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;TA&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot; style=&quot;border-bottom:solid #000000 1pt;&quot;&gt;TA&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot; style=&quot;border-bottom:solid #000000 1pt;&quot;&gt;TB&lt;/td&gt;</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;">&#160; &lt;/tr&gt;</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;">&#160; &lt;tr&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;TB&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;FB&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;FA&lt;/td&gt;</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;">&#160; &lt;/tr&gt;</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;">&#160; &lt;tr&gt;&lt;td colspan=&quot;6&quot;&gt;&amp;nbsp;&lt;/td&gt;&lt;/tr&gt;</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;">&#160; &lt;tr&gt;</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;">&#160; &lt;td align=&quot;center&quot; style=&quot;border-bottom:solid #000000 1pt;&quot;&gt;FA ∨ B&lt;/td&gt;</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;">&#160; &lt;td align=&quot;left&quot; rowspan=&quot;3&quot; valign=&quot;middle&quot;&gt;(F∨)&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;TA ∨ B&lt;/td&gt;</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;">&#160; &lt;td align=&quot;left&quot; rowspan=&quot;3&quot; valign=&quot;middle&quot;&gt;(T∨&lt;sub&gt;1&lt;/sub&gt;)&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;TA ∨ B&lt;/td&gt;</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;">&#160; &lt;td align=&quot;left&quot; rowspan=&quot;3&quot; valign=&quot;middle&quot;&gt;(T∨&lt;sub&gt;2&lt;/sub&gt;)&lt;/td&gt;</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;">&#160; &lt;/tr&gt;</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;">&#160; &lt;tr&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;FA&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot; style=&quot;border-bottom:solid #000000 1pt;&quot;&gt;FA&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot; style=&quot;border-bottom:solid #000000 1pt;&quot;&gt;FB&lt;/td&gt;</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;">&#160; &lt;/tr&gt;</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;">&#160; &lt;tr&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;FB&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;TB&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;TA&lt;/td&gt;</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;">&#160; &lt;/tr&gt;</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;">&#160; &lt;tr&gt;&lt;td colspan=&quot;6&quot;&gt;&amp;nbsp;&lt;/td&gt;&lt;/tr&gt;</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;">&#160; &lt;tr&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;/\&lt;/td&gt;</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;">&#160; &lt;td align=&quot;left&quot; rowspan=&quot;3&quot; valign=&quot;middle&quot;&gt;(PB)&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot; style=&quot;border-bottom:solid #000000 1pt;&quot;&gt;F ¬A&lt;/td&gt;</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;">&#160; &lt;td align=&quot;left&quot; rowspan=&quot;3&quot; valign=&quot;middle&quot;&gt;(F¬)&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot; style=&quot;border-bottom:solid #000000 1pt;&quot;&gt;T ¬¬A&lt;/td&gt;</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;">&#160; &lt;td align=&quot;left&quot; rowspan=&quot;3&quot; valign=&quot;middle&quot;&gt;(T¬¬)&lt;/td&gt;</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;">&#160; &lt;/tr&gt;</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;">&#160; &lt;tr&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;TA FA&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;TA&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;TA&lt;/td&gt;</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;">&#160; &lt;/tr&gt;</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;">&#160; &lt;tr&gt;&lt;td colspan=&quot;6&quot;&gt;&amp;nbsp;&lt;/td&gt;&lt;/tr&gt;</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;">&#160; &lt;tr&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;&amp;nbsp;&lt;/td&gt;</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;">&#160; &lt;td align=&quot;left&quot; rowspan=&quot;4&quot; valign=&quot;middle&quot;&gt;(T ◦¬)&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;T ¬(A Ø B)&lt;/td&gt;</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;">&#160; &lt;td align=&quot;left&quot; rowspan=&quot;4&quot; valign=&quot;middle&quot;&gt;(T ¬Ø&lt;sub&gt;1&lt;/sub&gt;)&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;T ¬(A Ø B)&lt;/td&gt;</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;">&#160; &lt;td align=&quot;left&quot; rowspan=&quot;4&quot; valign=&quot;middle&quot;&gt;(T ¬Ø&lt;sub&gt;2&lt;/sub&gt;)&lt;/td&gt;</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;">&#160; &lt;/tr&gt;</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;">&#160; &lt;tr&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;T ◦A&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;T A Ø B&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;T A Ø B&lt;/td&gt;</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;">&#160; &lt;/tr&gt;</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;">&#160; &lt;tr&gt;</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;">&#160; &lt;td align=&quot;center&quot; style=&quot;border-bottom:solid #000000 1pt;&quot;&gt;T ¬A&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot; style=&quot;border-bottom:solid #000000 1pt;&quot;&gt;T ◦A&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot; style=&quot;border-bottom:solid #000000 1pt;&quot;&gt;T ◦B&lt;/td&gt;</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;">&#160; &lt;/tr&gt;</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;">&#160; &lt;tr&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;FA&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;F ◦B&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;F ◦A&lt;/td&gt;</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;">&#160; &lt;/tr&gt;</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;">&lt;/table&gt;</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;"></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;">&lt;br /&gt;</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;">&lt;span style=&quot;font-family:Arial;font-size:10pt;font-weight:bold;&quot;&gt;Regras diferentes&lt;/span&gt;</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;"></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;">&lt;table width=&quot;280px&quot; border=&quot;1&quot; style=&quot;font-family:Arial;font-size:10pt;border-collapse:collapse; border:#FFF;&quot;&gt;</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;">&#160; &lt;tr&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;&amp;nbsp;&lt;/td&gt;</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;">&#160; &lt;td align=&quot;left&quot; rowspan=&quot;4&quot; valign=&quot;middle&quot;&gt;(F ◦Ø&lt;sub&gt;1&lt;/sub&gt;)&amp;nbsp;&amp;nbsp;--&gt; &lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;&lt;span style=&quot;color:#CC0033&quot;&gt;T ¬(A Ø B)&lt;/span&gt;&lt;/td&gt;</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;">&#160; &lt;td align=&quot;left&quot; rowspan=&quot;4&quot; valign=&quot;middle&quot;&gt;(T ¬Ø&lt;sub&gt;1&lt;/sub&gt;)&lt;/td&gt;</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;">&#160; &lt;/tr&gt;</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;">&#160; &lt;tr&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;&lt;span style=&quot;color:#FF0066&quot;&gt;F ◦(A Ø B)&lt;/span&gt;&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;&lt;span style=&quot;color:#000099&quot;&gt;T A Ø B&lt;/span&gt;&lt;/td&gt;</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;">&#160; &lt;/tr&gt;</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;">&#160; &lt;tr&gt;</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;">&#160; &lt;td align=&quot;center&quot; style=&quot;border-bottom:solid #000000 1pt;&quot;&gt;T ◦A&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot; style=&quot;border-bottom:solid #000000 1pt;&quot;&gt;T ◦A&lt;/td&gt;</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;">&#160; &lt;/tr&gt;</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;">&#160; &lt;tr&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;F ◦B&lt;/td&gt;</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;">&#160; &lt;td align=&quot;center&quot;&gt;F ◦B&lt;/td&gt;</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;">&#160; &lt;/tr&gt;</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;">&lt;/table&gt;</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;"></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;">&lt;br /&gt;</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;">&lt;span style=&quot;font-family:Arial;font-size:10pt;&quot;&gt;</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;">Onde &lt;span style=&quot;color:#FF0066&quot;&gt;F ◦(A Ø B)&lt;/span&gt; = F ¬((A Ø B) ∧ ¬(A Ø B))</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;">&lt;br /&gt;</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;">Usando (F¬): T (A Ø B) ∧ ¬(A Ø B) </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;">&lt;br /&gt;</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;">Usando (T∧): &lt;span style=&quot;color:#000099&quot;&gt;T A Ø B&lt;/span&gt; e &lt;span style=&quot;color:#CC0033&quot;&gt;T ¬(A Ø B)&lt;/span&gt;</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;">&lt;br /&gt;</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;">O mesmo processo para as 2 regras: (F ◦Ø&lt;sub&gt;1&lt;/sub&gt;) e (F ◦Ø&lt;sub&gt;2&lt;/sub&gt;)</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;">&lt;/span&gt;</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;">&lt;br /&gt;&lt;br /&gt;&lt;br /&gt;</ins></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>'''Referências:'''</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>'''Referências:'''</div></td></tr> <!-- diff cache key wiki-dainf:diff:version:1.11a:oldid:2357:newid:2383 --> </table> Surfx http://dainf.ct.utfpr.edu.br/wiki/index.php?title=A_l%C3%B3gica_C1&diff=2357&oldid=prev Surfx em 14h56min de 10 de setembro de 2009 2009-09-10T14:56:19Z <p></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 14h56min de 10 de setembro de 2009</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 5:</td> <td colspan="2" class="diff-lineno">Linha 5:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;li&gt; O significado de ◦A é “A é consistente”.&lt;/li&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;li&gt; O significado de ◦A é “A é consistente”.&lt;/li&gt;</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;li&gt; O conectivo consistência &quot;◦&quot; não é um conectivo primitivo, &#160;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;li&gt; O conectivo consistência &quot;◦&quot; não é um conectivo primitivo, &#160;</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>mas uma abreviação: &lt;/<del class="diffchange diffchange-inline">li</del>&gt;</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>mas uma abreviação: &lt;<ins class="diffchange diffchange-inline">br </ins>/&gt;</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del class="diffchange diffchange-inline">&lt;li&gt; </del>◦A = ¬(A ∧ ¬A) &lt;/li&gt;</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline"> </ins>◦A = ¬(A ∧ ¬A) &lt;/li&gt;</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;/ul&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;/ul&gt;</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> <!-- diff cache key wiki-dainf:diff:version:1.11a:oldid:2356:newid:2357 --> </table> Surfx http://dainf.ct.utfpr.edu.br/wiki/index.php?title=A_l%C3%B3gica_C1&diff=2356&oldid=prev Surfx em 14h55min de 10 de setembro de 2009 2009-09-10T14:55:29Z <p></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 14h55min de 10 de setembro de 2009</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>C1 é históricamente importante porque foi a primeira lógica paraconsistente a ser apresentada por <del class="diffchange diffchange-inline">&lt;a href=&quot;</del>http://pt.wikipedia.org/wiki/Newton_da_Costa<del class="diffchange diffchange-inline">&quot;&gt;Newton C. A. da Costa&lt;/a&gt; </del>em 1963.</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>C1 é históricamente importante porque foi a primeira lógica paraconsistente a ser apresentada por <ins class="diffchange diffchange-inline">Newton C. A. da Costa [</ins>http://pt.wikipedia.org/wiki/Newton_da_Costa<ins class="diffchange diffchange-inline">] </ins>em 1963.</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>&lt;ul&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;ul&gt;</div></td></tr> <!-- diff cache key wiki-dainf:diff:version:1.11a:oldid:2355:newid:2356 --> </table> Surfx http://dainf.ct.utfpr.edu.br/wiki/index.php?title=A_l%C3%B3gica_C1&diff=2355&oldid=prev Surfx em 14h54min de 10 de setembro de 2009 2009-09-10T14:54:35Z <p></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 14h54min de 10 de setembro de 2009</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>C1 é históricamente importante porque foi a primeira lógica paraconsistente a ser apresentada por Newton C. A. da Costa em 1963.</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>C1 é históricamente importante porque foi a primeira lógica paraconsistente a ser apresentada por <ins class="diffchange diffchange-inline">&lt;a href=&quot;http://pt.wikipedia.org/wiki/Newton_da_Costa&quot;&gt;</ins>Newton C. A. da Costa<ins class="diffchange diffchange-inline">&lt;/a&gt; </ins>em 1963.</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>&lt;ul&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;ul&gt;</div></td></tr> <!-- diff cache key wiki-dainf:diff:version:1.11a:oldid:2354:newid:2355 --> </table> Surfx http://dainf.ct.utfpr.edu.br/wiki/index.php?title=A_l%C3%B3gica_C1&diff=2354&oldid=prev Surfx em 14h52min de 10 de setembro de 2009 2009-09-10T14:52:09Z <p></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 14h52min de 10 de setembro de 2009</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 77:</td> <td colspan="2" class="diff-lineno">Linha 77:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;li&gt;KRAUSE, Décio. &lt;b&gt;A Lógica Paraconsistente&lt;/b&gt;. Disponível em: &lt;http://www.cfh.ufsc.br/~dkrause/LogicaI/ParaconsistenteSA.htm&gt;. Acesso em 09 set. 2009.&lt;/li&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;li&gt;KRAUSE, Décio. &lt;b&gt;A Lógica Paraconsistente&lt;/b&gt;. Disponível em: &lt;http://www.cfh.ufsc.br/~dkrause/LogicaI/ParaconsistenteSA.htm&gt;. Acesso em 09 set. 2009.&lt;/li&gt;</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;li&gt;CARNIELLI, Walter;CONIGLIO, MARCELO E.;MARCOS, João. &lt;b&gt;Logics of formal inconsistency&lt;/b&gt;. Disponível em: &lt;ftp://logica.cle.unicamp.br/pub/e-prints/vol.5,n.1,2005-revised.pdf&gt;. Acesso em 09 set. 2009.&lt;/li&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;li&gt;CARNIELLI, Walter;CONIGLIO, MARCELO E.;MARCOS, João. &lt;b&gt;Logics of formal inconsistency&lt;/b&gt;. Disponível em: &lt;ftp://logica.cle.unicamp.br/pub/e-prints/vol.5,n.1,2005-revised.pdf&gt;. Acesso em 09 set. 2009.&lt;/li&gt;</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;">&lt;li&gt;NETO, ADOLFO G. S. S. ; KAESTNER, CELSO A. A. FINGER, Marcelo. &lt;b&gt;A KE tableau system for C1&lt;/b&gt;. Disponível em: &lt;http://www.dainf.ct.utfpr.edu.br/~adolfo/publications/2009/Slides_CLEAIPS_2009_NetoKaestnerFinger.pdf&gt;. Acesso em 10 set. 2009.&lt;/li&gt;</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;/ul&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;/ul&gt;</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;br /&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;br /&gt;</div></td></tr> <!-- diff cache key wiki-dainf:diff:version:1.11a:oldid:2353:newid:2354 --> </table> Surfx http://dainf.ct.utfpr.edu.br/wiki/index.php?title=A_l%C3%B3gica_C1&diff=2353&oldid=prev Surfx em 14h49min de 10 de setembro de 2009 2009-09-10T14:49:04Z <p></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 14h49min de 10 de setembro de 2009</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 73:</td> <td colspan="2" class="diff-lineno">Linha 73:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>'''Referências:'''</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>'''Referências:'''</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;br /&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;br /&gt;</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>CARNIELLI, Walter; CONIGLIO, Marcelo E.; MARCOS, João. Logics of Formal Inconsistency. 2. ed. São Paulo:&#160; Springer-Verlag, 2007 p. 15-107. &#160;</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">&lt;ul&gt;</ins></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>&lt;<del class="diffchange diffchange-inline">br </del>/&gt;</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">&lt;li&gt;</ins>CARNIELLI, Walter; CONIGLIO, Marcelo E.; MARCOS, João. Logics of Formal Inconsistency. 2. ed. São Paulo:&#160; Springer-Verlag, 2007 p. 15-107. &lt;/<ins class="diffchange diffchange-inline">li</ins>&gt;</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>KRAUSE, Décio. &lt;b&gt;A Lógica Paraconsistente&lt;/b&gt;. Disponível em: &lt;http://www.cfh.ufsc.br/~dkrause/LogicaI/ParaconsistenteSA.htm&gt;. Acesso em 09 set. 2009.</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">&lt;li&gt;</ins>KRAUSE, Décio. &lt;b&gt;A Lógica Paraconsistente&lt;/b&gt;. Disponível em: &lt;http://www.cfh.ufsc.br/~dkrause/LogicaI/ParaconsistenteSA.htm&gt;. Acesso em 09 set. 2009.&lt;/<ins class="diffchange diffchange-inline">li</ins>&gt;</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>&lt;<del class="diffchange diffchange-inline">br </del>/&gt;</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">&lt;li&gt;</ins>CARNIELLI, Walter;CONIGLIO, MARCELO E.;MARCOS, João. &lt;b&gt;Logics of formal inconsistency&lt;/b&gt;. Disponível em: &lt;ftp://logica.cle.unicamp.br/pub/e-prints/vol.5,n.1,2005-revised.pdf&gt;. Acesso em 09 set. 2009.<ins class="diffchange diffchange-inline">&lt;/li&gt;</ins></div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>CARNIELLI, Walter;CONIGLIO, MARCELO E.;MARCOS, João. &lt;b&gt;Logics of formal inconsistency&lt;/b&gt;. Disponível em: &lt;ftp://logica.cle.unicamp.br/pub/e-prints/vol.5,n.1,2005-revised.pdf&gt;. Acesso em 09 set. 2009.</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">&lt;/ul&gt;</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;br /&gt;</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;br /&gt;</div></td></tr> <!-- diff cache key wiki-dainf:diff:version:1.11a:oldid:2352:newid:2353 --> </table> Surfx