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