Métodos visuales para la verificación de argumentos y el análisis semántico

Resumen

En este artículo presentaré un método visual, el cual he creado a partir de los tradicionales diagramas de Venn para verificar la validez de argumentos proposicionales y de predicados. Esta idea surge de ver lo útil que es usar métodos visuales en otras ramas de la ciencia, como las representaciones geométricas de conceptos aritméticos y algebraicos. La técnica ilustra la relación entre la lógica de proposiciones, la lógica de predicados y la teoría de conjuntos, y puede usarse también para explicar conceptos de semántica lingüística: hiponimia, hiperonimia, sinonimia, antonimia, implicación, paráfrasis, contradicción y sustitución léxica.