Logikala formulo

Logikala formulo esas termino di lasata expresuro en multa sistemi logikala sistemi, inter altri en predikatala e propozicionala logiko.