Dada la poca operatividad de les tables de verdá, el cálculu constrúyese como una cadena deductiva aplicando a les premises o a los teoremas deducíos les lleis lóxiques utilizaes como regles de tresformamientu, como s'espón en cálculu lóxicu.