| Fórum de Matemática | DÚVIDAS? Nós respondemos! https://forumdematematica.org/ |
|
| Lógica - Mostrar que não são equivalentes https://forumdematematica.org/viewtopic.php?f=70&t=10335 |
Página 1 de 1 |
| Autor: | Estudioso [ 27 jan 2016, 18:38 ] |
| Título da Pergunta: | Lógica - Mostrar que não são equivalentes |
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 |
|
| Autor: | Sobolev [ 28 jan 2016, 10:13 ] |
| Título da Pergunta: | Re: Lógica - Mostrar que não são equivalentes |
Por exemplo x=0 verifica a segunda condição mas não a primeira. |
|
| Autor: | Estudioso [ 28 jan 2016, 22:45 ] |
| Título da Pergunta: | Re: Lógica - Mostrar que não são equivalentes |
Sobolev, me explique por favor o que significa este símbolo " ≮ " (É um sinal de menor cortado ao meio por uma "meia-lua"). Obrigado |
|
| Autor: | Sobolev [ 29 jan 2016, 10:18 ] |
| Título da Pergunta: | Re: Lógica - Mostrar que não são equivalentes |
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". |
|
| Página 1 de 1 | Os Horários são TMG [ DST ] |
| Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |
|