Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

literal · Vinony

EntityQ14235582· pop 13· linked from 31 articles

literal

Sign in to save

in logic, atomic formula (atom) or its negation

Connections

International Standard Book Number

digital object identifier

mathematical logic

propositional calculus

logical negation

first-order logic

classical logic

Boolean function

intuitionistic logic

conjunctive normal form

recursive definition

propositional variable

double negation

Categories

Logic symbols Mathematical logic Propositional calculus

Sources

wikipedia.externallinksexternallink

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

atomic sentence

Entitydist 0.35

Entitydist 0.51

Entitydist 0.52

Entitydist 0.54

Entitydist 0.54

Entitydist 0.55

ground expression

Entitydist 0.56

universal quantification

Entitydist 0.56

Entitydist 0.56

Entitydist 0.56

Entitydist 0.57

logical harmony

Entitydist 0.57

What links here31 pages

Horn-satisfiability

logic programming

propositional formula

2-satisfiability

Quantifier elimination

disjunctive normal form

conjunctive normal form

glossary of artificial intelligence

abductive reasoning

Unit propagation

Inductive logic programming

stable model semantics