logic vị từ- Hệ thống dùng để biểu diễn các mệnh đề, được xây dựng trên các vị từ và lượng từ; trong logic vị từ, các thuật ngữ tổng quát của một mệnh đề được thay bằng biến và được hình thức hóa.

System zur Darstellung von Aussagen, welches auf Prädikaten und Quantoren aufbaut; die generellen Termini einer Aussage werden in der Prädikatenlogik durch Variablen ersetzt und formalisiert