Высказывание (логика): различия между версиями

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