"Argumento válido" em gerador de tabela-verdade

[Adolfo Neto]

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
==================================================================

[Joao Marcos]

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

> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@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+u...@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]

Após conversar com Micael, fiz um PR 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.