Истинна стойност, по логика, истина (Т или 1) или лъжливост (F или 0) на дадено предложение или твърдение. Логическите съединители, като дизъюнкция (символизирано ∨, за „или“) и отрицание (символизирано ∼), могат да се разглеждат като функции на истината, тъй като стойността на истинността на сложното предложение е функция или зависи от количество, стойностите на истината на неговите съставни части.
Истинската стойност на сложното изявление може лесно да се тества с помощта на диаграма, известна като таблица на истинността. Всеки ред от таблицата представлява възможна комбинация от стойности за истинност за предложенията на компонента на съединението, а броят на редовете се определя от броя на възможните комбинации. Например, ако съединението съдържа само две компонентни предложения, ще има четири възможности и по този начин четири реда към таблицата. Логичните свойства на общите съединители могат да бъдат показани от таблици за истината, както следва:
в който · означава „и“ и ⊃ означава „ако.,, тогава." (В таблицата „или“ например, вторият ред гласи: „Ако p е вярно и q е невярно, тогава p ∨ q е вярно.“) Таблици с истината с много по-голяма сложност, тези с редица функции на истината, могат да бъдат конструирани с помощта на компютър. Създадени са абстрактни логически системи, които използват три стойности на истината (напр. Истинна, невярна и неопределена) или дори много, както в размитата логика, в която предложенията имат стойности между 0 и 1.
