boş olarak geçme

boş olarak geçme ne demek?

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üğü İçerisinde Arama

# A B C Ç D E F G H I İ J K L M N O Ö P Q R S Ş T U Ü V Y Z