Wartość prawdy w logice, prawdzie (T lub 1) lub fałszu (F lub 0) danego zdania lub zdania. Łączniki logiczne, takie jak rozłączenie (symbolizowane ∨, dla „lub”) i negacja (symbolizowane ∼), można traktować jako funkcje prawdy, ponieważ wartość prawdziwości zdania złożonego jest funkcją lub wielkością zależną od, wartościami prawdy jego części składowych.
Wartość prawdziwości wyrażenia złożonego można łatwo przetestować za pomocą wykresu zwanego tabelą prawdy. Każdy wiersz tabeli reprezentuje możliwą kombinację wartości prawdy dla zdań składowych związku, a liczba wierszy jest określona przez liczbę możliwych kombinacji. Na przykład, jeśli związek zawiera tylko dwa zdania składowe, będą cztery możliwości, a zatem cztery wiersze w tabeli. Logiczne właściwości wspólnych połączeń mogą być wyświetlane w tabelach prawdy w następujący sposób:
w którym · oznacza „i", a ⊃ oznacza „jeśli… następnie." (Na przykład w tabeli „lub” drugi wiersz brzmi: „Jeśli p jest prawdą, a q jest fałszem, to p ∨ q jest prawdą.”) Tabele prawdy o znacznie większej złożoności, z wieloma funkcjami prawdy, można zbudować za pomocą komputera. Skonstruowano abstrakcyjne systemy logiczne, które wykorzystują trzy wartości prawdy (np. Prawda, fałsz i nieokreślone) lub nawet wiele, jak w logice rozmytej, w których zdania mają wartości od 0 do 1.
