Após conversar com Micael <https://github.com/micalevisk/TruthTableGenerator-plus/issues/1>, fiz um PR <https://github.com/micalevisk/TruthTableGenerator-plus/pull/2> e trocamos o termo "argumento válido" por "consequência lógica", usando a definição de
- SILVA, F.S.C. D.; FINGER, M.; MELO, A.C.V. D. Lógica para computação - 2ª edição. São Paulo: Cengage Learning Brasil, 2018. 9788522127191. Agora, se o conjunto de todas as premissas nunca é verdadeiro, o sequente é consequência lógica. On Thu, Apr 14, 2022 at 7:30 PM Joao Marcos <botoc...@gmail.com> wrote: > 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/ > -- ================================================================== 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ê 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/CANspyYVTaY1KMtXjfFnQyUV2JOThT-wBChxmxJGdV33P%3DcBKxQ%40mail.gmail.com.
