Propozycja analityczna – w logice stwierdzenie lub sąd, który jest z konieczności prawdziwy na gruncie czysto logicznym i służy jedynie do wyjaśnienia znaczeń zawartych już implicite w przedmiocie; jego prawdziwość jest więc gwarantowana przez zasadę sprzeczności. Takie propozycje odróżnia się od propozycji syntetycznych, których znaczenia zawierają informacje zaczerpnięte ze źródeł pozalogicznych (zwykle empirycznych) i które w związku z tym są warunkowe. Tak więc twierdzenie, że wszystkie ciała są rozciągłe jest analityczne, ponieważ pojęcie rozciągłości jest zawarte w pojęciu ciała; natomiast twierdzenie, że wszystkie ciała są ciężkie jest syntetyczne, ponieważ pojęcie ciężaru zakłada oprócz pojęcia ciała, że ciała są względem siebie. W XIX wieku Bernard Bolzano, logik i epistemolog z Pragi, dodał trzecią kategorię – fałszywe analitycznie.
Gottfried Wilhelm Leibniz, XVII-wieczny niemiecki racjonalista, dokonał równoległego rozróżnienia między „prawdami rozumowymi” i „prawdami o faktach”, a David Hume, szkocki sceptyk, rozróżnił między „relacjami idei” i „sprawami o faktach”. Pierwszą definicją analitycznego stwierdzenia zbliżającego się do adekwatności logicznej była definicja Bolzano, który twierdził, że zdanie jest analitycznie prawdziwe, jeśli albo (1) jego forma propozycjonalna jest prawdziwa dla wszystkich wartości zmiennych, albo (2) może być zredukowane do takiego zdania.
Większość współczesnych logików uważa, że najbardziej fundamentalną dziedziną, do której odnosi się analityczność, nie jest dziedzina sądów (które są zbyt psychologiczne), ani zdań (które należą do określonego języka), ani definicji (które dotyczą słów, a nie przedmiotów); jest nią natomiast dziedzina twierdzeń (które odnoszą się do znaczeń zdań). Do tego odniesienia do znaczeń Gottlob Frege, jeden z twórców współczesnej logiki, dodał odniesienie do „ogólnych praw logicznych”, przy czym te dwa odniesienia były jedynymi wymogami dla dowodu twierdzenia analitycznego.
Rozróżnienie między twierdzeniami analitycznymi i syntetycznymi wzbudziło szeroką debatę w połowie XX wieku, w szczególności w związku z zastrzeżeniami zgłoszonymi przez amerykańskiego logika Willarda Van Ormana Quine’a.