TDK Mantık Terimleri Sözlüğü (Ü)

Ü - 1. Sayfa

üçüncünün olmazlığı :: (?) biçimindeki önermelerin geçerliliğini dile getiren mantık ilk ...
ülküsel tamdurum :: Bakınız: ödevce yetkin tamdurum
üreteç :: Bakınız: önekli yasal biçim üreteci
üretilen çözümleyici küme :: Belli bir mantık dizgesinde, K gibi bir önerme kümesince üretilen ...
üst mantık :: Bakınız: sözeden mantık
üstdil :: Bakınız: sözeden dil
üstküme :: Bir kümenin her öğesini öğe olarak kapsayan küme. || K. kümesinin ...
Üye :: 1. (?) gibi sıralanmış bir n-li dizgenin k ıncı üye'si, ak nesnes ...