Logika trójwartościowa – wariant logiki zdań bądź predykatów rozszerzony o dodatkową wartość w stosunku do systemów klasycznych. Za pierwszy system logiki trójwartościowej uznaje się L3 autorstwa Jana Łukasiewicza. W tym samym okresie prace nad zagadnieniem prowadził . W późniejszym czasie powstały systemy m.in. Stephena Kleenego czy .
System logiki trójwartościowej L3 Główną inspiracją dla Jana Łukasiewicza w trakcie tworzenia systemu była chęć formalnego wyrażenia sposobu funkcjonowania modalności aletycznych (zwrotów orzekających o konieczności bądź możliwości) w języku naturalnym. Próbę taką podjął wcześniej Lewis, który odnosił modalność do ogółu wartościowań formuł. Łukasiewicz odkrył inną metodę mówienia o modalnościach i wprowadził trzecią wartość logiczną ½, którą zarezerwowano dla zdań o nieustalonym jeszcze statusie prawdziwościowym (np. przyszłych zdarzeń losowych).