<?xml version="1.0" encoding="UTF-8"?>
<html xmlns="http://www.w3.org/1999/xhtml" xmlns:wx="http://ilps.science.uva.nl/WikiXML/wx" xml:lang="pt" lang="pt">
<head>
<title>ProgTableau</title>
<meta name="wx_namespace" content="0"/>
<meta name="wx_pagename" content="ProgTableau"/>
<meta name="wx_page_id" content="1636105"/>
</head>
<body>
<div id="wx_article">
<wx:section level="1" title="ProgTableau" id="wxsec1"><h1 class="pagetitle" id="wx1">ProgTableau</h1>

<p id="wx2">O <b id="wx3">ProgTableau</b> é um <a href="/wpt/Software" title="Software" wx:linktype="known" wx:pagename="Software" wx:page_id="1709" id="wx4">software</a> (programa) feito para realizar o método Tableau de acordo com a <a href="/wpt/L%C3%B3gica_Cl%C3%A1ssica_Proposicional" class="new" title="Lógica Clássica Proposicional" wx:linktype="unknown" wx:pagename="Lógica_Clássica_Proposicional" id="wx5">Lógica Clássica Proposicional</a>.</p>

<a id="Linguagem" name="Linguagem"/>
<wx:section level="2" title="Linguagem" id="wxsec2"><h2 id="wx6">Linguagem</h2>

<p id="wx7">A linguagem da Lógica Clássica Proposicional é uma linguagem formal que tem como objetivo representar trechos de discurso de uma maneira precisa e sem ambigüidades.</p>

<p id="wx8">O ProgTableau está na sua versão 1.2.2. Código reformulado, eficiente e poderoso na aplicação de fórmulas e regras de precedências! Esse programa é freeware (software gratuito).</p>

<a id="Hist.C3.B3ria" name="Hist.C3.B3ria"/>
</wx:section><wx:section level="2" title="História" id="wxsec3"><h2 id="wx9">História</h2>

<p id="wx10">O ProgTableau teve sua origem em 2004 como um solução computacional para desenvolver o método Tableau da Lógica Clássica Proposicional.</p>

<p id="wx11">Lançada em setembro de 2005, a versão 0.8 só conseguia resolver de forma certa apenas um pequeno grupo de cláusulas. Lançada em junho de 2006, a versão 1.0 só conseguia resolver praticamente todas as cláusulas mas apresentava eventuais problemas de execução, causando falhas na visualização e na execução dos algarítimos envolvidos. Lançada em fevereiro de 2008, a versão 1.2 foi uma re-formulação da versão anterior para tornar os algoritmos mais eficientes e o programa mais intuitivo e livre de falhas.</p>

<p id="wx12">Em Lançamento, a versão 1.22 está dando uma grande renovação no núcleo do programa para permitir uma versão mais estável e funcional.</p>

<a id="Liga.C3.A7.C3.B5es_externas" name="Liga.C3.A7.C3.B5es_externas"/>
</wx:section><wx:section level="2" title="Ligações externas" id="wxsec4"><h2 id="wx13"><wx:template id="wx_t1" pagename="Predefinição:Ligações_externas" page_id="62491"/>Ligações externas<wx:templateend start="wx_t1"/></h2>

<ul id="wx14">
<li id="wx15"><a href="http://www.dcc.ufrj.br/~rogss/academico.html" class="external text" wx:linktype="external" rel="nofollow" id="wx16">Site Oficial do Software ProgTableau</a></li>
</ul>
</wx:section></wx:section></div>
<div id="wx_categorylinks">
<a href="/wpt/index.php?title=Especial:Categories&amp;article=ProgTableau" title="Especial:Categories" wx:linktype="known" wx:pagename="Especial:Categories" id="wx17">Categorias de páginas</a>: <span dir="ltr" id="wx18"><a href="/wpt/Categoria:Programas_de_computador" title="Categoria:Programas de computador" wx:linktype="known" wx:pagename="Categoria:Programas_de_computador" wx:page_id="14981" id="wx19">Programas de computador</a></span> | <span dir="ltr" id="wx20"><a href="/wpt/Categoria:Software_gratuito" title="Categoria:Software gratuito" wx:linktype="known" wx:pagename="Categoria:Software_gratuito" wx:page_id="1650721" id="wx21">Software gratuito</a></span> | <span dir="ltr" id="wx22"><a href="/wpt/Categoria:L%C3%B3gica" title="Categoria:Lógica" wx:linktype="known" wx:pagename="Categoria:Lógica" wx:page_id="22410" id="wx23">Lógica</a></span></div>
<div id="wx_languagelinks">
</div>
</body>
<wx:templatearguments for="wx_t1"><wx:argument name=""/></wx:templatearguments>
</html>
