Ukrainian Літерал (математична логіка) Cited by user Igor Yalovecky on 10 May 2023 У математичній логіці літералом називають атомарну формулу, без 0 і 1, або її логічне заперечення.
English Literal (mathematical logic) Cited by user Jason Quinn on 31 Aug 2022 In mathematical logic, a literal is an atomic formula (atom) or its negation. The definition mostly appears in proof theory (of classical logic), e.g.