Propozicionala varieblo

Propozicionala varieblo en matematikala logiko esas senargumentala simbolo en propozicionala logiko. Al variebli, dum valorigo, asignesas un ek logikala valori: verajo o falsajo.

La varieblo es specala sorto di relato-simbolo por nula nombro di parametri, e samatempe omna ek li es logikala frazo.