Re: [obm-l] Logica

2011-08-18 Por tôpico Marcus Aurelio Gonçalves Rodrigues
E isso mesmo pessoal eu viajei...é por lógica mesmo...obrigado Em 18 de agosto de 2011 13:32, Bernardo Freitas Paulo da Costa < bernardo...@gmail.com> escreveu: > 2011/8/18 Johann Dirichlet : > > Não sei se é isso, mas ele prefere algo mais sistemático, menos ad > > hoc. Mas isto é meio difícil -

Re: [obm-l] Logica

2011-08-18 Por tôpico Bernardo Freitas Paulo da Costa
2011/8/18 Johann Dirichlet : > Não sei se é isso, mas ele prefere algo mais sistemático, menos ad > hoc. Mas isto é meio difícil - creio que impossível: parece um > problema P-NP. Ah, sim, claro: http://en.wikipedia.org/wiki/Boolean_satisfiability_problem -- Bernardo Freitas Paulo da Costa =

Re: [obm-l] Logica

2011-08-18 Por tôpico Johann Dirichlet
Não sei se é isso, mas ele prefere algo mais sistemático, menos ad hoc. Mas isto é meio difícil - creio que impossível: parece um problema P-NP. Em 18/08/11, Bernardo Freitas Paulo da Costa escreveu: > Eu acho que se você fizer uma "matriz" do que pode ser, e for marcando > 0 / 1, sai. (Por exempl

Re: [obm-l] Logica

2011-08-18 Por tôpico Johann Dirichlet
O mais matemático que eu conseguiria pensar é lógica booleana de circuitos. Mas é lógica do mesmo jeito: analisar as premissas e obter uma conclusão. -- /**/ 神が祝福 Torres = Instru��es para

Re: [obm-l] Logica

2011-08-18 Por tôpico Bernardo Freitas Paulo da Costa
Eu acho que se você fizer uma "matriz" do que pode ser, e for marcando 0 / 1, sai. (Por exemplo, se na linha Erica e na coluna Inteligente tem um 0, isso quer dizer que Érica não é inteligente). Esse seu problema é razoavelmente fácil porque já tem uma afirmação sobre um dos 0/1 : Joyce. O resto sa

[obm-l] Logica

2011-08-18 Por tôpico Marcus Aurelio Gonçalves Rodrigues
Galera existe alguma forma "matemática" sem usar a própria lógica para resolver esses tipos de problemas? Considere que são verdadeiras as seguintes afirmacoes:  Se Adriane não e inteligente, então Joyce e linda.  Se Joyce não e comunicativa, então Erica não e linda.  Se Luciana não