Многоэлектродные машины для контактной сварки
Внимание! эта страница распознана автоматически, поэтому мы не гарантируем, что она не содержит ошибок. Для того, чтобы увидеть оригинал, Вам необходимо
Если Вы являетесь автором данной книги и её распространение ущемляет Ваши авторские права или если Вы хотите внести изменения в данный документ или опубликовать новую книгу свяжитесь с нами по по .
Страницы: 1 2 3... 80 81 82 83 84 85 86... 258 259 260
|
|
|
|
в разговорной речи из отдельных выражений строятся предложения с помощью союзов "и", "или", "если..., то", отрицания "не" и т. п. в алгебре логики союз "и" называют конъюнкцией и обозначают символом ЛКонъюнкцией двух высказываний а и Ь называется новое высказывание а/\Ь (читается: а и Ь), которое истинно тогда и только тогда, когда истинно каждое из высказываний а и Ь. Значение истинности а/\Ь определяется по табл. 6.1. Конъюнкцию высказываний называют также логиче Таблица 6.1 Таблица 6.2 Таблица 6.3 Таблица 6.4 а ь 0 0 0 0 1 0 1 0 0 1 1 1 Таблица 6.5 а b а-Ь 0 0 1 0 1 0 1 0 0 1 j1_ 1 1 а ь а а а b 0 0 0 0 1 0 0 1 0 1 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 1 1 1 ским произведением и часто обозначают аЬ (как произведение в математике). Союз "или" называют дизъюнкцией и обозначают символом VДизъюнкцией двух высказываний а и b называют новое высказывание а\/Ь (читается: а или Ь), которое истинно тогда, когда истинно хотя бы одно из составляющих высказываний. Значение истинности а\/Ь определяется по табл. 6.2. Дизъюнкцию высказываний называют также логической суммой и часто обозначают а + Ь. Из определения дизъюнкции видно, что логическая связка "или" имеет неразделительный смысл: истинны а или Ь, либо истинны а nb. Отрицание высказывания "не" обозначают чертой над символом высказывания^Отрицанием высказывания а называется новое высказывание а (читается: не а), которое истинно, когда а ложно, и ложно, когда а истинно. Значение истинности а определяется но табл. 6.3. Отрицающие друг друга высказывания а и а называют противоположными. Отнощение следований "если..., то" называют импликацией и обозначают стрелкой между символами: а-^Ь. Импликацией высказываний а я b называется новое высказывание а-Ь (читается; если а, то Ь; из а следует Ь), которое ложно только тогда, когда а истинно, а b ложно. Значеіше истинности а-^Ь определяется но табл. 6.4. В импликации а-~Ь высказывание а называется основанием или посылкой, а высказывание b — следствием. Вместо термина "импликация" иногда встречается термин "следование". 84
Карта
|
|
|
|
|
|
|
|
Страницы: 1 2 3... 80 81 82 83 84 85 86... 258 259 260
Внимание! эта страница распознана автоматически, поэтому мы не гарантируем, что она не содержит ошибок. Для того, чтобы увидеть оригинал, Вам необходимо скачать книгу |
