Aussagenlogikformel

Aussagenlogik–Formel, Aussagen–Logikformel, agr.-lat.-deu.'aussagenlogische Formel' 'Logikformel gemäß Aussagenlogik'

• Logische Formeln lassen sich in die der Aussagenlogik (aussagenlogische Formel) und die der Prädikatenlogik (prädikatenlogische Formel) einteilen.