#logica matematica

• algebrologică — Care aparține sau se referă la intersecția dintre algebră și logică; specific logicii algebrice. Termenul caracterizează metodele, structurile (precum algebrele cilindrice sau poliadice) sau teoriile matematice rarisime în care problemele de logică formală, deductibilitate și semantică sunt analizate, demonstrate și modelate structural prin intermediul axiomelor, inelelor și operațiilor simbolice algebrice.
• asert — O afirmație logică considerată adevărată într-un anumit punct al unui algoritm sau raționament; macrocomandă ori funcție software utilizată în programare pentru a verifica dacă o condiție structurală obligatorie este îndeplinită în timpul execuției codului. Dacă verificarea eșuează, programul își oprește execuția pentru a semnala o eroare de logică.