literal
Sign in to savein logic, atomic formula (atom) or its negation
In the Vinony graph
Vinony's link graph records 31 inbound references to literal, and connects out to International Standard Book Number, function and digital object identifier.
Vinony files it under Logic symbols, Mathematical logic and Propositional calculus.
Vinony links it to 13 Wikipedia language editions.
Connections
International Standard Book Number
Entity
function
Entity
digital object identifier
Entity
mathematical logic
Entity
propositional calculus
Entity
logical negation
Entity
first-order logic
Entity
proof theory
Entity
predicate
Entity
classical logic
Entity
Boolean function
Entity
term
Entity
intuitionistic logic
Entity
conjunctive normal form
Entity
resolution
Entity
atomic formula
Entity
recursive definition
Entity
propositional variable
Entity
double negation
Entity
Samuel Buss
Entity