Тождественная Истинность

свойство сложных высказываний (См. Высказывание), истинных в силу их формально-логической структуры и смысла (интерпретации) входящих в них логических операций. Такие высказывания лишь «по видимости» описывают факты (классы фактических ситуаций), о которых говорят входящие в них элементарные высказывания и которые составляют их «материю». По существу же они выражают логически значимые связи между высказываниями, связи, которые всегда порождают истинную мысль независимо от того, в какой области ..

ТОЕТОМИ Хидэеси (1536-98) - японский полководец, второй из трех объединителей страны (Н. Ода, Тоетоми, И. Токугава) в 16 - нач. 17 вв. В 1592-98 вел войну против Кореи, но потерпел поражение.. ..

ТОЕХАСИ - город в Японии, на о. Хонсю. 348 тыс. Жителей (1992). Шелковая промышленность. Машиностроительные, химические предприятия.. ..

ТОЖДЕСТВЕННОСТИ ПРИНЦИП - фундаментальное положение квантовой теории, согласно которому состояния системы частиц, получающиеся друг из друга перестановкой местами тождественных частиц, нельзя различить ни в каком эксперименте, и такие состояния должны рассматриваться как одно физическое состояние. Из тождественности принципа вытекает симметрия волновой функции системы одинаковых частиц.. ..

ТОЖДЕСТВЕННЫЕ частицы - частицы, имеющие одинаковые физические характеристики. Массу, электрический заряд, спин и т. П. Такие частицы в квантовой механике рассматриваются как принципиально неразличимые.. ..

Свойство сложных высказываний быть истинными в силу своей формально-логической структуры и смысла используемых в них логических операций. Будучи независимыми от содержания входящих в них конкретных высказываний, тождественно-истинные высказывания выступают в качестве логических законов.. ..

Свойство сложных высказываний быть истинными в силу своей формально-логич. Структуры и смысла используемых в них логич. Операций. Будучи независимыми от содержания входящих в них конкретных высказываний, тождественно-истинные высказывания выступают в качестве логич. Законов. ..

логическая истинность, общезначимоеть,- свойство формул языка исчисления предикатов, означающее истинность формулы во всех ее интерпретациях и цри всех допустимых значениях ее свободных переменных. Так, для формул, содержащих только один двуместный предикатный символ р и переменные одного сорта (т. Е. Такие переменные, к-рые при интерпретации должны иметь одну и ту же область пробегания), интерпретациями служат пары ( М, R), где М - произвольное непустое множество, а - произвольное двуместное..