Исчисление высказываний,исчислениесуждений, раздел математической логики, в котором формально-аксиоматическим методом изучаются сложные (составные) высказывания, составленные из простых (элементарных, не анализируемых) высказываний с помощью логических связок «и», «или», «если..., то» и «неверно, что». При этом ставится цель охарактеризовать общезначимые в том или ином смыслевысказывательные формы, т. е. те формулы, которые при любой подстановке высказываний вместо переменных дают высказывания, верные в соответствующем смысле.
Так же Вы можете узнать о...
Вирусные болезни растений, заболевания растений, вызываемые вирусами. Ворвулев Николай Дмитриевич [9(22).1.1917, Павловск, ныне Воронежской области, — 29. Гаечный ключ, ручной инструмент, широко применяемый при слесарно-сборочных работах для завёртывания и отвёртывания болтов, гаек и других винтовых соединений. Гельмгольц Герман Людвиг Фердинанд Гельмгольц (Helmholtz) Герман Людвиг Фердинанд (31. Гинзбург Илья Исаакович [13(25).1.1882, Москва, — 15. Горицвет (Coronaria), род многолетних травянистых растений семейства гвоздичных. Грумм-Гржимайло Григорий Ефимович Грумм-Гржимайло, Грум-Гржимайло Григорий Ефимович [5(17). Двуреченск, посёлок городского типа в Сысертском районе Свердловской обл. Джемсон Линдер Старр Джемсон, Джеймсон (Jameson) Линдер Старр (9. Дознание, одна из форм расследования преступлений. Дюссельдорфская конференция 1932, совещание крупных германских предпринимателей, состоявшееся в Дюссельдорфе в январе 1932. Журавль (латинское Grus), созвездие Южного полушария неба, две наиболее яркие звезды 1,7 и 2,1 визуальной звёздной величины. Зенитные ракетные войска (ЗРВ), войска, предназначенные для противовоздушной обороны. Изоглосса (от изо... и греч. glossa — язык, речь), линия на карте, обозначающая в лингвистической географии границы распространения какого-либо языкового явления (фонетического, морфологического, синтаксического, лексического и др.