Noções de logica

por tiaguinho2 Ter 15 Mar 2016, 22:26

Fala pessoal tudo certo?, estou estudando com o livro de matematica do iezzi (conjuntos e funções) e me deparei com a seguinte duvida, tem um exercicio que pede a negação das proposições, resolvi todas, mas uma me deixou com uma pulga atras da orelha

a proposição seria $2\leq 5\rightarrow 3^2\leq 5^2$

No livro ele da uma definição de negação de uma conjunção simples sendo $\sim (p\rightarrow q)\Leftrightarrow p~\wedge \sim q$

No gabarito está assim o resultado: 2>5 e 3²>5²

Eu não entendi o porque desse resultado, no caso da definição o p seria o ''2 menor igual a 5"?

por **Elcioschin** Ter 15 Mar 2016, 22:31

Basta ler e interpretar

Se eu digo para você que 2 ≤ 5 e você NÃO concorda comigo, você vai dizer:

Não, para mim 2 < 5

E o mesmo vale para a outra

por tiaguinho2 Ter 15 Mar 2016, 22:34

Elcioschin escreveu:Basta ler e interpretar

Se eu digo para você que 2 ≤ 5 e você NÃO concorda comigo, você vai dizer:

Não, para mim 2 < 5

E o mesmo vale para a outra

Mas no caso o p naõ deveria permanecer do mesmo modo?

exemplo $2^2=4\rightarrow \sqrt{4}=2$

a negação ficaria $2^2=4 \wedge \sqrt{4}\neq 2$