Para usar esta imagem numa página da Wikipédia inserir: [[Imagem:Non-closed propositional tableau.svg|thumb|180px|Legenda]]
Descrição do ficheiro
DescriçãoNon-closed propositional tableau.svg
English: A non-closed tableau for the set . This set is satisfiable, so this tableau cannot be closed. Indeed, one sees that, for every non-literal formula and every branch the formula is in, the applicable rule has been applied.
Data
5 de janeiro de 2007 (data de carregamento original)
partilhar – copiar, distribuir e transmitir a obra
recombinar – criar obras derivadas
De acordo com as seguintes condições:
atribuição – Tem de fazer a devida atribuição da autoria, fornecer uma hiperligação para a licença e indicar se foram feitas alterações. Pode fazê-lo de qualquer forma razoável, mas não de forma a sugerir que o licenciador o apoia ou subscreve o seu uso da obra.
partilha nos termos da mesma licença – Se remisturar, transformar ou ampliar o conteúdo, tem de distribuir as suas contribuições com a mesma licença ou uma licença compatível com a original.
Esta marca de licenciamento foi adicionada a este ficheiro durante a atualização da licença GFDL.http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue
É concedida permissão para copiar, distribuir e/ou modificar este documento nos termos da Licença de Documentação Livre GNU, versão 1.2 ou qualquer versão posterior publicada pela Free Software Foundation; sem Secções Invariantes, sem textos de Capa e sem textos de Contra-Capa. É incluída uma cópia da licença na secção intitulada GNU Free Documentation License. Sujeito a aviso legal (disclaimer).http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue
Registo de carregamento original
A página de descrição original está aqui. Todos os nomes de utilizador a seguir referem-se a en.wikipedia.
{{BotMoveToCommons|en.wikipedia|year={{subst:CURRENTYEAR}}|month={{subst:CURRENTMONTHNAME}}|day={{subst:CURRENTDAY}}}} {{Information |Description={{en|A non-closed tableau for the set <math>\{a \wedge c, \neg a \vee b\}</math>. This set is unsatisfiable,