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ê 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/CANspyYX6-knFu70LX_ZxqHtzSgKzJc8AWPp7fNCFMEVAFh6veA%40mail.gmail.com.
