Lista de símbolos matemáticos: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m |
m exclusão de informação duplicada, contida em duas tabelas, e arrumação das tabelas |
||
Linha 153:
|''A'' ⇒ ''B'' significa: se ''A'' for verdadeiro então ''B'' é também verdadeiro; se ''A'' for falso então nada é dito sobre ''B''.<br />→ pode ter o mesmo significado de ⇒, ou pode ter o significado que mencionamos mais abaixo sobre as [[Função (matemática)|funções]]
|''x'' = 2 ⇒ ''x''² = 4 é verdadeiro, mas ''x''² = 4 ⇒ ''x'' = 2 é em geral falso (visto que ''x'' pode ser −2)
{| border="2" cellspacing="0" cellpadding="4" rules="all" style="margin:1em 1em 1em 0; border:solid 1px #AAAAAA; border-collapse:collapse; font-size:95%; empty-cells:show;"▼
|- style="background: #d0f0d0;"▼
! Símbolo▼
! Nome▼
! lê-se como▼
! Categoria▼
|-
|⇔<br />↔
|\Leftrightarrow
|'''[[Se e somente se|equivalência material]]'''▼
\leftrightarrow
| se e somente se; sse▼
|[[cálculo proposicional|lógica proposicional]]
|-
|∧
▲| colspan="3" |''A'' ⇔ ''B'' significa: ''A'' é verdadeiro se ''B'' for verdadeiro e ''A'' é falso se ''B'' é falso
|\land
▲| colspan="3" |''x'' + 5 = ''y'' + 2 ⇔ ''x'' + 3 = ''y''
|'''[[conjunção lógica]]'''
|
|[[cálculo proposicional|lógica proposicional]]
|
|
|-
|∨
▲| colspan="3" | a proposição ''A'' ∧ ''B'' é verdadeira se ''A'' e ''B'' foram ambos verdadeiros; caso contrário, é falsa
|\lor
▲| colspan="3" |Exemplo: ''n'' < 4 ∧ ''n'' > 2 ⇔ ''n'' = 3 quando <var>n</var> é um [[número natural]]
|'''[[disjunção lógica]]'''
|
|[[cálculo proposicional|lógica proposicional]]
|
|
▲| colspan="3" | a proposição ''A'' ∨ ''B'' é verdadeira se ''A'' ou ''B'' (ou ambos) forem verdadeiros; se ambos forem falsos, a proposição é falsa
|
▲{| border="2" cellspacing="0" cellpadding="4" rules="all" style="margin:1em 1em 1em 0; border:solid 1px #AAAAAA; border-collapse:collapse; font-size:95%; empty-cells:show;"
▲| colspan="3" | Exemplo: ''n'' ≥ 4 ∨ ''n'' ≤ 2 ⇔ ''n'' ≠ 3 quando <var>n</var> é um [[número natural]]
▲|- style="background: #d0f0d0;"
▲! Símbolo
▲! Nome
▲! lê-se como
▲! Categoria
|-
| rowspan="3" style="background-color:#d0f0d0;text-align: center;" |<div style="font-size:200%;">¬<br />~</div>
Linha 220 ⟶ 218:
|-
| colspan="3" | <nowiki>Exemplo: ∃|</nowiki>''x'' ∈ '''N''': ''x'' + 5 = 6, pois x é único nessa situação
|-
| rowspan="3" style="background-color:#d0f0d0;text-align: center;" |<div style="font-size:200%;">:<br />:⇔</div>
Linha 367 ⟶ 356:
|-
| colspan="3" |''i'' = √(−1) ∈ '''C'''
|-
| rowspan="3" style="background-color:#d0f0d0;text-align: center;" |<div style="font-size:200%;">√</div>
|