maximální a minimální věta
maximální a minimální věta, logika při zjišťování míry systematické síly nějaké teorie se minimální větou rozumí alternativa příslušných atomických vět a jejich negací; při zjišťování míry log. pravděpodobnosti teorie se naopak využívá duálního pojmu maximální věty chápané jako konjunkce příslušných atomických vět a jejich negací. Minimální věta vyjadřuje obsah, kdežto maximální věta obor dané věty. Obsah a obor věty jsou nepřímo úměrné.
