закон транзитивности
1закон транзитивности — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN transitive law …
2транзитивности закон — закон логики, согласно которому определенная логическая связь (импликация, эквивалентность и др.) представляет собой отношение транзитивности. Т. з. для условного высказывания (импликации) можно передать так: когда верно, что если первое, то… …
3закон гипотетического силлогизма — закон логики, характеризующий импликацию ( если, то ): если первое влечет второе, то если второе влечет третье, то первое влечет третье. Напр.: Если с ростом знаний о человеке возрастает возможность защитить его от болезней, то если с ростом этой …
4ЛОГИЧЕСКИЙ ЗАКОН — или Закон логики, выражение, содержащее только логические константы и переменные и являющееся истинным в любой (непустой) предметной области. Примерами Л.з. могут служить закон противоречия, закон исключенного третьего, закон де Моргана, закон… …
5логический закон — выражение, содержащее только логические константы и переменные и явля ющееся истинным в любой (непустой) предметной области. Примером Л. з. может служить любой закон логики высказываний (скажем, непротиворечия закон, закон исключенного третьего,… …
6предпочтений логика — логика сравнительных оценок, выражаемых при помощи понятий лучше , хуже , равноценно , называемых предпочтениями. Логическое исследование сравнительных оценок началось в конце 40 х годов этого века в связи с попытками установить формальные… …
7ОЦЕНОК ЛОГИКА — раздел логики, изучающий логическую структуру и логические связи оценок. О.л., являющаяся ветвью модальной логики, слагается из логики абсолютных оценок, формулируемых обычно с помощью понятий «хорошо», «плохо» и «(оценочно) безразлично», и… …
8неклассические логики — НЕКЛАССИЧЕСКИЕ ЛОГИКИ широкая область логических исследований, выходящая за пределы или, наоборот, сужающая область исследований классической логики высказываний и логики предикатов. Идеи для построения Н. л. были высказаны еще до …
9Термодинамика — Термодинамика …
10ИНТУИЦИОНИСТСКАЯ ЛОГИКА — одна из наиболее важных ветвей неклассической логики, имеющая своей филос. предпосылкой программу интуиционизма. Выдвигая на первый план математическую интуицию, интуиционисты не придавали большого значения систематизации логических правил.… …
