[obm-l] Re: [obm-l] Re: [obm-l] Dúvida de Lógica

2012-02-08 Por tôpico Ralph Teixeira
H nao sei nao. Vou usar C para estah contido e E para pertence a. Concordo que toda inclusao de conjuntos pode ser pensada como uma implicacao (bom, com um quantificador para todo). Afinal: A C B eh o mesmo que dizer para todo x, xEA = xEB Por isso, concordo que a Teoria dos Conjuntos e

[obm-l] Re: [obm-l] Dúvida de Lógica

2012-02-07 Por tôpico Francisco Barreto
Saudações a todos! Seja A o conjunto dos objetos que satisfazem a propriedade r de que 2 3. Seja B o conjunto dos objetos que satisfazem a propriedade s de que Todo brasileiro é desonesto Sabemos que A é o conjunto vazio. O conjunto vazio está contido em qualquer conjunto, incluindo B. Portanto

[obm-l] Re: [obm-l] Dúvida de Lógica

2012-02-07 Por tôpico Ralph Teixeira
Sim, **logicamente**, a frase 23 == Eu sou o papa estah correta. A implicacao logica eh um simbolo DEFINIDO por esta tabela-verdade: p q p = q V V V V F F F V V F F V e, a principio, eh soh isso. Nada em p=q **intrinsicamente** significa causa, efeito, razao ou qualquer coisa

[obm-l] Re: [obm-l] Dúvida de Lógica

2012-02-07 Por tôpico Francisco Barreto
o termo = traduz-se em se-então. Se todos os elementos de A satisfazem r então todos os elementos de A satisfazem s. Que zona! 2012/2/7 Francisco Barreto fcostabarr...@gmail.com Saudações a todos! Seja A o conjunto dos objetos que satisfazem a propriedade r de que 2 3. Seja B o conjunto

[obm-l] Re: [obm-l] Dúvida de lógica

2009-01-23 Por tôpico Denisson
Fábio a linguagem natural gera essas ambiguidades. Portanto em escritos formais é conveniente definir o que você quer dizer (isso mesmo, qualquer definição vale desde que seja consistente e não seja contraditória) e não deixar a cargo de interpretações. No contexto computacional eu usaria