simgesel karşılıkBir deyim ya da deyim dizisinin belli bir biçimde simgeleştirilmesiyle elde edilen kalıp.
sonlu kümeBir doğal sayı ile eşsayılı olan küme. || Sonlu bir küme hiç bir özaltkümesiyle eşsayılı olamaz.
sonlu ötesi sayaı sayıSonsuz bir kümeden oluşan, başka bir deyişle hiç bir doğal sayı ile eşsayılı olmayan sayal sayı. || Örn. Doğal sayılar kümesi sonlu-ötesi bir sayal sa
sonlu ötesi sıral sayıSonsuz bir kümeden oluşan sıral sayı. || Örn. Doğal sayılar kümesi (...) ile gösterilen birsonlu-ötesi sıral sayıdır, (...) nın ardılı olan ( ) kümesi
sonsuz kümeHiç bir doğal sayı ile eşsayılı olmayan küme. ||Hersonsuz küme bir özaltkümesiyle eşsayılıdır. Örn. ( )
sonsuz uzunlukta delimli dilİm sayısı sonsuz olabilen düzgün deyimleri kapsayan biçimsel dil. || Böyle bir dilde sözgelişi sonsuz bileşenli tümel-evetlemeler ( ) ile sonsuz bileş
sonsuzluk ilksavıBoş kümeyi kapsadığı gibi, her öğesinin ardılını da kapsayan bir kümenin varolduğunu dile getiren ilksav.
sorular mantığıSorular ile yanıtlar arasındaki mantıksal ilişkileri inceleyen önermesel olmayan mantık dizgesi.
soyutlayıcıHerhangi bir dizimsel türden ( ) bir düzgün deyimden, bu deyimce belirlenen kaplam ya da içlemi gösteren bir deyim oluşturan n-li değişken bağlayıcısı
sözcük tanımıAnlamı önceden bilinmeyen, başka bir deyişle yeni olan bir deyimin tanımı. || Krş.. nesne tanımı.
sözeden dilBaşka bir dilin deyimlerinden sözetmek için kullanılan dil; olağan yorumdaki evreni, başka bir dilin deyimlerini kapsayan bir dil. Krş.. dizimselsözed
sözeden kanıtsavBir biçimsel dili konu edinen dizimbilim, yorumbilim ya da kullanımbilim kanıtsavı. || Örn. tümdengelim kanıtsavı,
sözeden kuramBir sözedilen dilin deyimlerini konu edinen sözeden dildeki kuram.
sözeden mantıkMantık dizgelerini bir sözeden dil aracılığıyla inceleyen bilim dalı.
sözedilen dilDeyimleri başka bir dilin inceleme konusu olan, başka bir dilce sözü edilen dil.
sözedilen kuramBir sözeden dilde inceleme konusu olan sözedilen dildeki kuram.
süreler mantığıTemel mantığa süresel yöneticileri katmakla oluşturulan genleşmiş mantık dizgesi.|| Om olmuş, Oc olacak, Hom hep olmuş, Hoc hepolacak yöneticileri old
süresel yöneticiOlmuş ile olacak yöneticisi ya da bunlar yardımıyla tanımlanan doğrusal olmayan n-li eklem. Krş.. hepolmuş yöneticisi, hepolacak yöneticisi.
tambağımsız önermep önermesinin K önerme kümesinden tambağımsız olması, K nın her gerçekleşebilir değerlemesinde p nin doğru değerini de yanlış değerini de alabilmesi d
tamdeyimsel değişken bağlama imiBelli sayıda değişkene uygulandığında bir tamdeyimden bir önerme oluşturan değişken bağlama imi; dizimsel türü: ( )
tamdurumBiçimsel bir dilin bütün önermelerinin doğruluk değerini belirleyen olanaklı ya da tasarlanabilen dildışı karşılık. || Bir yorumdaki olanaklıtamduruml
tamdurumda varolan birey( ) gibi gerçek yada gerçek olmayan birtamdurumda varolan birey (...)nun evreni olan (...) kümesinin herhangi bir öğesi demektir.
tameşlemeK ile L kümeleri arasındaki birtameşleme, önalanı K, artalanı da L olan birebir izerge demektir.
tamindirgemeBir önermeyi eşdeğeri olan tamindirgenmiş bir önermeye dönüştürme işlemi.
tanımlanabilmeAnlamları önceden bilinen deyimlerden birisinin anlamının, öbürlerinin anlamına bağlı olarak belirlenmesi. || ( )
tanımsal genleşmeBir biçimsel dizgenin abecesine bir yada birden çok tanımlanmış imi katarak bu imlerin belirtik tanımlarını da bu dizgeye ilksav olarak katmakla elde
tanımsal kısaltmaİlkel imlerden oluşan bir düzgün deyimde tanımlayanlar yerine tanımlananlarını koymakla elde edilen kısaltılmış deyim. || ( )
tasım biçimiOrta terimi ayrı yerlerde olan tasımların ortak genel kalıbı. || Krş.. yalın tasım biçimleri.