И код направления подготовки
Высказывания. Логические операции
жүктеу/скачать 341.63 Kb.
|
- Бұл бет үшін навигация:
- Определение.
- Определение
| 1. Высказывания. Логические операции. Под высказыванием принято понимать языковое предложение, о котором имеет смысл говорить, что оно истинно или ложно. Высказывание – это мысль, посредством которой что-либо утверждают или отрицают о реальных вещах или явлениях.
Истинным будет высказывание, которое правильно отражает свойства и отношения реальных вещей. Примером истинного высказывания может служить следующее: «Процессор является устройством обработки информации». Ложным высказывание будет в том случае, когда оно не соответствует реальной действительности. Например: «Процессор является устройством печати». В логике высказываний интересуются не содержанием, а истинностью или ложностью высказываний (т.е. их истинностным значением). В алгебре логики высказываниям ставятся в соответствие логические переменные (заглавные буквы латинского алфавита). Рассмотрим два простых высказывания: А – «Два умножить на два равно четырем» и В – «Два умножить на два равно десяти». Высказывания, как уже говорилось ранее, могут быть истинными или ложными. Истинному высказыванию соответствует истинностное значение истина, будем обозначать его через 1, ложному - истинностное значение ложь, будем обозначать его через 0, в нашем случае первое высказывание истинно (А=1), а второе ложно (В=0). В алгебре высказываний над высказываниями можно производить определённые логические операции, в результате которых получаются новые, составные высказывания. Определение. Объединение двух (или нескольких) высказываний в одно с помощью союза (логической связки) «и» называется операцией логического умножения или конъюнкцией. Замечание. Составное высказывание, образованное в результате конъюнкции, истинно тогда и только тогда, когда истинны входящие в него простые высказывания. Определение. Объединение двух (или нескольких) высказываний в одно с помощью союза «или» называется операцией логического сложения или дизъюнкцией. Замечание. Составное высказывание, образованное в результате дизъюнкции, истинно тогда, когда истинно хотя бы одно из входящих в него простых высказываний. жүктеу/скачать 341.63 Kb. Достарыңызбен бөлісу:
|