geçersiz tamdeyim anlamı İng. invalid formula
Alm. ungültige Formel
Fr. formule non-valable
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.