tutarlı tamdeyim

tutarlı tamdeyim İng. satisfiable formula

Tümel kapanışı tutarlı bir önerme olan tamdeyim. || Anl. yorumsal tutarlı tamdeyim.

tutarlı tamdeyim ile benzer kelimeler

yorumsal tutarlı tamdeyim

bk. tutarlı tamdeyim.

açık tamdeyim

İng. open formula

İçinde en az bir bağsız değişken geçen tamdeyim. || Anl. açık önerme.

bileşik tamdeyim

İng. compound formula

()

geçerli tamdeyim

İng. valid formula

Tümel kapanışı mantıkça doğru bir önerme olan tamdeyim.

geçersiz tamdeyim

İng. invalid formula

Tümel kapanışı mantıkça doğru bir önerme olmayan tamdeyim. || Örn. x=3 tamdeyiminin tümel kapanışı olan () önermesi mantıkça doğru olmadığından, x = 3 geçersiz bir tamdeyimdir.

genel tamdeyim

İng. general formula

İçinde en az bir niceleyici geçen tamdeyim.

kapalı tamdeyim

İng. closed formula

Hiç bir bağsız değişkeni olmayan tamdeyim.|| Anl. önerme.

sıfırlı tamdeyim

İng. zero-place formula

Sıfır sayıda bağsız değişkeni olan ya da başka bir deyişle hiç bir bağsız değişkeni olmayan tamdeyim: () || Anl. önerme, kapalı önerme.

"tutarlı tamdeyim" karakter analizi

tutarlı tamdeyim, 16 karakter ile yazılır.
t harfi ile başlar, m harfi ile biter.

Karakter dağılımı

't', 'u', 't', 'a', 'r', 'l', 'ı', ' ', 't', 'a', 'm', 'd', 'e', 'y', 'i', 'm', şeklindedir.
tutarlı tamdeyim kelimesinin tersten yazılışı ' miyedmat ılratut' diziliminde gösterilir.