Resposta Argumento Válido quando premissas são falsas

[Adolfo Neto]

OI Micael,

Muito boa esta sua versão do gerador de tabelas-verdade do Michael Rieppel! Gostei bastante e recomendei a meus estudantes.

Não seria interessante que para esta entrara:
(p&~p), p>q, q>r : r
a página escrevesse "Argumento Válido"?

Att.
Adolfo

[Micael Levi L. Cavalcante]

pra ser sincero, faz tanto tempo que adicionei isso no código que eu nem sei dizer o motivo de
p>q, q>r : r
mostrar argumento inválido mas pra essa tua entrada, não 🤔

[Adolfo Neto]

O meu exemplo é consequência lógica e o seu não é. Acho que você não escreveu "argumento válido" pois nenhuma linha satisfaz todas as premissas. Sabe indicar em que linha isto é feito?

[Micael Levi L. Cavalcante]

TruthTableGenerator-plus/truthtable.js

Line 212 in 81563cf

 if((ehLinhaCritica = verificarLinha(linhaResultante, r))) quantidadeLinhasCriticas++; 

TruthTableGenerator-plus/truthtable.js

Lines 126 to 140 in 81563cf

 if(full || main) { 
 	var textoResultado = document.getElementById("validade_argumento"); 
  
 	validadeArgumento = "Válido"; 
 	textoResultado.className = "argumentoValido"; 
  
 	var htmltable = htmlTable(table,trees,main); 
 	document.getElementById('tt').innerHTML = htmltable; 
  
 	if(quantidadeLinhasCriticas == 0) textoResultado.innerHTML = ""; 
 	else textoResultado.innerHTML = "Argumento "+ validadeArgumento; 
  
 	changeVisibility_class('linhaCriticaIdentificador', mostrarLinhasCriticas); 
 	changeVisibility_class('numeroLinha', mostrarNumeroLinhas); 
 } 

[Adolfo Neto]

Entendi. Então o problema está em

TruthTableGenerator-plus/truthtable.js

Line 135 in 81563cf

 if(quantidadeLinhasCriticas == 0) textoResultado.innerHTML = ""; 

Se a quantidade de linhas críticas for 0, a conclusão é consequência lógica das premissas.

[Micael Levi L. Cavalcante]

se quiser abrir um PR pra corrigir isso, fique a vontade 😃

[Adolfo Neto]

Feito.