Высказывание (логика): различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
отмена правки 102239157 участника 93.84.86.197 (обс.) Метка: отмена |
→Виды высказываний: Исправлена опечатка Метки: с мобильного устройства через мобильное приложение через приложение для Android |
||
Строка 11:
Логические высказывания принято подразделять на составные (или сложные) и элементарные. Составные логические высказывания — высказывания, содержащие логические постоянные. Составные высказывания строятся на основе других высказываний. Логическое значение сложного высказывания определяется логическим значением входящих в его состав высказываний и теми логическими постоянными, с помощью которых оно построено{{sfn|Чупахин, Бродский|1977|c=200—203}}.
Элементарные логические высказывания — это высказывания, не относящиеся к составным. Примером элементарного высказывания может служить <math>5 < 7</math>. Примером составного логического высказывания может служить ''если <math>5 < 7</math>, то <math>5</math> — чётное число''.{{sfn|Чупахин, Бродский|1977|c=200—203}}
== Логические постоянные ==
|