Re: [obm-l] Contra-positiva

Muito obrigado gente! Abraço, Israel Em 21 de junho de 2017 19:33, Ralph Teixeira escreveu: > Sim! Logicamente, P->Q eh exatamente a mesma coisa que ~Q->~P, pode trocar > uma pela outra sem pestanejar. Como voce estah trocando algo por outra > coisa EQUIVALENTE, nao precisa

Re: [obm-l] Re: [obm-l] Contra-positiva

Obrigado Em 21 de junho de 2017 17:59, Julio César Saldaña escreveu: > > > Eu acho que pode ter varias equivalencias, não apenas a que está colocando. > > Para analissar isso eu definiria R= "x é diferente de 0" (acho que era > isso, não > sairam alguns símbolos no seu

Re: [obm-l] Contra-positiva

Sim! Logicamente, P->Q eh exatamente a mesma coisa que ~Q->~P, pode trocar uma pela outra sem pestanejar. Como voce estah trocando algo por outra coisa EQUIVALENTE, nao precisa fazer nenhum outro ajuste. Entao, se a frase eh, "Para todo x real, existe um y inteiro tal que para todo z par existe

[obm-l] Re: [obm-l] Contra-positiva

Eu acho que pode ter varias equivalencias, não apenas a que está colocando. Para analissar isso eu definiria R= "x é diferente de 0" (acho que era isso, não sairam alguns símbolos no seu email). Nesse caso a primera afirmação sería: R -> (P->Q) E algumas equivalentes seriam: i) R ->

[obm-l] Contra-positiva

Olá amigos, boa tarde a todos. Eu consigo provar que P(x)->Q(x) para todo x≠0, esta proposição é equivalente a provar que ~Q(x)->~P(x) para todo x≠0?A minha dúvida é se esse x diferente de zero passa a ser x=0 ou continua sendo x diferente de zero na contra-positiva.O que eu penso que é o certo é