Ola' pessoal, "... a melhor forma de analisar a veracidade é verificando o que a negativa é : p e ^ ~q (não q) ."
Nem sempre. 'As vezes e' mais confortavel/direto analisarmos a simples equivalencia "q ou nao p" : q v ~p . Usando o mesmo exemplo dado... (2 = 4) ==> (qualquer homem voa) e' falso ou verdadeiro? Como vale ~p (pois "2=4" e' falso) , entao a assertiva e' verdadeira. []'s Rogerio Ponce 2014-04-14 16:21 GMT-03:00 Pedro José <petroc...@gmail.com>: > Boa tarde! > > Não tenho texto pronto. Mas, é um pouco mais complicado que > > *e , ou.* > > p > > q > > P ==> q > > V > > V > > V > > V > > F > > F > > F > > V > > V > > F > > F > > V > > > P (F) e Q (F ou V, tanto faz) ==> P ==>Q (V) > > Exemplo: 2 = 4 ==> qualquer homem voa (V) > > Embora entenda que a melhor forma de analisar a veracidade é verificando > o que a negativa é. > > p e ^ ~q (não q) > > > Para o exemplo acima: > > 2 = 4 e Existe pelo menos um homem que não voa (F e V) ==> (F) se a > negativa é F, assertiva é V. > > x^2 pertence 2 |N ==> x pertence a 2 |N. > > Analise a negativa. > > x^2 pertence a 2 |N e x pertence a 2|N +1 > > x^2 pertence a 2|N ==> x^2 ≡ 0 mod 2. e x ≡ 1 mod2 (absurdo), pois se x > ≡ 1 mod2 temos que x^2 ≡1 mod 2 (conservação da multiplicação) > > > Então só temos p (F) e q (V) ou p (V) e q (F), pois 2 pertence a |P > (conjunto dos primos). > > > Ou poder-se-ia analizar Existe pelo menos um x^2 pertencente a 2|N e x > pertence a 2 |N + 1. Isso é falso. > > > x pertence a 2|N+1 ==> existe k pertencente a |N | x = 2k+1 ==> x^2 = 4k^2 > + 4*K + 1= 2 (2k^2+2*K), pelo fechamento da adição, multiplicação e > potência em \N temos que Existe s = (2k^2+2*K) pertencente a 2|N, logo x^2 > pertence a 2\N+1. > > > Espero que lhe ajude. > > > Saudações, > > PJMS > > > > > > Em 20 de abril de 2014 15:28, Hermann <ilhadepaqu...@bol.com.br> escreveu: > >> Ensinar tabela verdade, >> é fácl para os conectivos e e ou >> mas alguém tem uma dica de como ensinar a lógica da tabela verdade da >> condicional p->q. >> >> >> Abraços >> Hermann >> >> ps: se tiverem um texto pronto de alguém e quiserem mandar para o meu >> email, agradeço. >> >> -- >> Esta mensagem foi verificada pelo sistema de antivírus e >> acredita-se estar livre de perigo. >> > > > -- > Esta mensagem foi verificada pelo sistema de antivírus e > acredita-se estar livre de perigo. -- Esta mensagem foi verificada pelo sistema de antiv�rus e acredita-se estar livre de perigo.
