| 121 | birey | Bir evrenin öğesi olan nesne bir adın gösterdiği nesne. || Anl. gösterilen, değişken değeri. Krş.. özbirey. |
| 122 | birey soyutlayıcısı | a adından, bu adın kaplamını gösteren X.a deyimini oluşturan X sıfırlı kaplamsal izerge soyutlayıcısı: (X.a) = a. |
| 123 | bireyler alanı | bk. evren.. |
| 124 | bireysel değişken | Değer alanı evrenden ya da evrenlerin birinden oluşan, başka bir deyişle her değeri birey olan değişken. |
| 125 | bireysel değişken çeşidi | Değer alanları aynı olan bireysel değişkenler öbeği. |
| 126 | bireysel değişmez | Ad (a) dizimsel türünden olan değişmez. |
| 127 | bireysel deyim | Terim 1. |
| 128 | bireysel kavram | Bir adın içlemi. || Bireysel kavram tamdurumlar kümesinden evrene kurulan bir izergedir. |
| 129 | bireysel kavram soyutlayıcısı | a adından, bu adın içlemi olan bireysel kavramı göstren (
) deyimini oluşturan sıfırlı içlemsel izerge soyutlayıcısı. |
| 130 | bireysel olmayan değişken | Değer alanı birey olmayan ya da başka bir deyişle evrende bulunmayan nesneleri kapsayan değişken. || Değer alanı evrene dayalı kümelerden oluşan değişkenler bireysel olmayan değişkenlerdir. Krş.. önerme değişkeni, yüklem değişkeni, işlev değişkeni. |
| 131 | birim kümesi | a gibi bir nesnenin birim kümesi, tek öğesi a olan {a} kümesi demektir. |
| 132 | birinci basamak dili | Bireysel değişkenden başka değişkeni olmayan biçimsel dil. |
| 133 | birinci basamak kuramı | Birinci basamak mantığına dayanan kuram. || Krş. birinci basamak mantığı. |
| 134 | birinci basamak mantığı | Bireysel değişkenden başka değişkeni olmayan mantık dizgesi. || Krş. yüksek basamak mantığı. |
| 135 | birinci izdüşüm | bk. birinci üye |
| 136 | birinci üye | sıralanmış İkilisinin birinci üye'si, a nesnesidir. II Anl. birinci izdüşüm. |
| 137 | birleşim | (
) |
| 138 | birleşim ilksavı | Bir kümeler kümesinin öğelerinin birleşiminin de bir küme olduğunu dile getiren İlksav. |
| 139 | birleşim imi | 1. İki küme admdan birleşim kümesinin adını oluşturan ikili işlev imi: U. 2. Bir kümeler kümesi adından birleşim kümesinin adını oluşturan birli işlev imi: U |
| 140 | birleşme özelliği | bk. ortaklaştırıcı eklem. |
| 141 | birli bağıntı | Küme ya da öbek. |
| 142 | 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. |
| 143 | birli çelişirlik eklemi | Verilen bir önermeden Y değerinde bir önerme oluşturan birli doğrusal eklem.Doğruluk çizelgesi: (
) |
| 144 | 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). |
| 145 | birli evetleme | bk. evetleme. |
| 146 | birli geçerlilik eklemi | Verilen bir önermeden D değerinde bir önerme oluşturan birii doğrusal eklem. Doğruluk çizelgesi: |
| 147 | birli öznitelik | Özellik. |
| 148 | birli tikel-evetleme | Anaeklemi (...) tikel-evetleme eklemi olan bileşik önerme. || Birli tikel-evetleme ile birli evetleme eşdeğer eklemlerdir. (
) olduğundan, her yalınç önerme bir birli tikel-evetleme ile eşdeğerdir. Ancak p gibi bir yalınç önermenin (
) bileşik önermesi ile eşdeğer olması p nin kendisinin bileşik olmasını gerektirmez. |
| 149 | birli tümel-evetleme | Anaeklemi (
) tümel-evetleme eklemi olan bileşik önerme. || Birli tümel-evetleme ile birli evetleme eşdeğer eklemlerdir. (
) p = p olduğundan her yalınç önerme bir birli tümel-evetleme ile eşdeğerdir. Ancak p gibi bir yalınç önermenin (
) bileşik önermesi ile eşdeğer olması p nin kendisinin bileşik olmasını gerektirmez. (
) |
| 150 | birli yüklemler mantığı | Mantıksal olmayan değişmez türleri, yalnız ad ve birli yüklemleri kapsayan yüklemler mantığı bölümü. |