Lista de símbolos matemáticos: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Luizabpr (discussão | contribs)
m
Luizabpr (discussão | contribs)
m exclusão de informação duplicada, contida em duas tabelas, e arrumação das tabelas
Linha 153:
|''A'' &rArr; ''B'' significa: se ''A'' for verdadeiro então ''B'' é também verdadeiro; se ''A'' for falso então nada é dito sobre ''B''.<br />&rarr; pode ter o mesmo significado de &rArr;, ou pode ter o significado que mencionamos mais abaixo sobre as [[Função (matemática)|funções]]
|''x'' = 2&nbsp;&nbsp;&rArr;&nbsp; ''x''² = 4 é verdadeiro, mas ''x''² = 4 &nbsp;&nbsp;&rArr;&nbsp; ''x'' = 2 é em geral falso (visto que ''x'' pode ser &minus;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
|-
|&hArr;<br />&harr;
| rowspan="3" style="background-color:#d0f0d0;text-align: center;" |<div style="font-size:200%;">&hArr;<br />&harr;</div>
|\Leftrightarrow
|'''[[Se e somente se|equivalência material]]'''
\leftrightarrow
| se e somente se; sse
|'''[[Se e somente se|equivalência material]]'''
| se e somente se; sse
|[[cálculo proposicional|lógica proposicional]]
| colspan="3" |''A''&nbsp;&hArr; ''B'' significa: ''A'' é verdadeiro se ''B'' for verdadeiro e ''A'' é falso se ''B'' é falso
| colspan="3" |''x''&nbsp;+ 5&nbsp;= ''y''&nbsp;+ 2&nbsp;&nbsp;&hArr;&nbsp; ''x''&nbsp;+ 3&nbsp;= ''y''
|-
|&and;
| colspan="3" |''A''&nbsp;&hArr; ''B'' significa: ''A'' é verdadeiro se ''B'' for verdadeiro e ''A'' é falso se ''B'' é falso
|\land
|-
| colspan="3" |''x''&nbsp;+ 5&nbsp;= ''y''&nbsp;+ 2&nbsp;&nbsp;&hArr;&nbsp; ''x''&nbsp;+ 3&nbsp;= ''y''
|-
| rowspan="3" style="background-color:#d0f0d0;text-align: center;" |<div style="font-size:200%;">&and;</div>
|'''[[conjunção lógica]]'''
| e
|[[cálculo proposicional|lógica proposicional]]
| colspan="3" | a proposição ''A'' &and; ''B'' é verdadeira se ''A'' e ''B'' foram ambos verdadeiros; caso contrário, é falsa
| colspan="3" |Exemplo: ''n''&nbsp;< 4&nbsp;&nbsp;&and;&nbsp; ''n''&nbsp;> 2&nbsp;&nbsp;&hArr;&nbsp; ''n''&nbsp;= 3 quando <var>n</var> é um [[número natural]]
|-
|&or;
| colspan="3" | a proposição ''A'' &and; ''B'' é verdadeira se ''A'' e ''B'' foram ambos verdadeiros; caso contrário, é falsa
|\lor
|-
| colspan="3" |Exemplo: ''n''&nbsp;< 4&nbsp;&nbsp;&and;&nbsp; ''n''&nbsp;> 2&nbsp;&nbsp;&hArr;&nbsp; ''n''&nbsp;= 3 quando <var>n</var> é um [[número natural]]
|-
| rowspan="3" style="background-color:#d0f0d0;text-align: center;" |<div style="font-size:200%;">&or;</div>
|'''[[disjunção lógica]]'''
| ou
|[[cálculo proposicional|lógica proposicional]]
| colspan="3" | a proposição ''A'' &or; ''B'' é verdadeira se ''A'' ou ''B'' (ou ambos) forem verdadeiros; se ambos forem falsos, a proposição é falsa
|-
| colspan="3" | Exemplo: ''n''&nbsp;&ge; 4&nbsp;&nbsp;&or;&nbsp; ''n''&nbsp;&le; 2&nbsp;&nbsp;&hArr; ''n''&nbsp;&ne; 3 quando <var>n</var> é um [[número natural]]
| colspan="3" | a proposição ''A'' &or; ''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''&nbsp;&ge; 4&nbsp;&nbsp;&or;&nbsp; ''n''&nbsp;&le; 2&nbsp;&nbsp;&hArr; ''n''&nbsp;&ne; 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%;">&not;<br />~</div>
Linha 220 ⟶ 218:
|-
| colspan="3" | <nowiki>Exemplo: ∃|</nowiki>''x''&nbsp;&isin; '''N''': ''x''&nbsp;+ 5&nbsp;= 6, pois x é único nessa situação
|-
| rowspan="3" style="background-color:#d0f0d0;text-align: center;" |<div style="font-size:200%;">=</div>
|'''[[igualdade (matemática)|igualdade]]'''
| igual a
| todas
|-
| colspan="3" |<var>x</var>&nbsp;= <var>y</var> significa: <var>x</var> e <var>y</var> são nomes diferentes para a exata mesma coisa
|-
| colspan="3" | Exemplo: 1&nbsp;+ 2&nbsp;= 6 - 3
|-
| rowspan="3" style="background-color:#d0f0d0;text-align: center;" |<div style="font-size:200%;">:<br />:&hArr;</div>
Linha 367 ⟶ 356:
|-
| colspan="3" |''i''&nbsp;= &radic;(&minus;1)&nbsp;&isin; '''C'''
|-
| rowspan="3" style="background-color:#d0f0d0;text-align: center;" |<div style="font-size:200%;">&lt;<br />&gt;</div>
|'''comparação'''
| é menor que, é maior que
|[[ordenação parcial|ordenações parciais]]
|-
| colspan="3" |''x''&nbsp;&lt; ''y'' significa: ''x'' é menor que ''y''; ''x''&nbsp;> ''y'' significa: ''x'' é maior que ''y''
|-
| colspan="3" | Exemplo: ''x''&nbsp;&lt; ''y''&nbsp;&nbsp;&hArr;&nbsp; <var>y</var>&nbsp;&gt; <var>x</var>
|-
| rowspan="3" style="background-color:#d0f0d0;text-align: center;" |<div style="font-size:200%;">&le;<br />&ge;</div>
|'''comparação'''
| é menor ou igual a, é maior ou igual a
|[[ordenação parcial|ordenações parciais]]
|-
| colspan="3" |<var>x</var>&nbsp;&le; <var>y</var> significa: <var>x</var> é menor que ou igual a <var>y</var>; ''x''&nbsp;&ge; ''y'' significa: ''x'' é maior que ou igual a ''y''
|-
| colspan="3" | Exemplo: ''x''&nbsp;&ge; 1&nbsp;&nbsp;&rArr;&nbsp; ''x''²&nbsp;&ge; ''x''
|-
| rowspan="3" style="background-color:#d0f0d0;text-align: center;" |<div style="font-size:200%;">&radic;</div>