uzavřená formule

uzavřená formule, log . formule logického kalkulu, v níž se nevyskytují volné proměnné: jsou buď vázány kvantifikátory, či nahrazeny konstantami.


zpět