boş olarak geçme

boş olarak geçme İng. vacuous occurrence

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.

---

boş olarak geçme ile benzer kelimeler

boş boş zf. 1. Bir şey yapmadan. 2. Amaçsız, anlamsız, anlamadan: “Boş boş baktığımı görünce öfkelenip elindekileri bir köşeye attı.” -O. Pamuk. 3. Bilinçsizce.

boş gezenin boş kalfası işsiz güçsüz dolaşan (kimse): “Oraya daha çok emekliler ya da ağırbaşlı orta yaşlılar giderdi.” -H. Taner.

arkaya geçme Önden gerekli oyunları denedikten sonra, başka oyunlar denemek üzere karşı güreşçinin arkasına geçme.

babadan geçme sf. Babadan, atadan kalmış: “Bu derviş huyum, hoşgörüm yüzünden tutuk oluşumu anlamıyorlar.” -N. Meriç.

bir teknik alandan öbürüne geçme İng. transmission from technical domain to another domain Bulgu ile, herhangi bir şeyi başka bir alanda kullanılır duruma getirme ve o alanda yararlanma.

çapraz geçme Osm. putlama Alıştırılan parçaların ya da kaplama eklerinin, birbirlerine göre dik konumda bulunmaları.

ders geçme İng. subject promotion Öğrencilere başarı gösterdikleri derslerde bir üst sınıfın derslerine katılması olanağı sağlayan ve yalnız başarı gösterilmeyen derslerin yinelenmesi zorunluğunu yükleyen bir yükselme yöntemi.

dibi görünmeyen sudan geçme “bir işe girişirken her yönünü iyice araştır” anlamında kullanılan bir söz.

---