Препозиционный

пропозициональный вывод; препозиционный вывод — prepositional inference
пропозициональная переменная; препозиционная переменная — proposition variable