fsymbols
Carregando símbolos…
››
∧

E lógico

E lógico

40/256

∧ é o símbolo do E lógico, muitas vezes chamado de cunha. Uma afirmação como p ∧ q só é verdadeira quando as duas partes são verdadeiras. Aparece sobretudo em lógica formal, matemática e no ensino de computação. Os programadores costumam escrever && ou and. Atribui-se a Arend Heyting o primeiro uso impresso da cunha para a conjunção, no seu trabalho de 1930 sobre lógica intuicionista.

Símbolo de texto

O que significa ∧

As duas afirmações precisam ser verdadeiras. Em p ∧ q, a afirmação inteira só é verdadeira quando p e q são ambas verdadeiras. Em qualquer outro caso, é falsa. Os lógicos chamam essa operação de conjunção, e o símbolo costuma ser chamado de cunha.

A cunha foi impressa pela primeira vez para a conjunção em 1930, num artigo em que o matemático holandês Arend Heyting formalizou a lógica intuicionista. A lógica intuicionista é uma versão da lógica que só aceita uma afirmação quando existe uma prova dela. Lógicos anteriores escreviam a conjunção de outras formas, como um ponto ou &. ∧ foi uma escolha de notação que acabou se difundindo, sem substituir as outras em toda parte.

Hoje, livros de lógica e cursos de computação usam ∧ em tabelas-verdade e fórmulas. As linguagens de programação usam principalmente && ou and, que são fáceis de digitar, e cada linguagem define as próprias regras de avaliação.

Faz parte das coleções

Não confunda com

3

Ideias de combinações

2
As duas proposições p e q valem.
p e q não são ambas verdadeiras.

Perguntas frequentes

2

∧ é o mesmo que o circunflexo ?

Não. São caracteres diferentes. é um substituto quando não dá para digitar ∧, e em muitas linguagens de programação significa OU exclusivo (XOR), não E.

O que é \land no LaTeX?

É o mesmo símbolo. \land e \wedge geram ∧ no modo matemático.

Coleções com ∧

1

Como digitar ou encontrar ∧

Também chamado
cunha · conjunção · operador e
Pesquise como
e booleano · símbolo e · tabela verdade · ínfimo
Pode ser usado em
Qualquer campo de texto · a forma depende da fonte
Windows (Word)
⎇Alt+XDigite 2227 e pressione AltX para obter ∧.
Windows
⊞Win+RExecute charmap ou abra a aba de símbolos Ω com Win .
macOS
⌃Control+⌘Command+␣SpaceAbra o visualizador de caracteres e procure o símbolo.
Linux
⎈Ctrl+⇧Shift+UDepois digite 2227 e pressione Enter ou Espaço.
HTML
∧
CSS
\2227
Linux
Pressione CtrlShiftU, digite 2227 e pressione Enter.
Windows Word
Digite 2227 e pressione AltX.
Mac
Abra o Visualizador de Caracteres com ControlCommandEspaço e procure logical and.
LaTeX
Digite \wedge ou \land no modo matemático.
Códigos e codificaçãoPontos de código: 1
HTML decimal
∧
HTML hexadecimal
∧
Conteúdo CSS
content: "\2227";
Cada escape termina na próxima barra invertida; adicione um espaço antes de um dígito hexadecimal literal.
Codificação URL
%E2%88%A7
1
Na tela
1
Pontos de código
1
JS .length
3
Bytes UTF-8

Um símbolo visível pode conter vários pontos de código. JS .length conta unidades UTF-16; UTF-8 conta bytes.

Grupos deste símbolo

1

Matemática e números1.835 símbolos