Bir deyimin belli bir önermede önermenin doğruluk değerini etkilemeksizin geçmesi. || a dizimsel türünden A kapalı deyiminin p önermesinde boş olarak geçmesi, A nın a dizimsel türünden B gibi herhangi bir kapalı deyimle değiştirimi sonunda elde edilen p(A:B) önermesinin p ile aynı doğruluk değerinde olması demektir.
TDK Mantık Terimleri Sözlüğü