`isAlways`

Testa se uma relação simbólica vale para todos os valores de suas variáveis.

Categoria: Symbolic Computations in MATLAB > Operators and Elementary Operations

Sintaxe

tf = isAlways(cond)

Retorna true se a relação cond é sempre verdadeira, e false se é falsa ou não pode ser decidida.

Descrição

Uma equação ou inequação entre expressões simbólicas não é um simples true ou false, portanto não pode ir direto a um if. isAlways decide se a relação vale como identidade: isAlways(x^2 - 1 == (x - 1)*(x + 1)) é true, enquanto isAlways(x > 1) é false, porque alguns valores de x a violam.

Use para verificar que duas expressões são iguais após simplificação, ou que uma inequação é sempre satisfeita.

Argumentos de entrada

cond: Equação ou inequação simbólica, ou um valor lógico.

Argumentos de saída

tf: Escalar lógico.

Exemplo

Identidades e uma inequação que falha

syms x
isAlways(x^2 - 1 == (x - 1)*(x + 1))
isAlways(sin(x)^2 + cos(x)^2 == 1)
isAlways(x > 1)
isAlways(x < x + 1)

Saída

ans = logical
   1
ans = logical
   1
ans = logical
   0
ans = logical
   1

Observações

A opção 'Unknown' não é suportada, e inequações que dependem de suposições sobre as variáveis (como x^2 >= 0 para x real) não são resolvidas e retornam false.

Veja também

simplify isequal assume in