Ficheiro:Logical connectives Hasse diagram.svg
Dimensões desta antevisão em PNG do ficheiro SVG: 424 × 600 píxeis Outras resoluções: 170 × 240 píxeis | 339 × 480 píxeis | 543 × 768 píxeis | 724 × 1 024 píxeis | 1 448 × 2 048 píxeis | 744 × 1 052 píxeis.
Imagem numa resolução maior (ficheiro SVG, de 744 × 1 052 píxeis, tamanho: 201 kB)
Histórico do ficheiro
Clique uma data e hora para ver o ficheiro tal como ele se encontrava nessa altura.
Data e hora | Miniatura | Dimensões | Utilizador | Comentário | |
---|---|---|---|---|---|
atual | 14h17min de 13 de fevereiro de 2023 | 744 × 1 052 (201 kB) | TeunSpaans | updated to newer inkscape version, hopefully alll previous issues solved | |
14h14min de 24 de julho de 2021 | 744 × 1 052 (201 kB) | Watchduck | revert to last version by myself | ||
14h59min de 20 de junho de 2021 | 744 × 1 052 (193 kB) | Mechachleopteryx | widened xor symbol | ||
14h38min de 20 de junho de 2021 | 744 × 1 052 (193 kB) | Mechachleopteryx | changed xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign. | ||
14h33min de 20 de junho de 2021 | 744 × 1 052 (201 kB) | Mechachleopteryx | Reverted to version as of 19:25, 7 May 2010 (UTC) | ||
14h27min de 20 de junho de 2021 | 744 × 1 052 (193 kB) | Mechachleopteryx | changed xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign. | ||
14h24min de 20 de junho de 2021 | 744 × 1 052 (201 kB) | Mechachleopteryx | Reverted to version as of 19:25, 7 May 2010 (UTC) | ||
14h17min de 20 de junho de 2021 | 744 × 1 052 (193 kB) | Mechachleopteryx | changed xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign. | ||
19h25min de 7 de maio de 2010 | 744 × 1 052 (201 kB) | Watchduck | changed XOR sign from <math>\dot\or</math> to <math>\oplus</math> | ||
17h00min de 24 de agosto de 2009 | 744 × 1 052 (206 kB) | Watchduck |
Utilização local do ficheiro
Mais de 100 páginas usam este ficheiro. A lista abaixo apresenta apenas as primeiras 100 páginas. Encontra-se disponível uma lista completa.
- Discussão:A priori e a posteriori
- Discussão:Afirmação do consequente
- Discussão:Alfred Horn
- Discussão:Alfred Tarski
- Discussão:Anfibologia
- Discussão:Apelo ao preconceito
- Discussão:Apelo ao ridículo
- Discussão:Apelo à autoridade anônima
- Discussão:Apelo à emoção
- Discussão:Apelo à vaidade
- Discussão:Argumento
- Discussão:Argumentum ad antiquitatem
- Discussão:Argumentum ad baculum
- Discussão:Argumentum ad consequentiam
- Discussão:Argumentum ad crumenam
- Discussão:Argumentum ad hominem
- Discussão:Argumentum ad ignorantiam
- Discussão:Argumentum ad metum
- Discussão:Argumentum ad misericordiam
- Discussão:Argumentum ad novitatem
- Discussão:Argumentum ad populum
- Discussão:Argumentum ad temperantiam
- Discussão:Argumentum ad verecundiam
- Discussão:Aridade
- Discussão:Axioma
- Discussão:Bulverismo
- Discussão:Campo minado
- Discussão:Causa complexa
- Discussão:Causa diminuta
- Discussão:Composição (falácia)
- Discussão:Contradição
- Discussão:Correção
- Discussão:Dedução natural
- Discussão:Diagrama de Venn
- Discussão:Dicto secundum quid ad dictum simpliciter
- Discussão:Distorção de fatos
- Discussão:Divisão (falácia)
- Discussão:Dupla negação
- Discussão:Efeito borboleta
- Discussão:Equivalência lógica
- Discussão:Equívoco
- Discussão:Existência de Deus
- Discussão:Falácia
- Discussão:Falácia do espantalho
- Discussão:Forma normal clausal
- Discussão:Função de verdade
- Discussão:Grafo lógico
- Discussão:Henry M. Sheffer
- Discussão:Inferência
- Discussão:Intuicionismo
- Discussão:Inversão de causa e efeito
- Discussão:Inversão do acidente
- Discussão:Jacques Herbrand
- Discussão:Lógica aristotélica
- Discussão:Lógica de primeira ordem
- Discussão:Lógica epistêmica
- Discussão:Lógica matemática
- Discussão:Lógica modal
- Discussão:Lógica paraconsistente
- Discussão:Lógica proposicional
- Discussão:Modus ponens
- Discussão:Máquina de estados finita
- Discussão:Método dedutivo
- Discussão:Métodos formais
- Discussão:Negação
- Discussão:Negação do antecedente
- Discussão:Non sequitur
- Discussão:Noção primitiva
- Discussão:O ovo ou a galinha
- Discussão:Operação binária
- Discussão:Paradoxo
- Discussão:Paradoxo do corvo
- Discussão:Paradoxo do mentiroso
- Discussão:Peter Naur
- Discussão:Porta NAND
- Discussão:Porta NOR
- Discussão:Post hoc ergo propter hoc
- Discussão:Princípio da identidade
- Discussão:Princípio da não-contradição
- Discussão:Problema de decisão
- Discussão:Prolog
- Discussão:Proposição
- Discussão:Quadrado das oposições
- Discussão:Reconhecimento de padrões
- Discussão:Recursividade
- Discussão:Recursividade (ciência da computação)
- Discussão:Recíproca
- Discussão:Reductio ad Hitlerum
- Discussão:Relação binária
- Discussão:Relação de ordem
- Discussão:Se e somente se
- Discussão:Silogismo hipotético
- Discussão:Sistema formal
- Discussão:Skolemização
- Discussão:Tabela-verdade
- Discussão:Teorema da compacidade
- Discussão:Teorema da completude de Gödel
- Discussão:Terceira causa
- Discussão:Thoralf Skolem
- Discussão:Validade
Ver a lista completa de páginas que contêm hiperligações para este ficheiro.
Utilização global do ficheiro
As seguintes wikis usam este ficheiro:
- az.wiki.x.io
- beta.wikiversity.org
- ca.wiki.x.io
- cs.wiki.x.io
- de.wiki.x.io
- el.wiki.x.io
- eml.wiki.x.io
- en.wiki.x.io
- Logical disjunction
- Logical conjunction
- Logical connective
- Sheffer stroke
- Inverter (logic gate)
- Exclusive or
- Converse (logic)
- Negation
- Logical NOR
- Logical biconditional
- False (logic)
- Material conditional
- Boolean function
- Talk:Logical connective
- AND gate
- OR gate
- NAND gate
- Logical equality
- XOR gate
- XNOR gate
- NOR gate
- Logical truth
- Tautology (logic)
- Outline of logic
- User:Koryu Obihiro
- Template:Logical connectives
- Material nonimplication
- Converse nonimplication
- Wikipedia:WikiProject Logic/Logical Operators
- User talk:Gregbard/Archive 1
- Template:Logical connectives table and Hasse diagram
- Wikipedia talk:WikiProject Mathematics/Archive/2008/Nov
Ver mais utilizações globais deste ficheiro.