Der Ausdruck logische Formel bezeichnet Man unterscheidet vor allem logische Formeln der Aussagenlogik (aussagenlogische Formel) und der Prädikatenlogik (prädikatenlogische Formel). Unterschieden werden einfache (atomare, elementare) Formeln, die Atome (Bsp.: eine Aussagenvariable), von zusammengesetzten Formeln. Zum Teil spricht man nur oder ha...