2. Log.

Proposizio-kalkuluan, proposizio edo esakune baten egia-balioak haren osagai diren esakune atomikoen egia-balioen arabera eta eragilearen arabera azaltzen dituen taula.