русс | укр

Языки программирования

ПаскальСиАссемблерJavaMatlabPhpHtmlJavaScriptCSSC#DelphiТурбо Пролог

Компьютерные сетиСистемное программное обеспечениеИнформационные технологииПрограммирование

Все о программировании


Linux Unix Алгоритмические языки Аналоговые и гибридные вычислительные устройства Архитектура микроконтроллеров Введение в разработку распределенных информационных систем Введение в численные методы Дискретная математика Информационное обслуживание пользователей Информация и моделирование в управлении производством Компьютерная графика Математическое и компьютерное моделирование Моделирование Нейрокомпьютеры Проектирование программ диагностики компьютерных систем и сетей Проектирование системных программ Системы счисления Теория статистики Теория оптимизации Уроки AutoCAD 3D Уроки базы данных Access Уроки Orcad Цифровые автоматы Шпаргалки по компьютеру Шпаргалки по программированию Экспертные системы Элементы теории информации

Предложения, синтаксис и части речи


Дата добавления: 2015-07-09; просмотров: 439; Нарушение авторских прав


В11— одновременно с В11— одновременно с С11— чуть предшествует А2, А2—одновременно с В2, В2— одновременно с С2, С2 находится рядом с В2, С2 находится далеко от А,. Это множество из девяти суждений логически эквивалентно одному суждению, включающему А1 В1, C1 A2, В2, С2. Следовательно, это одно суждение является не данным, а выводным. Существует еще одна трудность: «рядом» и «далеко» являются относительными терминами; в астрономии Венера находится близко от Земли, но не с точки зрения человека, что-либо передающего другому. Однако подобных проблем можно избежать. Можно подставить «С1 соприкасается сА1» вместо «C1находится рядом с А1 " и «нечто расположено между С1 и В1» вместо «C1 находится далеко от В1". Здесь «соприкасается» и «между» должны быть видимой данностью. Таким образом, трехместное отношение «расположен между», кажется, самая сложная из требуемой данности.

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

Предложение атомарной формы, выраженное в строго логическом языке, содержит конечное число собственных имен (сколь угодно большое число), а также одно слово, не относящееся к собственным именам. Например: «х — желтый», «х — раньше, чему», «х расположен между у и и так далее. Мы можем отличать собственные имена от других слов на основе того факта, что собственное имя может входить в каждую форму атомарного предложения, в то время как слово, которое не является собственным именем,





<== предыдущая лекция | следующая лекция ==>
Предложения, синтаксис и части речи | Предложения, синтаксис и части речи


Карта сайта Карта сайта укр


Уроки php mysql Программирование

Онлайн система счисления Калькулятор онлайн обычный Инженерный калькулятор онлайн Замена русских букв на английские для вебмастеров Замена русских букв на английские

Аппаратное и программное обеспечение Графика и компьютерная сфера Интегрированная геоинформационная система Интернет Компьютер Комплектующие компьютера Лекции Методы и средства измерений неэлектрических величин Обслуживание компьютерных и периферийных устройств Операционные системы Параллельное программирование Проектирование электронных средств Периферийные устройства Полезные ресурсы для программистов Программы для программистов Статьи для программистов Cтруктура и организация данных


 


Не нашли то, что искали? Google вам в помощь!

 
 

© life-prog.ru При использовании материалов прямая ссылка на сайт обязательна.

Генерация страницы за: 0.989 сек.