en:logic_glossary