Истинность:
Пролог — язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.
Метафи́зика, или «Первая философия» — раздел философии, занимающийся исследованиями первоначальной природы реальности, мира и бытия, посредством, по Канту, чистого разума.
Е́ресь — сознательное отклонение от считающегося кем-либо верным религиозного учения, предлагающее иной подход к религиозному учению. Таким образом, представители двух разных течений религиозного учения могут взаимно обвинить друг друга в ереси.
Дха́рма, дха́мма — одно из важнейших понятий в индийской философии и индийских религиях. Понятию дхармы трудно найти эквивалент. Слово «дхарма» буквально переводится как «то, что удерживает или поддерживает». В зависимости от контекста, дхарма может означать «нравственные устои», «религиозный долг», «универсальный закон бытия» и т. п.
Предика́т — это утверждение, высказанное о субъекте. Субъектом высказывания называется то, о чём делается утверждение. В лингвистике субъекту соответствует подлежащее, а предикату — сказуемое.
И́стина — гносеологическая характеристика мышления в его отношении к своему предмету. Мысль называется истинной, если она соответствует предмету.
Имплика́ция — бинарная логическая связка, по своему применению приближенная к союзам «если…, то…».
Выска́зывание в математической логике — предложение, выражающее суждение. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказывание, которое является выражением ложного суждения. Истинность и ложность называются логическими, или истинностными, значениями высказываний.
Априо́ри — знание, полученное до опыта и независимо от него, то есть знание, как бы заранее известное. Этот философский термин получил важное значение в теории познания и логике благодаря Иммануилу Канту. Идея знания априори связана с представлением о внутреннем источнике активности мышления. Учение, признающее знание априори, называется априоризмом. Противоположностью априори является апостериори — знание, полученное из опыта.
Хими́ческая фо́рмула — условное обозначение химического состава и структуры соединений с помощью символов химических элементов, числовых и вспомогательных знаков. Химические формулы являются составной частью языка химии, на их основе составляются схемы и уравнения химических реакций, а также химическая классификация и номенклатура веществ. Одним из первых начал использовать их русский химик А. А. Иовский.
Инвариа́нт или инвариа́нтность — термин, обозначающий нечто неизменяемое. Конкретное значение термина зависит от той области, где он используется:
Реали́зм, в философии — распространённый европейский философский термин, не имеющий постоянного или общего значения. Использовался для обозначения направлений европейской философии, постулирующих то или иное отношение понятий к реальности. В разные эпохи относился к совершенно различным направлениям:
true — консольная команда UNIX-совместимых операционных систем, единственное действие которой — возвратить значение 0. Такой код завершения рассматривается командной оболочкой UNIX как нулевой код ошибки, то есть как логическое значение «истина».
Тавтология :
Многозначная логика — это логика высказываний, в которой существует более двух истинностных значений логического выражения. Традиционно, в классической логике Аристотеля, мы имеем дело только с двумя возможными значениями — «истиной» или «ложью». Однако данная двухзначная логика может быть дополнена до n — значной с n > 2. Наиболее популярными в литературе являются трехзначная логика, конечнозначная и бесконечнозначная логики.
test — UNIX-утилита для проверки типа файла и сравнения значений. Возвращает код возврата 0 (истина) или 1 (ложь) в зависимости вычисления выражения expr. Выражения могут быть как унарными, так и бинарными. Унарные выражения часто используются для проверки статуса файла. Также допустимо сравнение чисел и строк.
Табли́ца — способ структурирования данных. Представляет собой распределение данных по однотипным строкам и столбцам.
Истинные финны — политическая партия в Финляндии, основанная в 1995 году после того, как распалась Финская аграрная партия. Партия придерживается, по определению конкурентов и критиков, националистической и популистской идеологии.
Алетейя — слово, буквально переводится с греческого как «истина». Термин может означать:
«Слово Истины» — журнал, издававшийся в 1913—1914, 1917—1918, 1921—1922 годах лидерами Союза русских баптистов.