Question

Qual o nome do símbolo⇔ ?

Answer 1

Olá,

Na lógica, esse simbolo significa "se e somente se".

Espero ter ajudado (se puder marque como melhor resposta).

Answer 2

Resposta:

P :⇔ Q significa: P é definido como logicamente equivalente a Q

Explicação passo a passo:

:⇔

definição é definido como  

x := y significa: x é definido como outro nome para y

P :⇔ Q significa: P é definido como logicamente equivalente a Q

Exemplo: cosh x := (1/2)(exp x + exp (−x)); A XOR B :⇔ (A ∨ B) ∧ ¬(A ∧ B)

⇔

↔ \Leftrightarrow

\leftrightarrow

equivalência material se e somente se lógica proposicional A ⇔ B significa: A é verdadeiro se B for verdadeiro e A é falso se B é falso x + 5 = y + 2  ⇔  x + 3 = y