Wikipédia

Ficheiro:Non-closed propositional tableau.svg

Imagem numa resolução maior ‎(ficheiro SVG, de 189 × 270 píxeis, tamanho: 23 kB)

Descrição do ficheiro

Descrição
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)
Origem Transferido de en.wikipedia para a wiki Commons por Piquart utilizando CommonsHelper.
Autor Tizio em Wikipédia em inglês

Licenciamento

Tizio em Wikipédia inglesa, titular dos direitos de autor desta obra, publica-a com a seguinte licença:
w:pt:Creative Commons
atribuição partilha nos termos da mesma licença 		A utilização deste ficheiro é regulada nos termos da licença Creative Commons - Atribuição-CompartilhaIgual 3.0 Não Adaptada. Sujeito a aviso legal (disclaimer).
Atribuição: Tizio em Wikipédia inglesa
Pode:
  • 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.
GNU head É 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).

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.
  • 2009-07-30 23:08 RobHar 189×270× (23459 bytes) added background
  • 2009-07-30 01:00 RobHar 189×270× (23203 bytes) Convert text to path to fix display problem, change font, other tweaks
  • 2007-01-05 16:46 Tizio 189×270× (3611 bytes) a non-closed tableau

Legendas

Adicione uma explicação de uma linha do que este ficheiro representa

Elementos retratados neste ficheiro

retrata

Histórico do ficheiro

Clique uma data e hora para ver o ficheiro tal como ele se encontrava nessa altura.

Data e horaMiniaturaDimensõesUtilizadorComentário
atual14h39min de 12 de julho de 2010Miniatura da versão das 14h39min de 12 de julho de 2010189 × 270 (23 kB)File Upload Bot (Magnus Manske) {{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,

A seguinte página usa este ficheiro:

Utilização global do ficheiro

As seguintes wikis usam este ficheiro:

Obtida de "https://pt.wikipedia.org/wiki/Ficheiro:Non-closed_propositional_tableau.svg"