birli tümel-evetleme

birli

sf. 1. Bir parçadan oluşan, kendinde herhangi bir şeyden bir tane bulunan. 2. a. İskambil, domino vb. oyunlarda bir işaretini taşıyan kâğıt veya pul, as.

bk. tekli

birli bağıntı

Küme ya da öbek.

birli buçuklu

Taban tahtasının bir buçuk misli kalınlığındaki tahta.

birli çekirdek açık önerme

Birli yüklem olan F gibi bir değişmez ile x gibi bir değişkenden oluşan Fx biçimindeki birli açık önerme.

birli çelişirlik eklemi

Verilen bir önermeden Y değerinde bir önerme oluşturan birli doğrusal eklem.Doğruluk çizelgesi: (…)

birli eklem

Bir tek önermeden yeni bir önerme kurmaya yarayan yöneten deyim. || Dizimsel türü: p/p. Krş. birli geçerlilik eklemi, birli çelişirlik eklemiş değilleme eklemi, birli evetleme. Örn. (değilleme eklemi).

birli geçerlilik eklemi

Verilen bir önermeden D değerinde bir önerme oluşturan birii doğrusal eklem. Doğruluk çizelgesi:

birli gösterici

Sinema Çeşitli boylardaki filmlerden yalnız birini oynatabilen gösterici.