|
Теория. (Для понимания природы вещей.)
Одной из важнейших операций логики высказываний является импликация. В качестве
знака для этой операции мы будем употреблять символ « ->».
Импликация определяется следующим образом:
Если а и b — два высказывания, то a ->b (читается «а
имплицирует b») — сложное высказывание, которое истинно всегда, кроме того
случая, когда а истинно, a b ложно.
Тем самым операция импликации описывается следующей таблицей истинности для
импликации:
В импликации a -> b первый член «называется антецедентом, второй b —
консеквентом.
Операция ->до некоторой степени соответствует союзу
«если..., то ...».
Но следует сказать о том, что это соответствие весьма приблизительно.
Если мы будем рассматривать импликацию как соответствие союзу «если ..., то...»,
то согласно определению имеем, например,
«.Если дважды два — четыре, то трижды три — девять-»
истинно;
«Если дважды два — пять, то трижды три — девять»
истинно;
«Если дважды два — пять, то трижды три — восемь»
истинно и только
«Если дважды два — четыре, то трижды три восемь»
ложно.
Это еще согласуется в какой-то мере с общепринятым пониманием союза
«если ..., то...».
Но возьмем для построения сложных высказываний «а ->b»
такие простые высказывания:
«Сократ — грек» — и;
«Наполеон — грек» — л;
«Дважды два — четыре» — и;
«Дважды два — пять» — л.
Интерпретируя импликацию как союз «если ..., то...»,
получаем такие утверждения:
«Если Сократ — грек, то дважды два четыре»
истинно;
«Если Наполеон — грек, то дважды два — четыре»
истинно;
«Если Наполеон — грек, то дважды два — пять»
истинно;
«Если Сократ — грек, то дважды два — пять»
ложно.
Как видно, эти утверждения совсем не соответствуют привычному употреблению союза
«если..., то...».
Причина такого несоответствия в основном следующая. Как это часто происходит в
обычной речи, некоторые слова (а также словосочетания и целые предложения) имеют
не одно, а много различных значений, зависящих от того, в какой связи данное
языковое выражение употребляется. Так это происходит и с союзом
«если ..., то...».
Анализом его различных значений занимались крупнейшие логики со времен Древней
Греции и по сей день.
Отметим для примеры такие употребления выражения «если
а, то b».
а) «Если
мы нагреваем некоторое тело, то
оно (это тело) увеличивается в объеме».
Здесь «если ..., то...» описывает
причинно-следственную связь между а и b
(«Мы нагреваем тело» — причина,
тело увеличивается в объеме—следствие).
б) Несколько иной смысл союз «если ..., то...»
имеет в следующем предложении:
«(Если
все люди смертны и Сократ человек), то
(Сократ смертен)»
Здесь «если а, то b»
выражает отношение логического следования b из а: «Сократ
— смертен» логически следует из посылки
«Все люди смертны и Сократ человек».
Несмотря на существенную разницу в понимании смысла союза
«если ..., то...» в случае
а) (причинно-следственная связь) и б) (логическое следование), и в том и в
другом случае в содержании «если ..., то...»
имеется одна общая черта: союз указывает на некоторую
связь между содержанием высказывания а и высказывания b.
Логика высказываний обычно отвлекается от содержания простых высказываний и
рассматривает только их значения истинности. Тем самым логические операции
обычно не выражают связи между содержанием высказываний. Логическая операция,
образующая из двух высказываний а и b сложное высказывание, определяет, таким
образом, только отношение между значениями истинности высказываний а и b и
значением истинности составленного из них сложного высказывания.
Подробнее о связи импликации с союзом «если..., то...» и о различных видах
импликации можно узнать из статьи «Импликация», напечатанной во II томе
«Философской энциклопедии»(Еще найти надо Р.S).
Практика(За это деньги платят и немалые).
WHERE- позволяет задать условие отбора
данных из исходных таблиц-источников запроса.
В запросе будут выбраны только те записи, для которых выполняется заданное
условие.
Отбор строк (предложение WHERE)
SQL-запросы, считывающие из таблицы все строки, полезны при просмотре базы
данных и создании отчетов, однако редко применяются для чего-нибудь еще. Обычно
требуется выбрать из таблицы несколько строк и включить в результаты запроса
только их. Чтобы указать, какие строки требуется отобрать, следует использовать
предложение WHERE.
Предложение WHERE состоит из ключевого слова WHERE, за которым следует условие
поиска, определяющее, какие именно строки требуется прочитать.
Для каждой из строк условие поиска может иметь одно из трех перечисленных ниже
значений.
• Если условие поиска имеет значение TRUE, строка будет включена в результаты
запроса.
•Если условие поиска имеет значение FALSE, то строка исключается из результатов
запроса.
• Если условие поиска имеет значение NULL, то строка исключается из результатов
запроса.
Примеры использования
|
