[obm-l] Re: [obm-l] Re: [obm-l] Lógica

Obrigado gente! Em 26 de novembro de 2017 21:38, Carlos Nehab escreveu: > Apenas corrigindo o detalhe... > > Vamos lá: > As proposições > p: (qqsx)(se x é racional então y é irracional) > ~p (não p): (há x)(x é racional *e* y é racional) > são (verdadeiras). FALSAS, de

[obm-l] Re: [obm-l] Lógica

Apenas corrigindo o detalhe... Vamos lá: As proposições p: (qqsx)(se x é racional então y é irracional) ~p (não p): (há x)(x é racional *e* y é racional) são (verdadeiras). FALSAS, de fato. Em 26 de novembro de 2017 21:05, Carlos Nehab escreveu: > Oi, Israel, > > Sua

[obm-l] Re: [obm-l] Lógica

"Mas se uma proposição é falsa, então sua contra-positiva também é falsa" Sim, e a afirmação '' se y é racional então x é irracional'' é de fato falsa. Por exemplo, ''Todo ser humano é um réptil'' é uma afirmação falsa. Sua contrapositiva, ''Se algo não é réptil, então não é humano'', é falsa

[obm-l] Re: [obm-l] Lógica

Ah, errei a ultima linha: ***Existem*** x e y tais que (y eh racional) e (x nao eh irracional). O que funciona (por exemplo, com x=2). :D 2017-11-26 21:16 GMT-02:00 Ralph Teixeira : > Oi, Israel. > > Primeiro: a negacao de p=>q nao eh uma implicacao! A negacao de p => q eh:

[obm-l] Re: [obm-l] Lógica

Oi, Israel. Primeiro: a negacao de p=>q nao eh uma implicacao! A negacao de p => q eh: "p e nao q". Segundo: na grande maioria das implicacoes logicas, fica subentendido um "para todo" para as variaveis que estiverem livres... Se nao fosse assim, voce nao poderia julgar a frase, pois voce nao

[obm-l] Re: [obm-l] Lógica

Oi, Israel, Sua encrenca reside na falta de uso de quantificadores. A contrapositiva de uma proposição do tipo P implica Q é, como vc mencionou, ~Q implica ~P. Mas a proposição original a que vc se refere parece ser "se x é racional então y é irracional" mas não é, pois falta o uso dos

[obm-l] Lógica

Seja y=x-1/x.A proposição: se x é racional então y é irracional, é uma proposição claramente falsa.Mas se uma proposição é falsa, então sua contra-positiva também é falsa.A contra-positiva dessa sentença é: se y é racional então x é irracional, e por ser a proposição contra-positiva da primeira,