Curioso. Devemos supor que o gerador é "completo"? (isto é, ele sempre diz que o argumento é válido quando tal for o caso?)
Imagino que o autor do gerador não tenha se dado ao trabalho de descrever em canto algum a definição de "argumento válido" com a qual ele está trabalhando? JM On Thu, Apr 14, 2022 at 12:03 PM Adolfo Neto <adolfo....@gmail.com> wrote: > > Oi colegas, > > Quando coloco > > p, p>q : q > http://micalevisk.github.io/TruthTableGenerator-plus/ (gerador de tabela > verdade do Micael Levi L. Cavalcante https://github.com/micalevisk) > a página diz "Argumento Válido". > > Se coloco > p, p>q : r > > a página diz "Argumento Inálido". > > Mas > (p&~p), p>q, q>r : r > não diz nenhuma coisa nem outra. > > Eu acho que deveria retornar argumento válido. > > > Mas deveria mesmo retornar "argumento válido" ou > > r é consequência lógica de (p&~p), p>q, q>r > ? > > Abs. > Adolfo > > -- > ================================================================== > Adolfo Neto > Associate Professor - Federal University of Technology, Paraná > Web: http://www.dainf.ct.utfpr.edu.br/~adolfo > Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br > ================================================================== > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica > <logica-l@dimap.ufrn.br> > --- > Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um > e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYX6-knFu70LX_ZxqHtzSgKzJc8AWPp7fNCFMEVAFh6veA%40mail.gmail.com. -- http://sequiturquodlibet.googlepages.com/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjR8anvFDwWG%2Bpd03uNkH2Q%3D5a2xSP5gAWOFGzkiRJN6Q%40mail.gmail.com.
