La disyunción exclusiva mútiple : descripción semántico sintáctica
Date
1998Author
Oroza Henners, Iván Alfredo
Tutor
Lozada Pereira, Blithz, tutora
Metadata
Show full item recordAbstract
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.