Lógica - Mostrar que não são equivalentes

[Estudioso]

Mostrar que "x = 1 v x ≮ 3" e "~ (x < 3 ^ x = 1)" não são equivalentes.

Como resolvo esse exercício por favor?

Obrigado

[Sobolev]

Por exemplo x=0 verifica a segunda condição mas não a primeira.

[Estudioso]

Sobolev,

me explique por favor o que significa este símbolo " ≮ " (É um sinal de menor cortado ao meio por uma "meia-lua").

Obrigado

[Sobolev]

Não é um símbolo usual, julgo mesmo que nunca o tinha visto... Parti do principio que significa "não é menor que", sendo por isso o mesmo que "é maior ou igual".