La disyunción exclusiva mútiple : descripción semántico sintáctica

Abstract

Esta es una tesis en el campo de logica matemática. La disyunción exclusiva múltiple, su formalización lógica, responde a proposiciones de la forma "o A o B o C...o etc."que usa el lenguaje corriente y la ciencia. Se encuentra que la lógica matemática no ha estudiado este tipo de disyunción, o la que es exclusiva y múltiple (la inclusiva es "A y/o B y/o C y/o etc.", y la no múltiple la que sólo disyunciona dos proposiciones). La semántica, en lógica, procede por tablas de verdad, entre otras alternativas, y define a la conectiva en cuestión (la disyunción exclusiva múltiple es una conectiva), para por este método de las tablas, averiguar la verdad de cualquier tautología, contingencia o contradicción, que todas las fórmulas lo son, o lo uno o lo otro o lo otro. Se extiende, en la tesis, pues, el uso de tablas a lo múltiple, o de lo múltiple a las tablas, con mucho éxito.