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 <[email protected]> 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.
