Una propuesta didáctica vinculada a la escritura y cálculo en lógica proposicional

Resumen

Presentamos una propuesta didáctica vinculada a la escritura del valor de verdad de las proposiciones y a la manera de operar con ellas, sin emplear tablas de verdad, sobre las mismas bases semánticas y sintácticas del Cálculo Proposicional. Los valores de verdad de una proposición simple se escriben con subíndices que indican la cantidad de veces que aparece dicho valor. Se introduce el término “valoricidad” como adaptación del término atomicidad que se emplea en química, para indicar en este caso, la cantidad de veces que aparece un valor de verdad. Se establece también una nueva manera de disponer las proposiciones para efectuar operaciones.