Algebraická věta - Algebraic sentence
 | tento článek ne uvést žádný Zdroje. (Prosince 2018) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
v matematická logika, an algebraická věta je ten, který lze konstatovat pouze pomocí rovnic mezi termíny s volné proměnné. Nerovnosti a kvantifikátory jsou konkrétně zakázány. Sentenční logika je podmnožinou logika prvního řádu zahrnující pouze algebraické věty.
Říct, že věta je algebraická, je silnější podmínkou, než tvrdit, že je základní.
Příbuzný
 | Tento matematická logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |